TSTP Solution File: SEU411+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : SEU411+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n009.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:56 EDT 2022
% Result : Timeout 300.48s 97.46s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.13 % Problem : SEU411+4 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.13 % Command : goeland -dmt -presko -proof %s
% 0.13/0.35 % Computer : n009.cluster.edu
% 0.13/0.35 % Model : x86_64 x86_64
% 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.35 % Memory : 8042.1875MB
% 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.35 % CPULimit : 300
% 0.13/0.35 % WCLimit : 300
% 0.13/0.35 % DateTime : Sat Sep 3 13:31:14 EDT 2022
% 0.13/0.35 % CPUTime :
% 0.13/0.36 [DMT] DMT loaded with preskolemization
% 0.13/0.36 [EQ] equality loaded.
% 0.13/0.36 [0.000049s][1][MAIN] Problem : theBenchmark.p
% 0.21/0.40 Conjecture not found
% 0.21/0.41 Conjecture not found
% 0.21/0.41 Conjecture not found
% 0.21/0.41 Conjecture not found
% 0.21/0.42 Conjecture not found
% 0.21/0.44 Conjecture not found
% 0.21/0.47 Conjecture not found
% 0.21/0.49 Conjecture not found
% 0.21/0.50 Conjecture not found
% 0.21/0.50 Conjecture not found
% 0.21/0.54 Conjecture not found
% 0.53/0.57 Conjecture not found
% 0.53/0.59 Conjecture not found
% 0.53/0.59 Conjecture not found
% 0.53/0.60 Conjecture not found
% 0.53/0.63 Conjecture not found
% 0.63/0.64 Conjecture not found
% 0.69/0.69 Conjecture not found
% 0.87/0.77 Conjecture not found
% 0.87/0.77 Conjecture not found
% 0.97/0.86 Conjecture not found
% 1.02/0.91 Conjecture not found
% 1.21/1.00 Conjecture not found
% 1.32/1.04 Conjecture not found
% 1.39/1.12 Conjecture not found
% 1.51/1.16 Conjecture not found
% 1.57/1.21 Conjecture not found
% 1.66/1.24 Conjecture not found
% 1.68/1.27 Conjecture not found
% 1.68/1.29 Conjecture not found
% 1.68/1.30 Conjecture not found
% 1.68/1.30 Conjecture not found
% 1.68/1.31 Conjecture not found
% 1.88/1.42 Conjecture not found
% 2.04/1.45 Conjecture not found
% 2.04/1.45 Conjecture not found
% 2.04/1.47 Conjecture not found
% 2.04/1.47 Conjecture not found
% 2.04/1.48 Conjecture not found
% 2.04/1.48 Conjecture not found
% 2.13/1.49 Conjecture not found
% 2.13/1.49 Conjecture not found
% 2.26/1.55 Conjecture not found
% 2.28/1.60 Conjecture not found
% 2.28/1.60 Conjecture not found
% 2.28/1.61 Conjecture not found
% 2.28/1.62 Conjecture not found
% 2.44/1.65 Conjecture not found
% 2.44/1.66 Conjecture not found
% 2.44/1.68 Conjecture not found
% 2.55/1.70 Conjecture not found
% 2.55/1.72 Conjecture not found
% 2.55/1.74 Conjecture not found
% 2.55/1.75 Conjecture not found
% 2.70/1.76 Conjecture not found
% 2.74/1.80 Conjecture not found
% 2.85/1.87 Conjecture not found
% 3.02/1.92 Conjecture not found
% 3.02/1.93 Conjecture not found
% 3.02/1.96 Conjecture not found
% 3.15/1.99 Conjecture not found
% 3.15/2.02 Conjecture not found
% 3.15/2.04 Conjecture not found
% 3.29/2.06 Conjecture not found
% 3.45/2.16 Conjecture not found
% 3.45/2.19 Conjecture not found
% 3.45/2.21 Conjecture not found
% 3.45/2.23 Conjecture not found
% 3.57/2.25 Conjecture not found
% 3.57/2.27 Conjecture not found
% 3.94/2.45 Conjecture not found
% 3.94/2.48 Conjecture not found
% 3.94/2.50 Conjecture not found
% 4.23/2.61 Conjecture not found
% 4.23/2.62 Conjecture not found
% 4.23/2.64 Conjecture not found
% 4.23/2.66 Conjecture not found
% 4.34/2.71 Conjecture not found
% 4.47/2.77 Conjecture not found
% 4.68/2.85 Conjecture not found
% 4.77/2.91 Conjecture not found
% 4.88/2.95 Conjecture not found
% 4.88/2.97 Conjecture not found
% 4.95/3.01 Conjecture not found
% 4.95/3.02 Conjecture not found
% 5.03/3.05 Conjecture not found
% 5.03/3.08 Conjecture not found
% 5.03/3.11 Conjecture not found
% 5.03/3.12 Conjecture not found
% 5.18/3.19 Conjecture not found
% 5.18/3.19 Conjecture not found
% 5.28/3.22 Conjecture not found
% 5.39/3.30 Conjecture not found
% 5.61/3.39 Conjecture not found
% 5.83/3.52 Conjecture not found
% 6.34/3.76 Conjecture not found
% 6.92/4.08 Conjecture not found
% 6.92/4.11 Conjecture not found
% 7.05/4.14 Conjecture not found
% 7.22/4.26 Conjecture not found
% 7.30/4.30 Conjecture not found
% 7.38/4.35 Conjecture not found
% 7.48/4.40 Conjecture not found
% 7.62/4.45 Conjecture not found
% 7.65/4.52 Conjecture not found
% 7.78/4.57 Conjecture not found
% 7.78/4.60 Conjecture not found
% 7.78/4.61 Conjecture not found
% 7.85/4.64 Conjecture not found
% 7.85/4.65 Conjecture not found
% 7.97/4.72 Conjecture not found
% 8.20/4.79 Conjecture not found
% 8.28/4.84 Conjecture not found
% 8.30/4.93 Conjecture not found
% 8.45/4.95 Conjecture not found
% 8.58/5.00 Conjecture not found
% 8.58/5.03 Conjecture not found
% 8.58/5.04 Conjecture not found
% 8.66/5.07 Conjecture not found
% 8.76/5.09 Conjecture not found
% 8.76/5.11 Conjecture not found
% 8.81/5.15 Conjecture not found
% 8.81/5.15 Conjecture not found
% 8.81/5.16 Conjecture not found
% 8.81/5.18 Conjecture not found
% 8.97/5.22 Conjecture not found
% 8.97/5.25 Conjecture not found
% 9.03/5.30 Conjecture not found
% 9.03/5.35 Conjecture not found
% 9.45/5.55 Conjecture not found
% 9.45/5.57 Conjecture not found
% 9.45/5.58 Conjecture not found
% 9.57/5.60 Conjecture not found
% 9.57/5.63 Conjecture not found
% 9.68/5.67 Conjecture not found
% 9.71/5.73 Conjecture not found
% 9.84/5.74 Conjecture not found
% 9.84/5.77 Conjecture not found
% 9.84/5.79 Conjecture not found
% 9.93/5.87 Conjecture not found
% 10.91/6.37 Conjecture not found
% 11.86/6.93 Conjecture not found
% 12.06/7.06 Conjecture not found
% 12.10/7.12 Conjecture not found
% 12.10/7.13 Conjecture not found
% 12.10/7.15 Conjecture not found
% 12.27/7.17 Conjecture not found
% 12.27/7.18 Conjecture not found
% 12.27/7.19 Conjecture not found
% 12.27/7.23 Conjecture not found
% 12.47/7.28 Conjecture not found
% 12.61/7.33 Conjecture not found
% 12.66/7.36 Conjecture not found
% 12.66/7.38 Conjecture not found
% 12.66/7.42 Conjecture not found
% 12.73/7.45 Conjecture not found
% 12.87/7.50 Conjecture not found
% 12.94/7.55 Conjecture not found
% 12.97/7.62 Conjecture not found
% 13.14/7.64 Conjecture not found
% 13.14/7.67 Conjecture not found
% 13.18/7.69 Conjecture not found
% 13.18/7.71 Conjecture not found
% 13.36/7.75 Conjecture not found
% 13.40/7.80 Conjecture not found
% 13.40/7.81 Conjecture not found
% 13.47/7.88 Conjecture not found
% 13.64/7.94 Conjecture not found
% 13.69/7.96 Conjecture not found
% 13.69/7.98 Conjecture not found
% 13.69/7.99 Conjecture not found
% 13.69/8.01 Conjecture not found
% 13.69/8.03 Conjecture not found
% 13.69/8.04 Conjecture not found
% 13.88/8.06 Conjecture not found
% 13.88/8.08 Conjecture not found
% 13.88/8.08 Conjecture not found
% 14.08/8.14 Conjecture not found
% 14.09/8.16 Conjecture not found
% 14.09/8.20 Conjecture not found
% 14.17/8.23 Conjecture not found
% 14.17/8.24 Conjecture not found
% 14.17/8.26 Conjecture not found
% 14.33/8.29 Conjecture not found
% 14.33/8.32 Conjecture not found
% 14.33/8.36 Conjecture not found
% 14.43/8.37 Conjecture not found
% 14.45/8.40 Conjecture not found
% 14.50/8.43 Conjecture not found
% 14.58/8.45 Conjecture not found
% 14.58/8.51 Conjecture not found
% 14.69/8.51 Conjecture not found
% 14.69/8.53 Conjecture not found
% 14.69/8.57 Conjecture not found
% 14.82/8.59 Conjecture not found
% 14.82/8.62 Conjecture not found
% 14.82/8.64 Conjecture not found
% 14.82/8.66 Conjecture not found
% 15.00/8.67 Conjecture not found
% 15.00/8.67 Conjecture not found
% 15.00/8.67 Conjecture not found
% 15.02/8.71 Conjecture not found
% 15.27/8.83 Conjecture not found
% 15.27/8.85 Conjecture not found
% 15.27/8.87 Conjecture not found
% 15.34/8.89 Conjecture not found
% 15.34/8.90 Conjecture not found
% 15.34/8.93 Conjecture not found
% 15.34/8.95 Conjecture not found
% 15.56/8.99 Conjecture not found
% 15.61/9.04 Conjecture not found
% 15.61/9.07 Conjecture not found
% 15.79/9.13 Conjecture not found
% 15.79/9.17 Conjecture not found
% 16.11/9.28 Conjecture not found
% 16.16/9.34 Conjecture not found
% 16.19/9.39 Conjecture not found
% 16.19/9.40 Conjecture not found
% 16.42/9.43 Conjecture not found
% 16.42/9.47 Conjecture not found
% 16.47/9.51 Conjecture not found
% 16.47/9.52 Conjecture not found
% 16.69/9.59 Conjecture not found
% 16.73/9.63 Conjecture not found
% 16.77/9.70 Conjecture not found
% 17.01/9.75 Conjecture not found
% 17.06/9.80 Conjecture not found
% 17.06/9.81 Conjecture not found
% 17.30/9.88 Conjecture not found
% 17.35/9.93 Conjecture not found
% 17.39/10.00 Conjecture not found
% 17.67/10.10 Conjecture not found
% 17.67/10.11 Conjecture not found
% 17.73/10.14 Conjecture not found
% 17.73/10.15 Conjecture not found
% 17.77/10.19 Conjecture not found
% 18.02/10.29 Conjecture not found
% 18.21/10.37 Conjecture not found
% 18.21/10.40 Conjecture not found
% 18.36/10.44 Conjecture not found
% 18.74/10.67 Conjecture not found
% 18.96/10.75 Conjecture not found
% 19.00/10.80 Conjecture not found
% 19.00/10.82 Conjecture not found
% 19.00/10.83 Conjecture not found
% 19.08/10.84 Conjecture not found
% 19.11/10.90 Conjecture not found
% 19.36/11.01 Conjecture not found
% 19.47/11.08 Conjecture not found
% 19.71/11.14 Conjecture not found
% 19.71/11.16 Conjecture not found
% 19.79/11.25 Conjecture not found
% 20.09/11.34 Conjecture not found
% 20.13/11.39 Conjecture not found
% 20.13/11.42 Conjecture not found
% 20.36/11.46 Conjecture not found
% 20.36/11.49 Conjecture not found
% 20.36/11.51 Conjecture not found
% 20.36/11.52 Conjecture not found
% 20.47/11.54 Conjecture not found
% 20.51/11.61 Conjecture not found
% 20.59/11.64 Conjecture not found
% 20.59/11.67 Conjecture not found
% 20.66/11.72 Conjecture not found
% 20.88/11.80 Conjecture not found
% 20.88/11.81 Conjecture not found
% 20.94/11.83 Conjecture not found
% 20.94/11.85 Conjecture not found
% 21.29/12.00 Conjecture not found
% 21.29/12.01 Conjecture not found
% 21.34/12.05 Conjecture not found
% 21.34/12.06 Conjecture not found
% 21.34/12.06 Conjecture not found
% 21.34/12.06 Conjecture not found
% 21.38/12.08 Conjecture not found
% 21.66/12.15 Conjecture not found
% 21.66/12.17 Conjecture not found
% 21.71/12.19 Conjecture not found
% 21.78/12.26 Conjecture not found
% 21.93/12.34 Conjecture not found
% 22.07/12.43 Conjecture not found
% 22.16/12.44 Conjecture not found
% 22.49/12.58 Conjecture not found
% 22.69/12.76 Conjecture not found
% 22.90/12.80 Conjecture not found
% 22.97/12.86 Conjecture not found
% 22.97/12.88 Conjecture not found
% 22.97/12.89 Conjecture not found
% 23.04/12.96 Conjecture not found
% 23.39/13.06 Conjecture not found
% 23.42/13.10 Conjecture not found
% 23.42/13.12 Conjecture not found
% 23.50/13.23 Conjecture not found
% 23.79/13.28 Conjecture not found
% 23.85/13.31 Conjecture not found
% 23.91/13.35 Conjecture not found
% 23.93/13.40 Conjecture not found
% 23.93/13.41 Conjecture not found
% 24.21/13.47 Conjecture not found
% 24.21/13.51 Conjecture not found
% 24.30/13.53 Conjecture not found
% 24.30/13.54 Conjecture not found
% 24.44/13.60 Conjecture not found
% 24.44/13.65 Conjecture not found
% 24.44/13.65 Conjecture not found
% 24.65/13.69 Conjecture not found
% 24.71/13.73 Conjecture not found
% 24.71/13.76 Conjecture not found
% 24.75/13.83 Conjecture not found
% 25.11/13.91 Conjecture not found
% 25.11/13.92 Conjecture not found
% 25.17/13.97 Conjecture not found
% 25.28/14.04 Conjecture not found
% 25.53/14.13 Conjecture not found
% 25.53/14.15 Conjecture not found
% 25.65/14.19 Conjecture not found
% 25.65/14.23 Conjecture not found
% 25.92/14.25 Conjecture not found
% 25.92/14.25 Conjecture not found
% 25.95/14.27 Conjecture not found
% 25.95/14.30 Conjecture not found
% 25.95/14.31 Conjecture not found
% 26.07/14.38 Conjecture not found
% 26.07/14.44 Conjecture not found
% 26.44/14.53 Conjecture not found
% 26.46/14.56 Conjecture not found
% 26.46/14.56 Conjecture not found
% 26.46/14.61 Conjecture not found
% 26.54/14.63 Conjecture not found
% 26.54/14.64 Conjecture not found
% 26.61/14.75 Conjecture not found
% 26.92/14.77 Conjecture not found
% 26.93/14.83 Conjecture not found
% 27.02/14.89 Conjecture not found
% 27.02/14.91 Conjecture not found
% 27.10/14.95 Conjecture not found
% 27.57/15.18 Conjecture not found
% 27.94/15.30 Conjecture not found
% 27.94/15.31 Conjecture not found
% 28.03/15.40 Conjecture not found
% 28.03/15.41 Conjecture not found
% 28.31/15.48 Conjecture not found
% 28.31/15.53 Conjecture not found
% 28.46/15.61 Conjecture not found
% 28.52/15.65 Conjecture not found
% 28.52/15.66 Conjecture not found
% 28.55/15.68 Conjecture not found
% 28.55/15.70 Conjecture not found
% 28.91/15.78 Conjecture not found
% 28.91/15.83 Conjecture not found
% 28.98/15.84 Conjecture not found
% 28.98/15.84 Conjecture not found
% 28.98/15.85 Conjecture not found
% 29.01/15.88 Conjecture not found
% 29.01/15.89 Conjecture not found
% 29.28/15.96 Conjecture not found
% 29.46/16.07 Conjecture not found
% 29.51/16.12 Conjecture not found
% 29.54/16.15 Conjecture not found
% 29.54/16.16 Conjecture not found
% 29.54/16.18 Conjecture not found
% 29.89/16.29 Conjecture not found
% 29.89/16.31 Conjecture not found
% 29.89/16.32 Conjecture not found
% 29.89/16.35 Conjecture not found
% 30.01/16.38 Conjecture not found
% 30.05/16.42 Conjecture not found
% 30.05/16.45 Conjecture not found
% 30.09/16.47 Conjecture not found
% 30.19/16.58 Conjecture not found
% 30.51/16.62 Conjecture not found
% 30.51/16.64 Conjecture not found
% 30.61/16.72 Conjecture not found
% 30.61/16.74 Conjecture not found
% 30.66/16.78 Conjecture not found
% 30.66/16.81 Conjecture not found
% 30.95/16.85 Conjecture not found
% 30.95/16.87 Conjecture not found
% 31.09/16.92 Conjecture not found
% 31.09/16.93 Conjecture not found
% 31.21/17.04 Conjecture not found
% 31.21/17.05 Conjecture not found
% 31.25/17.06 Conjecture not found
% 31.25/17.09 Conjecture not found
% 31.62/17.15 Conjecture not found
% 31.62/17.18 Conjecture not found
% 31.68/17.20 Conjecture not found
% 31.68/17.23 Conjecture not found
% 31.72/17.26 Conjecture not found
% 31.72/17.30 Conjecture not found
% 31.78/17.31 Conjecture not found
% 31.78/17.34 Conjecture not found
% 31.90/17.39 Conjecture not found
% 31.90/17.41 Conjecture not found
% 31.90/17.42 Conjecture not found
% 32.21/17.47 Conjecture not found
% 32.25/17.50 Conjecture not found
% 32.25/17.53 Conjecture not found
% 32.31/17.56 Conjecture not found
% 32.31/17.57 Conjecture not found
% 32.36/17.62 Conjecture not found
% 32.61/17.71 Conjecture not found
% 32.61/17.72 Conjecture not found
% 32.61/17.74 Conjecture not found
% 32.80/17.76 Conjecture not found
% 32.80/17.78 Conjecture not found
% 32.83/17.79 Conjecture not found
% 32.83/17.80 Conjecture not found
% 32.83/17.82 Conjecture not found
% 32.88/17.84 Conjecture not found
% 32.89/17.85 Conjecture not found
% 33.26/17.93 Conjecture not found
% 33.32/18.00 Conjecture not found
% 33.43/18.10 Conjecture not found
% 33.43/18.12 Conjecture not found
% 33.51/18.16 Conjecture not found
% 33.92/18.29 Conjecture not found
% 34.02/18.38 Conjecture not found
% 34.02/18.42 Conjecture not found
% 34.11/18.48 Conjecture not found
% 34.11/18.50 Conjecture not found
% 34.11/18.52 Conjecture not found
% 34.44/18.55 Conjecture not found
% 34.55/18.57 Conjecture not found
% 34.55/18.60 Conjecture not found
% 34.55/18.63 Conjecture not found
% 34.55/18.63 Conjecture not found
% 34.62/18.66 Conjecture not found
% 34.65/18.69 Conjecture not found
% 34.65/18.72 Conjecture not found
% 34.74/18.79 Conjecture not found
% 35.00/18.83 Conjecture not found
% 35.18/18.89 Conjecture not found
% 35.18/18.92 Conjecture not found
% 35.25/18.93 Conjecture not found
% 35.29/19.00 Conjecture not found
% 35.39/19.10 Conjecture not found
% 35.39/19.13 Conjecture not found
% 35.45/19.14 Conjecture not found
% 35.91/19.28 Conjecture not found
% 35.95/19.32 Conjecture not found
% 35.95/19.35 Conjecture not found
% 36.04/19.39 Conjecture not found
% 36.04/19.40 Conjecture not found
% 36.11/19.46 Conjecture not found
% 36.11/19.47 Conjecture not found
% 36.11/19.48 Conjecture not found
% 36.47/19.55 Conjecture not found
% 36.60/19.58 Conjecture not found
% 36.60/19.59 Conjecture not found
% 36.60/19.61 Conjecture not found
% 36.60/19.62 Conjecture not found
% 36.68/19.67 Conjecture not found
% 36.72/19.71 Conjecture not found
% 36.75/19.79 Conjecture not found
% 36.94/19.87 Conjecture not found
% 37.33/20.01 Conjecture not found
% 37.33/20.02 Conjecture not found
% 37.33/20.04 Conjecture not found
% 37.42/20.06 Conjecture not found
% 37.42/20.08 Conjecture not found
% 37.46/20.10 Conjecture not found
% 37.46/20.10 Conjecture not found
% 37.52/20.18 Conjecture not found
% 37.60/20.21 Conjecture not found
% 37.60/20.25 Conjecture not found
% 37.98/20.31 Conjecture not found
% 37.98/20.32 Conjecture not found
% 38.10/20.35 Conjecture not found
% 38.10/20.38 Conjecture not found
% 38.10/20.39 Conjecture not found
% 38.15/20.42 Conjecture not found
% 38.21/20.46 Conjecture not found
% 38.21/20.49 Conjecture not found
% 38.25/20.52 Conjecture not found
% 38.25/20.53 Conjecture not found
% 38.39/20.56 Conjecture not found
% 38.39/20.58 Conjecture not found
% 38.80/20.67 Conjecture not found
% 38.90/20.75 Conjecture not found
% 38.90/20.78 Conjecture not found
% 38.96/20.84 Conjecture not found
% 39.00/20.87 Conjecture not found
% 39.00/20.88 Conjecture not found
% 39.00/20.91 Conjecture not found
% 39.55/21.05 Conjecture not found
% 39.61/21.11 Conjecture not found
% 39.70/21.16 Conjecture not found
% 39.73/21.20 Conjecture not found
% 39.73/21.22 Conjecture not found
% 39.79/21.26 Conjecture not found
% 39.79/21.30 Conjecture not found
% 39.85/21.32 Conjecture not found
% 39.85/21.36 Conjecture not found
% 39.99/21.41 Conjecture not found
% 39.99/21.45 Conjecture not found
% 40.40/21.48 Conjecture not found
% 40.43/21.50 Conjecture not found
% 40.43/21.52 Conjecture not found
% 40.50/21.57 Conjecture not found
% 40.56/21.63 Conjecture not found
% 40.61/21.68 Conjecture not found
% 40.61/21.69 Conjecture not found
% 40.69/21.74 Conjecture not found
% 40.73/21.83 Conjecture not found
% 40.95/21.91 Conjecture not found
% 41.14/21.94 Conjecture not found
% 41.26/21.99 Conjecture not found
% 41.26/22.00 Conjecture not found
% 41.26/22.03 Conjecture not found
% 41.33/22.07 Conjecture not found
% 41.33/22.08 Conjecture not found
% 41.38/22.10 Conjecture not found
% 41.38/22.13 Conjecture not found
% 41.38/22.14 Conjecture not found
% 41.46/22.18 Conjecture not found
% 41.46/22.19 Conjecture not found
% 41.46/22.20 Conjecture not found
% 41.46/22.22 Conjecture not found
% 41.52/22.24 Conjecture not found
% 41.55/22.26 Conjecture not found
% 41.55/22.28 Conjecture not found
% 41.55/22.30 Conjecture not found
% 41.92/22.33 Conjecture not found
% 42.10/22.41 Conjecture not found
% 42.19/22.47 Conjecture not found
% 42.27/22.56 Conjecture not found
% 42.27/22.58 Conjecture not found
% 42.27/22.59 Conjecture not found
% 42.27/22.60 Conjecture not found
% 42.66/22.71 Conjecture not found
% 42.66/22.73 Conjecture not found
% 42.66/22.75 Conjecture not found
% 42.93/22.78 Conjecture not found
% 42.99/22.84 Conjecture not found
% 42.99/22.87 Conjecture not found
% 43.09/22.96 Conjecture not found
% 43.09/22.97 Conjecture not found
% 43.53/23.10 Conjecture not found
% 43.53/23.12 Conjecture not found
% 43.53/23.13 Conjecture not found
% 43.53/23.15 Conjecture not found
% 43.66/23.19 Conjecture not found
% 43.66/23.22 Conjecture not found
% 43.66/23.23 Conjecture not found
% 43.77/23.25 Conjecture not found
% 43.77/23.27 Conjecture not found
% 43.83/23.32 Conjecture not found
% 43.83/23.33 Conjecture not found
% 43.83/23.34 Conjecture not found
% 43.89/23.38 Conjecture not found
% 43.89/23.39 Conjecture not found
% 43.89/23.43 Conjecture not found
% 44.28/23.51 Conjecture not found
% 44.50/23.57 Conjecture not found
% 44.50/23.59 Conjecture not found
% 44.62/23.69 Conjecture not found
% 44.62/23.73 Conjecture not found
% 44.71/23.75 Conjecture not found
% 44.71/23.78 Conjecture not found
% 44.75/23.82 Conjecture not found
% 44.75/23.83 Conjecture not found
% 44.80/23.85 Conjecture not found
% 44.81/23.87 Conjecture not found
% 45.34/24.03 Conjecture not found
% 45.44/24.07 Conjecture not found
% 45.44/24.08 Conjecture not found
% 45.49/24.12 Conjecture not found
% 45.49/24.13 Conjecture not found
% 45.55/24.15 Conjecture not found
% 45.56/24.18 Conjecture not found
% 45.56/24.20 Conjecture not found
% 45.61/24.21 Conjecture not found
% 45.61/24.24 Conjecture not found
% 45.65/24.27 Conjecture not found
% 45.65/24.31 Conjecture not found
% 45.65/24.34 Conjecture not found
% 45.65/24.35 Conjecture not found
% 45.91/24.39 Conjecture not found
% 45.91/24.40 Conjecture not found
% 46.30/24.42 Conjecture not found
% 46.30/24.46 Conjecture not found
% 46.30/24.47 Conjecture not found
% 46.30/24.47 Conjecture not found
% 46.37/24.48 Conjecture not found
% 46.37/24.49 Conjecture not found
% 46.37/24.51 Conjecture not found
% 46.37/24.52 Conjecture not found
% 46.37/24.54 Conjecture not found
% 46.37/24.55 Conjecture not found
% 46.45/24.56 Conjecture not found
% 46.47/24.59 Conjecture not found
% 46.47/24.60 Conjecture not found
% 46.47/24.61 Conjecture not found
% 46.51/24.62 Conjecture not found
% 46.53/24.71 Conjecture not found
% 47.06/24.72 Conjecture not found
% 47.12/24.83 Conjecture not found
% 47.12/24.84 Conjecture not found
% 47.12/24.85 Conjecture not found
% 47.30/24.99 Conjecture not found
% 47.30/25.02 Conjecture not found
% 47.37/25.04 Conjecture not found
% 47.37/25.05 Conjecture not found
% 47.42/25.10 Conjecture not found
% 47.99/25.17 Conjecture not found
% 47.99/25.21 Conjecture not found
% 48.07/25.24 Conjecture not found
% 48.10/25.27 Conjecture not found
% 48.18/25.34 Conjecture not found
% 48.18/25.34 Conjecture not found
% 48.22/25.39 Conjecture not found
% 48.22/25.40 Conjecture not found
% 48.22/25.42 Conjecture not found
% 48.22/25.44 Conjecture not found
% 48.40/25.46 Conjecture not found
% 48.40/25.48 Conjecture not found
% 48.70/25.53 Conjecture not found
% 48.90/25.55 Conjecture not found
% 48.90/25.57 Conjecture not found
% 48.94/25.58 Conjecture not found
% 48.94/25.61 Conjecture not found
% 48.94/25.63 Conjecture not found
% 49.02/25.66 Conjecture not found
% 49.02/25.68 Conjecture not found
% 49.09/25.76 Conjecture not found
% 49.13/25.79 Conjecture not found
% 49.13/25.83 Conjecture not found
% 49.21/25.87 Conjecture not found
% 49.24/25.90 Conjecture not found
% 49.70/25.96 Conjecture not found
% 49.70/26.00 Conjecture not found
% 49.70/26.03 Conjecture not found
% 49.96/26.09 Conjecture not found
% 50.06/26.18 Conjecture not found
% 50.94/26.58 Conjecture not found
% 50.94/26.60 Conjecture not found
% 51.03/26.64 Conjecture not found
% 51.03/26.67 Conjecture not found
% 51.03/26.69 Conjecture not found
% 51.08/26.70 Conjecture not found
% 51.08/26.71 Conjecture not found
% 51.08/26.72 Conjecture not found
% 51.08/26.74 Conjecture not found
% 51.08/26.75 Conjecture not found
% 51.14/26.76 Conjecture not found
% 51.19/26.82 Conjecture not found
% 51.69/26.95 Conjecture not found
% 51.85/27.04 Conjecture not found
% 51.91/27.08 Conjecture not found
% 51.97/27.13 Conjecture not found
% 51.97/27.14 Conjecture not found
% 52.02/27.16 Conjecture not found
% 52.02/27.20 Conjecture not found
% 52.02/27.22 Conjecture not found
% 52.02/27.23 Conjecture not found
% 52.02/27.25 Conjecture not found
% 52.11/27.27 Conjecture not found
% 52.15/27.33 Conjecture not found
% 52.31/27.37 Conjecture not found
% 52.71/27.42 Conjecture not found
% 52.86/27.45 Conjecture not found
% 52.86/27.46 Conjecture not found
% 52.86/27.50 Conjecture not found
% 52.86/27.53 Conjecture not found
% 52.86/27.54 Conjecture not found
% 52.86/27.54 Conjecture not found
% 52.96/27.57 Conjecture not found
% 52.96/27.58 Conjecture not found
% 52.96/27.59 Conjecture not found
% 53.01/27.64 Conjecture not found
% 53.01/27.64 Conjecture not found
% 53.06/27.65 Conjecture not found
% 53.07/27.66 Conjecture not found
% 53.07/27.67 Conjecture not found
% 53.07/27.69 Conjecture not found
% 53.31/27.76 Conjecture not found
% 53.67/27.79 Conjecture not found
% 53.78/27.87 Conjecture not found
% 53.81/27.91 Conjecture not found
% 53.81/27.92 Conjecture not found
% 53.86/27.93 Conjecture not found
% 53.95/28.02 Conjecture not found
% 53.95/28.03 Conjecture not found
% 54.00/28.07 Conjecture not found
% 54.00/28.09 Conjecture not found
% 54.11/28.18 Conjecture not found
% 54.11/28.20 Conjecture not found
% 54.11/28.25 Conjecture not found
% 54.67/28.31 Conjecture not found
% 54.84/28.35 Conjecture not found
% 54.87/28.37 Conjecture not found
% 54.87/28.42 Conjecture not found
% 54.97/28.49 Conjecture not found
% 55.03/28.55 Conjecture not found
% 55.07/28.57 Conjecture not found
% 55.07/28.59 Conjecture not found
% 55.17/28.67 Conjecture not found
% 55.67/28.75 Conjecture not found
% 55.94/28.85 Conjecture not found
% 55.94/28.88 Conjecture not found
% 55.97/28.89 Conjecture not found
% 55.97/28.91 Conjecture not found
% 55.97/28.93 Conjecture not found
% 56.04/28.97 Conjecture not found
% 56.04/28.97 Conjecture not found
% 56.04/28.98 Conjecture not found
% 56.04/29.01 Conjecture not found
% 56.11/29.05 Conjecture not found
% 56.16/29.06 Conjecture not found
% 56.16/29.10 Conjecture not found
% 56.16/29.14 Conjecture not found
% 56.24/29.15 Conjecture not found
% 56.64/29.26 Conjecture not found
% 56.64/29.27 Conjecture not found
% 56.64/29.31 Conjecture not found
% 57.04/29.33 Conjecture not found
% 57.04/29.37 Conjecture not found
% 57.19/29.48 Conjecture not found
% 57.22/29.53 Conjecture not found
% 57.24/29.56 Conjecture not found
% 57.24/29.56 Conjecture not found
% 57.24/29.57 Conjecture not found
% 57.24/29.60 Conjecture not found
% 57.24/29.60 Conjecture not found
% 57.39/29.72 Conjecture not found
% 57.39/29.74 Conjecture not found
% 58.18/29.87 Conjecture not found
% 58.26/29.93 Conjecture not found
% 58.26/29.95 Conjecture not found
% 58.26/29.97 Conjecture not found
% 58.26/29.97 Conjecture not found
% 58.26/29.98 Conjecture not found
% 58.26/29.99 Conjecture not found
% 58.33/30.00 Conjecture not found
% 58.33/30.03 Conjecture not found
% 58.33/30.06 Conjecture not found
% 58.40/30.07 Conjecture not found
% 58.43/30.12 Conjecture not found
% 58.97/30.26 Conjecture not found
% 59.22/30.30 Conjecture not found
% 59.22/30.33 Conjecture not found
% 59.22/30.35 Conjecture not found
% 59.28/30.37 Conjecture not found
% 59.28/30.39 Conjecture not found
% 59.36/30.45 Conjecture not found
% 59.36/30.48 Conjecture not found
% 59.46/30.58 Conjecture not found
% 60.41/30.89 Conjecture not found
% 60.54/31.01 Conjecture not found
% 60.58/31.02 Conjecture not found
% 60.58/31.06 Conjecture not found
% 60.81/31.15 Conjecture not found
% 61.12/31.20 Conjecture not found
% 61.12/31.22 Conjecture not found
% 61.44/31.24 Conjecture not found
% 61.46/31.28 Conjecture not found
% 61.46/31.30 Conjecture not found
% 61.56/31.38 Conjecture not found
% 61.56/31.40 Conjecture not found
% 61.56/31.41 Conjecture not found
% 61.56/31.43 Conjecture not found
% 61.64/31.46 Conjecture not found
% 61.68/31.48 Conjecture not found
% 61.68/31.50 Conjecture not found
% 61.68/31.51 Conjecture not found
% 61.83/31.65 Conjecture not found
% 61.86/31.66 Conjecture not found
% 61.86/31.69 Conjecture not found
% 62.49/31.79 Conjecture not found
% 62.49/31.81 Conjecture not found
% 62.49/31.82 Conjecture not found
% 62.49/31.83 Conjecture not found
% 62.67/31.84 Conjecture not found
% 62.67/31.85 Conjecture not found
% 62.70/31.89 Conjecture not found
% 62.70/31.89 Conjecture not found
% 62.79/31.96 Conjecture not found
% 62.86/32.05 Conjecture not found
% 62.86/32.07 Conjecture not found
% 62.86/32.08 Conjecture not found
% 62.91/32.09 Conjecture not found
% 62.91/32.12 Conjecture not found
% 62.91/32.14 Conjecture not found
% 63.01/32.19 Conjecture not found
% 63.01/32.21 Conjecture not found
% 63.01/32.22 Conjecture not found
% 63.06/32.23 Conjecture not found
% 63.17/32.30 Conjecture not found
% 63.75/32.33 Conjecture not found
% 63.88/32.38 Conjecture not found
% 63.88/32.41 Conjecture not found
% 63.88/32.42 Conjecture not found
% 63.88/32.44 Conjecture not found
% 63.95/32.47 Conjecture not found
% 63.98/32.47 Conjecture not found
% 63.98/32.48 Conjecture not found
% 63.98/32.50 Conjecture not found
% 63.98/32.52 Conjecture not found
% 64.04/32.54 Conjecture not found
% 64.06/32.59 Conjecture not found
% 64.06/32.61 Conjecture not found
% 64.15/32.68 Conjecture not found
% 64.20/32.72 Conjecture not found
% 64.20/32.74 Conjecture not found
% 64.27/32.77 Conjecture not found
% 64.68/32.82 Conjecture not found
% 64.86/32.90 Conjecture not found
% 65.13/32.96 Conjecture not found
% 65.19/33.02 Conjecture not found
% 65.27/33.07 Conjecture not found
% 65.29/33.11 Conjecture not found
% 65.32/33.13 Conjecture not found
% 65.36/33.19 Conjecture not found
% 65.36/33.20 Conjecture not found
% 65.36/33.21 Conjecture not found
% 65.45/33.27 Conjecture not found
% 65.51/33.33 Conjecture not found
% 65.80/33.36 Conjecture not found
% 65.80/33.44 Conjecture not found
% 65.80/33.45 Conjecture not found
% 65.80/33.46 Conjecture not found
% 66.35/33.46 Conjecture not found
% 66.35/33.48 Conjecture not found
% 66.39/33.53 Conjecture not found
% 66.42/33.56 Conjecture not found
% 66.42/33.57 Conjecture not found
% 66.42/33.59 Conjecture not found
% 66.42/33.62 Conjecture not found
% 66.53/33.66 Conjecture not found
% 66.53/33.66 Conjecture not found
% 66.53/33.68 Conjecture not found
% 66.59/33.72 Conjecture not found
% 66.65/33.78 Conjecture not found
% 67.26/33.86 Conjecture not found
% 67.26/33.88 Conjecture not found
% 67.57/33.96 Conjecture not found
% 67.57/34.00 Conjecture not found
% 67.57/34.02 Conjecture not found
% 67.67/34.06 Conjecture not found
% 67.67/34.07 Conjecture not found
% 67.67/34.08 Conjecture not found
% 67.76/34.15 Conjecture not found
% 67.76/34.16 Conjecture not found
% 67.76/34.17 Start search
% 186.83/65.70 nb_step : 1 - limit : 162251
% 188.03/66.92 Launch Gotab with destructive = true
%------------------------------------------------------------------------------