%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWX035+1 : TPTP v9.1.0. Released v9.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n013.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 15.25s 15.38s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.14 % Problem : SWX035+1 : TPTP v9.1.0. Released v9.1.0.
% 0.08/0.14 % Command : run_infinox %s
% 0.14/0.36 % Computer : n013.cluster.edu
% 0.14/0.36 % Model : x86_64 x86_64
% 0.14/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.36 % Memory : 8042.1875MB
% 0.14/0.36 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.36 % CPULimit : 300
% 0.14/0.36 % WCLimit : 300
% 0.14/0.36 % DateTime : Mon Mar 31 14:28:17 EDT 2025
% 0.14/0.36 % CPUTime :
% 0.22/0.48 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.22/0.50 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.22/0.52 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.22/0.54 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.22/0.55 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.22/0.57 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.39/0.59 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.42/0.61 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.42/0.62 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.48/0.64 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.48/0.66 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.48/0.68 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.48/0.70 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.54/0.71 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.54/0.73 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.54/0.75 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.59/0.77 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.59/0.78 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.59/0.80 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.59/0.82 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.59/0.84 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.68/0.86 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.68/0.87 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.72/0.89 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.72/0.91 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.72/0.93 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.77/0.95 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.77/0.96 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.77/0.98 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.77/1.00 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.84/1.02 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.84/1.03 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.84/1.05 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.84/1.07 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.90/1.09 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.90/1.11 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.90/1.12 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.90/1.14 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.90/1.16 eprover: /tmp/Infinox_31953/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_31953/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_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.04/1.21 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.04/1.23 eprover: /tmp/Infinox_31953/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_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.07/1.26 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.07/1.28 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.07/1.29 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.07/1.31 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.16/1.33 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.16/1.34 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.16/1.36 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.16/1.37 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.22/1.39 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.22/1.41 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.22/1.42 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.22/1.44 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.22/1.45 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.29/1.47 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.29/1.49 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.29/1.51 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.36/1.52 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.38/1.54 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.38/1.56 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.38/1.58 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.38/1.60 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.38/1.61 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.46/1.63 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.46/1.65 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.46/1.67 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.46/1.68 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.46/1.70 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.54/1.72 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.54/1.74 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.54/1.76 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.54/1.77 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.63/1.79 eprover: /tmp/Infinox_31953/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_31953/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_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.65/1.85 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.65/1.86 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.65/1.88 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.65/1.90 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.75/1.92 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.75/1.94 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.75/1.95 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.75/1.97 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.83/1.99 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.83/2.01 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.83/2.03 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.83/2.04 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.83/2.06 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.83/2.07 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.93/2.09 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.93/2.10 eprover: /tmp/Infinox_31953/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_31953/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_31953/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_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.96/2.17 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.96/2.18 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.96/2.20 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.96/2.21 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.07/2.23 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.07/2.24 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.07/2.26 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.07/2.28 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.07/2.29 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.14/2.31 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.14/2.32 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.14/2.34 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.14/2.35 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.14/2.37 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.14/2.38 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.23/2.40 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.23/2.42 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.23/2.43 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.23/2.45 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.23/2.46 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.23/2.48 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.34/2.49 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.35/2.51 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.35/2.53 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.35/2.54 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.35/2.56 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.35/2.57 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.35/2.59 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.45/2.61 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.45/2.62 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.45/2.64 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.45/2.66 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.45/2.67 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.45/2.69 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.54/2.71 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.54/2.73 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.54/2.74 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.54/2.76 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.54/2.78 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.61/2.80 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.61/2.81 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.66/2.83 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.66/2.85 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.66/2.87 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.66/2.88 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.66/2.90 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.66/2.92 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.74/2.94 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.74/2.95 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.74/2.97 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.74/2.98 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.82/3.00 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.82/3.02 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.82/3.03 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.82/3.05 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.82/3.07 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.90/3.08 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.91/3.10 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.91/3.12 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.94/3.13 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.94/3.15 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.94/3.17 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.94/3.18 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.94/3.20 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.94/3.21 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.05/3.23 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.05/3.24 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.05/3.26 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.05/3.28 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.05/3.29 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.11/3.31 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.11/3.32 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.11/3.34 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.11/3.35 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.11/3.37 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.20/3.38 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.21/3.40 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.23/3.42 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.23/3.43 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.26/3.45 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.26/3.46 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.26/3.48 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.26/3.49 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.26/3.51 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.33/3.52 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.33/3.54 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.33/3.56 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.33/3.57 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.41/3.59 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.41/3.60 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.41/3.62 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.41/3.64 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.41/3.65 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.48/3.67 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.51/3.68 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.51/3.70 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.53/3.72 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.53/3.73 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.56/3.75 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.56/3.77 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.56/3.78 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.56/3.80 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.56/3.81 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.64/3.83 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.64/3.85 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.64/3.86 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.70/3.88 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.70/3.90 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.70/3.92 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.70/3.94 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.70/3.95 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.70/3.97 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.79/3.99 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.81/4.00 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.81/4.02 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.85/4.05 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.85/4.06 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.85/4.08 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.85/4.09 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.92/4.11 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.92/4.12 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.92/4.14 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.92/4.15 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.98/4.17 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.98/4.19 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.98/4.20 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.98/4.22 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.98/4.23 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.98/4.25 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.07/4.27 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.07/4.29 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.12/4.31 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.12/4.33 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.16/4.35 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.16/4.37 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.16/4.39 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.22/4.40 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.22/4.42 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.22/4.44 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.22/4.46 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.22/4.47 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.29/4.48 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.29/4.50 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.29/4.52 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.29/4.53 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.29/4.55 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.29/4.56 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.39/4.58 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.39/4.59 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.42/4.61 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.42/4.62 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.46/4.64 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.46/4.65 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.46/4.67 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.46/4.69 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.46/4.70 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.46/4.72 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.55/4.73 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.55/4.75 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.55/4.76 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.55/4.78 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.61/4.79 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.61/4.81 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.61/4.82 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.61/4.84 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.61/4.85 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.69/4.87 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.70/4.89 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.70/4.90 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.73/4.92 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.75/4.93 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.75/4.95 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.75/4.96 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.75/4.98 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.75/5.00 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.75/5.01 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.84/5.03 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.84/5.04 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.84/5.06 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.84/5.07 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.84/5.09 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.92/5.10 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.92/5.12 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.92/5.14 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.92/5.15 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.92/5.17 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.00/5.18 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.02/5.20 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.04/5.21 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.04/5.23 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.04/5.25 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.04/5.26 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.04/5.28 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.04/5.29 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.13/5.31 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.13/5.32 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.13/5.34 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.13/5.35 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.13/5.37 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.19/5.38 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.19/5.40 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.19/5.42 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.19/5.43 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.19/5.45 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.19/5.46 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.19/5.48 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.32/5.49 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.33/5.51 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.34/5.52 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.34/5.54 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.34/5.55 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.34/5.57 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.34/5.59 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.34/5.60 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.34/5.62 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.45/5.63 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.45/5.65 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.45/5.66 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.45/5.68 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.45/5.69 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.52/5.71 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.52/5.72 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.52/5.74 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.52/5.75 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.52/5.77 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.52/5.79 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.62/5.80 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.62/5.82 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.62/5.83 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.62/5.85 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.62/5.86 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.62/5.88 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.72/5.89 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.72/5.91 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.72/5.93 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.72/5.94 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.72/5.96 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.72/5.97 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.72/5.99 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.83/6.00 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.83/6.02 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.83/6.04 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.83/6.05 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.83/6.07 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.83/6.08 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.92/6.10 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.92/6.11 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.92/6.13 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.92/6.14 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.92/6.16 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.92/6.17 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.92/6.19 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.03/6.20 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.03/6.22 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.03/6.23 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.03/6.25 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.03/6.26 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.03/6.28 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.12/6.29 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.12/6.31 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.15/6.32 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.16/6.34 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.16/6.35 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.16/6.37 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.16/6.38 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.16/6.40 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.16/6.41 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.26/6.43 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.26/6.44 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.26/6.46 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.26/6.47 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.26/6.49 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.32/6.50 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.32/6.52 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.32/6.54 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.32/6.55 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.32/6.57 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.40/6.58 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.40/6.60 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.40/6.61 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.40/6.63 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.40/6.64 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.40/6.66 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.50/6.67 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.50/6.69 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.53/6.70 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.53/6.72 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.55/6.73 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.55/6.75 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.55/6.76 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.55/6.78 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.55/6.79 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.63/6.81 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.63/6.82 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.63/6.84 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.63/6.86 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.70/6.87 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.70/6.89 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.70/6.90 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.70/6.92 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.70/6.94 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.70/6.95 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.70/6.97 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.70/6.98 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.81/7.00 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.81/7.01 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.85/7.03 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.85/7.04 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.88/7.06 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.88/7.07 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.88/7.09 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.88/7.10 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.88/7.12 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.97/7.13 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.97/7.15 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.97/7.16 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.00/7.18 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.00/7.19 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.00/7.21 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.00/7.23 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.00/7.24 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.09/7.26 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.10/7.27 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.10/7.29 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.10/7.30 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.15/7.32 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.15/7.33 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.17/7.35 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.17/7.37 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.17/7.38 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.17/7.40 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.17/7.41 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.26/7.43 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.26/7.44 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.26/7.46 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.26/7.48 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.32/7.49 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.32/7.51 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.32/7.53 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.32/7.55 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.39/7.57 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.42/7.59 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.42/7.61 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.42/7.63 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.48/7.65 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.48/7.66 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.48/7.68 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.48/7.70 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.55/7.72 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.55/7.74 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.59/7.77 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.59/7.78 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.59/7.80 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.59/7.82 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.59/7.84 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.69/7.86 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.69/7.88 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.72/7.90 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.72/7.91 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.72/7.93 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.78/7.95 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.78/7.97 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.78/7.99 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.83/8.01 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.83/8.03 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.83/8.04 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.83/8.06 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.90/8.08 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.90/8.10 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.90/8.12 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.90/8.13 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.90/8.15 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.99/8.17 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.99/8.18 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.99/8.20 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.04/8.22 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.04/8.23 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.08/8.25 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.08/8.26 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.08/8.28 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.08/8.30 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.08/8.31 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.16/8.33 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.16/8.35 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.16/8.36 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.16/8.38 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.23/8.40 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.23/8.41 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.23/8.43 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.23/8.45 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.29/8.46 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.31/8.48 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.31/8.50 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.34/8.51 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.34/8.53 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.37/8.55 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.37/8.56 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.37/8.58 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.37/8.60 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.37/8.61 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.47/8.63 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.47/8.65 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.47/8.67 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.47/8.68 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.47/8.70 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.53/8.72 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.53/8.73 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.53/8.75 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.53/8.77 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.62/8.78 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.62/8.80 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.65/8.82 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.65/8.83 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.65/8.85 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.65/8.87 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.65/8.88 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.65/8.90 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.75/8.92 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.75/8.93 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.75/8.95 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.75/8.97 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.75/8.98 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.83/9.00 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.83/9.02 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.83/9.03 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.83/9.05 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.83/9.07 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.91/9.08 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.91/9.10 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.96/9.12 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.96/9.13 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.96/9.15 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.96/9.17 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.96/9.19 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.96/9.20 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.96/9.22 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.08/9.23 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.08/9.25 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.08/9.27 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.08/9.28 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.08/9.30 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.15/9.32 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.15/9.33 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.15/9.35 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.15/9.37 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.15/9.38 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.24/9.40 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.24/9.42 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.24/9.43 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.24/9.45 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.24/9.47 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.33/9.49 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.35/9.50 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.35/9.52 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.35/9.54 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.35/9.56 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.35/9.57 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.35/9.59 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.45/9.61 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.45/9.62 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.45/9.64 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.45/9.66 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.45/9.67 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.45/9.69 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.53/9.71 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.53/9.72 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.53/9.74 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.53/9.76 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.53/9.77 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.63/9.79 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.63/9.81 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.65/9.82 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.67/9.84 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.67/9.86 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.67/9.87 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.67/9.89 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.67/9.90 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.67/9.92 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.77/9.93 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.77/9.95 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.77/9.97 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.77/9.98 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.85/10.00 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.85/10.02 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.85/10.03 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.85/10.05 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.91/10.07 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.92/10.08 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.95/10.10 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.95/10.12 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.98/10.13 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.98/10.15 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.98/10.17 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.98/10.19 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.98/10.21 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.98/10.23 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.07/10.24 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.07/10.26 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.07/10.28 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.14/10.30 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.14/10.31 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.14/10.33 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.14/10.35 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.21/10.37 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.21/10.38 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.23/10.40 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.23/10.41 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.26/10.43 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.30/10.45 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.30/10.47 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.30/10.48 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.30/10.50 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.30/10.51 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.37/10.53 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.37/10.55 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.37/10.56 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.42/10.58 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.42/10.59 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.42/10.61 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.42/10.63 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.42/10.64 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.50/10.66 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.52/10.68 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.52/10.69 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.52/10.71 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.58/10.72 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.58/10.74 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.60/10.76 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.60/10.77 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.60/10.79 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.60/10.81 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.60/10.82 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.68/10.84 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.68/10.85 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.68/10.87 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.73/10.89 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.73/10.90 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.73/10.92 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.73/10.94 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.73/10.95 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.83/10.97 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.84/10.99 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.84/11.00 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.84/11.02 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.88/11.03 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.89/11.05 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.89/11.07 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.89/11.08 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.89/11.10 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.97/11.11 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.97/11.13 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.97/11.15 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.02/11.17 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.02/11.19 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.02/11.21 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.02/11.23 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.02/11.24 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.10/11.26 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.13/11.28 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.13/11.30 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.13/11.32 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.18/11.34 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.21/11.36 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.21/11.37 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.21/11.39 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.21/11.41 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.27/11.43 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.27/11.45 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.27/11.46 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.33/11.48 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.33/11.50 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.33/11.52 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.33/11.53 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.33/11.55 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.42/11.57 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.42/11.58 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.42/11.60 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.47/11.62 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.48/11.63 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.48/11.65 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.48/11.67 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.48/11.69 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.48/11.71 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.48/11.72 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.58/11.74 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.58/11.76 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.58/11.78 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.65/11.80 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.65/11.81 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.65/11.83 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.65/11.85 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.72/11.86 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.72/11.88 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.72/11.89 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.76/11.91 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.76/11.93 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.78/11.94 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.78/11.96 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.78/11.98 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.78/11.99 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.78/12.01 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.78/12.02 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.89/12.04 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.89/12.05 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.89/12.07 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.89/12.09 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.89/12.10 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.96/12.12 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.96/12.14 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.96/12.15 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.96/12.17 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.04/12.18 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.06/12.20 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.08/12.22 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.08/12.24 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.08/12.26 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.08/12.28 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.08/12.30 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.08/12.31 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.17/12.33 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.17/12.35 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.17/12.37 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.17/12.39 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.26/12.41 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.26/12.43 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.26/12.44 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.26/12.46 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.34/12.48 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.34/12.50 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.34/12.52 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.34/12.54 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.34/12.55 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.34/12.57 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.43/12.59 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.45/12.61 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.48/12.63 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.48/12.65 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.48/12.67 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.48/12.68 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.48/12.70 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.48/12.72 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.48/12.74 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.60/12.75 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.60/12.77 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.60/12.79 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.60/12.81 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.68/12.83 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.68/12.85 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.68/12.87 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.68/12.88 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.77/12.90 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.77/12.92 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.77/12.93 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.77/12.95 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.77/12.97 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.84/12.98 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.85/13.00 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.85/13.01 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.88/13.03 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.88/13.05 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.88/13.06 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.88/13.08 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.88/13.10 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.88/13.11 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.98/13.13 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.98/13.15 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.98/13.16 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.98/13.18 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.06/13.20 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.06/13.21 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.06/13.23 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.06/13.25 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.06/13.26 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.15/13.28 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.15/13.30 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.15/13.31 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.18/13.33 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.20/13.35 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.20/13.37 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.20/13.39 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.20/13.41 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.20/13.42 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.30/13.44 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.30/13.46 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.30/13.48 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.36/13.50 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.36/13.52 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.36/13.53 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.36/13.55 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.43/13.57 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.43/13.58 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.46/13.60 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.46/13.62 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.46/13.63 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.51/13.65 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.51/13.66 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.51/13.68 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.51/13.70 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.51/13.71 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.51/13.73 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.60/13.75 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.60/13.76 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.60/13.78 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.60/13.79 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.67/13.81 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.67/13.83 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.67/13.84 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.72/13.86 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.74/13.88 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.74/13.90 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.78/13.91 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.78/13.93 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.78/13.95 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.84/13.97 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.84/13.99 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.84/14.00 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.84/14.02 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.90/14.04 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.90/14.06 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.90/14.08 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.95/14.10 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.95/14.11 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 13.95/14.13 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.02/14.15 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.04/14.16 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.04/14.18 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.04/14.20 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.08/14.21 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.08/14.23 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.08/14.25 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.14/14.27 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.14/14.28 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.14/14.30 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.14/14.32 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.14/14.33 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.22/14.35 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.22/14.37 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.25/14.38 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.25/14.40 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.25/14.41 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.25/14.43 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.25/14.45 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.34/14.47 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.35/14.48 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.35/14.50 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.35/14.52 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.41/14.54 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.44/14.55 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.44/14.57 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.44/14.59 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.44/14.61 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.49/14.62 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.49/14.64 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.53/14.66 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.53/14.68 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.53/14.70 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.53/14.72 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.53/14.73 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.62/14.75 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.62/14.77 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.65/14.78 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.65/14.80 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.65/14.82 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.71/14.83 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.71/14.85 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.74/14.86 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.74/14.88 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.74/14.90 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.74/14.91 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.80/14.93 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.80/14.95 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.80/14.96 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.85/14.98 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.85/15.00 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.85/15.02 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.85/15.04 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.85/15.05 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.95/15.07 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.95/15.09 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.98/15.11 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 14.98/15.12 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 15.02/15.14 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 15.02/15.16 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 15.02/15.18 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 15.02/15.20 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 15.09/15.22 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 15.09/15.23 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 15.09/15.25 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 15.15/15.26 eprover: /tmp/Infinox_31953/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 15.25/15.37 infinox: equinox: runProcess: runInteractiveProcess: exec: does not exist (No such file or directory)
% 15.25/15.38 Infinox, version 1.0, 2009-07-20.
% 15.25/15.38 +++ PROBLEM: /export/starexec/sandbox/benchmark/theBenchmark.p
% 15.25/15.38 Reading '/export/starexec/sandbox/benchmark/theBenchmark.p' ... OK
% 15.25/15.38 +++ SOLVING: /export/starexec/sandbox/benchmark/theBenchmark.p
% 15.25/15.38 InjNotSurj
% 15.25/15.38 SurjNotInj
% 15.25/15.38 Serial
% 15.25/15.38 Trans
% 15.25/15.38 Auto
%------------------------------------------------------------------------------