TSTP Solution File: SEU408+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : SEU408+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n008.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:56:55 EDT 2022
% Result : Timeout 300.33s 97.80s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : SEU408+4 : TPTP v8.1.0. Released v3.4.0.
% 0.06/0.12 % Command : goeland -dmt -presko -proof %s
% 0.12/0.33 % Computer : n008.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 : Sat Sep 3 13:30:19 EDT 2022
% 0.12/0.33 % CPUTime :
% 0.12/0.34 [DMT] DMT loaded with preskolemization
% 0.12/0.34 [EQ] equality loaded.
% 0.12/0.34 [0.000035s][1][MAIN] Problem : theBenchmark.p
% 0.12/0.38 Conjecture not found
% 0.12/0.38 Conjecture not found
% 0.19/0.39 Conjecture not found
% 0.19/0.39 Conjecture not found
% 0.19/0.40 Conjecture not found
% 0.19/0.42 Conjecture not found
% 0.19/0.44 Conjecture not found
% 0.19/0.46 Conjecture not found
% 0.19/0.47 Conjecture not found
% 0.19/0.47 Conjecture not found
% 0.19/0.51 Conjecture not found
% 0.49/0.56 Conjecture not found
% 0.49/0.57 Conjecture not found
% 0.49/0.58 Conjecture not found
% 0.49/0.59 Conjecture not found
% 0.49/0.61 Conjecture not found
% 0.49/0.63 Conjecture not found
% 0.63/0.67 Conjecture not found
% 0.80/0.74 Conjecture not found
% 0.80/0.75 Conjecture not found
% 0.92/0.83 Conjecture not found
% 0.98/0.88 Conjecture not found
% 1.13/0.96 Conjecture not found
% 1.21/1.00 Conjecture not found
% 1.35/1.07 Conjecture not found
% 1.35/1.11 Conjecture not found
% 1.43/1.16 Conjecture not found
% 1.50/1.19 Conjecture not found
% 1.50/1.22 Conjecture not found
% 1.50/1.24 Conjecture not found
% 1.62/1.24 Conjecture not found
% 1.62/1.25 Conjecture not found
% 1.62/1.26 Conjecture not found
% 1.81/1.37 Conjecture not found
% 1.81/1.39 Conjecture not found
% 1.81/1.39 Conjecture not found
% 1.81/1.41 Conjecture not found
% 1.81/1.41 Conjecture not found
% 1.81/1.42 Conjecture not found
% 1.81/1.42 Conjecture not found
% 1.93/1.43 Conjecture not found
% 1.93/1.43 Conjecture not found
% 2.00/1.49 Conjecture not found
% 2.13/1.54 Conjecture not found
% 2.13/1.54 Conjecture not found
% 2.13/1.54 Conjecture not found
% 2.13/1.56 Conjecture not found
% 2.17/1.58 Conjecture not found
% 2.17/1.59 Conjecture not found
% 2.17/1.61 Conjecture not found
% 2.17/1.63 Conjecture not found
% 2.17/1.65 Conjecture not found
% 2.29/1.67 Conjecture not found
% 2.29/1.67 Conjecture not found
% 2.35/1.68 Conjecture not found
% 2.35/1.72 Conjecture not found
% 2.49/1.78 Conjecture not found
% 2.59/1.84 Conjecture not found
% 2.59/1.84 Conjecture not found
% 2.64/1.87 Conjecture not found
% 2.64/1.89 Conjecture not found
% 2.64/1.93 Conjecture not found
% 2.78/1.94 Conjecture not found
% 2.83/1.98 Conjecture not found
% 2.99/2.07 Conjecture not found
% 2.99/2.10 Conjecture not found
% 3.08/2.12 Conjecture not found
% 3.08/2.14 Conjecture not found
% 3.14/2.17 Conjecture not found
% 3.14/2.19 Conjecture not found
% 3.45/2.37 Conjecture not found
% 3.45/2.39 Conjecture not found
% 3.54/2.41 Conjecture not found
% 3.64/2.52 Conjecture not found
% 3.64/2.53 Conjecture not found
% 3.81/2.55 Conjecture not found
% 3.81/2.57 Conjecture not found
% 3.86/2.61 Conjecture not found
% 3.97/2.68 Conjecture not found
% 4.08/2.76 Conjecture not found
% 4.19/2.83 Conjecture not found
% 4.33/2.88 Conjecture not found
% 4.40/2.90 Conjecture not found
% 4.46/2.94 Conjecture not found
% 4.46/2.94 Conjecture not found
% 4.46/2.98 Conjecture not found
% 4.46/3.00 Conjecture not found
% 4.57/3.03 Conjecture not found
% 4.57/3.04 Conjecture not found
% 4.68/3.11 Conjecture not found
% 4.68/3.13 Conjecture not found
% 4.68/3.16 Conjecture not found
% 4.99/3.23 Conjecture not found
% 5.03/3.31 Conjecture not found
% 5.27/3.45 Conjecture not found
% 5.73/3.64 Conjecture not found
% 6.19/3.92 Conjecture not found
% 6.34/3.95 Conjecture not found
% 6.44/3.99 Conjecture not found
% 6.56/4.09 Conjecture not found
% 6.62/4.12 Conjecture not found
% 6.72/4.17 Conjecture not found
% 6.86/4.24 Conjecture not found
% 6.86/4.27 Conjecture not found
% 6.90/4.34 Conjecture not found
% 7.04/4.39 Conjecture not found
% 7.04/4.42 Conjecture not found
% 7.16/4.43 Conjecture not found
% 7.16/4.46 Conjecture not found
% 7.21/4.47 Conjecture not found
% 7.21/4.53 Conjecture not found
% 7.45/4.57 Conjecture not found
% 7.45/4.62 Conjecture not found
% 7.74/4.73 Conjecture not found
% 7.74/4.75 Conjecture not found
% 7.78/4.80 Conjecture not found
% 7.78/4.83 Conjecture not found
% 7.93/4.84 Conjecture not found
% 7.97/4.88 Conjecture not found
% 7.97/4.90 Conjecture not found
% 7.97/4.90 Conjecture not found
% 7.97/4.94 Conjecture not found
% 7.97/4.94 Conjecture not found
% 8.11/4.95 Conjecture not found
% 8.11/4.96 Conjecture not found
% 8.14/4.98 Conjecture not found
% 8.14/5.01 Conjecture not found
% 8.29/5.05 Conjecture not found
% 8.31/5.09 Conjecture not found
% 8.64/5.26 Conjecture not found
% 8.68/5.30 Conjecture not found
% 8.68/5.31 Conjecture not found
% 8.68/5.32 Conjecture not found
% 8.84/5.35 Conjecture not found
% 8.87/5.37 Conjecture not found
% 8.87/5.40 Conjecture not found
% 8.87/5.42 Conjecture not found
% 9.01/5.45 Conjecture not found
% 9.01/5.47 Conjecture not found
% 9.05/5.54 Conjecture not found
% 10.01/6.07 Conjecture not found
% 10.94/6.58 Conjecture not found
% 11.17/6.70 Conjecture not found
% 11.34/6.76 Conjecture not found
% 11.36/6.78 Conjecture not found
% 11.36/6.80 Conjecture not found
% 11.40/6.83 Conjecture not found
% 11.50/6.86 Conjecture not found
% 11.50/6.87 Conjecture not found
% 11.60/6.92 Conjecture not found
% 11.74/6.99 Conjecture not found
% 11.74/7.04 Conjecture not found
% 11.84/7.07 Conjecture not found
% 11.85/7.08 Conjecture not found
% 11.85/7.12 Conjecture not found
% 12.04/7.16 Conjecture not found
% 12.04/7.19 Conjecture not found
% 12.22/7.24 Conjecture not found
% 12.27/7.30 Conjecture not found
% 12.27/7.32 Conjecture not found
% 12.27/7.34 Conjecture not found
% 12.45/7.38 Conjecture not found
% 12.45/7.41 Conjecture not found
% 12.55/7.45 Conjecture not found
% 12.55/7.48 Conjecture not found
% 12.55/7.50 Conjecture not found
% 12.74/7.56 Conjecture not found
% 12.78/7.61 Conjecture not found
% 12.78/7.63 Conjecture not found
% 12.96/7.65 Conjecture not found
% 12.99/7.68 Conjecture not found
% 12.99/7.69 Conjecture not found
% 12.99/7.70 Conjecture not found
% 12.99/7.72 Conjecture not found
% 13.05/7.73 Conjecture not found
% 13.05/7.76 Conjecture not found
% 13.05/7.77 Conjecture not found
% 13.19/7.80 Conjecture not found
% 13.19/7.81 Conjecture not found
% 13.26/7.84 Conjecture not found
% 13.40/7.88 Conjecture not found
% 13.40/7.91 Conjecture not found
% 13.46/7.93 Conjecture not found
% 13.46/7.95 Conjecture not found
% 13.49/7.97 Conjecture not found
% 13.49/7.99 Conjecture not found
% 13.49/8.01 Conjecture not found
% 13.68/8.05 Conjecture not found
% 13.72/8.07 Conjecture not found
% 13.72/8.08 Conjecture not found
% 13.72/8.12 Conjecture not found
% 13.90/8.13 Conjecture not found
% 13.90/8.16 Conjecture not found
% 13.93/8.19 Conjecture not found
% 13.93/8.20 Conjecture not found
% 13.93/8.21 Conjecture not found
% 13.93/8.22 Conjecture not found
% 13.93/8.23 Conjecture not found
% 13.93/8.24 Conjecture not found
% 14.01/8.24 Conjecture not found
% 14.01/8.25 Conjecture not found
% 14.17/8.31 Conjecture not found
% 14.26/8.40 Conjecture not found
% 14.43/8.42 Conjecture not found
% 14.46/8.45 Conjecture not found
% 14.46/8.49 Conjecture not found
% 14.46/8.50 Conjecture not found
% 14.55/8.53 Conjecture not found
% 14.55/8.55 Conjecture not found
% 14.55/8.57 Conjecture not found
% 14.62/8.61 Conjecture not found
% 14.62/8.64 Conjecture not found
% 14.84/8.67 Conjecture not found
% 15.02/8.72 Conjecture not found
% 15.15/8.86 Conjecture not found
% 15.34/8.95 Conjecture not found
% 15.45/9.01 Conjecture not found
% 15.45/9.01 Conjecture not found
% 15.59/9.05 Conjecture not found
% 15.59/9.10 Conjecture not found
% 15.74/9.15 Conjecture not found
% 15.74/9.16 Conjecture not found
% 15.80/9.23 Conjecture not found
% 16.00/9.28 Conjecture not found
% 16.05/9.33 Conjecture not found
% 16.19/9.39 Conjecture not found
% 16.35/9.46 Conjecture not found
% 16.35/9.48 Conjecture not found
% 16.38/9.52 Conjecture not found
% 16.60/9.60 Conjecture not found
% 16.60/9.66 Conjecture not found
% 16.67/9.76 Conjecture not found
% 16.93/9.78 Conjecture not found
% 16.96/9.81 Conjecture not found
% 16.99/9.83 Conjecture not found
% 17.01/9.85 Conjecture not found
% 17.24/9.93 Conjecture not found
% 17.24/9.98 Conjecture not found
% 17.24/9.99 Conjecture not found
% 17.31/10.01 Conjecture not found
% 17.86/10.25 Conjecture not found
% 17.93/10.33 Conjecture not found
% 18.00/10.36 Conjecture not found
% 18.01/10.39 Conjecture not found
% 18.01/10.41 Conjecture not found
% 18.23/10.43 Conjecture not found
% 18.26/10.50 Conjecture not found
% 18.35/10.56 Conjecture not found
% 18.62/10.67 Conjecture not found
% 18.66/10.72 Conjecture not found
% 18.66/10.74 Conjecture not found
% 18.98/10.87 Conjecture not found
% 19.03/10.93 Conjecture not found
% 19.09/10.96 Conjecture not found
% 19.11/11.01 Conjecture not found
% 19.38/11.06 Conjecture not found
% 19.38/11.08 Conjecture not found
% 19.38/11.11 Conjecture not found
% 19.38/11.12 Conjecture not found
% 19.38/11.13 Conjecture not found
% 19.47/11.17 Conjecture not found
% 19.51/11.22 Conjecture not found
% 19.75/11.25 Conjecture not found
% 19.77/11.29 Conjecture not found
% 19.83/11.34 Conjecture not found
% 19.83/11.35 Conjecture not found
% 19.87/11.37 Conjecture not found
% 19.87/11.39 Conjecture not found
% 20.19/11.54 Conjecture not found
% 20.26/11.55 Conjecture not found
% 20.28/11.59 Conjecture not found
% 20.28/11.59 Conjecture not found
% 20.28/11.60 Conjecture not found
% 20.28/11.60 Conjecture not found
% 20.28/11.62 Conjecture not found
% 20.57/11.69 Conjecture not found
% 20.57/11.70 Conjecture not found
% 20.57/11.71 Conjecture not found
% 20.68/11.77 Conjecture not found
% 20.93/11.85 Conjecture not found
% 21.03/11.95 Conjecture not found
% 21.06/11.97 Conjecture not found
% 21.25/12.08 Conjecture not found
% 21.60/12.22 Conjecture not found
% 21.75/12.25 Conjecture not found
% 21.75/12.30 Conjecture not found
% 21.82/12.31 Conjecture not found
% 21.82/12.32 Conjecture not found
% 21.87/12.42 Conjecture not found
% 22.18/12.51 Conjecture not found
% 22.23/12.54 Conjecture not found
% 22.23/12.56 Conjecture not found
% 22.55/12.71 Conjecture not found
% 22.55/12.77 Conjecture not found
% 22.65/12.79 Conjecture not found
% 22.69/12.83 Conjecture not found
% 22.69/12.87 Conjecture not found
% 22.69/12.88 Conjecture not found
% 22.88/12.94 Conjecture not found
% 23.07/13.03 Conjecture not found
% 23.07/13.05 Conjecture not found
% 23.07/13.07 Conjecture not found
% 23.21/13.12 Conjecture not found
% 23.38/13.20 Conjecture not found
% 23.38/13.20 Conjecture not found
% 23.52/13.25 Conjecture not found
% 23.59/13.29 Conjecture not found
% 23.59/13.32 Conjecture not found
% 23.84/13.38 Conjecture not found
% 23.94/13.47 Conjecture not found
% 23.94/13.48 Conjecture not found
% 24.04/13.53 Conjecture not found
% 24.26/13.61 Conjecture not found
% 24.44/13.73 Conjecture not found
% 24.47/13.76 Conjecture not found
% 24.57/13.84 Conjecture not found
% 24.57/13.86 Conjecture not found
% 24.57/13.89 Conjecture not found
% 24.57/13.89 Conjecture not found
% 24.85/13.91 Conjecture not found
% 24.85/13.94 Conjecture not found
% 24.85/13.95 Conjecture not found
% 25.01/14.04 Conjecture not found
% 25.01/14.10 Conjecture not found
% 25.35/14.16 Conjecture not found
% 25.35/14.17 Conjecture not found
% 25.35/14.18 Conjecture not found
% 25.41/14.23 Conjecture not found
% 25.41/14.25 Conjecture not found
% 25.41/14.26 Conjecture not found
% 25.80/14.36 Conjecture not found
% 25.80/14.38 Conjecture not found
% 25.80/14.42 Conjecture not found
% 25.92/14.48 Conjecture not found
% 25.92/14.51 Conjecture not found
% 25.92/14.54 Conjecture not found
% 26.42/14.78 Conjecture not found
% 26.80/14.86 Conjecture not found
% 26.82/14.88 Conjecture not found
% 26.90/14.98 Conjecture not found
% 26.90/15.00 Conjecture not found
% 26.96/15.04 Conjecture not found
% 27.18/15.08 Conjecture not found
% 27.35/15.16 Conjecture not found
% 27.39/15.19 Conjecture not found
% 27.39/15.20 Conjecture not found
% 27.39/15.22 Conjecture not found
% 27.44/15.25 Conjecture not found
% 27.77/15.32 Conjecture not found
% 27.84/15.41 Conjecture not found
% 27.84/15.42 Conjecture not found
% 27.84/15.43 Conjecture not found
% 27.84/15.43 Conjecture not found
% 27.92/15.47 Conjecture not found
% 27.92/15.48 Conjecture not found
% 28.00/15.54 Conjecture not found
% 28.33/15.64 Conjecture not found
% 28.39/15.68 Conjecture not found
% 28.39/15.69 Conjecture not found
% 28.39/15.70 Conjecture not found
% 28.39/15.71 Conjecture not found
% 28.67/15.77 Conjecture not found
% 28.78/15.81 Conjecture not found
% 28.78/15.82 Conjecture not found
% 28.82/15.86 Conjecture not found
% 28.82/15.89 Conjecture not found
% 28.90/15.93 Conjecture not found
% 28.90/15.96 Conjecture not found
% 28.97/15.98 Conjecture not found
% 29.37/16.13 Conjecture not found
% 29.37/16.15 Conjecture not found
% 29.37/16.16 Conjecture not found
% 29.45/16.24 Conjecture not found
% 29.45/16.25 Conjecture not found
% 29.53/16.33 Conjecture not found
% 29.53/16.36 Conjecture not found
% 29.88/16.39 Conjecture not found
% 29.90/16.41 Conjecture not found
% 29.94/16.44 Conjecture not found
% 29.94/16.45 Conjecture not found
% 30.02/16.55 Conjecture not found
% 30.02/16.57 Conjecture not found
% 30.23/16.60 Conjecture not found
% 30.23/16.67 Conjecture not found
% 30.49/16.71 Conjecture not found
% 30.51/16.74 Conjecture not found
% 30.51/16.76 Conjecture not found
% 30.51/16.79 Conjecture not found
% 30.61/16.82 Conjecture not found
% 30.61/16.86 Conjecture not found
% 30.61/16.89 Conjecture not found
% 30.82/16.94 Conjecture not found
% 31.08/16.98 Conjecture not found
% 31.08/17.00 Conjecture not found
% 31.11/17.02 Conjecture not found
% 31.13/17.05 Conjecture not found
% 31.13/17.09 Conjecture not found
% 31.13/17.12 Conjecture not found
% 31.23/17.16 Conjecture not found
% 31.23/17.17 Conjecture not found
% 31.66/17.27 Conjecture not found
% 31.69/17.33 Conjecture not found
% 31.73/17.35 Conjecture not found
% 31.73/17.37 Conjecture not found
% 31.73/17.39 Conjecture not found
% 31.73/17.42 Conjecture not found
% 31.82/17.43 Conjecture not found
% 31.82/17.45 Conjecture not found
% 31.82/17.49 Conjecture not found
% 31.89/17.52 Conjecture not found
% 31.89/17.56 Conjecture not found
% 32.31/17.62 Conjecture not found
% 32.34/17.67 Conjecture not found
% 32.43/17.77 Conjecture not found
% 32.62/17.82 Conjecture not found
% 32.89/17.88 Conjecture not found
% 32.97/17.96 Conjecture not found
% 33.06/18.05 Conjecture not found
% 33.11/18.09 Conjecture not found
% 33.52/18.19 Conjecture not found
% 33.52/18.22 Conjecture not found
% 33.56/18.24 Conjecture not found
% 33.58/18.25 Conjecture not found
% 33.58/18.26 Conjecture not found
% 33.58/18.28 Conjecture not found
% 33.58/18.30 Conjecture not found
% 33.58/18.31 Conjecture not found
% 33.65/18.34 Conjecture not found
% 33.65/18.35 Conjecture not found
% 33.71/18.39 Conjecture not found
% 34.09/18.49 Conjecture not found
% 34.18/18.54 Conjecture not found
% 34.21/18.58 Conjecture not found
% 34.21/18.60 Conjecture not found
% 34.21/18.61 Conjecture not found
% 34.28/18.68 Conjecture not found
% 34.43/18.77 Conjecture not found
% 34.66/18.82 Conjecture not found
% 34.84/18.84 Conjecture not found
% 34.91/18.95 Conjecture not found
% 34.98/18.99 Conjecture not found
% 34.98/19.02 Conjecture not found
% 34.98/19.06 Conjecture not found
% 35.08/19.07 Conjecture not found
% 35.37/19.17 Conjecture not found
% 35.37/19.19 Conjecture not found
% 35.37/19.20 Conjecture not found
% 35.56/19.24 Conjecture not found
% 35.56/19.26 Conjecture not found
% 35.56/19.28 Conjecture not found
% 35.64/19.30 Conjecture not found
% 35.64/19.31 Conjecture not found
% 35.64/19.35 Conjecture not found
% 35.75/19.40 Conjecture not found
% 35.76/19.44 Conjecture not found
% 36.12/19.54 Conjecture not found
% 36.29/19.66 Conjecture not found
% 36.29/19.67 Conjecture not found
% 36.39/19.69 Conjecture not found
% 36.40/19.70 Conjecture not found
% 36.41/19.72 Conjecture not found
% 36.43/19.74 Conjecture not found
% 36.43/19.75 Conjecture not found
% 36.64/19.86 Conjecture not found
% 36.64/19.88 Conjecture not found
% 36.64/19.90 Conjecture not found
% 36.95/19.93 Conjecture not found
% 36.95/19.94 Conjecture not found
% 36.95/19.96 Conjecture not found
% 36.95/19.98 Conjecture not found
% 37.03/19.99 Conjecture not found
% 37.03/20.01 Conjecture not found
% 37.03/20.05 Conjecture not found
% 37.03/20.06 Conjecture not found
% 37.16/20.11 Conjecture not found
% 37.33/20.14 Conjecture not found
% 37.33/20.17 Conjecture not found
% 37.33/20.19 Conjecture not found
% 37.61/20.24 Conjecture not found
% 37.70/20.31 Conjecture not found
% 37.70/20.34 Conjecture not found
% 37.79/20.40 Conjecture not found
% 37.85/20.44 Conjecture not found
% 37.85/20.47 Conjecture not found
% 38.28/20.53 Conjecture not found
% 38.35/20.60 Conjecture not found
% 38.35/20.64 Conjecture not found
% 38.45/20.67 Conjecture not found
% 38.48/20.70 Conjecture not found
% 38.48/20.72 Conjecture not found
% 38.52/20.77 Conjecture not found
% 38.59/20.80 Conjecture not found
% 38.59/20.83 Conjecture not found
% 39.02/20.89 Conjecture not found
% 39.02/20.94 Conjecture not found
% 39.02/20.96 Conjecture not found
% 39.17/20.98 Conjecture not found
% 39.17/21.01 Conjecture not found
% 39.21/21.02 Conjecture not found
% 39.24/21.06 Conjecture not found
% 39.24/21.09 Conjecture not found
% 39.33/21.14 Conjecture not found
% 39.33/21.15 Conjecture not found
% 39.59/21.22 Conjecture not found
% 39.85/21.28 Conjecture not found
% 39.85/21.30 Conjecture not found
% 39.90/21.33 Conjecture not found
% 39.93/21.35 Conjecture not found
% 39.93/21.36 Conjecture not found
% 39.93/21.38 Conjecture not found
% 39.93/21.42 Conjecture not found
% 40.02/21.43 Conjecture not found
% 40.02/21.46 Conjecture not found
% 40.07/21.51 Conjecture not found
% 40.07/21.51 Conjecture not found
% 40.15/21.58 Conjecture not found
% 40.16/21.59 Conjecture not found
% 40.48/21.64 Conjecture not found
% 40.61/21.67 Conjecture not found
% 40.71/21.72 Conjecture not found
% 40.71/21.74 Conjecture not found
% 40.76/21.77 Conjecture not found
% 40.76/21.80 Conjecture not found
% 40.76/21.81 Conjecture not found
% 40.85/21.86 Conjecture not found
% 40.87/21.91 Conjecture not found
% 41.35/22.04 Conjecture not found
% 41.35/22.06 Conjecture not found
% 41.35/22.07 Conjecture not found
% 41.35/22.08 Conjecture not found
% 41.49/22.15 Conjecture not found
% 41.49/22.16 Conjecture not found
% 41.58/22.17 Conjecture not found
% 41.61/22.20 Conjecture not found
% 41.64/22.26 Conjecture not found
% 41.64/22.28 Conjecture not found
% 42.31/22.47 Conjecture not found
% 42.31/22.49 Conjecture not found
% 42.31/22.54 Conjecture not found
% 42.31/22.55 Conjecture not found
% 42.31/22.56 Conjecture not found
% 42.41/22.57 Conjecture not found
% 42.43/22.60 Conjecture not found
% 42.46/22.64 Conjecture not found
% 42.46/22.67 Conjecture not found
% 42.46/22.68 Conjecture not found
% 42.83/22.75 Conjecture not found
% 43.07/22.84 Conjecture not found
% 43.07/22.85 Conjecture not found
% 43.07/22.88 Conjecture not found
% 43.15/22.93 Conjecture not found
% 43.15/22.95 Conjecture not found
% 43.26/23.00 Conjecture not found
% 43.27/23.04 Conjecture not found
% 43.27/23.08 Conjecture not found
% 43.27/23.10 Conjecture not found
% 43.79/23.25 Conjecture not found
% 43.99/23.29 Conjecture not found
% 43.99/23.32 Conjecture not found
% 43.99/23.35 Conjecture not found
% 44.09/23.39 Conjecture not found
% 44.10/23.40 Conjecture not found
% 44.11/23.42 Conjecture not found
% 44.11/23.44 Conjecture not found
% 44.23/23.54 Conjecture not found
% 44.23/23.57 Conjecture not found
% 44.23/23.59 Conjecture not found
% 44.60/23.65 Conjecture not found
% 44.60/23.67 Conjecture not found
% 44.60/23.70 Conjecture not found
% 44.87/23.73 Conjecture not found
% 44.87/23.74 Conjecture not found
% 44.87/23.76 Conjecture not found
% 44.96/23.79 Conjecture not found
% 44.96/23.82 Conjecture not found
% 44.96/23.85 Conjecture not found
% 44.96/23.88 Conjecture not found
% 45.05/23.88 Conjecture not found
% 45.08/23.91 Conjecture not found
% 45.08/23.92 Conjecture not found
% 45.08/23.94 Conjecture not found
% 45.17/24.00 Conjecture not found
% 45.17/24.03 Conjecture not found
% 45.17/24.04 Conjecture not found
% 45.17/24.07 Conjecture not found
% 45.70/24.10 Conjecture not found
% 45.70/24.14 Conjecture not found
% 45.70/24.16 Conjecture not found
% 45.82/24.18 Conjecture not found
% 45.82/24.20 Conjecture not found
% 45.86/24.22 Conjecture not found
% 45.86/24.26 Conjecture not found
% 45.86/24.27 Conjecture not found
% 45.86/24.29 Conjecture not found
% 45.93/24.30 Conjecture not found
% 45.93/24.35 Conjecture not found
% 45.93/24.36 Conjecture not found
% 46.01/24.45 Conjecture not found
% 46.01/24.46 Conjecture not found
% 46.01/24.47 Conjecture not found
% 46.74/24.66 Conjecture not found
% 46.81/24.69 Conjecture not found
% 46.81/24.71 Conjecture not found
% 46.81/24.73 Conjecture not found
% 46.81/24.77 Conjecture not found
% 46.95/24.81 Conjecture not found
% 46.97/24.86 Conjecture not found
% 46.97/24.90 Conjecture not found
% 47.06/24.94 Conjecture not found
% 47.74/25.11 Conjecture not found
% 47.74/25.12 Conjecture not found
% 47.76/25.19 Conjecture not found
% 47.76/25.21 Conjecture not found
% 47.85/25.24 Conjecture not found
% 47.85/25.25 Conjecture not found
% 47.85/25.26 Conjecture not found
% 47.85/25.27 Conjecture not found
% 47.91/25.30 Conjecture not found
% 47.91/25.32 Conjecture not found
% 47.91/25.33 Conjecture not found
% 47.91/25.36 Conjecture not found
% 48.31/25.42 Conjecture not found
% 48.57/25.44 Conjecture not found
% 48.57/25.48 Conjecture not found
% 48.57/25.50 Conjecture not found
% 48.70/25.59 Conjecture not found
% 48.70/25.62 Conjecture not found
% 48.70/25.65 Conjecture not found
% 48.83/25.69 Conjecture not found
% 48.86/25.73 Conjecture not found
% 48.87/25.78 Conjecture not found
% 49.15/25.81 Conjecture not found
% 49.15/25.83 Conjecture not found
% 49.54/25.90 Conjecture not found
% 49.54/25.97 Conjecture not found
% 50.07/26.32 Conjecture not found
% 50.12/26.37 Conjecture not found
% 50.40/26.47 Conjecture not found
% 50.54/26.53 Conjecture not found
% 50.54/26.56 Conjecture not found
% 50.54/26.57 Conjecture not found
% 50.54/26.58 Conjecture not found
% 50.63/26.60 Conjecture not found
% 50.65/26.61 Conjecture not found
% 50.65/26.62 Conjecture not found
% 50.65/26.64 Conjecture not found
% 50.65/26.69 Conjecture not found
% 50.83/26.79 Conjecture not found
% 50.83/26.86 Conjecture not found
% 51.15/26.93 Conjecture not found
% 51.56/27.02 Conjecture not found
% 51.56/27.03 Conjecture not found
% 51.56/27.05 Conjecture not found
% 51.56/27.09 Conjecture not found
% 51.66/27.11 Conjecture not found
% 51.66/27.13 Conjecture not found
% 51.66/27.14 Conjecture not found
% 51.66/27.16 Conjecture not found
% 51.76/27.22 Conjecture not found
% 51.76/27.25 Conjecture not found
% 51.76/27.29 Conjecture not found
% 51.85/27.33 Conjecture not found
% 51.85/27.34 Conjecture not found
% 52.06/27.40 Conjecture not found
% 52.06/27.48 Conjecture not found
% 52.57/27.50 Conjecture not found
% 52.58/27.51 Conjecture not found
% 52.58/27.54 Conjecture not found
% 52.58/27.56 Conjecture not found
% 52.58/27.57 Conjecture not found
% 52.68/27.63 Conjecture not found
% 52.68/27.64 Conjecture not found
% 52.68/27.65 Conjecture not found
% 52.68/27.67 Conjecture not found
% 52.68/27.68 Conjecture not found
% 52.68/27.71 Conjecture not found
% 52.79/27.73 Conjecture not found
% 52.79/27.74 Conjecture not found
% 52.89/27.82 Conjecture not found
% 52.89/27.86 Conjecture not found
% 52.89/27.88 Conjecture not found
% 53.25/27.93 Conjecture not found
% 53.60/28.04 Conjecture not found
% 53.60/28.05 Conjecture not found
% 53.60/28.08 Conjecture not found
% 53.72/28.11 Conjecture not found
% 53.81/28.21 Conjecture not found
% 53.81/28.23 Conjecture not found
% 53.81/28.26 Conjecture not found
% 53.90/28.30 Conjecture not found
% 53.90/28.33 Conjecture not found
% 53.90/28.35 Conjecture not found
% 53.90/28.40 Conjecture not found
% 54.70/28.52 Conjecture not found
% 54.77/28.58 Conjecture not found
% 54.77/28.60 Conjecture not found
% 54.77/28.61 Conjecture not found
% 54.87/28.69 Conjecture not found
% 54.92/28.75 Conjecture not found
% 55.00/28.83 Conjecture not found
% 55.00/28.85 Conjecture not found
% 55.00/28.87 Conjecture not found
% 55.18/28.90 Conjecture not found
% 55.18/28.93 Conjecture not found
% 55.77/29.00 Conjecture not found
% 55.77/29.00 Conjecture not found
% 55.77/29.01 Conjecture not found
% 55.80/29.04 Conjecture not found
% 55.80/29.08 Conjecture not found
% 55.80/29.09 Conjecture not found
% 55.87/29.12 Conjecture not found
% 55.87/29.17 Conjecture not found
% 55.94/29.18 Conjecture not found
% 56.04/29.29 Conjecture not found
% 56.07/29.30 Conjecture not found
% 56.07/29.32 Conjecture not found
% 56.10/29.33 Conjecture not found
% 56.10/29.36 Conjecture not found
% 56.17/29.49 Conjecture not found
% 56.80/29.55 Conjecture not found
% 56.98/29.58 Conjecture not found
% 56.98/29.59 Conjecture not found
% 56.98/29.59 Conjecture not found
% 57.01/29.62 Conjecture not found
% 57.02/29.63 Conjecture not found
% 57.11/29.74 Conjecture not found
% 57.11/29.75 Conjecture not found
% 57.18/29.86 Conjecture not found
% 57.43/29.94 Conjecture not found
% 57.43/30.01 Conjecture not found
% 58.01/30.04 Conjecture not found
% 58.01/30.05 Conjecture not found
% 58.01/30.06 Conjecture not found
% 58.01/30.08 Conjecture not found
% 58.01/30.09 Conjecture not found
% 58.10/30.12 Conjecture not found
% 58.10/30.16 Conjecture not found
% 58.10/30.17 Conjecture not found
% 58.22/30.23 Conjecture not found
% 58.31/30.31 Conjecture not found
% 58.31/30.34 Conjecture not found
% 58.31/30.36 Conjecture not found
% 58.31/30.38 Conjecture not found
% 58.38/30.39 Conjecture not found
% 58.38/30.41 Conjecture not found
% 58.38/30.44 Conjecture not found
% 58.38/30.45 Conjecture not found
% 58.95/30.61 Conjecture not found
% 59.51/30.91 Conjecture not found
% 60.29/31.14 Conjecture not found
% 60.29/31.14 Conjecture not found
% 60.39/31.20 Conjecture not found
% 60.42/31.30 Conjecture not found
% 60.51/31.34 Conjecture not found
% 60.51/31.35 Conjecture not found
% 60.51/31.36 Conjecture not found
% 60.59/31.41 Conjecture not found
% 60.59/31.43 Conjecture not found
% 60.68/31.48 Conjecture not found
% 60.68/31.50 Conjecture not found
% 60.71/31.51 Conjecture not found
% 60.72/31.52 Conjecture not found
% 60.72/31.54 Conjecture not found
% 60.72/31.59 Conjecture not found
% 61.28/31.63 Conjecture not found
% 61.28/31.66 Conjecture not found
% 61.59/31.78 Conjecture not found
% 61.59/31.79 Conjecture not found
% 61.63/31.83 Conjecture not found
% 61.65/31.89 Conjecture not found
% 61.65/31.90 Conjecture not found
% 61.65/31.90 Conjecture not found
% 61.65/31.91 Conjecture not found
% 61.73/31.92 Conjecture not found
% 61.73/31.94 Conjecture not found
% 61.73/31.97 Conjecture not found
% 61.73/31.97 Conjecture not found
% 61.79/32.02 Conjecture not found
% 62.60/32.14 Conjecture not found
% 62.60/32.15 Conjecture not found
% 62.60/32.16 Conjecture not found
% 62.60/32.17 Conjecture not found
% 62.60/32.19 Conjecture not found
% 62.60/32.21 Conjecture not found
% 62.70/32.25 Conjecture not found
% 62.70/32.27 Conjecture not found
% 62.76/32.28 Conjecture not found
% 62.76/32.29 Conjecture not found
% 62.76/32.33 Conjecture not found
% 62.76/32.35 Conjecture not found
% 62.86/32.38 Conjecture not found
% 62.88/32.41 Conjecture not found
% 62.88/32.41 Conjecture not found
% 62.88/32.43 Conjecture not found
% 62.92/32.46 Conjecture not found
% 62.92/32.46 Conjecture not found
% 62.92/32.47 Conjecture not found
% 62.92/32.48 Conjecture not found
% 62.98/32.50 Conjecture not found
% 62.98/32.54 Conjecture not found
% 63.38/32.62 Conjecture not found
% 63.38/32.64 Conjecture not found
% 63.81/32.70 Conjecture not found
% 63.85/32.74 Conjecture not found
% 63.85/32.76 Conjecture not found
% 63.85/32.78 Conjecture not found
% 63.91/32.81 Conjecture not found
% 63.91/32.85 Conjecture not found
% 63.99/32.90 Conjecture not found
% 63.99/32.94 Conjecture not found
% 63.99/32.97 Conjecture not found
% 64.09/33.01 Conjecture not found
% 64.13/33.03 Conjecture not found
% 64.93/33.13 Conjecture not found
% 64.93/33.14 Conjecture not found
% 64.93/33.15 Conjecture not found
% 65.02/33.23 Conjecture not found
% 65.11/33.30 Conjecture not found
% 65.15/33.31 Conjecture not found
% 65.17/33.35 Conjecture not found
% 65.17/33.37 Conjecture not found
% 65.17/33.38 Conjecture not found
% 65.17/33.39 Conjecture not found
% 65.25/33.42 Conjecture not found
% 65.25/33.49 Conjecture not found
% 65.33/33.51 Conjecture not found
% 65.33/33.52 Conjecture not found
% 65.33/33.55 Conjecture not found
% 65.75/33.63 Conjecture not found
% 65.75/33.70 Conjecture not found
% 65.75/33.71 Conjecture not found
% 66.22/33.72 Conjecture not found
% 66.22/33.76 Conjecture not found
% 66.30/33.82 Conjecture not found
% 66.41/33.90 Conjecture not found
% 66.42/33.93 Conjecture not found
% 66.52/34.05 Conjecture not found
% 66.61/34.13 Conjecture not found
% 66.61/34.16 Conjecture not found
% 66.70/34.24 Conjecture not found
% 66.70/34.26 Conjecture not found
% 66.70/34.29 Conjecture not found
% 66.90/34.41 Conjecture not found
% 66.90/34.43 Conjecture not found
% 66.90/34.44 Start search
% 182.38/66.45 nb_step : 1 - limit : 162215
% 183.79/67.59 Launch Gotab with destructive = true
%------------------------------------------------------------------------------