TSTP Solution File: SEU437+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : SEU437+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n015.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 Sep 20 05:57:12 EDT 2022
% Result : Timeout 300.03s 91.87s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.14 % Problem : SEU437+4 : TPTP v8.1.0. Released v3.4.0.
% 0.04/0.14 % Command : goeland -dmt -presko -proof %s
% 0.14/0.36 % Computer : n015.cluster.edu
% 0.14/0.36 % Model : x86_64 x86_64
% 0.14/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.36 % Memory : 8042.1875MB
% 0.14/0.36 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.36 % CPULimit : 300
% 0.14/0.36 % WCLimit : 300
% 0.14/0.36 % DateTime : Sat Sep 3 14:45:50 EDT 2022
% 0.14/0.36 % CPUTime :
% 0.14/0.37 [DMT] DMT loaded with preskolemization
% 0.14/0.37 [EQ] equality loaded.
% 0.14/0.37 [0.000049s][1][MAIN] Problem : theBenchmark.p
% 0.22/0.42 Conjecture not found
% 0.22/0.42 Conjecture not found
% 0.22/0.42 Conjecture not found
% 0.22/0.42 Conjecture not found
% 0.22/0.44 Conjecture not found
% 0.22/0.45 Conjecture not found
% 0.22/0.47 Conjecture not found
% 0.22/0.50 Conjecture not found
% 0.22/0.51 Conjecture not found
% 0.22/0.51 Conjecture not found
% 0.46/0.54 Conjecture not found
% 0.49/0.58 Conjecture not found
% 0.49/0.59 Conjecture not found
% 0.49/0.60 Conjecture not found
% 0.49/0.61 Conjecture not found
% 0.49/0.63 Conjecture not found
% 0.63/0.65 Conjecture not found
% 0.71/0.69 Conjecture not found
% 0.84/0.76 Conjecture not found
% 0.84/0.77 Conjecture not found
% 1.00/0.85 Conjecture not found
% 1.00/0.90 Conjecture not found
% 1.23/0.98 Conjecture not found
% 1.23/1.02 Conjecture not found
% 1.38/1.09 Conjecture not found
% 1.38/1.13 Conjecture not found
% 1.53/1.18 Conjecture not found
% 1.53/1.21 Conjecture not found
% 1.65/1.25 Conjecture not found
% 1.65/1.26 Conjecture not found
% 1.68/1.27 Conjecture not found
% 1.68/1.28 Conjecture not found
% 1.68/1.28 Conjecture not found
% 1.85/1.39 Conjecture not found
% 1.85/1.41 Conjecture not found
% 1.85/1.42 Conjecture not found
% 1.96/1.43 Conjecture not found
% 1.96/1.43 Conjecture not found
% 1.96/1.44 Conjecture not found
% 1.96/1.44 Conjecture not found
% 1.96/1.45 Conjecture not found
% 1.96/1.45 Conjecture not found
% 2.03/1.51 Conjecture not found
% 2.14/1.56 Conjecture not found
% 2.14/1.56 Conjecture not found
% 2.14/1.56 Conjecture not found
% 2.19/1.58 Conjecture not found
% 2.19/1.59 Conjecture not found
% 2.19/1.61 Conjecture not found
% 2.19/1.62 Conjecture not found
% 2.31/1.65 Conjecture not found
% 2.31/1.67 Conjecture not found
% 2.37/1.69 Conjecture not found
% 2.37/1.70 Conjecture not found
% 2.37/1.71 Conjecture not found
% 2.37/1.75 Conjecture not found
% 2.52/1.81 Conjecture not found
% 2.67/1.87 Conjecture not found
% 2.67/1.88 Conjecture not found
% 2.67/1.90 Conjecture not found
% 2.78/1.93 Conjecture not found
% 2.78/1.96 Conjecture not found
% 2.86/1.98 Conjecture not found
% 2.86/2.00 Conjecture not found
% 3.02/2.10 Conjecture not found
% 3.11/2.13 Conjecture not found
% 3.11/2.15 Conjecture not found
% 3.19/2.17 Conjecture not found
% 3.19/2.19 Conjecture not found
% 3.19/2.21 Conjecture not found
% 3.53/2.38 Conjecture not found
% 3.62/2.40 Conjecture not found
% 3.62/2.42 Conjecture not found
% 3.67/2.53 Conjecture not found
% 3.67/2.54 Conjecture not found
% 3.85/2.55 Conjecture not found
% 3.85/2.58 Conjecture not found
% 3.94/2.62 Conjecture not found
% 4.04/2.69 Conjecture not found
% 4.20/2.78 Conjecture not found
% 4.20/2.85 Conjecture not found
% 4.43/2.91 Conjecture not found
% 4.43/2.92 Conjecture not found
% 4.47/2.96 Conjecture not found
% 4.47/2.97 Conjecture not found
% 4.59/3.00 Conjecture not found
% 4.59/3.03 Conjecture not found
% 4.59/3.05 Conjecture not found
% 4.71/3.06 Conjecture not found
% 4.71/3.14 Conjecture not found
% 4.71/3.15 Conjecture not found
% 4.86/3.19 Conjecture not found
% 5.05/3.26 Conjecture not found
% 5.14/3.37 Conjecture not found
% 5.47/3.53 Conjecture not found
% 5.79/3.74 Conjecture not found
% 6.32/4.04 Conjecture not found
% 6.46/4.06 Conjecture not found
% 6.46/4.09 Conjecture not found
% 6.60/4.20 Conjecture not found
% 6.74/4.24 Conjecture not found
% 6.79/4.29 Conjecture not found
% 6.92/4.37 Conjecture not found
% 6.96/4.42 Conjecture not found
% 7.12/4.49 Conjecture not found
% 7.24/4.54 Conjecture not found
% 7.27/4.56 Conjecture not found
% 7.27/4.57 Conjecture not found
% 7.27/4.60 Conjecture not found
% 7.27/4.61 Conjecture not found
% 7.45/4.67 Conjecture not found
% 7.62/4.77 Conjecture not found
% 7.75/4.83 Conjecture not found
% 7.78/4.94 Conjecture not found
% 7.94/4.95 Conjecture not found
% 8.05/4.99 Conjecture not found
% 8.05/5.01 Conjecture not found
% 8.05/5.03 Conjecture not found
% 8.12/5.06 Conjecture not found
% 8.13/5.09 Conjecture not found
% 8.24/5.11 Conjecture not found
% 8.27/5.15 Conjecture not found
% 8.27/5.15 Conjecture not found
% 8.27/5.17 Conjecture not found
% 8.27/5.18 Conjecture not found
% 8.27/5.22 Conjecture not found
% 8.44/5.24 Conjecture not found
% 8.50/5.29 Conjecture not found
% 8.50/5.34 Conjecture not found
% 8.75/5.53 Conjecture not found
% 8.91/5.57 Conjecture not found
% 8.91/5.59 Conjecture not found
% 9.06/5.61 Conjecture not found
% 9.06/5.64 Conjecture not found
% 9.11/5.68 Conjecture not found
% 9.11/5.72 Conjecture not found
% 9.11/5.73 Conjecture not found
% 9.11/5.74 Conjecture not found
% 9.28/5.76 Conjecture not found
% 9.46/5.84 Conjecture not found
% 10.31/6.34 Conjecture not found
% 11.08/6.83 Conjecture not found
% 11.33/6.97 Conjecture not found
% 11.45/7.02 Conjecture not found
% 11.45/7.03 Conjecture not found
% 11.45/7.04 Conjecture not found
% 11.56/7.07 Conjecture not found
% 11.56/7.10 Conjecture not found
% 11.56/7.12 Conjecture not found
% 11.74/7.17 Conjecture not found
% 11.78/7.21 Conjecture not found
% 11.93/7.26 Conjecture not found
% 11.93/7.28 Conjecture not found
% 11.93/7.29 Conjecture not found
% 11.93/7.31 Conjecture not found
% 12.09/7.36 Conjecture not found
% 12.15/7.39 Conjecture not found
% 12.15/7.43 Conjecture not found
% 12.32/7.47 Conjecture not found
% 12.36/7.48 Conjecture not found
% 12.36/7.49 Conjecture not found
% 12.36/7.52 Conjecture not found
% 12.53/7.55 Conjecture not found
% 12.53/7.60 Conjecture not found
% 12.60/7.63 Conjecture not found
% 12.60/7.64 Conjecture not found
% 12.73/7.69 Conjecture not found
% 12.73/7.73 Conjecture not found
% 12.73/7.74 Conjecture not found
% 12.84/7.76 Conjecture not found
% 12.84/7.79 Conjecture not found
% 12.99/7.81 Conjecture not found
% 12.99/7.83 Conjecture not found
% 13.05/7.85 Conjecture not found
% 13.07/7.88 Conjecture not found
% 13.07/7.90 Conjecture not found
% 13.07/7.91 Conjecture not found
% 13.25/7.97 Conjecture not found
% 13.25/7.99 Conjecture not found
% 13.25/8.02 Conjecture not found
% 13.33/8.05 Conjecture not found
% 13.49/8.08 Conjecture not found
% 13.49/8.09 Conjecture not found
% 13.49/8.13 Conjecture not found
% 13.56/8.16 Conjecture not found
% 13.58/8.18 Conjecture not found
% 13.58/8.19 Conjecture not found
% 13.72/8.23 Conjecture not found
% 13.77/8.27 Conjecture not found
% 13.77/8.29 Conjecture not found
% 13.77/8.33 Conjecture not found
% 13.77/8.34 Conjecture not found
% 13.87/8.35 Conjecture not found
% 14.03/8.40 Conjecture not found
% 14.03/8.41 Conjecture not found
% 14.03/8.44 Conjecture not found
% 14.03/8.45 Conjecture not found
% 14.11/8.47 Conjecture not found
% 14.11/8.47 Conjecture not found
% 14.11/8.48 Conjecture not found
% 14.11/8.48 Conjecture not found
% 14.14/8.52 Conjecture not found
% 14.30/8.59 Conjecture not found
% 14.30/8.60 Conjecture not found
% 14.30/8.62 Conjecture not found
% 14.45/8.67 Conjecture not found
% 14.45/8.68 Conjecture not found
% 14.61/8.72 Conjecture not found
% 14.61/8.73 Conjecture not found
% 14.61/8.76 Conjecture not found
% 14.68/8.80 Conjecture not found
% 14.89/8.85 Conjecture not found
% 14.89/8.87 Conjecture not found
% 14.89/8.91 Conjecture not found
% 15.18/9.06 Conjecture not found
% 15.24/9.14 Conjecture not found
% 15.49/9.20 Conjecture not found
% 15.49/9.21 Conjecture not found
% 15.53/9.23 Conjecture not found
% 15.59/9.30 Conjecture not found
% 15.76/9.35 Conjecture not found
% 15.81/9.37 Conjecture not found
% 15.81/9.44 Conjecture not found
% 16.13/9.54 Conjecture not found
% 16.15/9.60 Conjecture not found
% 16.21/9.63 Conjecture not found
% 16.36/9.70 Conjecture not found
% 16.36/9.73 Conjecture not found
% 16.50/9.77 Conjecture not found
% 16.53/9.81 Conjecture not found
% 16.75/9.91 Conjecture not found
% 16.87/9.99 Conjecture not found
% 16.87/10.01 Conjecture not found
% 16.87/10.05 Conjecture not found
% 17.12/10.07 Conjecture not found
% 17.12/10.09 Conjecture not found
% 17.20/10.18 Conjecture not found
% 17.45/10.26 Conjecture not found
% 17.45/10.28 Conjecture not found
% 17.50/10.31 Conjecture not found
% 17.95/10.57 Conjecture not found
% 18.11/10.65 Conjecture not found
% 18.19/10.68 Conjecture not found
% 18.19/10.69 Conjecture not found
% 18.19/10.70 Conjecture not found
% 18.19/10.71 Conjecture not found
% 18.37/10.76 Conjecture not found
% 18.53/10.85 Conjecture not found
% 18.58/10.91 Conjecture not found
% 18.82/10.99 Conjecture not found
% 18.82/11.01 Conjecture not found
% 18.91/11.11 Conjecture not found
% 19.17/11.16 Conjecture not found
% 19.17/11.19 Conjecture not found
% 19.23/11.22 Conjecture not found
% 19.23/11.25 Conjecture not found
% 19.46/11.27 Conjecture not found
% 19.51/11.31 Conjecture not found
% 19.51/11.31 Conjecture not found
% 19.55/11.33 Conjecture not found
% 19.57/11.37 Conjecture not found
% 19.57/11.39 Conjecture not found
% 19.57/11.41 Conjecture not found
% 19.64/11.45 Conjecture not found
% 19.90/11.54 Conjecture not found
% 19.90/11.55 Conjecture not found
% 19.98/11.57 Conjecture not found
% 20.00/11.59 Conjecture not found
% 20.10/11.70 Conjecture not found
% 20.10/11.71 Conjecture not found
% 20.33/11.75 Conjecture not found
% 20.33/11.76 Conjecture not found
% 20.33/11.76 Conjecture not found
% 20.33/11.76 Conjecture not found
% 20.33/11.77 Conjecture not found
% 20.49/11.84 Conjecture not found
% 20.49/11.85 Conjecture not found
% 20.49/11.86 Conjecture not found
% 20.68/11.92 Conjecture not found
% 20.96/11.99 Conjecture not found
% 20.99/12.10 Conjecture not found
% 21.08/12.11 Conjecture not found
% 21.23/12.23 Conjecture not found
% 21.45/12.32 Conjecture not found
% 21.60/12.34 Conjecture not found
% 21.60/12.40 Conjecture not found
% 21.60/12.41 Conjecture not found
% 21.80/12.42 Conjecture not found
% 21.86/12.50 Conjecture not found
% 22.18/12.61 Conjecture not found
% 22.21/12.65 Conjecture not found
% 22.21/12.67 Conjecture not found
% 22.30/12.77 Conjecture not found
% 22.57/12.82 Conjecture not found
% 22.57/12.85 Conjecture not found
% 22.67/12.90 Conjecture not found
% 22.70/12.95 Conjecture not found
% 22.77/12.96 Conjecture not found
% 22.77/13.01 Conjecture not found
% 23.06/13.07 Conjecture not found
% 23.06/13.10 Conjecture not found
% 23.06/13.11 Conjecture not found
% 23.13/13.15 Conjecture not found
% 23.42/13.22 Conjecture not found
% 23.42/13.23 Conjecture not found
% 23.45/13.26 Conjecture not found
% 23.45/13.29 Conjecture not found
% 23.45/13.32 Conjecture not found
% 23.53/13.36 Conjecture not found
% 23.78/13.45 Conjecture not found
% 23.87/13.46 Conjecture not found
% 23.90/13.51 Conjecture not found
% 23.97/13.57 Conjecture not found
% 24.29/13.69 Conjecture not found
% 24.29/13.71 Conjecture not found
% 24.37/13.77 Conjecture not found
% 24.42/13.79 Conjecture not found
% 24.42/13.81 Conjecture not found
% 24.42/13.81 Conjecture not found
% 24.42/13.84 Conjecture not found
% 24.72/13.87 Conjecture not found
% 24.72/13.88 Conjecture not found
% 24.78/13.95 Conjecture not found
% 24.83/13.99 Conjecture not found
% 25.14/14.08 Conjecture not found
% 25.14/14.09 Conjecture not found
% 25.19/14.10 Conjecture not found
% 25.23/14.16 Conjecture not found
% 25.23/14.18 Conjecture not found
% 25.23/14.19 Conjecture not found
% 25.49/14.29 Conjecture not found
% 25.49/14.34 Conjecture not found
% 25.64/14.38 Conjecture not found
% 25.68/14.44 Conjecture not found
% 25.72/14.46 Conjecture not found
% 25.72/14.49 Conjecture not found
% 26.26/14.73 Conjecture not found
% 26.26/14.78 Conjecture not found
% 26.26/14.80 Conjecture not found
% 26.68/14.92 Conjecture not found
% 26.68/14.94 Conjecture not found
% 26.76/14.99 Conjecture not found
% 26.79/15.02 Conjecture not found
% 27.18/15.14 Conjecture not found
% 27.18/15.19 Conjecture not found
% 27.18/15.20 Conjecture not found
% 27.25/15.22 Conjecture not found
% 27.25/15.25 Conjecture not found
% 27.33/15.29 Conjecture not found
% 27.67/15.38 Conjecture not found
% 27.68/15.40 Conjecture not found
% 27.68/15.40 Conjecture not found
% 27.71/15.41 Conjecture not found
% 27.72/15.45 Conjecture not found
% 27.72/15.46 Conjecture not found
% 27.81/15.51 Conjecture not found
% 28.01/15.61 Conjecture not found
% 28.25/15.69 Conjecture not found
% 28.25/15.72 Conjecture not found
% 28.29/15.73 Conjecture not found
% 28.31/15.74 Conjecture not found
% 28.31/15.79 Conjecture not found
% 28.31/15.81 Conjecture not found
% 28.31/15.82 Conjecture not found
% 28.40/15.85 Conjecture not found
% 28.59/15.91 Conjecture not found
% 28.80/15.99 Conjecture not found
% 28.85/16.02 Conjecture not found
% 28.85/16.03 Conjecture not found
% 28.88/16.09 Conjecture not found
% 28.88/16.11 Conjecture not found
% 28.88/16.12 Conjecture not found
% 29.18/16.19 Conjecture not found
% 29.18/16.23 Conjecture not found
% 29.40/16.30 Conjecture not found
% 29.40/16.32 Conjecture not found
% 29.44/16.34 Conjecture not found
% 29.44/16.35 Conjecture not found
% 29.47/16.38 Conjecture not found
% 29.47/16.39 Conjecture not found
% 29.94/16.54 Conjecture not found
% 29.94/16.55 Conjecture not found
% 29.94/16.56 Conjecture not found
% 29.97/16.60 Conjecture not found
% 30.02/16.64 Conjecture not found
% 30.06/16.66 Conjecture not found
% 30.06/16.68 Conjecture not found
% 30.06/16.71 Conjecture not found
% 30.13/16.75 Conjecture not found
% 30.42/16.81 Conjecture not found
% 30.42/16.83 Conjecture not found
% 30.54/16.86 Conjecture not found
% 30.54/16.88 Conjecture not found
% 30.57/16.89 Conjecture not found
% 30.57/16.89 Conjecture not found
% 30.57/16.92 Conjecture not found
% 30.63/16.95 Conjecture not found
% 30.64/16.98 Conjecture not found
% 30.99/17.04 Conjecture not found
% 30.99/17.05 Conjecture not found
% 31.05/17.11 Conjecture not found
% 31.13/17.16 Conjecture not found
% 31.13/17.18 Conjecture not found
% 31.17/17.20 Conjecture not found
% 31.17/17.23 Conjecture not found
% 31.33/17.27 Conjecture not found
% 31.33/17.29 Conjecture not found
% 31.61/17.32 Conjecture not found
% 31.67/17.38 Conjecture not found
% 31.67/17.39 Conjecture not found
% 31.67/17.41 Conjecture not found
% 31.75/17.46 Conjecture not found
% 31.80/17.51 Conjecture not found
% 32.26/17.66 Conjecture not found
% 32.26/17.69 Conjecture not found
% 32.26/17.73 Conjecture not found
% 32.40/17.81 Conjecture not found
% 32.79/17.93 Conjecture not found
% 32.88/17.99 Conjecture not found
% 32.88/18.05 Conjecture not found
% 32.98/18.07 Conjecture not found
% 32.98/18.08 Conjecture not found
% 32.98/18.09 Conjecture not found
% 33.00/18.11 Conjecture not found
% 33.03/18.13 Conjecture not found
% 33.03/18.15 Conjecture not found
% 33.03/18.16 Conjecture not found
% 33.03/18.18 Conjecture not found
% 33.03/18.20 Conjecture not found
% 33.13/18.27 Conjecture not found
% 33.51/18.35 Conjecture not found
% 33.61/18.38 Conjecture not found
% 33.63/18.41 Conjecture not found
% 33.67/18.44 Conjecture not found
% 33.67/18.46 Conjecture not found
% 33.74/18.58 Conjecture not found
% 34.23/18.71 Conjecture not found
% 34.27/18.74 Conjecture not found
% 34.27/18.75 Conjecture not found
% 34.36/18.84 Conjecture not found
% 34.43/18.88 Conjecture not found
% 34.43/18.94 Conjecture not found
% 34.88/19.01 Conjecture not found
% 34.92/19.03 Conjecture not found
% 34.93/19.10 Conjecture not found
% 34.93/19.12 Conjecture not found
% 34.93/19.13 Conjecture not found
% 35.02/19.16 Conjecture not found
% 35.08/19.19 Conjecture not found
% 35.08/19.20 Conjecture not found
% 35.08/19.22 Conjecture not found
% 35.08/19.23 Conjecture not found
% 35.16/19.30 Conjecture not found
% 35.39/19.40 Conjecture not found
% 35.60/19.45 Conjecture not found
% 35.66/19.50 Conjecture not found
% 35.76/19.61 Conjecture not found
% 35.76/19.62 Conjecture not found
% 35.80/19.64 Conjecture not found
% 35.80/19.66 Conjecture not found
% 35.83/19.68 Conjecture not found
% 35.83/19.69 Conjecture not found
% 35.83/19.70 Conjecture not found
% 36.35/19.86 Conjecture not found
% 36.38/19.87 Conjecture not found
% 36.38/19.89 Conjecture not found
% 36.38/19.93 Conjecture not found
% 36.44/19.94 Conjecture not found
% 36.47/19.96 Conjecture not found
% 36.47/19.99 Conjecture not found
% 36.47/20.01 Conjecture not found
% 36.54/20.04 Conjecture not found
% 36.58/20.09 Conjecture not found
% 37.02/20.15 Conjecture not found
% 37.05/20.21 Conjecture not found
% 37.05/20.22 Conjecture not found
% 37.05/20.23 Conjecture not found
% 37.11/20.24 Conjecture not found
% 37.13/20.30 Conjecture not found
% 37.23/20.37 Conjecture not found
% 37.23/20.40 Conjecture not found
% 37.31/20.46 Conjecture not found
% 37.55/20.53 Conjecture not found
% 37.55/20.54 Conjecture not found
% 37.80/20.56 Conjecture not found
% 37.80/20.61 Conjecture not found
% 37.86/20.64 Conjecture not found
% 37.86/20.67 Conjecture not found
% 37.91/20.69 Conjecture not found
% 37.91/20.71 Conjecture not found
% 38.18/20.76 Conjecture not found
% 38.43/20.83 Conjecture not found
% 38.48/20.85 Conjecture not found
% 38.48/20.88 Conjecture not found
% 38.54/20.92 Conjecture not found
% 38.54/20.93 Conjecture not found
% 38.59/20.96 Conjecture not found
% 38.59/20.98 Conjecture not found
% 38.59/20.99 Conjecture not found
% 38.59/21.03 Conjecture not found
% 38.69/21.07 Conjecture not found
% 39.17/21.17 Conjecture not found
% 39.17/21.19 Conjecture not found
% 39.25/21.22 Conjecture not found
% 39.25/21.26 Conjecture not found
% 39.31/21.28 Conjecture not found
% 39.31/21.30 Conjecture not found
% 39.31/21.33 Conjecture not found
% 39.31/21.34 Conjecture not found
% 39.31/21.35 Conjecture not found
% 39.43/21.40 Conjecture not found
% 39.43/21.41 Conjecture not found
% 39.46/21.44 Conjecture not found
% 39.46/21.48 Conjecture not found
% 39.46/21.49 Conjecture not found
% 40.00/21.59 Conjecture not found
% 40.00/21.60 Conjecture not found
% 40.00/21.61 Conjecture not found
% 40.00/21.62 Conjecture not found
% 40.00/21.65 Conjecture not found
% 40.00/21.66 Conjecture not found
% 40.10/21.69 Conjecture not found
% 40.13/21.71 Conjecture not found
% 40.13/21.72 Conjecture not found
% 40.17/21.76 Conjecture not found
% 40.36/21.83 Conjecture not found
% 40.73/21.96 Conjecture not found
% 40.82/21.98 Conjecture not found
% 40.82/21.99 Conjecture not found
% 40.82/22.00 Conjecture not found
% 40.86/22.09 Conjecture not found
% 40.86/22.11 Conjecture not found
% 40.95/22.13 Conjecture not found
% 40.95/22.16 Conjecture not found
% 41.03/22.25 Conjecture not found
% 41.52/22.32 Conjecture not found
% 41.70/22.45 Conjecture not found
% 41.70/22.46 Conjecture not found
% 41.76/22.52 Conjecture not found
% 41.76/22.53 Conjecture not found
% 41.76/22.54 Conjecture not found
% 41.76/22.55 Conjecture not found
% 41.83/22.58 Conjecture not found
% 42.32/22.66 Conjecture not found
% 42.32/22.69 Conjecture not found
% 42.32/22.71 Conjecture not found
% 42.45/22.74 Conjecture not found
% 42.51/22.81 Conjecture not found
% 42.51/22.82 Conjecture not found
% 42.51/22.85 Conjecture not found
% 42.62/22.93 Conjecture not found
% 42.66/22.97 Conjecture not found
% 42.75/23.04 Conjecture not found
% 42.75/23.07 Conjecture not found
% 42.79/23.11 Conjecture not found
% 43.05/23.15 Conjecture not found
% 43.42/23.27 Conjecture not found
% 43.42/23.31 Conjecture not found
% 43.42/23.33 Conjecture not found
% 43.50/23.36 Conjecture not found
% 43.55/23.39 Conjecture not found
% 43.55/23.40 Conjecture not found
% 43.55/23.42 Conjecture not found
% 43.55/23.44 Conjecture not found
% 44.03/23.54 Conjecture not found
% 44.18/23.61 Conjecture not found
% 44.27/23.63 Conjecture not found
% 44.32/23.66 Conjecture not found
% 44.32/23.67 Conjecture not found
% 44.32/23.70 Conjecture not found
% 44.32/23.73 Conjecture not found
% 44.40/23.74 Conjecture not found
% 44.40/23.76 Conjecture not found
% 44.43/23.79 Conjecture not found
% 44.43/23.82 Conjecture not found
% 44.51/23.85 Conjecture not found
% 44.51/23.89 Conjecture not found
% 44.51/23.89 Conjecture not found
% 44.57/23.92 Conjecture not found
% 44.57/23.93 Conjecture not found
% 44.88/23.98 Conjecture not found
% 45.17/24.08 Conjecture not found
% 45.17/24.09 Conjecture not found
% 45.17/24.09 Conjecture not found
% 45.21/24.10 Conjecture not found
% 45.21/24.12 Conjecture not found
% 45.21/24.13 Conjecture not found
% 45.25/24.15 Conjecture not found
% 45.25/24.16 Conjecture not found
% 45.25/24.17 Conjecture not found
% 45.25/24.19 Conjecture not found
% 45.31/24.23 Conjecture not found
% 45.31/24.24 Conjecture not found
% 45.31/24.25 Conjecture not found
% 45.31/24.26 Conjecture not found
% 45.37/24.30 Conjecture not found
% 45.37/24.31 Conjecture not found
% 45.75/24.42 Conjecture not found
% 45.75/24.43 Conjecture not found
% 46.01/24.45 Conjecture not found
% 46.17/24.62 Conjecture not found
% 46.17/24.65 Conjecture not found
% 46.17/24.67 Conjecture not found
% 46.27/24.68 Conjecture not found
% 46.31/24.73 Conjecture not found
% 46.31/24.78 Conjecture not found
% 46.69/24.90 Conjecture not found
% 46.69/24.97 Conjecture not found
% 47.00/25.02 Conjecture not found
% 47.10/25.13 Conjecture not found
% 47.10/25.13 Conjecture not found
% 47.18/25.20 Conjecture not found
% 47.18/25.22 Conjecture not found
% 47.18/25.25 Conjecture not found
% 47.18/25.26 Conjecture not found
% 47.18/25.27 Conjecture not found
% 47.26/25.28 Conjecture not found
% 47.28/25.30 Conjecture not found
% 47.30/25.32 Conjecture not found
% 47.30/25.33 Conjecture not found
% 47.30/25.34 Conjecture not found
% 47.30/25.36 Conjecture not found
% 47.30/25.37 Conjecture not found
% 47.30/25.40 Conjecture not found
% 47.30/25.41 Conjecture not found
% 47.95/25.54 Conjecture not found
% 47.95/25.57 Conjecture not found
% 48.06/25.61 Conjecture not found
% 48.06/25.65 Conjecture not found
% 48.16/25.68 Conjecture not found
% 48.19/25.73 Conjecture not found
% 48.21/25.75 Conjecture not found
% 48.21/25.77 Conjecture not found
% 48.28/25.81 Conjecture not found
% 48.37/25.92 Conjecture not found
% 49.19/26.21 Conjecture not found
% 49.19/26.22 Conjecture not found
% 49.19/26.25 Conjecture not found
% 49.26/26.28 Conjecture not found
% 49.26/26.29 Conjecture not found
% 49.26/26.32 Conjecture not found
% 49.26/26.35 Conjecture not found
% 49.85/26.39 Conjecture not found
% 49.90/26.41 Conjecture not found
% 49.90/26.42 Conjecture not found
% 49.90/26.44 Conjecture not found
% 49.93/26.49 Conjecture not found
% 50.08/26.59 Conjecture not found
% 50.08/26.65 Conjecture not found
% 50.16/26.69 Conjecture not found
% 50.36/26.75 Conjecture not found
% 50.36/26.77 Conjecture not found
% 50.36/26.80 Conjecture not found
% 50.88/26.86 Conjecture not found
% 50.88/26.87 Conjecture not found
% 50.94/26.89 Conjecture not found
% 50.94/26.91 Conjecture not found
% 50.94/26.93 Conjecture not found
% 51.04/26.99 Conjecture not found
% 51.04/27.02 Conjecture not found
% 51.10/27.06 Conjecture not found
% 51.10/27.09 Conjecture not found
% 51.10/27.10 Conjecture not found
% 51.17/27.15 Conjecture not found
% 51.23/27.18 Conjecture not found
% 51.23/27.19 Conjecture not found
% 51.23/27.22 Conjecture not found
% 51.86/27.30 Conjecture not found
% 51.90/27.32 Conjecture not found
% 51.90/27.34 Conjecture not found
% 51.92/27.40 Conjecture not found
% 51.92/27.40 Conjecture not found
% 51.99/27.42 Conjecture not found
% 51.99/27.44 Conjecture not found
% 51.99/27.45 Conjecture not found
% 51.99/27.47 Conjecture not found
% 52.06/27.49 Conjecture not found
% 52.06/27.51 Conjecture not found
% 52.06/27.56 Conjecture not found
% 52.15/27.59 Conjecture not found
% 52.18/27.60 Conjecture not found
% 52.18/27.62 Conjecture not found
% 52.20/27.70 Conjecture not found
% 52.20/27.71 Conjecture not found
% 52.66/27.77 Conjecture not found
% 52.96/27.80 Conjecture not found
% 53.06/27.91 Conjecture not found
% 53.09/27.93 Conjecture not found
% 53.09/27.96 Conjecture not found
% 53.09/27.99 Conjecture not found
% 53.18/28.03 Conjecture not found
% 53.18/28.05 Conjecture not found
% 53.18/28.10 Conjecture not found
% 53.56/28.25 Conjecture not found
% 54.01/28.34 Conjecture not found
% 54.01/28.36 Conjecture not found
% 54.01/28.38 Conjecture not found
% 54.09/28.46 Conjecture not found
% 54.21/28.51 Conjecture not found
% 54.22/28.59 Conjecture not found
% 54.22/28.61 Conjecture not found
% 54.22/28.62 Conjecture not found
% 54.33/28.64 Conjecture not found
% 54.33/28.66 Conjecture not found
% 54.33/28.69 Conjecture not found
% 54.33/28.70 Conjecture not found
% 54.40/28.71 Conjecture not found
% 54.40/28.72 Conjecture not found
% 54.40/28.76 Conjecture not found
% 54.40/28.79 Conjecture not found
% 54.70/28.87 Conjecture not found
% 55.17/28.92 Conjecture not found
% 55.17/28.93 Conjecture not found
% 55.27/29.04 Conjecture not found
% 55.27/29.05 Conjecture not found
% 55.27/29.07 Conjecture not found
% 55.27/29.09 Conjecture not found
% 55.35/29.12 Conjecture not found
% 55.49/29.24 Conjecture not found
% 56.13/29.34 Conjecture not found
% 56.13/29.38 Conjecture not found
% 56.13/29.38 Conjecture not found
% 56.13/29.39 Conjecture not found
% 56.23/29.42 Conjecture not found
% 56.23/29.42 Conjecture not found
% 56.37/29.53 Conjecture not found
% 56.37/29.55 Conjecture not found
% 56.47/29.65 Conjecture not found
% 56.54/29.71 Conjecture not found
% 56.54/29.73 Conjecture not found
% 56.54/29.75 Conjecture not found
% 56.54/29.75 Conjecture not found
% 56.61/29.77 Conjecture not found
% 56.61/29.78 Conjecture not found
% 56.63/29.79 Conjecture not found
% 57.07/29.90 Conjecture not found
% 57.34/29.94 Conjecture not found
% 57.34/29.96 Conjecture not found
% 57.39/30.04 Conjecture not found
% 57.53/30.14 Conjecture not found
% 57.56/30.17 Conjecture not found
% 57.56/30.21 Conjecture not found
% 57.64/30.22 Conjecture not found
% 57.64/30.24 Conjecture not found
% 57.64/30.26 Conjecture not found
% 57.69/30.29 Conjecture not found
% 57.69/30.31 Conjecture not found
% 58.45/30.47 Conjecture not found
% 58.70/30.72 Conjecture not found
% 59.02/30.93 Conjecture not found
% 59.02/30.94 Conjecture not found
% 59.50/31.04 Conjecture not found
% 59.61/31.13 Conjecture not found
% 59.61/31.15 Conjecture not found
% 59.61/31.16 Conjecture not found
% 59.61/31.17 Conjecture not found
% 59.67/31.21 Conjecture not found
% 59.67/31.22 Conjecture not found
% 59.75/31.28 Conjecture not found
% 59.75/31.30 Conjecture not found
% 59.79/31.31 Conjecture not found
% 59.79/31.32 Conjecture not found
% 59.82/31.35 Conjecture not found
% 59.82/31.36 Conjecture not found
% 59.82/31.37 Conjecture not found
% 59.82/31.38 Conjecture not found
% 59.91/31.50 Conjecture not found
% 60.45/31.53 Conjecture not found
% 60.74/31.59 Conjecture not found
% 60.77/31.64 Conjecture not found
% 60.77/31.65 Conjecture not found
% 60.77/31.66 Conjecture not found
% 60.77/31.67 Conjecture not found
% 60.77/31.67 Conjecture not found
% 60.77/31.69 Conjecture not found
% 60.86/31.73 Conjecture not found
% 60.86/31.73 Conjecture not found
% 60.94/31.80 Conjecture not found
% 61.04/31.89 Conjecture not found
% 61.06/31.91 Conjecture not found
% 61.07/31.92 Conjecture not found
% 61.07/31.92 Conjecture not found
% 61.07/31.94 Conjecture not found
% 61.07/31.97 Conjecture not found
% 61.52/32.04 Conjecture not found
% 61.52/32.09 Conjecture not found
% 61.52/32.10 Conjecture not found
% 61.94/32.11 Conjecture not found
% 61.94/32.17 Conjecture not found
% 61.94/32.19 Conjecture not found
% 62.03/32.23 Conjecture not found
% 62.03/32.26 Conjecture not found
% 62.03/32.27 Conjecture not found
% 62.12/32.29 Conjecture not found
% 62.14/32.33 Conjecture not found
% 62.14/32.33 Conjecture not found
% 62.14/32.34 Conjecture not found
% 62.14/32.36 Conjecture not found
% 62.14/32.38 Conjecture not found
% 62.24/32.41 Conjecture not found
% 62.24/32.45 Conjecture not found
% 62.24/32.47 Conjecture not found
% 62.33/32.53 Conjecture not found
% 62.66/32.59 Conjecture not found
% 62.93/32.63 Conjecture not found
% 62.93/32.67 Conjecture not found
% 62.93/32.71 Conjecture not found
% 63.27/32.76 Conjecture not found
% 63.34/32.83 Conjecture not found
% 63.41/32.88 Conjecture not found
% 63.47/32.93 Conjecture not found
% 63.47/32.97 Conjecture not found
% 63.47/32.99 Conjecture not found
% 63.57/33.05 Conjecture not found
% 63.57/33.06 Conjecture not found
% 63.57/33.07 Conjecture not found
% 63.64/33.14 Conjecture not found
% 64.45/33.24 Conjecture not found
% 64.50/33.25 Conjecture not found
% 64.50/33.28 Conjecture not found
% 64.50/33.30 Conjecture not found
% 64.50/33.30 Conjecture not found
% 64.50/33.31 Conjecture not found
% 64.58/33.33 Conjecture not found
% 64.64/33.39 Conjecture not found
% 64.64/33.41 Conjecture not found
% 64.64/33.43 Conjecture not found
% 64.71/33.45 Conjecture not found
% 64.73/33.49 Conjecture not found
% 64.78/33.53 Conjecture not found
% 64.78/33.53 Conjecture not found
% 64.80/33.55 Conjecture not found
% 64.80/33.59 Conjecture not found
% 65.40/33.69 Conjecture not found
% 65.40/33.76 Conjecture not found
% 65.76/33.78 Conjecture not found
% 65.82/33.84 Conjecture not found
% 65.83/33.88 Conjecture not found
% 65.83/33.90 Conjecture not found
% 65.90/33.94 Conjecture not found
% 65.90/33.95 Conjecture not found
% 65.95/33.97 Conjecture not found
% 65.95/34.04 Conjecture not found
% 66.04/34.05 Conjecture not found
% 66.04/34.06 Conjecture not found
% 66.04/34.08 Conjecture not found
% 66.08/34.09 Conjecture not found
% 66.08/34.09 Conjecture not found
% 66.08/34.11 Conjecture not found
% 66.13/34.19 Conjecture not found
% 66.96/34.31 Conjecture not found
% 66.96/34.32 Conjecture not found
% 66.96/34.33 Conjecture not found
% 66.96/34.34 Conjecture not found
% 67.07/34.38 Conjecture not found
% 67.11/34.42 Conjecture not found
% 67.23/34.54 Conjecture not found
% 67.29/34.63 Conjecture not found
% 67.29/34.64 Conjecture not found
% 67.37/34.67 Conjecture not found
% 67.49/34.80 Conjecture not found
% 67.77/34.83 Conjecture not found
% 68.01/34.93 Conjecture not found
% 68.01/34.95 Conjecture not found
% 68.01/34.96 Conjecture not found
% 68.01/34.97 Conjecture not found
% 68.24/35.00 Conjecture not found
% 68.27/35.02 Conjecture not found
% 68.27/35.03 Conjecture not found
% 68.27/35.05 Conjecture not found
% 68.27/35.06 Conjecture not found
% 68.27/35.08 Conjecture not found
% 68.27/35.08 Conjecture not found
% 68.36/35.12 Conjecture not found
% 68.36/35.16 Conjecture not found
% 68.44/35.19 Conjecture not found
% 68.44/35.21 Conjecture not found
% 68.44/35.25 Conjecture not found
% 68.53/35.28 Conjecture not found
% 68.54/35.30 Conjecture not found
% 68.57/35.38 Conjecture not found
% 68.57/35.39 Conjecture not found
% 68.57/35.41 Conjecture not found
% 68.57/35.42 Conjecture not found
% 68.67/35.45 Conjecture not found
% 68.67/35.50 Conjecture not found
% 69.83/35.90 Conjecture not found
% 69.93/35.93 Conjecture not found
% 69.93/35.95 Conjecture not found
% 70.18/36.03 Conjecture not found
% 70.85/36.14 Conjecture not found
% 70.85/36.15 Conjecture not found
% 70.97/36.21 Conjecture not found
% 71.01/36.24 Conjecture not found
% 71.01/36.27 Conjecture not found
% 71.01/36.30 Conjecture not found
% 71.01/36.32 Conjecture not found
% 71.11/36.34 Conjecture not found
% 71.11/36.38 Conjecture not found
% 71.18/36.41 Conjecture not found
% 71.18/36.42 Conjecture not found
% 71.18/36.43 Start search
% 175.36/61.00 nb_step : 1 - limit : 175736
% 176.35/61.73 Launch Gotab with destructive = true
%------------------------------------------------------------------------------