%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWX032+1 : TPTP v9.1.0. Released v9.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n003.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 300s
% DateTime : Tue Apr 1 02:13:59 AM UTC 2025
% Result : Unknown 11.64s 11.73s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.12 % Problem : SWX032+1 : TPTP v9.1.0. Released v9.1.0.
% 0.10/0.13 % Command : run_infinox %s
% 0.12/0.33 % Computer : n003.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 300
% 0.12/0.33 % DateTime : Mon Mar 31 14:21:18 EDT 2025
% 0.12/0.34 % CPUTime :
% 0.19/0.44 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.19/0.45 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.19/0.47 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.19/0.48 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.19/0.49 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.19/0.50 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.19/0.52 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.19/0.53 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.19/0.54 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.19/0.55 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.19/0.57 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.19/0.58 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.41/0.59 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.42/0.60 eprover: /tmp/Infinox_3011/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_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.42/0.63 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.46/0.64 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.46/0.65 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.46/0.67 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.46/0.68 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.46/0.69 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.46/0.70 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.46/0.72 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.55/0.73 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.55/0.74 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.55/0.75 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.55/0.76 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.55/0.78 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.62/0.79 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.62/0.80 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.62/0.81 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.62/0.83 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.62/0.84 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.62/0.85 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.69/0.86 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.70/0.88 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.70/0.89 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.70/0.90 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.74/0.91 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.74/0.93 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.76/0.94 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.76/0.95 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.76/0.96 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.76/0.98 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.76/0.99 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.76/1.00 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.76/1.02 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.85/1.03 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.85/1.04 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.85/1.05 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.85/1.07 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.85/1.08 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.92/1.09 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.92/1.10 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.92/1.12 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.92/1.13 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.92/1.14 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.92/1.15 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.92/1.17 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.92/1.18 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.01/1.19 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.03/1.20 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.03/1.22 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.05/1.23 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.05/1.24 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.05/1.25 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.05/1.27 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.05/1.28 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.05/1.29 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.15/1.31 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.15/1.32 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.15/1.33 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.15/1.34 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.15/1.36 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.20/1.37 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.20/1.38 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.20/1.39 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.20/1.41 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.20/1.42 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.20/1.43 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.20/1.44 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.20/1.46 eprover: /tmp/Infinox_3011/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_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.29/1.48 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.32/1.49 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.32/1.51 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.32/1.52 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.37/1.53 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.37/1.54 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.37/1.56 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.37/1.57 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.37/1.58 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.37/1.59 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.44/1.61 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.44/1.62 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.44/1.63 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.44/1.64 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.44/1.66 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.44/1.67 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.52/1.68 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.52/1.69 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.52/1.71 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.52/1.72 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.52/1.73 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.52/1.75 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.52/1.76 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.52/1.77 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.62/1.78 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.62/1.80 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.64/1.81 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.64/1.82 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.67/1.83 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.67/1.85 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.67/1.86 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.67/1.87 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.67/1.88 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.67/1.90 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.67/1.91 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.76/1.92 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.76/1.93 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.76/1.95 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.76/1.96 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.76/1.97 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.82/1.98 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.82/2.00 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.82/2.01 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.82/2.02 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.82/2.04 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.82/2.05 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.82/2.06 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.91/2.07 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.92/2.09 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.92/2.10 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.95/2.11 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.96/2.13 eprover: /tmp/Infinox_3011/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_3011/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_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.96/2.16 eprover: /tmp/Infinox_3011/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_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.96/2.19 eprover: /tmp/Infinox_3011/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_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.06/2.21 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.06/2.23 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.06/2.24 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.06/2.25 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.06/2.26 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.06/2.28 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.06/2.29 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.13/2.30 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.13/2.32 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.13/2.33 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.13/2.34 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.13/2.35 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.13/2.37 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.13/2.38 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.22/2.39 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.24/2.41 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.24/2.42 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.24/2.43 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.24/2.44 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.24/2.46 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.24/2.47 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.24/2.48 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.24/2.49 eprover: /tmp/Infinox_3011/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_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.35/2.52 eprover: /tmp/Infinox_3011/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_3011/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_3011/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_3011/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_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.35/2.58 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.42/2.60 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.42/2.61 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.42/2.62 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.42/2.63 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.42/2.65 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.42/2.66 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.42/2.67 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.52/2.68 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.54/2.70 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.55/2.71 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.55/2.72 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.55/2.74 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.55/2.75 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.55/2.76 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.55/2.77 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.55/2.79 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.55/2.80 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.55/2.81 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.64/2.83 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.64/2.84 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.64/2.85 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.64/2.86 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.64/2.88 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.64/2.89 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.75/2.90 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.75/2.91 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.75/2.93 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.75/2.94 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.75/2.95 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.75/2.96 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.75/2.98 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.75/2.99 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.84/3.00 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.84/3.02 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.84/3.04 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.84/3.05 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.84/3.06 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.84/3.07 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.84/3.09 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.93/3.10 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.93/3.11 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.93/3.12 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.93/3.14 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.93/3.15 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.93/3.16 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.93/3.17 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.93/3.19 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.04/3.20 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.05/3.21 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.05/3.22 eprover: /tmp/Infinox_3011/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_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.05/3.25 eprover: /tmp/Infinox_3011/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_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.05/3.27 eprover: /tmp/Infinox_3011/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_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.14/3.30 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.14/3.31 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.14/3.32 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.14/3.34 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.14/3.35 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.14/3.36 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.14/3.37 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.14/3.38 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.25/3.40 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.25/3.41 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.25/3.42 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.25/3.43 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.25/3.45 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.25/3.46 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.25/3.47 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.25/3.48 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.34/3.50 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.35/3.51 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.36/3.52 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.36/3.54 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.36/3.55 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.36/3.56 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.36/3.57 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.36/3.59 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.43/3.60 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.43/3.61 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.43/3.62 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.43/3.63 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.43/3.65 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.43/3.66 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.43/3.67 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.51/3.69 eprover: /tmp/Infinox_3011/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_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.51/3.71 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.51/3.72 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.51/3.74 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.51/3.75 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.51/3.76 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.51/3.77 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.63/3.78 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.65/3.80 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.65/3.81 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.67/3.82 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.67/3.83 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.67/3.85 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.67/3.86 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.67/3.87 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.67/3.88 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.67/3.90 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.75/3.91 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.75/3.92 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.75/3.93 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.75/3.94 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.75/3.96 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.75/3.97 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.83/3.98 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.83/3.99 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.83/4.01 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.83/4.02 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.83/4.03 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.83/4.04 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.83/4.06 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.83/4.07 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.83/4.08 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.94/4.09 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.94/4.11 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.96/4.12 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.98/4.13 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.98/4.15 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.98/4.16 eprover: /tmp/Infinox_3011/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_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.98/4.18 eprover: /tmp/Infinox_3011/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_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.98/4.21 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.07/4.22 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.07/4.23 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.07/4.24 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.07/4.26 eprover: /tmp/Infinox_3011/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_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.13/4.28 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.13/4.29 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.13/4.31 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.13/4.32 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.13/4.33 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.13/4.34 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.13/4.36 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.21/4.37 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.23/4.38 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.23/4.39 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.23/4.41 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.27/4.42 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.29/4.43 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.29/4.44 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.29/4.46 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.29/4.47 eprover: /tmp/Infinox_3011/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_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.29/4.49 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.29/4.51 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.36/4.52 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.36/4.53 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.36/4.54 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.36/4.56 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.36/4.57 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.36/4.58 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.44/4.59 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.44/4.60 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.44/4.62 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.44/4.63 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.44/4.64 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.44/4.65 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.44/4.67 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.53/4.68 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.53/4.69 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.54/4.71 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.54/4.72 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.57/4.73 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.57/4.74 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.57/4.76 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.57/4.77 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.57/4.78 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.57/4.79 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.66/4.81 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.66/4.82 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.66/4.83 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.66/4.84 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.66/4.86 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.72/4.87 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.72/4.88 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.72/4.89 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.72/4.91 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.72/4.92 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.72/4.93 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.72/4.94 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.72/4.95 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.81/4.97 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.81/4.98 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.81/4.99 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.84/5.00 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.84/5.02 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.88/5.03 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.89/5.04 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.89/5.05 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.89/5.07 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.89/5.08 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.89/5.09 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.96/5.10 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.96/5.11 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.96/5.13 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.96/5.14 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.96/5.15 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.96/5.17 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.03/5.18 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.03/5.19 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.03/5.21 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.03/5.22 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.03/5.23 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.03/5.24 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.03/5.26 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.03/5.27 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.13/5.28 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.13/5.29 eprover: /tmp/Infinox_3011/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_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.16/5.32 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.18/5.33 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.18/5.35 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.18/5.36 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.18/5.37 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.18/5.38 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.18/5.40 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.18/5.41 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.28/5.42 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.28/5.43 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.28/5.44 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.28/5.46 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.28/5.47 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.34/5.48 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.34/5.49 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.34/5.51 eprover: /tmp/Infinox_3011/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_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.34/5.53 eprover: /tmp/Infinox_3011/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_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.34/5.56 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.44/5.57 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.44/5.58 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.44/5.60 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.44/5.61 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.47/5.62 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.49/5.63 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.49/5.65 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.49/5.66 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.49/5.67 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.49/5.69 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.49/5.70 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.49/5.71 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.57/5.73 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.57/5.74 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.57/5.75 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.57/5.77 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.57/5.78 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.57/5.79 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.66/5.81 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.66/5.82 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.66/5.83 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.66/5.85 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.66/5.86 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.66/5.87 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.75/5.89 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.76/5.90 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.77/5.91 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.77/5.93 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.77/5.94 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.77/5.95 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.77/5.97 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.77/5.98 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.77/5.99 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.87/6.01 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.87/6.02 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.87/6.03 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.87/6.05 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.87/6.06 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.87/6.07 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.95/6.09 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.95/6.10 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.95/6.11 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.95/6.13 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.95/6.14 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.95/6.15 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.95/6.17 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.04/6.18 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.05/6.19 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.05/6.21 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.07/6.22 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.07/6.23 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.07/6.25 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.07/6.26 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.07/6.27 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.07/6.29 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.07/6.30 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.18/6.32 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.18/6.33 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.18/6.34 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.18/6.36 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.18/6.37 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.18/6.39 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.26/6.40 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.26/6.41 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.26/6.43 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.26/6.44 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.26/6.45 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.26/6.47 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.26/6.48 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr: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_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.36/6.51 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.36/6.52 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.36/6.53 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.36/6.55 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.36/6.56 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.36/6.57 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.36/6.59 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.45/6.60 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.45/6.61 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.45/6.63 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.45/6.64 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.45/6.65 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.45/6.67 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.45/6.68 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.45/6.69 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.56/6.71 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.56/6.72 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.56/6.73 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.56/6.75 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.56/6.76 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.56/6.77 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.56/6.79 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.66/6.80 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.66/6.81 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.66/6.83 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.66/6.84 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.66/6.85 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.66/6.87 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.66/6.88 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.66/6.89 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.77/6.91 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.77/6.92 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.77/6.93 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.77/6.95 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.77/6.96 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.77/6.97 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.77/6.99 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.86/7.00 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.88/7.01 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.88/7.03 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.88/7.04 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.88/7.05 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr: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_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.88/7.08 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.88/7.09 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.88/7.11 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.99/7.12 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.99/7.13 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.99/7.15 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.99/7.16 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.99/7.17 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.99/7.19 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.07/7.20 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.07/7.22 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.07/7.23 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.07/7.24 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.07/7.26 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.07/7.27 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.15/7.28 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.15/7.30 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.15/7.31 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr: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_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.15/7.34 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.15/7.35 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.15/7.36 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.15/7.38 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.25/7.39 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.27/7.40 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.28/7.42 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.28/7.43 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.28/7.45 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.28/7.46 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.28/7.47 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.28/7.49 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.28/7.50 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.28/7.51 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.40/7.53 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.40/7.54 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.40/7.55 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.40/7.56 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.40/7.58 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.40/7.59 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.47/7.60 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.47/7.62 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.47/7.63 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.47/7.64 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.47/7.66 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.47/7.67 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.55/7.68 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.56/7.70 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.56/7.71 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.59/7.72 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.62/7.74 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.62/7.75 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.62/7.76 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.62/7.78 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.62/7.79 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.62/7.80 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.68/7.81 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.68/7.83 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.68/7.84 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.68/7.85 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.68/7.87 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.77/7.88 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.77/7.89 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.77/7.91 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.77/7.92 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.77/7.93 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.77/7.95 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.77/7.96 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.84/7.97 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.85/7.99 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.85/8.00 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.88/8.01 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.88/8.03 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.90/8.04 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.90/8.05 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.90/8.07 eprover: /tmp/Infinox_3011/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_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.90/8.09 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.90/8.11 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.99/8.12 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.99/8.13 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.99/8.14 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.99/8.16 eprover: /tmp/Infinox_3011/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_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.05/8.18 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.05/8.20 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.05/8.21 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.05/8.22 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.05/8.24 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.05/8.25 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.05/8.26 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.05/8.28 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.16/8.29 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.17/8.30 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.17/8.32 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.21/8.33 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.21/8.35 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.21/8.36 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.21/8.37 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.21/8.39 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.28/8.40 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.28/8.41 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.28/8.43 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.28/8.44 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.28/8.45 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.34/8.47 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.34/8.48 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.34/8.49 eprover: /tmp/Infinox_3011/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_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.34/8.52 eprover: /tmp/Infinox_3011/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_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.34/8.55 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.34/8.56 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.45/8.57 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.45/8.59 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.48/8.60 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.48/8.61 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.48/8.63 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.51/8.64 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.51/8.65 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.51/8.66 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.51/8.68 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.51/8.69 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.58/8.70 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.58/8.72 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.58/8.73 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.58/8.74 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.58/8.76 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.58/8.77 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.66/8.78 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.66/8.79 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.66/8.81 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.66/8.82 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.66/8.83 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.66/8.85 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.66/8.86 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.66/8.87 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.77/8.89 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.77/8.90 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.79/8.91 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.79/8.92 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.81/8.94 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.81/8.95 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.81/8.96 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.81/8.98 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.81/8.99 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.81/9.00 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.90/9.02 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.90/9.03 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.90/9.04 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.90/9.06 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.90/9.07 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.97/9.08 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.97/9.10 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.97/9.11 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.97/9.12 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.97/9.14 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.97/9.15 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.97/9.16 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.06/9.17 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.06/9.19 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.06/9.20 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.09/9.21 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.11/9.23 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.11/9.24 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.11/9.25 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.11/9.27 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.11/9.28 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.11/9.30 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.11/9.31 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.20/9.32 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.20/9.34 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.20/9.35 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.20/9.36 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.20/9.38 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.20/9.39 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.28/9.40 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.28/9.42 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.28/9.43 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.28/9.44 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.28/9.46 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.28/9.47 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.36/9.48 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.39/9.50 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.39/9.51 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.40/9.52 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.40/9.54 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.40/9.55 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.40/9.56 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.40/9.58 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.40/9.59 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.48/9.60 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.48/9.62 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.48/9.63 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.48/9.64 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.48/9.66 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.48/9.67 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.56/9.68 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.56/9.70 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.56/9.71 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.56/9.72 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.56/9.74 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.56/9.75 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.56/9.76 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.56/9.77 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.68/9.79 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.69/9.80 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.70/9.81 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.70/9.83 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.70/9.84 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.70/9.85 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.70/9.87 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.70/9.88 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.70/9.89 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.70/9.91 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.80/9.92 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.80/9.93 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.80/9.94 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.80/9.96 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.80/9.97 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.80/9.98 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.80/9.99 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.89/10.01 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.89/10.02 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.89/10.03 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.89/10.04 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.89/10.06 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.89/10.07 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.89/10.08 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.00/10.10 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.00/10.11 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.00/10.13 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.00/10.14 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.00/10.15 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.00/10.17 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.00/10.18 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.00/10.19 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.09/10.21 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.09/10.22 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.09/10.23 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.09/10.25 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.09/10.26 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.09/10.27 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.09/10.28 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.20/10.30 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.20/10.31 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.20/10.33 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.20/10.34 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.20/10.35 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.20/10.37 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.20/10.38 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.20/10.39 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.29/10.41 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.29/10.42 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.29/10.43 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.29/10.44 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.29/10.46 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.29/10.47 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.29/10.48 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.39/10.50 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.39/10.51 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.39/10.52 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.39/10.54 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.39/10.55 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.39/10.56 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.39/10.57 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.39/10.59 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.49/10.60 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.50/10.61 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.50/10.63 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.50/10.64 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.50/10.65 eprover: /tmp/Infinox_3011/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_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.50/10.68 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.50/10.69 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.50/10.70 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.62/10.72 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.62/10.73 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.62/10.74 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.62/10.76 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.62/10.77 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.62/10.78 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.62/10.80 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.62/10.81 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.71/10.82 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.71/10.83 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.71/10.85 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.71/10.86 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.71/10.87 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.71/10.89 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.80/10.90 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.80/10.91 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.80/10.92 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.80/10.94 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.80/10.95 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.80/10.96 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.80/10.98 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.88/10.99 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.90/11.00 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.92/11.02 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.92/11.03 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.92/11.04 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.92/11.06 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.92/11.07 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.92/11.08 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.92/11.10 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.92/11.11 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.02/11.12 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.02/11.13 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.02/11.15 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.02/11.16 eprover: /tmp/Infinox_3011/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_3011/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_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.10/11.20 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.10/11.21 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.10/11.22 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.10/11.24 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.10/11.25 eprover: /tmp/Infinox_3011/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_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.10/11.28 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.19/11.29 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.21/11.30 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.22/11.32 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.23/11.33 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.23/11.34 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.23/11.35 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.23/11.37 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.23/11.38 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.23/11.39 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.23/11.41 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.32/11.42 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.32/11.43 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.32/11.45 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.32/11.46 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.32/11.47 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.39/11.49 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.39/11.50 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.39/11.51 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.39/11.52 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.39/11.54 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.39/11.55 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.39/11.56 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.48/11.58 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.49/11.59 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.49/11.60 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.52/11.61 eprover: /tmp/Infinox_3011/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.64/11.71 infinox: equinox: runProcess: runInteractiveProcess: exec: does not exist (No such file or directory)
% 11.64/11.72 Infinox, version 1.0, 2009-07-20.
% 11.64/11.72 +++ PROBLEM: /export/starexec/sandbox/benchmark/theBenchmark.p
% 11.64/11.72 Reading '/export/starexec/sandbox/benchmark/theBenchmark.p' ... OK
% 11.64/11.72 +++ SOLVING: /export/starexec/sandbox/benchmark/theBenchmark.p
% 11.64/11.72 InjNotSurj
% 11.64/11.72 SurjNotInj
% 11.64/11.72 Serial
% 11.64/11.72 Trans
% 11.64/11.72 Auto
%------------------------------------------------------------------------------