TSTP Solution File: SEU429+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : SEU429+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n025.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:07 EDT 2022
% Result : Timeout 300.24s 92.46s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.12 % Problem : SEU429+4 : TPTP v8.1.0. Released v3.4.0.
% 0.04/0.12 % Command : goeland -dmt -presko -proof %s
% 0.12/0.34 % Computer : n025.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 300
% 0.12/0.34 % DateTime : Sat Sep 3 14:24:59 EDT 2022
% 0.12/0.34 % CPUTime :
% 0.12/0.34 [DMT] DMT loaded with preskolemization
% 0.12/0.34 [EQ] equality loaded.
% 0.12/0.34 [0.000037s][1][MAIN] Problem : theBenchmark.p
% 0.20/0.39 Conjecture not found
% 0.20/0.39 Conjecture not found
% 0.20/0.40 Conjecture not found
% 0.20/0.40 Conjecture not found
% 0.20/0.41 Conjecture not found
% 0.20/0.43 Conjecture not found
% 0.20/0.45 Conjecture not found
% 0.20/0.47 Conjecture not found
% 0.20/0.48 Conjecture not found
% 0.20/0.48 Conjecture not found
% 0.20/0.52 Conjecture not found
% 0.49/0.55 Conjecture not found
% 0.53/0.57 Conjecture not found
% 0.53/0.57 Conjecture not found
% 0.53/0.58 Conjecture not found
% 0.53/0.60 Conjecture not found
% 0.53/0.62 Conjecture not found
% 0.72/0.67 Conjecture not found
% 0.82/0.74 Conjecture not found
% 0.82/0.75 Conjecture not found
% 0.88/0.82 Conjecture not found
% 1.05/0.88 Conjecture not found
% 1.17/0.96 Conjecture not found
% 1.24/0.99 Conjecture not found
% 1.34/1.07 Conjecture not found
% 1.42/1.11 Conjecture not found
% 1.52/1.16 Conjecture not found
% 1.58/1.19 Conjecture not found
% 1.58/1.22 Conjecture not found
% 1.67/1.24 Conjecture not found
% 1.67/1.24 Conjecture not found
% 1.68/1.25 Conjecture not found
% 1.68/1.26 Conjecture not found
% 1.87/1.37 Conjecture not found
% 1.87/1.39 Conjecture not found
% 1.87/1.40 Conjecture not found
% 1.87/1.42 Conjecture not found
% 1.87/1.42 Conjecture not found
% 1.87/1.42 Conjecture not found
% 1.87/1.42 Conjecture not found
% 1.87/1.43 Conjecture not found
% 1.87/1.43 Conjecture not found
% 2.07/1.49 Conjecture not found
% 2.16/1.54 Conjecture not found
% 2.16/1.55 Conjecture not found
% 2.20/1.55 Conjecture not found
% 2.20/1.56 Conjecture not found
% 2.20/1.58 Conjecture not found
% 2.20/1.60 Conjecture not found
% 2.20/1.61 Conjecture not found
% 2.33/1.64 Conjecture not found
% 2.33/1.66 Conjecture not found
% 2.33/1.67 Conjecture not found
% 2.41/1.68 Conjecture not found
% 2.41/1.69 Conjecture not found
% 2.41/1.73 Conjecture not found
% 2.60/1.79 Conjecture not found
% 2.68/1.85 Conjecture not found
% 2.68/1.85 Conjecture not found
% 2.68/1.88 Conjecture not found
% 2.68/1.90 Conjecture not found
% 2.83/1.93 Conjecture not found
% 2.83/1.94 Conjecture not found
% 2.83/1.97 Conjecture not found
% 2.93/2.06 Conjecture not found
% 3.11/2.09 Conjecture not found
% 3.18/2.12 Conjecture not found
% 3.18/2.13 Conjecture not found
% 3.21/2.15 Conjecture not found
% 3.21/2.17 Conjecture not found
% 3.48/2.35 Conjecture not found
% 3.58/2.38 Conjecture not found
% 3.66/2.41 Conjecture not found
% 3.88/2.53 Conjecture not found
% 3.88/2.55 Conjecture not found
% 3.88/2.56 Conjecture not found
% 3.88/2.58 Conjecture not found
% 3.98/2.63 Conjecture not found
% 4.09/2.69 Conjecture not found
% 4.23/2.75 Conjecture not found
% 4.23/2.83 Conjecture not found
% 4.42/2.88 Conjecture not found
% 4.42/2.89 Conjecture not found
% 4.51/2.93 Conjecture not found
% 4.51/2.94 Conjecture not found
% 4.56/2.97 Conjecture not found
% 4.56/3.00 Conjecture not found
% 4.66/3.02 Conjecture not found
% 4.66/3.03 Conjecture not found
% 4.76/3.11 Conjecture not found
% 4.76/3.12 Conjecture not found
% 4.91/3.16 Conjecture not found
% 5.00/3.24 Conjecture not found
% 5.18/3.35 Conjecture not found
% 5.51/3.51 Conjecture not found
% 5.82/3.72 Conjecture not found
% 6.41/4.02 Conjecture not found
% 6.54/4.04 Conjecture not found
% 6.57/4.07 Conjecture not found
% 6.74/4.19 Conjecture not found
% 6.74/4.23 Conjecture not found
% 6.95/4.27 Conjecture not found
% 7.01/4.35 Conjecture not found
% 7.12/4.40 Conjecture not found
% 7.27/4.47 Conjecture not found
% 7.31/4.52 Conjecture not found
% 7.39/4.55 Conjecture not found
% 7.44/4.56 Conjecture not found
% 7.44/4.59 Conjecture not found
% 7.44/4.60 Conjecture not found
% 7.62/4.69 Conjecture not found
% 7.77/4.76 Conjecture not found
% 7.81/4.81 Conjecture not found
% 8.08/4.92 Conjecture not found
% 8.08/4.95 Conjecture not found
% 8.13/4.99 Conjecture not found
% 8.13/5.02 Conjecture not found
% 8.13/5.03 Conjecture not found
% 8.29/5.06 Conjecture not found
% 8.32/5.08 Conjecture not found
% 8.32/5.10 Conjecture not found
% 8.45/5.15 Conjecture not found
% 8.45/5.15 Conjecture not found
% 8.45/5.16 Conjecture not found
% 8.45/5.18 Conjecture not found
% 8.53/5.22 Conjecture not found
% 8.53/5.24 Conjecture not found
% 8.66/5.29 Conjecture not found
% 8.66/5.34 Conjecture not found
% 9.09/5.54 Conjecture not found
% 9.09/5.58 Conjecture not found
% 9.15/5.59 Conjecture not found
% 9.15/5.61 Conjecture not found
% 9.15/5.65 Conjecture not found
% 9.31/5.68 Conjecture not found
% 9.46/5.74 Conjecture not found
% 9.46/5.75 Conjecture not found
% 9.46/5.78 Conjecture not found
% 9.46/5.80 Conjecture not found
% 9.55/5.88 Conjecture not found
% 10.60/6.45 Conjecture not found
% 11.46/7.01 Conjecture not found
% 11.66/7.14 Conjecture not found
% 11.84/7.19 Conjecture not found
% 11.84/7.21 Conjecture not found
% 11.84/7.23 Conjecture not found
% 11.94/7.29 Conjecture not found
% 11.94/7.30 Conjecture not found
% 12.08/7.33 Conjecture not found
% 12.11/7.38 Conjecture not found
% 12.19/7.43 Conjecture not found
% 12.31/7.49 Conjecture not found
% 12.31/7.52 Conjecture not found
% 12.31/7.53 Conjecture not found
% 12.40/7.58 Conjecture not found
% 12.55/7.62 Conjecture not found
% 12.60/7.67 Conjecture not found
% 12.60/7.72 Conjecture not found
% 12.79/7.79 Conjecture not found
% 12.84/7.81 Conjecture not found
% 12.84/7.83 Conjecture not found
% 12.89/7.86 Conjecture not found
% 12.89/7.88 Conjecture not found
% 13.09/7.95 Conjecture not found
% 13.13/7.99 Conjecture not found
% 13.13/8.01 Conjecture not found
% 13.21/8.07 Conjecture not found
% 13.36/8.12 Conjecture not found
% 13.40/8.15 Conjecture not found
% 13.40/8.16 Conjecture not found
% 13.40/8.19 Conjecture not found
% 13.40/8.21 Conjecture not found
% 13.40/8.23 Conjecture not found
% 13.61/8.26 Conjecture not found
% 13.61/8.29 Conjecture not found
% 13.67/8.32 Conjecture not found
% 13.67/8.33 Conjecture not found
% 13.73/8.39 Conjecture not found
% 13.88/8.42 Conjecture not found
% 13.91/8.45 Conjecture not found
% 13.91/8.47 Conjecture not found
% 13.91/8.49 Conjecture not found
% 13.91/8.50 Conjecture not found
% 14.12/8.53 Conjecture not found
% 14.12/8.54 Conjecture not found
% 14.12/8.56 Conjecture not found
% 14.12/8.57 Conjecture not found
% 14.19/8.61 Conjecture not found
% 14.19/8.63 Conjecture not found
% 14.19/8.66 Conjecture not found
% 14.41/8.71 Conjecture not found
% 14.41/8.71 Conjecture not found
% 14.44/8.74 Conjecture not found
% 14.44/8.77 Conjecture not found
% 14.44/8.78 Conjecture not found
% 14.44/8.81 Conjecture not found
% 14.44/8.82 Conjecture not found
% 14.66/8.84 Conjecture not found
% 14.66/8.85 Conjecture not found
% 14.66/8.86 Conjecture not found
% 14.66/8.86 Conjecture not found
% 14.73/8.91 Conjecture not found
% 14.92/9.01 Conjecture not found
% 14.92/9.03 Conjecture not found
% 14.92/9.06 Conjecture not found
% 15.02/9.09 Conjecture not found
% 15.05/9.10 Conjecture not found
% 15.08/9.13 Conjecture not found
% 15.17/9.16 Conjecture not found
% 15.17/9.20 Conjecture not found
% 15.31/9.24 Conjecture not found
% 15.37/9.28 Conjecture not found
% 15.37/9.32 Conjecture not found
% 15.59/9.37 Conjecture not found
% 15.77/9.52 Conjecture not found
% 15.94/9.59 Conjecture not found
% 16.15/9.65 Conjecture not found
% 16.15/9.66 Conjecture not found
% 16.17/9.69 Conjecture not found
% 16.23/9.73 Conjecture not found
% 16.27/9.77 Conjecture not found
% 16.27/9.79 Conjecture not found
% 16.53/9.88 Conjecture not found
% 16.53/9.93 Conjecture not found
% 16.79/9.98 Conjecture not found
% 16.79/10.01 Conjecture not found
% 16.84/10.07 Conjecture not found
% 17.03/10.09 Conjecture not found
% 17.10/10.15 Conjecture not found
% 17.12/10.19 Conjecture not found
% 17.37/10.28 Conjecture not found
% 17.44/10.36 Conjecture not found
% 17.47/10.38 Conjecture not found
% 17.47/10.41 Conjecture not found
% 17.47/10.43 Conjecture not found
% 17.68/10.45 Conjecture not found
% 17.71/10.52 Conjecture not found
% 17.98/10.61 Conjecture not found
% 17.98/10.63 Conjecture not found
% 18.06/10.66 Conjecture not found
% 18.44/10.91 Conjecture not found
% 18.68/10.96 Conjecture not found
% 18.70/10.99 Conjecture not found
% 18.74/11.01 Conjecture not found
% 18.74/11.03 Conjecture not found
% 18.74/11.05 Conjecture not found
% 18.94/11.12 Conjecture not found
% 19.02/11.18 Conjecture not found
% 19.30/11.28 Conjecture not found
% 19.39/11.35 Conjecture not found
% 19.39/11.38 Conjecture not found
% 19.71/11.52 Conjecture not found
% 19.77/11.57 Conjecture not found
% 19.82/11.62 Conjecture not found
% 19.94/11.69 Conjecture not found
% 19.94/11.74 Conjecture not found
% 20.14/11.76 Conjecture not found
% 20.14/11.79 Conjecture not found
% 20.19/11.80 Conjecture not found
% 20.19/11.81 Conjecture not found
% 20.24/11.86 Conjecture not found
% 20.48/11.91 Conjecture not found
% 20.48/11.94 Conjecture not found
% 20.53/11.97 Conjecture not found
% 20.53/12.03 Conjecture not found
% 20.53/12.03 Conjecture not found
% 20.63/12.06 Conjecture not found
% 20.63/12.08 Conjecture not found
% 20.98/12.23 Conjecture not found
% 20.98/12.24 Conjecture not found
% 21.14/12.28 Conjecture not found
% 21.14/12.29 Conjecture not found
% 21.14/12.29 Conjecture not found
% 21.14/12.30 Conjecture not found
% 21.14/12.31 Conjecture not found
% 21.31/12.36 Conjecture not found
% 21.31/12.36 Conjecture not found
% 21.31/12.38 Conjecture not found
% 21.47/12.45 Conjecture not found
% 21.66/12.54 Conjecture not found
% 21.72/12.61 Conjecture not found
% 21.72/12.62 Conjecture not found
% 22.11/12.77 Conjecture not found
% 22.42/12.90 Conjecture not found
% 22.42/12.92 Conjecture not found
% 22.49/12.96 Conjecture not found
% 22.52/12.98 Conjecture not found
% 22.52/12.99 Conjecture not found
% 22.82/13.11 Conjecture not found
% 22.92/13.17 Conjecture not found
% 22.92/13.21 Conjecture not found
% 22.92/13.22 Conjecture not found
% 23.30/13.36 Conjecture not found
% 23.33/13.39 Conjecture not found
% 23.33/13.41 Conjecture not found
% 23.50/13.47 Conjecture not found
% 23.68/13.54 Conjecture not found
% 23.68/13.56 Conjecture not found
% 23.71/13.60 Conjecture not found
% 23.78/13.66 Conjecture not found
% 23.82/13.69 Conjecture not found
% 23.82/13.71 Conjecture not found
% 24.12/13.79 Conjecture not found
% 24.12/13.83 Conjecture not found
% 24.19/13.84 Conjecture not found
% 24.23/13.91 Conjecture not found
% 24.54/13.99 Conjecture not found
% 24.60/14.05 Conjecture not found
% 24.62/14.09 Conjecture not found
% 24.70/14.14 Conjecture not found
% 24.70/14.16 Conjecture not found
% 24.75/14.24 Conjecture not found
% 25.06/14.32 Conjecture not found
% 25.16/14.39 Conjecture not found
% 25.16/14.41 Conjecture not found
% 25.51/14.53 Conjecture not found
% 25.56/14.55 Conjecture not found
% 25.57/14.56 Conjecture not found
% 25.57/14.56 Conjecture not found
% 25.57/14.57 Conjecture not found
% 25.57/14.59 Conjecture not found
% 25.57/14.60 Conjecture not found
% 25.66/14.67 Conjecture not found
% 25.99/14.74 Conjecture not found
% 26.04/14.79 Conjecture not found
% 26.04/14.81 Conjecture not found
% 26.04/14.81 Conjecture not found
% 26.10/14.87 Conjecture not found
% 26.10/14.90 Conjecture not found
% 26.10/14.92 Conjecture not found
% 26.46/15.00 Conjecture not found
% 26.46/15.01 Conjecture not found
% 26.46/15.05 Conjecture not found
% 26.59/15.11 Conjecture not found
% 26.87/15.16 Conjecture not found
% 26.95/15.21 Conjecture not found
% 27.43/15.45 Conjecture not found
% 27.50/15.55 Conjecture not found
% 27.50/15.57 Conjecture not found
% 27.73/15.68 Conjecture not found
% 27.84/15.72 Conjecture not found
% 27.90/15.81 Conjecture not found
% 28.01/15.85 Conjecture not found
% 28.08/15.94 Conjecture not found
% 28.17/15.98 Conjecture not found
% 28.17/15.98 Conjecture not found
% 28.41/16.03 Conjecture not found
% 28.49/16.08 Conjecture not found
% 28.49/16.12 Conjecture not found
% 28.62/16.19 Conjecture not found
% 28.62/16.20 Conjecture not found
% 28.62/16.20 Conjecture not found
% 28.62/16.21 Conjecture not found
% 28.68/16.25 Conjecture not found
% 28.69/16.26 Conjecture not found
% 29.05/16.35 Conjecture not found
% 29.14/16.45 Conjecture not found
% 29.18/16.51 Conjecture not found
% 29.18/16.54 Conjecture not found
% 29.33/16.56 Conjecture not found
% 29.52/16.59 Conjecture not found
% 29.60/16.64 Conjecture not found
% 29.64/16.67 Conjecture not found
% 29.64/16.67 Conjecture not found
% 29.64/16.70 Conjecture not found
% 29.64/16.73 Conjecture not found
% 29.74/16.77 Conjecture not found
% 29.74/16.80 Conjecture not found
% 29.98/16.84 Conjecture not found
% 30.18/16.92 Conjecture not found
% 30.18/16.95 Conjecture not found
% 30.18/16.96 Conjecture not found
% 30.22/17.02 Conjecture not found
% 30.43/17.05 Conjecture not found
% 30.61/17.12 Conjecture not found
% 30.69/17.15 Conjecture not found
% 30.69/17.17 Conjecture not found
% 30.72/17.18 Conjecture not found
% 30.72/17.21 Conjecture not found
% 30.72/17.22 Conjecture not found
% 30.99/17.35 Conjecture not found
% 31.17/17.36 Conjecture not found
% 31.17/17.38 Conjecture not found
% 31.24/17.44 Conjecture not found
% 31.28/17.47 Conjecture not found
% 31.28/17.50 Conjecture not found
% 31.28/17.52 Conjecture not found
% 31.34/17.55 Conjecture not found
% 31.37/17.58 Conjecture not found
% 31.56/17.65 Conjecture not found
% 31.76/17.69 Conjecture not found
% 31.76/17.72 Conjecture not found
% 31.76/17.74 Conjecture not found
% 31.84/17.76 Conjecture not found
% 31.84/17.77 Conjecture not found
% 31.87/17.79 Conjecture not found
% 31.87/17.82 Conjecture not found
% 31.92/17.84 Conjecture not found
% 31.94/17.88 Conjecture not found
% 31.94/17.89 Conjecture not found
% 32.35/17.99 Conjecture not found
% 32.35/18.04 Conjecture not found
% 32.44/18.06 Conjecture not found
% 32.44/18.08 Conjecture not found
% 32.48/18.11 Conjecture not found
% 32.52/18.14 Conjecture not found
% 32.54/18.15 Conjecture not found
% 32.54/18.19 Conjecture not found
% 32.91/18.25 Conjecture not found
% 32.96/18.28 Conjecture not found
% 32.96/18.31 Conjecture not found
% 32.96/18.34 Conjecture not found
% 33.05/18.38 Conjecture not found
% 33.13/18.49 Conjecture not found
% 33.51/18.53 Conjecture not found
% 33.57/18.58 Conjecture not found
% 33.57/18.65 Conjecture not found
% 33.80/18.76 Conjecture not found
% 33.80/18.82 Conjecture not found
% 34.14/18.88 Conjecture not found
% 34.20/18.90 Conjecture not found
% 34.20/18.91 Conjecture not found
% 34.20/18.92 Conjecture not found
% 34.20/18.93 Conjecture not found
% 34.20/18.95 Conjecture not found
% 34.28/18.97 Conjecture not found
% 34.28/18.97 Conjecture not found
% 34.28/18.99 Conjecture not found
% 34.28/19.00 Conjecture not found
% 34.31/19.03 Conjecture not found
% 34.77/19.15 Conjecture not found
% 34.77/19.18 Conjecture not found
% 34.83/19.22 Conjecture not found
% 34.83/19.23 Conjecture not found
% 34.83/19.25 Conjecture not found
% 34.91/19.32 Conjecture not found
% 35.41/19.47 Conjecture not found
% 35.45/19.50 Conjecture not found
% 35.45/19.51 Conjecture not found
% 35.51/19.60 Conjecture not found
% 35.57/19.64 Conjecture not found
% 35.62/19.67 Conjecture not found
% 35.62/19.70 Conjecture not found
% 35.62/19.71 Conjecture not found
% 36.08/19.83 Conjecture not found
% 36.13/19.85 Conjecture not found
% 36.13/19.86 Conjecture not found
% 36.15/19.90 Conjecture not found
% 36.15/19.92 Conjecture not found
% 36.22/19.93 Conjecture not found
% 36.22/19.95 Conjecture not found
% 36.22/19.96 Conjecture not found
% 36.27/20.01 Conjecture not found
% 36.45/20.06 Conjecture not found
% 36.79/20.14 Conjecture not found
% 36.79/20.20 Conjecture not found
% 36.93/20.30 Conjecture not found
% 36.93/20.32 Conjecture not found
% 36.93/20.34 Conjecture not found
% 36.93/20.35 Conjecture not found
% 37.01/20.37 Conjecture not found
% 37.04/20.39 Conjecture not found
% 37.04/20.40 Conjecture not found
% 37.48/20.53 Conjecture not found
% 37.55/20.54 Conjecture not found
% 37.55/20.56 Conjecture not found
% 37.59/20.60 Conjecture not found
% 37.59/20.61 Conjecture not found
% 37.59/20.63 Conjecture not found
% 37.69/20.66 Conjecture not found
% 37.69/20.68 Conjecture not found
% 37.69/20.70 Conjecture not found
% 37.93/20.77 Conjecture not found
% 37.93/20.81 Conjecture not found
% 38.21/20.84 Conjecture not found
% 38.21/20.85 Conjecture not found
% 38.21/20.86 Conjecture not found
% 38.21/20.87 Conjecture not found
% 38.25/20.91 Conjecture not found
% 38.32/20.96 Conjecture not found
% 38.35/20.99 Conjecture not found
% 38.80/21.08 Conjecture not found
% 38.87/21.13 Conjecture not found
% 38.87/21.14 Conjecture not found
% 38.89/21.17 Conjecture not found
% 38.96/21.24 Conjecture not found
% 39.00/21.28 Conjecture not found
% 39.00/21.31 Conjecture not found
% 39.08/21.34 Conjecture not found
% 39.08/21.36 Conjecture not found
% 39.11/21.43 Conjecture not found
% 39.60/21.49 Conjecture not found
% 39.60/21.51 Conjecture not found
% 39.68/21.55 Conjecture not found
% 39.68/21.58 Conjecture not found
% 39.72/21.60 Conjecture not found
% 39.72/21.62 Conjecture not found
% 39.72/21.64 Conjecture not found
% 39.80/21.66 Conjecture not found
% 39.81/21.70 Conjecture not found
% 39.94/21.74 Conjecture not found
% 40.35/21.84 Conjecture not found
% 40.35/21.86 Conjecture not found
% 40.41/21.89 Conjecture not found
% 40.41/21.93 Conjecture not found
% 40.41/21.95 Conjecture not found
% 40.50/21.97 Conjecture not found
% 40.50/22.00 Conjecture not found
% 40.50/22.01 Conjecture not found
% 40.54/22.03 Conjecture not found
% 40.58/22.07 Conjecture not found
% 40.58/22.08 Conjecture not found
% 40.58/22.11 Conjecture not found
% 40.66/22.15 Conjecture not found
% 40.66/22.17 Conjecture not found
% 41.21/22.28 Conjecture not found
% 41.21/22.29 Conjecture not found
% 41.21/22.30 Conjecture not found
% 41.21/22.32 Conjecture not found
% 41.31/22.36 Conjecture not found
% 41.31/22.38 Conjecture not found
% 41.35/22.41 Conjecture not found
% 41.39/22.44 Conjecture not found
% 41.39/22.45 Conjecture not found
% 41.45/22.50 Conjecture not found
% 41.60/22.61 Conjecture not found
% 42.07/22.71 Conjecture not found
% 42.07/22.73 Conjecture not found
% 42.07/22.75 Conjecture not found
% 42.12/22.76 Conjecture not found
% 42.21/22.85 Conjecture not found
% 42.21/22.86 Conjecture not found
% 42.21/22.88 Conjecture not found
% 42.21/22.91 Conjecture not found
% 42.47/23.01 Conjecture not found
% 42.83/23.09 Conjecture not found
% 42.93/23.22 Conjecture not found
% 42.93/23.23 Conjecture not found
% 43.04/23.29 Conjecture not found
% 43.04/23.29 Conjecture not found
% 43.04/23.30 Conjecture not found
% 43.04/23.31 Conjecture not found
% 43.09/23.35 Conjecture not found
% 43.29/23.44 Conjecture not found
% 43.66/23.47 Conjecture not found
% 43.69/23.48 Conjecture not found
% 43.69/23.51 Conjecture not found
% 43.75/23.58 Conjecture not found
% 43.75/23.59 Conjecture not found
% 43.82/23.62 Conjecture not found
% 43.87/23.68 Conjecture not found
% 43.87/23.70 Conjecture not found
% 43.95/23.76 Conjecture not found
% 43.99/23.79 Conjecture not found
% 44.37/23.87 Conjecture not found
% 44.37/23.91 Conjecture not found
% 44.61/24.01 Conjecture not found
% 44.69/24.06 Conjecture not found
% 44.72/24.08 Conjecture not found
% 44.72/24.11 Conjecture not found
% 44.78/24.15 Conjecture not found
% 44.80/24.17 Conjecture not found
% 44.80/24.18 Conjecture not found
% 44.80/24.21 Conjecture not found
% 45.43/24.36 Conjecture not found
% 45.46/24.43 Conjecture not found
% 45.52/24.45 Conjecture not found
% 45.54/24.49 Conjecture not found
% 45.54/24.50 Conjecture not found
% 45.60/24.53 Conjecture not found
% 45.63/24.56 Conjecture not found
% 45.63/24.58 Conjecture not found
% 45.63/24.59 Conjecture not found
% 45.63/24.62 Conjecture not found
% 45.70/24.65 Conjecture not found
% 45.75/24.69 Conjecture not found
% 45.75/24.71 Conjecture not found
% 45.75/24.72 Conjecture not found
% 45.82/24.74 Conjecture not found
% 45.82/24.75 Conjecture not found
% 45.89/24.78 Conjecture not found
% 46.42/24.89 Conjecture not found
% 46.42/24.91 Conjecture not found
% 46.42/24.92 Conjecture not found
% 46.42/24.94 Conjecture not found
% 46.50/24.95 Conjecture not found
% 46.50/24.98 Conjecture not found
% 46.55/24.99 Conjecture not found
% 46.55/25.02 Conjecture not found
% 46.55/25.03 Conjecture not found
% 46.55/25.05 Conjecture not found
% 46.63/25.09 Conjecture not found
% 46.63/25.11 Conjecture not found
% 46.67/25.12 Conjecture not found
% 46.67/25.14 Conjecture not found
% 46.70/25.19 Conjecture not found
% 46.70/25.20 Conjecture not found
% 47.39/25.37 Conjecture not found
% 47.39/25.38 Conjecture not found
% 47.39/25.39 Conjecture not found
% 47.48/25.54 Conjecture not found
% 47.57/25.56 Conjecture not found
% 47.57/25.59 Conjecture not found
% 47.57/25.60 Conjecture not found
% 47.63/25.65 Conjecture not found
% 47.69/25.68 Conjecture not found
% 47.69/25.75 Conjecture not found
% 48.31/25.82 Conjecture not found
% 48.38/25.86 Conjecture not found
% 48.49/25.96 Conjecture not found
% 48.49/25.97 Conjecture not found
% 48.49/26.03 Conjecture not found
% 48.58/26.05 Conjecture not found
% 48.58/26.08 Conjecture not found
% 48.58/26.10 Conjecture not found
% 48.64/26.11 Conjecture not found
% 48.64/26.12 Conjecture not found
% 48.73/26.16 Conjecture not found
% 49.10/26.21 Conjecture not found
% 49.10/26.24 Conjecture not found
% 49.26/26.25 Conjecture not found
% 49.26/26.28 Conjecture not found
% 49.26/26.30 Conjecture not found
% 49.26/26.33 Conjecture not found
% 49.35/26.35 Conjecture not found
% 49.41/26.42 Conjecture not found
% 49.41/26.44 Conjecture not found
% 49.48/26.47 Conjecture not found
% 49.48/26.50 Conjecture not found
% 49.52/26.53 Conjecture not found
% 49.56/26.56 Conjecture not found
% 49.56/26.58 Conjecture not found
% 49.56/26.60 Conjecture not found
% 50.09/26.66 Conjecture not found
% 50.25/26.72 Conjecture not found
% 51.08/27.04 Conjecture not found
% 51.08/27.05 Conjecture not found
% 51.15/27.09 Conjecture not found
% 51.15/27.13 Conjecture not found
% 51.15/27.15 Conjecture not found
% 51.24/27.16 Conjecture not found
% 51.24/27.17 Conjecture not found
% 51.24/27.18 Conjecture not found
% 51.28/27.20 Conjecture not found
% 51.28/27.21 Conjecture not found
% 51.28/27.22 Conjecture not found
% 51.35/27.28 Conjecture not found
% 51.45/27.38 Conjecture not found
% 51.66/27.44 Conjecture not found
% 51.93/27.52 Conjecture not found
% 52.18/27.56 Conjecture not found
% 52.18/27.58 Conjecture not found
% 52.18/27.59 Conjecture not found
% 52.25/27.64 Conjecture not found
% 52.25/27.66 Conjecture not found
% 52.29/27.67 Conjecture not found
% 52.29/27.69 Conjecture not found
% 52.29/27.71 Conjecture not found
% 52.36/27.77 Conjecture not found
% 52.41/27.80 Conjecture not found
% 52.41/27.84 Conjecture not found
% 52.60/27.91 Conjecture not found
% 52.60/27.93 Conjecture not found
% 53.15/28.02 Conjecture not found
% 53.15/28.05 Conjecture not found
% 53.20/28.06 Conjecture not found
% 53.20/28.07 Conjecture not found
% 53.20/28.11 Conjecture not found
% 53.20/28.13 Conjecture not found
% 53.20/28.14 Conjecture not found
% 53.33/28.20 Conjecture not found
% 53.33/28.21 Conjecture not found
% 53.33/28.22 Conjecture not found
% 53.38/28.24 Conjecture not found
% 53.39/28.25 Conjecture not found
% 53.39/28.28 Conjecture not found
% 53.39/28.30 Conjecture not found
% 53.39/28.31 Conjecture not found
% 53.52/28.39 Conjecture not found
% 54.11/28.47 Conjecture not found
% 54.11/28.48 Conjecture not found
% 54.15/28.49 Conjecture not found
% 54.20/28.55 Conjecture not found
% 54.20/28.56 Conjecture not found
% 54.20/28.59 Conjecture not found
% 54.20/28.61 Conjecture not found
% 54.35/28.68 Conjecture not found
% 54.35/28.70 Conjecture not found
% 54.35/28.72 Conjecture not found
% 54.35/28.76 Conjecture not found
% 55.03/28.86 Conjecture not found
% 55.03/28.89 Conjecture not found
% 55.13/28.94 Conjecture not found
% 55.20/29.01 Conjecture not found
% 55.27/29.07 Conjecture not found
% 55.27/29.09 Conjecture not found
% 55.27/29.11 Conjecture not found
% 55.37/29.19 Conjecture not found
% 55.43/29.24 Conjecture not found
% 55.77/29.33 Conjecture not found
% 55.77/29.39 Conjecture not found
% 56.16/29.41 Conjecture not found
% 56.16/29.44 Conjecture not found
% 56.16/29.46 Conjecture not found
% 56.23/29.51 Conjecture not found
% 56.23/29.51 Conjecture not found
% 56.23/29.52 Conjecture not found
% 56.23/29.55 Conjecture not found
% 56.33/29.59 Conjecture not found
% 56.36/29.62 Conjecture not found
% 56.39/29.65 Conjecture not found
% 56.39/29.69 Conjecture not found
% 56.39/29.70 Conjecture not found
% 56.54/29.81 Conjecture not found
% 56.54/29.82 Conjecture not found
% 56.54/29.84 Conjecture not found
% 56.79/29.86 Conjecture not found
% 56.79/29.92 Conjecture not found
% 57.34/30.04 Conjecture not found
% 57.39/30.08 Conjecture not found
% 57.39/30.10 Conjecture not found
% 57.39/30.11 Conjecture not found
% 57.39/30.11 Conjecture not found
% 57.39/30.13 Conjecture not found
% 57.39/30.14 Conjecture not found
% 57.55/30.22 Conjecture not found
% 57.55/30.23 Conjecture not found
% 58.28/30.39 Conjecture not found
% 58.38/30.47 Conjecture not found
% 58.38/30.50 Conjecture not found
% 58.38/30.52 Conjecture not found
% 58.38/30.53 Conjecture not found
% 58.47/30.55 Conjecture not found
% 58.47/30.55 Conjecture not found
% 58.47/30.56 Conjecture not found
% 58.51/30.59 Conjecture not found
% 58.51/30.62 Conjecture not found
% 58.51/30.63 Conjecture not found
% 58.58/30.69 Conjecture not found
% 58.67/30.76 Conjecture not found
% 58.67/30.82 Conjecture not found
% 59.42/30.89 Conjecture not found
% 59.42/30.91 Conjecture not found
% 59.42/30.93 Conjecture not found
% 59.49/30.95 Conjecture not found
% 59.50/30.99 Conjecture not found
% 59.50/31.02 Conjecture not found
% 59.59/31.12 Conjecture not found
% 60.64/31.43 Conjecture not found
% 60.79/31.59 Conjecture not found
% 60.79/31.60 Conjecture not found
% 60.85/31.66 Conjecture not found
% 60.92/31.76 Conjecture not found
% 60.99/31.80 Conjecture not found
% 60.99/31.81 Conjecture not found
% 60.99/31.81 Conjecture not found
% 61.31/31.87 Conjecture not found
% 61.49/31.92 Conjecture not found
% 61.78/32.00 Conjecture not found
% 61.78/32.02 Conjecture not found
% 61.88/32.03 Conjecture not found
% 61.88/32.05 Conjecture not found
% 61.88/32.08 Conjecture not found
% 61.95/32.10 Conjecture not found
% 61.95/32.11 Conjecture not found
% 61.95/32.12 Conjecture not found
% 62.06/32.21 Conjecture not found
% 62.07/32.22 Conjecture not found
% 62.07/32.25 Conjecture not found
% 62.07/32.29 Conjecture not found
% 62.07/32.30 Conjecture not found
% 62.07/32.30 Conjecture not found
% 62.07/32.31 Conjecture not found
% 62.17/32.31 Conjecture not found
% 62.17/32.33 Conjecture not found
% 62.17/32.37 Conjecture not found
% 62.17/32.37 Conjecture not found
% 62.57/32.47 Conjecture not found
% 63.04/32.54 Conjecture not found
% 63.07/32.55 Conjecture not found
% 63.07/32.56 Conjecture not found
% 63.07/32.57 Conjecture not found
% 63.07/32.59 Conjecture not found
% 63.07/32.61 Conjecture not found
% 63.17/32.65 Conjecture not found
% 63.17/32.67 Conjecture not found
% 63.17/32.67 Conjecture not found
% 63.17/32.68 Conjecture not found
% 63.25/32.72 Conjecture not found
% 63.25/32.74 Conjecture not found
% 63.25/32.77 Conjecture not found
% 63.31/32.80 Conjecture not found
% 63.31/32.82 Conjecture not found
% 63.31/32.85 Conjecture not found
% 64.02/32.90 Conjecture not found
% 64.02/32.91 Conjecture not found
% 64.13/32.92 Conjecture not found
% 64.14/32.94 Conjecture not found
% 64.14/32.96 Conjecture not found
% 64.14/32.98 Conjecture not found
% 64.23/33.02 Conjecture not found
% 64.23/33.05 Conjecture not found
% 64.29/33.12 Conjecture not found
% 64.37/33.18 Conjecture not found
% 64.41/33.21 Conjecture not found
% 64.44/33.24 Conjecture not found
% 64.46/33.27 Conjecture not found
% 64.46/33.30 Conjecture not found
% 64.52/33.35 Conjecture not found
% 64.57/33.41 Conjecture not found
% 65.38/33.49 Conjecture not found
% 65.38/33.52 Conjecture not found
% 65.45/33.54 Conjecture not found
% 65.47/33.58 Conjecture not found
% 65.47/33.59 Conjecture not found
% 65.47/33.60 Conjecture not found
% 65.58/33.66 Conjecture not found
% 65.58/33.72 Conjecture not found
% 65.58/33.73 Conjecture not found
% 65.67/33.76 Conjecture not found
% 65.67/33.77 Conjecture not found
% 65.67/33.78 Conjecture not found
% 65.67/33.79 Conjecture not found
% 65.71/33.81 Conjecture not found
% 65.87/33.91 Conjecture not found
% 66.55/33.98 Conjecture not found
% 66.55/33.99 Conjecture not found
% 66.60/34.03 Conjecture not found
% 66.64/34.07 Conjecture not found
% 66.64/34.12 Conjecture not found
% 66.64/34.13 Conjecture not found
% 66.74/34.15 Conjecture not found
% 66.80/34.20 Conjecture not found
% 66.86/34.28 Conjecture not found
% 66.86/34.34 Conjecture not found
% 66.86/34.35 Conjecture not found
% 67.00/34.40 Conjecture not found
% 67.00/34.43 Conjecture not found
% 67.00/34.44 Conjecture not found
% 67.05/34.48 Conjecture not found
% 67.05/34.50 Conjecture not found
% 67.05/34.53 Conjecture not found
% 67.95/34.65 Conjecture not found
% 67.99/34.67 Conjecture not found
% 67.99/34.69 Conjecture not found
% 67.99/34.72 Conjecture not found
% 67.99/34.73 Conjecture not found
% 67.99/34.73 Conjecture not found
% 68.08/34.75 Conjecture not found
% 68.12/34.83 Conjecture not found
% 68.19/34.89 Conjecture not found
% 68.19/34.91 Conjecture not found
% 68.25/34.92 Conjecture not found
% 68.25/34.94 Conjecture not found
% 68.29/34.99 Conjecture not found
% 68.38/35.04 Conjecture not found
% 69.27/35.27 Conjecture not found
% 69.35/35.37 Conjecture not found
% 69.42/35.39 Conjecture not found
% 69.42/35.42 Conjecture not found
% 69.52/35.51 Conjecture not found
% 69.55/35.52 Conjecture not found
% 69.57/35.57 Conjecture not found
% 69.57/35.58 Conjecture not found
% 69.57/35.58 Conjecture not found
% 69.57/35.59 Conjecture not found
% 69.57/35.61 Conjecture not found
% 69.57/35.63 Conjecture not found
% 69.67/35.64 Conjecture not found
% 69.67/35.65 Conjecture not found
% 69.67/35.66 Conjecture not found
% 69.67/35.67 Conjecture not found
% 69.67/35.67 Conjecture not found
% 69.74/35.70 Conjecture not found
% 69.74/35.73 Conjecture not found
% 70.14/35.78 Conjecture not found
% 70.14/35.84 Conjecture not found
% 70.68/35.90 Conjecture not found
% 70.69/35.94 Conjecture not found
% 70.69/35.96 Conjecture not found
% 70.79/36.07 Conjecture not found
% 70.79/36.09 Conjecture not found
% 70.88/36.10 Conjecture not found
% 70.88/36.12 Conjecture not found
% 70.88/36.16 Conjecture not found
% 70.96/36.19 Conjecture not found
% 72.11/36.63 Conjecture not found
% 72.11/36.66 Conjecture not found
% 72.20/36.67 Conjecture not found
% 72.22/36.71 Conjecture not found
% 72.26/36.78 Conjecture not found
% 72.26/36.79 Conjecture not found
% 72.34/36.85 Conjecture not found
% 72.46/36.90 Conjecture not found
% 73.27/37.00 Conjecture not found
% 73.32/37.04 Conjecture not found
% 73.32/37.07 Conjecture not found
% 73.32/37.10 Conjecture not found
% 73.39/37.14 Conjecture not found
% 73.46/37.18 Conjecture not found
% 73.46/37.20 Conjecture not found
% 73.46/37.21 Start search
% 171.90/60.78 nb_step : 1 - limit : 175708
% 173.69/61.55 Launch Gotab with destructive = true
%------------------------------------------------------------------------------