TSTP Solution File: SEU427+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : SEU427+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n007.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:06 EDT 2022
% Result : Timeout 300.05s 92.97s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.12 % Problem : SEU427+4 : TPTP v8.1.0. Released v3.4.0.
% 0.10/0.12 % Command : goeland -dmt -presko -proof %s
% 0.13/0.33 % Computer : n007.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33 % CPULimit : 300
% 0.13/0.33 % WCLimit : 300
% 0.13/0.33 % DateTime : Sat Sep 3 13:55:44 EDT 2022
% 0.13/0.34 % CPUTime :
% 0.13/0.34 [DMT] DMT loaded with preskolemization
% 0.13/0.34 [EQ] equality loaded.
% 0.13/0.34 [0.000037s][1][MAIN] Problem : theBenchmark.p
% 0.13/0.39 Conjecture not found
% 0.13/0.39 Conjecture not found
% 0.13/0.39 Conjecture not found
% 0.13/0.39 Conjecture not found
% 0.18/0.41 Conjecture not found
% 0.18/0.42 Conjecture not found
% 0.18/0.45 Conjecture not found
% 0.18/0.47 Conjecture not found
% 0.18/0.48 Conjecture not found
% 0.18/0.48 Conjecture not found
% 0.18/0.51 Conjecture not found
% 0.18/0.54 Conjecture not found
% 0.18/0.56 Conjecture not found
% 0.18/0.56 Conjecture not found
% 0.18/0.57 Conjecture not found
% 0.18/0.60 Conjecture not found
% 0.56/0.62 Conjecture not found
% 0.62/0.66 Conjecture not found
% 0.75/0.73 Conjecture not found
% 0.75/0.74 Conjecture not found
% 0.86/0.82 Conjecture not found
% 1.00/0.87 Conjecture not found
% 1.13/0.95 Conjecture not found
% 1.13/0.98 Conjecture not found
% 1.26/1.05 Conjecture not found
% 1.36/1.09 Conjecture not found
% 1.36/1.14 Conjecture not found
% 1.36/1.17 Conjecture not found
% 1.53/1.20 Conjecture not found
% 1.57/1.22 Conjecture not found
% 1.57/1.23 Conjecture not found
% 1.57/1.23 Conjecture not found
% 1.57/1.24 Conjecture not found
% 1.80/1.34 Conjecture not found
% 1.80/1.37 Conjecture not found
% 1.80/1.37 Conjecture not found
% 1.80/1.39 Conjecture not found
% 1.80/1.39 Conjecture not found
% 1.90/1.40 Conjecture not found
% 1.90/1.40 Conjecture not found
% 1.90/1.41 Conjecture not found
% 1.90/1.41 Conjecture not found
% 2.00/1.46 Conjecture not found
% 2.07/1.51 Conjecture not found
% 2.07/1.52 Conjecture not found
% 2.07/1.52 Conjecture not found
% 2.07/1.53 Conjecture not found
% 2.14/1.55 Conjecture not found
% 2.14/1.57 Conjecture not found
% 2.14/1.58 Conjecture not found
% 2.14/1.60 Conjecture not found
% 2.14/1.62 Conjecture not found
% 2.31/1.64 Conjecture not found
% 2.31/1.64 Conjecture not found
% 2.31/1.66 Conjecture not found
% 2.42/1.69 Conjecture not found
% 2.42/1.75 Conjecture not found
% 2.53/1.81 Conjecture not found
% 2.53/1.81 Conjecture not found
% 2.61/1.84 Conjecture not found
% 2.66/1.86 Conjecture not found
% 2.66/1.89 Conjecture not found
% 2.66/1.91 Conjecture not found
% 2.76/1.93 Conjecture not found
% 2.86/2.02 Conjecture not found
% 3.00/2.05 Conjecture not found
% 3.03/2.08 Conjecture not found
% 3.03/2.09 Conjecture not found
% 3.03/2.11 Conjecture not found
% 3.11/2.13 Conjecture not found
% 3.40/2.32 Conjecture not found
% 3.40/2.35 Conjecture not found
% 3.54/2.37 Conjecture not found
% 3.61/2.48 Conjecture not found
% 3.61/2.50 Conjecture not found
% 3.78/2.51 Conjecture not found
% 3.78/2.53 Conjecture not found
% 3.78/2.57 Conjecture not found
% 3.89/2.63 Conjecture not found
% 4.10/2.71 Conjecture not found
% 4.14/2.78 Conjecture not found
% 4.31/2.83 Conjecture not found
% 4.31/2.84 Conjecture not found
% 4.31/2.88 Conjecture not found
% 4.43/2.88 Conjecture not found
% 4.43/2.92 Conjecture not found
% 4.43/2.95 Conjecture not found
% 4.43/2.98 Conjecture not found
% 4.58/2.99 Conjecture not found
% 4.66/3.05 Conjecture not found
% 4.66/3.07 Conjecture not found
% 4.80/3.10 Conjecture not found
% 4.80/3.17 Conjecture not found
% 4.93/3.27 Conjecture not found
% 5.38/3.43 Conjecture not found
% 5.66/3.65 Conjecture not found
% 6.19/3.97 Conjecture not found
% 6.38/4.00 Conjecture not found
% 6.44/4.03 Conjecture not found
% 6.59/4.13 Conjecture not found
% 6.71/4.18 Conjecture not found
% 6.71/4.22 Conjecture not found
% 6.87/4.29 Conjecture not found
% 7.00/4.34 Conjecture not found
% 7.06/4.41 Conjecture not found
% 7.06/4.46 Conjecture not found
% 7.19/4.48 Conjecture not found
% 7.19/4.49 Conjecture not found
% 7.19/4.51 Conjecture not found
% 7.19/4.52 Conjecture not found
% 7.36/4.61 Conjecture not found
% 7.50/4.69 Conjecture not found
% 7.67/4.76 Conjecture not found
% 7.85/4.85 Conjecture not found
% 7.86/4.88 Conjecture not found
% 7.92/4.92 Conjecture not found
% 8.03/4.95 Conjecture not found
% 8.03/4.96 Conjecture not found
% 8.03/4.99 Conjecture not found
% 8.03/5.02 Conjecture not found
% 8.03/5.03 Conjecture not found
% 8.11/5.07 Conjecture not found
% 8.11/5.07 Conjecture not found
% 8.25/5.09 Conjecture not found
% 8.25/5.10 Conjecture not found
% 8.25/5.14 Conjecture not found
% 8.37/5.17 Conjecture not found
% 8.41/5.21 Conjecture not found
% 8.49/5.26 Conjecture not found
% 8.85/5.47 Conjecture not found
% 8.87/5.50 Conjecture not found
% 8.87/5.51 Conjecture not found
% 8.95/5.53 Conjecture not found
% 9.03/5.56 Conjecture not found
% 9.03/5.60 Conjecture not found
% 9.10/5.64 Conjecture not found
% 9.10/5.65 Conjecture not found
% 9.10/5.68 Conjecture not found
% 9.25/5.71 Conjecture not found
% 9.45/5.80 Conjecture not found
% 10.19/6.34 Conjecture not found
% 11.24/6.91 Conjecture not found
% 11.32/7.05 Conjecture not found
% 11.52/7.10 Conjecture not found
% 11.61/7.12 Conjecture not found
% 11.61/7.14 Conjecture not found
% 11.61/7.18 Conjecture not found
% 11.61/7.19 Conjecture not found
% 11.71/7.20 Conjecture not found
% 11.71/7.25 Conjecture not found
% 11.89/7.30 Conjecture not found
% 11.89/7.36 Conjecture not found
% 12.08/7.38 Conjecture not found
% 12.08/7.39 Conjecture not found
% 12.11/7.42 Conjecture not found
% 12.13/7.45 Conjecture not found
% 12.13/7.50 Conjecture not found
% 12.30/7.56 Conjecture not found
% 12.36/7.61 Conjecture not found
% 12.36/7.62 Conjecture not found
% 12.36/7.65 Conjecture not found
% 12.56/7.68 Conjecture not found
% 12.59/7.71 Conjecture not found
% 12.69/7.76 Conjecture not found
% 12.80/7.80 Conjecture not found
% 12.80/7.81 Conjecture not found
% 12.80/7.86 Conjecture not found
% 12.94/7.92 Conjecture not found
% 12.94/7.95 Conjecture not found
% 12.94/7.96 Conjecture not found
% 13.08/7.99 Conjecture not found
% 13.08/8.00 Conjecture not found
% 13.13/8.02 Conjecture not found
% 13.26/8.05 Conjecture not found
% 13.26/8.08 Conjecture not found
% 13.26/8.10 Conjecture not found
% 13.26/8.12 Conjecture not found
% 13.35/8.16 Conjecture not found
% 13.51/8.19 Conjecture not found
% 13.51/8.23 Conjecture not found
% 13.58/8.26 Conjecture not found
% 13.58/8.28 Conjecture not found
% 13.58/8.29 Conjecture not found
% 13.58/8.30 Conjecture not found
% 13.63/8.33 Conjecture not found
% 13.78/8.37 Conjecture not found
% 13.78/8.38 Conjecture not found
% 13.78/8.42 Conjecture not found
% 13.87/8.44 Conjecture not found
% 13.87/8.47 Conjecture not found
% 14.03/8.52 Conjecture not found
% 14.03/8.53 Conjecture not found
% 14.03/8.56 Conjecture not found
% 14.13/8.59 Conjecture not found
% 14.13/8.59 Conjecture not found
% 14.13/8.61 Conjecture not found
% 14.29/8.63 Conjecture not found
% 14.32/8.66 Conjecture not found
% 14.32/8.66 Conjecture not found
% 14.32/8.67 Conjecture not found
% 14.32/8.68 Conjecture not found
% 14.39/8.73 Conjecture not found
% 14.46/8.83 Conjecture not found
% 14.46/8.84 Conjecture not found
% 14.65/8.87 Conjecture not found
% 14.68/8.89 Conjecture not found
% 14.68/8.90 Conjecture not found
% 14.83/8.93 Conjecture not found
% 14.88/8.96 Conjecture not found
% 14.88/9.00 Conjecture not found
% 14.95/9.04 Conjecture not found
% 14.95/9.07 Conjecture not found
% 15.03/9.12 Conjecture not found
% 15.03/9.16 Conjecture not found
% 15.50/9.31 Conjecture not found
% 15.57/9.39 Conjecture not found
% 15.57/9.45 Conjecture not found
% 15.80/9.46 Conjecture not found
% 15.80/9.49 Conjecture not found
% 15.83/9.52 Conjecture not found
% 15.86/9.57 Conjecture not found
% 15.86/9.59 Conjecture not found
% 16.09/9.67 Conjecture not found
% 16.15/9.73 Conjecture not found
% 16.40/9.79 Conjecture not found
% 16.43/9.84 Conjecture not found
% 16.67/9.91 Conjecture not found
% 16.67/9.93 Conjecture not found
% 16.76/9.99 Conjecture not found
% 16.76/10.03 Conjecture not found
% 17.01/10.11 Conjecture not found
% 17.04/10.18 Conjecture not found
% 17.04/10.19 Conjecture not found
% 17.18/10.25 Conjecture not found
% 17.18/10.28 Conjecture not found
% 17.34/10.30 Conjecture not found
% 17.34/10.37 Conjecture not found
% 17.43/10.45 Conjecture not found
% 17.43/10.47 Conjecture not found
% 17.71/10.52 Conjecture not found
% 18.10/10.80 Conjecture not found
% 18.15/10.85 Conjecture not found
% 18.39/10.91 Conjecture not found
% 18.39/10.94 Conjecture not found
% 18.39/10.96 Conjecture not found
% 18.46/10.97 Conjecture not found
% 18.46/11.03 Conjecture not found
% 18.75/11.12 Conjecture not found
% 18.86/11.22 Conjecture not found
% 18.86/11.26 Conjecture not found
% 18.92/11.29 Conjecture not found
% 19.23/11.42 Conjecture not found
% 19.26/11.48 Conjecture not found
% 19.53/11.54 Conjecture not found
% 19.53/11.58 Conjecture not found
% 19.59/11.61 Conjecture not found
% 19.59/11.62 Conjecture not found
% 19.59/11.65 Conjecture not found
% 19.74/11.67 Conjecture not found
% 19.74/11.70 Conjecture not found
% 19.91/11.76 Conjecture not found
% 19.91/11.79 Conjecture not found
% 19.91/11.81 Conjecture not found
% 20.00/11.83 Conjecture not found
% 20.24/11.91 Conjecture not found
% 20.24/11.92 Conjecture not found
% 20.24/11.96 Conjecture not found
% 20.33/11.99 Conjecture not found
% 20.39/12.11 Conjecture not found
% 20.65/12.13 Conjecture not found
% 20.71/12.18 Conjecture not found
% 20.71/12.19 Conjecture not found
% 20.71/12.19 Conjecture not found
% 20.71/12.20 Conjecture not found
% 20.71/12.21 Conjecture not found
% 20.79/12.26 Conjecture not found
% 20.79/12.27 Conjecture not found
% 20.94/12.29 Conjecture not found
% 21.07/12.39 Conjecture not found
% 21.15/12.45 Conjecture not found
% 21.22/12.55 Conjecture not found
% 21.49/12.57 Conjecture not found
% 21.54/12.70 Conjecture not found
% 21.90/12.83 Conjecture not found
% 21.90/12.85 Conjecture not found
% 21.98/12.89 Conjecture not found
% 21.98/12.92 Conjecture not found
% 21.98/12.94 Conjecture not found
% 22.33/13.03 Conjecture not found
% 22.33/13.09 Conjecture not found
% 22.62/13.16 Conjecture not found
% 22.62/13.19 Conjecture not found
% 22.79/13.30 Conjecture not found
% 22.79/13.33 Conjecture not found
% 22.79/13.34 Conjecture not found
% 23.12/13.43 Conjecture not found
% 23.12/13.48 Conjecture not found
% 23.12/13.49 Conjecture not found
% 23.22/13.52 Conjecture not found
% 23.51/13.63 Conjecture not found
% 23.51/13.66 Conjecture not found
% 23.51/13.67 Conjecture not found
% 23.60/13.72 Conjecture not found
% 23.60/13.75 Conjecture not found
% 23.60/13.76 Conjecture not found
% 23.87/13.83 Conjecture not found
% 23.87/13.88 Conjecture not found
% 24.03/13.92 Conjecture not found
% 24.03/13.98 Conjecture not found
% 24.13/14.06 Conjecture not found
% 24.13/14.08 Conjecture not found
% 24.43/14.16 Conjecture not found
% 24.52/14.22 Conjecture not found
% 24.80/14.32 Conjecture not found
% 24.80/14.35 Conjecture not found
% 24.96/14.43 Conjecture not found
% 24.96/14.45 Conjecture not found
% 24.96/14.46 Conjecture not found
% 24.96/14.46 Conjecture not found
% 24.96/14.47 Conjecture not found
% 25.05/14.49 Conjecture not found
% 25.05/14.50 Conjecture not found
% 25.36/14.60 Conjecture not found
% 25.40/14.66 Conjecture not found
% 25.48/14.70 Conjecture not found
% 25.48/14.72 Conjecture not found
% 25.48/14.72 Conjecture not found
% 25.78/14.80 Conjecture not found
% 25.78/14.83 Conjecture not found
% 25.78/14.84 Conjecture not found
% 25.91/14.91 Conjecture not found
% 25.94/14.93 Conjecture not found
% 25.94/14.97 Conjecture not found
% 26.25/15.07 Conjecture not found
% 26.33/15.09 Conjecture not found
% 26.33/15.13 Conjecture not found
% 26.84/15.34 Conjecture not found
% 26.90/15.40 Conjecture not found
% 26.90/15.42 Conjecture not found
% 27.29/15.53 Conjecture not found
% 27.31/15.55 Conjecture not found
% 27.31/15.62 Conjecture not found
% 27.40/15.65 Conjecture not found
% 27.46/15.73 Conjecture not found
% 27.80/15.81 Conjecture not found
% 27.80/15.82 Conjecture not found
% 27.85/15.84 Conjecture not found
% 27.85/15.87 Conjecture not found
% 27.92/15.91 Conjecture not found
% 27.98/15.97 Conjecture not found
% 27.98/15.99 Conjecture not found
% 27.98/16.00 Conjecture not found
% 27.98/16.01 Conjecture not found
% 28.32/16.09 Conjecture not found
% 28.35/16.10 Conjecture not found
% 28.41/16.15 Conjecture not found
% 28.48/16.23 Conjecture not found
% 28.79/16.33 Conjecture not found
% 28.79/16.37 Conjecture not found
% 28.90/16.39 Conjecture not found
% 28.93/16.42 Conjecture not found
% 28.95/16.46 Conjecture not found
% 28.95/16.48 Conjecture not found
% 28.95/16.49 Conjecture not found
% 28.95/16.52 Conjecture not found
% 29.05/16.56 Conjecture not found
% 29.40/16.63 Conjecture not found
% 29.47/16.67 Conjecture not found
% 29.48/16.69 Conjecture not found
% 29.54/16.78 Conjecture not found
% 29.54/16.80 Conjecture not found
% 29.74/16.83 Conjecture not found
% 29.97/16.95 Conjecture not found
% 29.97/16.96 Conjecture not found
% 30.08/17.01 Conjecture not found
% 30.09/17.03 Conjecture not found
% 30.09/17.05 Conjecture not found
% 30.09/17.06 Conjecture not found
% 30.09/17.09 Conjecture not found
% 30.09/17.10 Conjecture not found
% 30.55/17.26 Conjecture not found
% 30.55/17.27 Conjecture not found
% 30.65/17.29 Conjecture not found
% 30.68/17.33 Conjecture not found
% 30.68/17.36 Conjecture not found
% 30.68/17.38 Conjecture not found
% 30.68/17.40 Conjecture not found
% 30.91/17.46 Conjecture not found
% 30.91/17.49 Conjecture not found
% 31.17/17.53 Conjecture not found
% 31.17/17.55 Conjecture not found
% 31.17/17.59 Conjecture not found
% 31.26/17.61 Conjecture not found
% 31.26/17.62 Conjecture not found
% 31.26/17.63 Conjecture not found
% 31.26/17.67 Conjecture not found
% 31.50/17.71 Conjecture not found
% 31.50/17.77 Conjecture not found
% 31.76/17.82 Conjecture not found
% 31.76/17.83 Conjecture not found
% 31.76/17.88 Conjecture not found
% 31.85/17.93 Conjecture not found
% 31.85/17.95 Conjecture not found
% 31.85/17.97 Conjecture not found
% 32.25/18.03 Conjecture not found
% 32.25/18.08 Conjecture not found
% 32.25/18.10 Conjecture not found
% 32.25/18.12 Conjecture not found
% 32.36/18.15 Conjecture not found
% 32.36/18.17 Conjecture not found
% 32.36/18.19 Conjecture not found
% 32.42/18.23 Conjecture not found
% 32.50/18.28 Conjecture not found
% 32.95/18.43 Conjecture not found
% 32.95/18.45 Conjecture not found
% 32.95/18.49 Conjecture not found
% 33.02/18.56 Conjecture not found
% 33.47/18.71 Conjecture not found
% 33.55/18.75 Conjecture not found
% 33.61/18.81 Conjecture not found
% 33.61/18.83 Conjecture not found
% 33.61/18.84 Conjecture not found
% 33.68/18.85 Conjecture not found
% 33.68/18.87 Conjecture not found
% 33.70/18.88 Conjecture not found
% 33.70/18.91 Conjecture not found
% 33.70/18.91 Conjecture not found
% 33.89/18.97 Conjecture not found
% 33.89/19.00 Conjecture not found
% 34.17/19.05 Conjecture not found
% 34.22/19.12 Conjecture not found
% 34.22/19.15 Conjecture not found
% 34.31/19.18 Conjecture not found
% 34.33/19.20 Conjecture not found
% 34.33/19.21 Conjecture not found
% 34.78/19.33 Conjecture not found
% 34.83/19.43 Conjecture not found
% 34.92/19.45 Conjecture not found
% 34.92/19.47 Conjecture not found
% 35.02/19.55 Conjecture not found
% 35.02/19.61 Conjecture not found
% 35.38/19.66 Conjecture not found
% 35.49/19.72 Conjecture not found
% 35.49/19.73 Conjecture not found
% 35.58/19.79 Conjecture not found
% 35.62/19.81 Conjecture not found
% 35.62/19.82 Conjecture not found
% 35.65/19.85 Conjecture not found
% 35.65/19.87 Conjecture not found
% 35.65/19.89 Conjecture not found
% 35.65/19.91 Conjecture not found
% 35.65/19.93 Conjecture not found
% 36.17/20.01 Conjecture not found
% 36.23/20.07 Conjecture not found
% 36.23/20.11 Conjecture not found
% 36.33/20.16 Conjecture not found
% 36.40/20.27 Conjecture not found
% 36.40/20.29 Conjecture not found
% 36.40/20.33 Conjecture not found
% 36.87/20.35 Conjecture not found
% 36.87/20.37 Conjecture not found
% 36.87/20.39 Conjecture not found
% 36.87/20.39 Conjecture not found
% 36.95/20.47 Conjecture not found
% 37.01/20.49 Conjecture not found
% 37.01/20.51 Conjecture not found
% 37.01/20.54 Conjecture not found
% 37.01/20.55 Conjecture not found
% 37.21/20.59 Conjecture not found
% 37.48/20.65 Conjecture not found
% 37.48/20.67 Conjecture not found
% 37.48/20.70 Conjecture not found
% 37.60/20.74 Conjecture not found
% 37.60/20.77 Conjecture not found
% 37.68/20.81 Conjecture not found
% 37.68/20.82 Conjecture not found
% 37.68/20.83 Conjecture not found
% 37.68/20.85 Conjecture not found
% 37.77/20.90 Conjecture not found
% 37.80/20.98 Conjecture not found
% 37.80/21.02 Conjecture not found
% 38.29/21.07 Conjecture not found
% 38.29/21.10 Conjecture not found
% 38.29/21.11 Conjecture not found
% 38.37/21.13 Conjecture not found
% 38.37/21.18 Conjecture not found
% 38.46/21.21 Conjecture not found
% 38.46/21.26 Conjecture not found
% 38.99/21.32 Conjecture not found
% 38.99/21.35 Conjecture not found
% 38.99/21.39 Conjecture not found
% 39.09/21.42 Conjecture not found
% 39.09/21.44 Conjecture not found
% 39.09/21.48 Conjecture not found
% 39.17/21.51 Conjecture not found
% 39.17/21.53 Conjecture not found
% 39.17/21.55 Conjecture not found
% 39.17/21.57 Conjecture not found
% 39.26/21.59 Conjecture not found
% 39.49/21.66 Conjecture not found
% 39.49/21.70 Conjecture not found
% 39.80/21.75 Conjecture not found
% 39.80/21.76 Conjecture not found
% 39.80/21.79 Conjecture not found
% 39.87/21.83 Conjecture not found
% 39.87/21.85 Conjecture not found
% 39.94/21.87 Conjecture not found
% 39.94/21.89 Conjecture not found
% 39.94/21.90 Conjecture not found
% 39.97/21.91 Conjecture not found
% 40.08/21.96 Conjecture not found
% 40.08/21.99 Conjecture not found
% 40.08/22.02 Conjecture not found
% 40.52/22.07 Conjecture not found
% 40.52/22.07 Conjecture not found
% 40.58/22.14 Conjecture not found
% 40.58/22.15 Conjecture not found
% 40.65/22.16 Conjecture not found
% 40.65/22.18 Conjecture not found
% 40.70/22.22 Conjecture not found
% 40.70/22.24 Conjecture not found
% 40.73/22.27 Conjecture not found
% 40.73/22.32 Conjecture not found
% 41.15/22.35 Conjecture not found
% 41.26/22.40 Conjecture not found
% 41.26/22.44 Conjecture not found
% 41.35/22.51 Conjecture not found
% 41.40/22.52 Conjecture not found
% 41.40/22.53 Conjecture not found
% 41.40/22.54 Conjecture not found
% 41.43/22.61 Conjecture not found
% 41.43/22.62 Conjecture not found
% 41.96/22.68 Conjecture not found
% 41.96/22.73 Conjecture not found
% 42.08/22.78 Conjecture not found
% 42.08/22.81 Conjecture not found
% 42.14/22.91 Conjecture not found
% 42.29/22.94 Conjecture not found
% 42.66/23.03 Conjecture not found
% 42.66/23.03 Conjecture not found
% 42.66/23.04 Conjecture not found
% 42.76/23.05 Conjecture not found
% 42.79/23.08 Conjecture not found
% 42.79/23.13 Conjecture not found
% 42.86/23.15 Conjecture not found
% 42.86/23.17 Conjecture not found
% 42.86/23.19 Conjecture not found
% 42.94/23.26 Conjecture not found
% 42.94/23.27 Conjecture not found
% 43.00/23.30 Conjecture not found
% 43.00/23.35 Conjecture not found
% 43.33/23.38 Conjecture not found
% 43.60/23.46 Conjecture not found
% 43.60/23.50 Conjecture not found
% 43.67/23.54 Conjecture not found
% 43.67/23.56 Conjecture not found
% 43.74/23.65 Conjecture not found
% 43.86/23.69 Conjecture not found
% 43.86/23.72 Conjecture not found
% 43.90/23.78 Conjecture not found
% 44.43/23.84 Conjecture not found
% 44.43/23.85 Conjecture not found
% 44.43/23.87 Conjecture not found
% 44.50/23.89 Conjecture not found
% 44.50/23.97 Conjecture not found
% 44.61/23.99 Conjecture not found
% 44.61/24.00 Conjecture not found
% 44.63/24.03 Conjecture not found
% 44.63/24.04 Conjecture not found
% 44.63/24.06 Conjecture not found
% 44.63/24.08 Conjecture not found
% 44.63/24.09 Conjecture not found
% 44.71/24.10 Conjecture not found
% 44.71/24.13 Conjecture not found
% 44.71/24.15 Conjecture not found
% 45.07/24.24 Conjecture not found
% 45.07/24.27 Conjecture not found
% 45.07/24.28 Conjecture not found
% 45.36/24.30 Conjecture not found
% 45.37/24.31 Conjecture not found
% 45.37/24.33 Conjecture not found
% 45.39/24.38 Conjecture not found
% 45.39/24.39 Conjecture not found
% 45.39/24.39 Conjecture not found
% 45.39/24.40 Conjecture not found
% 45.39/24.41 Conjecture not found
% 45.48/24.43 Conjecture not found
% 45.48/24.44 Conjecture not found
% 45.48/24.46 Conjecture not found
% 45.48/24.47 Conjecture not found
% 45.48/24.49 Conjecture not found
% 45.58/24.57 Conjecture not found
% 46.10/24.59 Conjecture not found
% 46.10/24.61 Conjecture not found
% 46.10/24.63 Conjecture not found
% 46.21/24.68 Conjecture not found
% 46.22/24.69 Conjecture not found
% 46.25/24.78 Conjecture not found
% 46.25/24.79 Conjecture not found
% 46.34/24.80 Conjecture not found
% 46.41/24.95 Conjecture not found
% 46.60/24.98 Conjecture not found
% 46.83/25.01 Conjecture not found
% 47.03/25.04 Conjecture not found
% 47.03/25.09 Conjecture not found
% 47.13/25.13 Conjecture not found
% 47.20/25.17 Conjecture not found
% 47.20/25.21 Conjecture not found
% 47.20/25.24 Conjecture not found
% 47.36/25.35 Conjecture not found
% 47.36/25.35 Conjecture not found
% 47.53/25.43 Conjecture not found
% 47.53/25.46 Conjecture not found
% 47.98/25.51 Conjecture not found
% 47.98/25.53 Conjecture not found
% 47.98/25.54 Conjecture not found
% 47.98/25.55 Conjecture not found
% 48.10/25.58 Conjecture not found
% 48.10/25.60 Conjecture not found
% 48.10/25.61 Conjecture not found
% 48.14/25.62 Conjecture not found
% 48.17/25.66 Conjecture not found
% 48.17/25.67 Conjecture not found
% 48.17/25.70 Conjecture not found
% 48.17/25.72 Conjecture not found
% 48.31/25.81 Conjecture not found
% 48.31/25.84 Conjecture not found
% 48.39/25.86 Conjecture not found
% 48.74/25.93 Conjecture not found
% 48.98/25.99 Conjecture not found
% 48.98/26.03 Conjecture not found
% 49.08/26.05 Conjecture not found
% 49.08/26.07 Conjecture not found
% 49.14/26.10 Conjecture not found
% 49.23/26.18 Conjecture not found
% 50.09/26.57 Conjecture not found
% 50.09/26.58 Conjecture not found
% 50.09/26.61 Conjecture not found
% 50.17/26.64 Conjecture not found
% 50.17/26.65 Conjecture not found
% 50.17/26.66 Conjecture not found
% 50.17/26.67 Conjecture not found
% 50.17/26.68 Conjecture not found
% 50.23/26.69 Conjecture not found
% 50.23/26.70 Conjecture not found
% 50.23/26.71 Conjecture not found
% 50.77/26.82 Conjecture not found
% 50.94/26.93 Conjecture not found
% 51.01/26.99 Conjecture not found
% 51.01/27.03 Conjecture not found
% 51.01/27.06 Conjecture not found
% 51.11/27.08 Conjecture not found
% 51.11/27.09 Conjecture not found
% 51.14/27.12 Conjecture not found
% 51.17/27.14 Conjecture not found
% 51.17/27.15 Conjecture not found
% 51.17/27.18 Conjecture not found
% 51.17/27.21 Conjecture not found
% 51.87/27.30 Conjecture not found
% 51.87/27.33 Conjecture not found
% 51.87/27.36 Conjecture not found
% 52.00/27.41 Conjecture not found
% 52.00/27.41 Conjecture not found
% 52.00/27.47 Conjecture not found
% 52.09/27.51 Conjecture not found
% 52.09/27.52 Conjecture not found
% 52.09/27.53 Conjecture not found
% 52.09/27.57 Conjecture not found
% 52.17/27.59 Conjecture not found
% 52.17/27.60 Conjecture not found
% 52.50/27.74 Conjecture not found
% 52.50/27.75 Conjecture not found
% 52.50/27.78 Conjecture not found
% 52.50/27.82 Conjecture not found
% 52.78/27.84 Conjecture not found
% 52.78/27.87 Conjecture not found
% 52.78/27.90 Conjecture not found
% 52.96/27.91 Conjecture not found
% 53.04/27.99 Conjecture not found
% 53.04/28.02 Conjecture not found
% 53.04/28.03 Conjecture not found
% 53.04/28.05 Conjecture not found
% 53.18/28.14 Conjecture not found
% 53.18/28.14 Conjecture not found
% 53.18/28.18 Conjecture not found
% 53.18/28.19 Conjecture not found
% 53.26/28.28 Conjecture not found
% 53.34/28.29 Conjecture not found
% 53.34/28.32 Conjecture not found
% 53.93/28.38 Conjecture not found
% 54.07/28.44 Conjecture not found
% 54.07/28.46 Conjecture not found
% 54.14/28.51 Conjecture not found
% 54.20/28.59 Conjecture not found
% 54.20/28.65 Conjecture not found
% 54.29/28.67 Conjecture not found
% 54.29/28.69 Conjecture not found
% 54.37/28.76 Conjecture not found
% 54.57/28.86 Conjecture not found
% 55.04/28.96 Conjecture not found
% 55.16/28.99 Conjecture not found
% 55.16/29.00 Conjecture not found
% 55.19/29.02 Conjecture not found
% 55.19/29.04 Conjecture not found
% 55.23/29.08 Conjecture not found
% 55.23/29.08 Conjecture not found
% 55.23/29.09 Conjecture not found
% 55.23/29.12 Conjecture not found
% 55.33/29.16 Conjecture not found
% 55.33/29.17 Conjecture not found
% 55.38/29.20 Conjecture not found
% 55.38/29.25 Conjecture not found
% 55.45/29.26 Conjecture not found
% 55.53/29.34 Conjecture not found
% 55.53/29.35 Conjecture not found
% 55.53/29.38 Conjecture not found
% 55.53/29.40 Conjecture not found
% 56.21/29.46 Conjecture not found
% 56.36/29.57 Conjecture not found
% 56.41/29.62 Conjecture not found
% 56.43/29.65 Conjecture not found
% 56.43/29.66 Conjecture not found
% 56.43/29.66 Conjecture not found
% 56.43/29.69 Conjecture not found
% 56.43/29.69 Conjecture not found
% 56.57/29.80 Conjecture not found
% 56.57/29.81 Conjecture not found
% 57.34/29.95 Conjecture not found
% 57.34/30.02 Conjecture not found
% 57.42/30.04 Conjecture not found
% 57.42/30.06 Conjecture not found
% 57.42/30.07 Conjecture not found
% 57.42/30.09 Conjecture not found
% 57.51/30.10 Conjecture not found
% 57.51/30.11 Conjecture not found
% 57.51/30.15 Conjecture not found
% 57.59/30.19 Conjecture not found
% 57.61/30.20 Conjecture not found
% 57.63/30.28 Conjecture not found
% 57.71/30.35 Conjecture not found
% 57.93/30.40 Conjecture not found
% 57.93/30.46 Conjecture not found
% 58.53/30.49 Conjecture not found
% 58.55/30.51 Conjecture not found
% 58.58/30.53 Conjecture not found
% 58.58/30.57 Conjecture not found
% 58.58/30.59 Conjecture not found
% 58.67/30.69 Conjecture not found
% 59.69/31.04 Conjecture not found
% 59.82/31.21 Conjecture not found
% 59.82/31.21 Conjecture not found
% 59.93/31.27 Conjecture not found
% 60.02/31.37 Conjecture not found
% 60.10/31.41 Conjecture not found
% 60.10/31.42 Conjecture not found
% 60.10/31.42 Conjecture not found
% 60.78/31.52 Conjecture not found
% 60.78/31.55 Conjecture not found
% 60.95/31.62 Conjecture not found
% 60.95/31.65 Conjecture not found
% 60.95/31.66 Conjecture not found
% 60.95/31.68 Conjecture not found
% 61.03/31.71 Conjecture not found
% 61.03/31.73 Conjecture not found
% 61.03/31.74 Conjecture not found
% 61.03/31.75 Conjecture not found
% 61.18/31.88 Conjecture not found
% 61.18/31.89 Conjecture not found
% 61.25/31.92 Conjecture not found
% 61.25/31.96 Conjecture not found
% 61.25/31.97 Conjecture not found
% 61.25/31.98 Conjecture not found
% 61.40/31.99 Conjecture not found
% 61.40/32.00 Conjecture not found
% 61.40/32.03 Conjecture not found
% 62.08/32.08 Conjecture not found
% 62.08/32.08 Conjecture not found
% 62.14/32.14 Conjecture not found
% 62.14/32.20 Conjecture not found
% 62.22/32.22 Conjecture not found
% 62.22/32.23 Conjecture not found
% 62.22/32.23 Conjecture not found
% 62.22/32.26 Conjecture not found
% 62.22/32.28 Conjecture not found
% 62.30/32.32 Conjecture not found
% 62.30/32.34 Conjecture not found
% 62.30/32.34 Conjecture not found
% 62.30/32.35 Conjecture not found
% 62.40/32.39 Conjecture not found
% 62.41/32.41 Conjecture not found
% 62.57/32.49 Conjecture not found
% 63.22/32.53 Conjecture not found
% 63.22/32.54 Conjecture not found
% 63.22/32.56 Conjecture not found
% 63.22/32.59 Conjecture not found
% 63.29/32.60 Conjecture not found
% 63.29/32.61 Conjecture not found
% 63.29/32.63 Conjecture not found
% 63.29/32.65 Conjecture not found
% 63.37/32.67 Conjecture not found
% 63.40/32.71 Conjecture not found
% 63.43/32.74 Conjecture not found
% 63.43/32.81 Conjecture not found
% 63.52/32.87 Conjecture not found
% 63.59/32.89 Conjecture not found
% 63.59/32.92 Conjecture not found
% 63.59/32.94 Conjecture not found
% 63.76/32.99 Conjecture not found
% 64.05/33.09 Conjecture not found
% 64.51/33.16 Conjecture not found
% 64.58/33.21 Conjecture not found
% 64.58/33.25 Conjecture not found
% 64.67/33.27 Conjecture not found
% 64.73/33.33 Conjecture not found
% 64.73/33.34 Conjecture not found
% 64.73/33.35 Conjecture not found
% 64.81/33.43 Conjecture not found
% 64.90/33.50 Conjecture not found
% 64.90/33.51 Conjecture not found
% 64.90/33.54 Conjecture not found
% 64.90/33.56 Conjecture not found
% 64.90/33.58 Conjecture not found
% 65.27/33.59 Conjecture not found
% 65.54/33.63 Conjecture not found
% 65.84/33.75 Conjecture not found
% 65.84/33.79 Conjecture not found
% 65.92/33.80 Conjecture not found
% 65.92/33.84 Conjecture not found
% 65.92/33.88 Conjecture not found
% 66.05/33.93 Conjecture not found
% 66.05/33.93 Conjecture not found
% 66.05/33.96 Conjecture not found
% 66.05/34.01 Conjecture not found
% 66.14/34.09 Conjecture not found
% 66.24/34.14 Conjecture not found
% 66.24/34.15 Conjecture not found
% 66.59/34.24 Conjecture not found
% 66.59/34.29 Conjecture not found
% 67.14/34.31 Conjecture not found
% 67.14/34.36 Conjecture not found
% 67.14/34.37 Conjecture not found
% 67.14/34.38 Conjecture not found
% 67.24/34.45 Conjecture not found
% 67.24/34.46 Conjecture not found
% 67.24/34.48 Conjecture not found
% 67.35/34.50 Conjecture not found
% 67.35/34.52 Conjecture not found
% 67.35/34.52 Conjecture not found
% 67.35/34.55 Conjecture not found
% 67.44/34.62 Conjecture not found
% 67.44/34.67 Conjecture not found
% 67.44/34.68 Conjecture not found
% 67.44/34.69 Conjecture not found
% 67.54/34.73 Conjecture not found
% 67.80/34.83 Conjecture not found
% 68.42/34.93 Conjecture not found
% 68.61/35.09 Conjecture not found
% 68.62/35.20 Conjecture not found
% 68.72/35.22 Conjecture not found
% 68.72/35.24 Conjecture not found
% 68.81/35.31 Conjecture not found
% 68.81/35.33 Conjecture not found
% 68.81/35.37 Conjecture not found
% 68.81/35.37 Conjecture not found
% 68.81/35.38 Conjecture not found
% 68.81/35.39 Conjecture not found
% 68.81/35.40 Conjecture not found
% 68.94/35.42 Conjecture not found
% 68.94/35.44 Conjecture not found
% 68.94/35.47 Conjecture not found
% 68.94/35.49 Conjecture not found
% 69.61/35.53 Conjecture not found
% 69.61/35.53 Conjecture not found
% 69.61/35.57 Conjecture not found
% 69.84/35.61 Conjecture not found
% 69.84/35.63 Conjecture not found
% 69.84/35.66 Conjecture not found
% 69.97/35.71 Conjecture not found
% 69.98/35.76 Conjecture not found
% 69.98/35.78 Conjecture not found
% 70.14/35.89 Conjecture not found
% 70.14/35.90 Conjecture not found
% 70.14/35.91 Conjecture not found
% 70.14/35.92 Conjecture not found
% 70.14/35.95 Conjecture not found
% 70.14/35.98 Conjecture not found
% 71.32/36.54 Conjecture not found
% 71.32/36.57 Conjecture not found
% 71.42/36.59 Conjecture not found
% 71.46/36.63 Conjecture not found
% 71.46/36.70 Conjecture not found
% 71.53/36.71 Conjecture not found
% 71.61/36.77 Conjecture not found
% 71.61/36.79 Conjecture not found
% 71.61/36.83 Conjecture not found
% 71.61/36.86 Conjecture not found
% 71.79/36.89 Conjecture not found
% 72.17/36.93 Conjecture not found
% 72.17/37.01 Conjecture not found
% 72.67/37.05 Conjecture not found
% 72.67/37.06 Conjecture not found
% 72.67/37.07 Start search
% 171.99/60.52 nb_step : 1 - limit : 175699
% 172.75/61.23 Launch Gotab with destructive = true
%------------------------------------------------------------------------------