TSTP Solution File: SEU421+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : SEU421+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n015.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 300s
% DateTime : Tue Sep 20 05:57:02 EDT 2022
% Result : Timeout 300.39s 93.74s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.13 % Problem : SEU421+4 : TPTP v8.1.0. Released v3.4.0.
% 0.08/0.14 % Command : goeland -dmt -presko -proof %s
% 0.14/0.35 % Computer : n015.cluster.edu
% 0.14/0.35 % Model : x86_64 x86_64
% 0.14/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.35 % Memory : 8042.1875MB
% 0.14/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.35 % CPULimit : 300
% 0.14/0.35 % WCLimit : 300
% 0.14/0.35 % DateTime : Sat Sep 3 14:10:21 EDT 2022
% 0.14/0.35 % CPUTime :
% 0.14/0.36 [DMT] DMT loaded with preskolemization
% 0.14/0.36 [EQ] equality loaded.
% 0.14/0.36 [0.000037s][1][MAIN] Problem : theBenchmark.p
% 0.14/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.43 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.53 Conjecture not found
% 0.21/0.57 Conjecture not found
% 0.21/0.58 Conjecture not found
% 0.53/0.59 Conjecture not found
% 0.53/0.60 Conjecture not found
% 0.57/0.62 Conjecture not found
% 0.62/0.64 Conjecture not found
% 0.62/0.68 Conjecture not found
% 0.79/0.76 Conjecture not found
% 0.79/0.76 Conjecture not found
% 0.89/0.84 Conjecture not found
% 1.02/0.90 Conjecture not found
% 1.13/0.98 Conjecture not found
% 1.13/1.02 Conjecture not found
% 1.41/1.09 Conjecture not found
% 1.41/1.13 Conjecture not found
% 1.55/1.18 Conjecture not found
% 1.57/1.21 Conjecture not found
% 1.64/1.24 Conjecture not found
% 1.64/1.26 Conjecture not found
% 1.64/1.26 Conjecture not found
% 1.64/1.27 Conjecture not found
% 1.64/1.28 Conjecture not found
% 1.88/1.39 Conjecture not found
% 1.88/1.41 Conjecture not found
% 1.88/1.41 Conjecture not found
% 1.88/1.43 Conjecture not found
% 1.88/1.43 Conjecture not found
% 1.88/1.44 Conjecture not found
% 1.88/1.44 Conjecture not found
% 1.88/1.45 Conjecture not found
% 1.88/1.45 Conjecture not found
% 2.08/1.51 Conjecture not found
% 2.15/1.56 Conjecture not found
% 2.15/1.56 Conjecture not found
% 2.15/1.56 Conjecture not found
% 2.15/1.58 Conjecture not found
% 2.15/1.59 Conjecture not found
% 2.30/1.61 Conjecture not found
% 2.30/1.63 Conjecture not found
% 2.30/1.65 Conjecture not found
% 2.30/1.67 Conjecture not found
% 2.43/1.69 Conjecture not found
% 2.43/1.70 Conjecture not found
% 2.43/1.71 Conjecture not found
% 2.43/1.75 Conjecture not found
% 2.64/1.81 Conjecture not found
% 2.66/1.86 Conjecture not found
% 2.66/1.87 Conjecture not found
% 2.66/1.89 Conjecture not found
% 2.82/1.92 Conjecture not found
% 2.82/1.95 Conjecture not found
% 2.82/1.97 Conjecture not found
% 2.96/1.99 Conjecture not found
% 3.08/2.09 Conjecture not found
% 3.15/2.12 Conjecture not found
% 3.16/2.14 Conjecture not found
% 3.16/2.15 Conjecture not found
% 3.16/2.17 Conjecture not found
% 3.16/2.20 Conjecture not found
% 3.51/2.38 Conjecture not found
% 3.66/2.41 Conjecture not found
% 3.66/2.43 Conjecture not found
% 3.83/2.55 Conjecture not found
% 3.83/2.56 Conjecture not found
% 3.83/2.58 Conjecture not found
% 3.97/2.60 Conjecture not found
% 3.97/2.64 Conjecture not found
% 4.17/2.71 Conjecture not found
% 4.17/2.79 Conjecture not found
% 4.38/2.87 Conjecture not found
% 4.52/2.92 Conjecture not found
% 4.52/2.94 Conjecture not found
% 4.52/2.98 Conjecture not found
% 4.52/2.98 Conjecture not found
% 4.70/3.02 Conjecture not found
% 4.70/3.04 Conjecture not found
% 4.70/3.07 Conjecture not found
% 4.70/3.08 Conjecture not found
% 4.86/3.15 Conjecture not found
% 4.86/3.16 Conjecture not found
% 5.00/3.20 Conjecture not found
% 5.03/3.26 Conjecture not found
% 5.24/3.35 Conjecture not found
% 5.59/3.51 Conjecture not found
% 5.90/3.72 Conjecture not found
% 6.49/4.01 Conjecture not found
% 6.49/4.04 Conjecture not found
% 6.49/4.05 Conjecture not found
% 6.76/4.15 Conjecture not found
% 6.76/4.20 Conjecture not found
% 6.93/4.25 Conjecture not found
% 7.06/4.33 Conjecture not found
% 7.19/4.38 Conjecture not found
% 7.33/4.44 Conjecture not found
% 7.33/4.49 Conjecture not found
% 7.33/4.52 Conjecture not found
% 7.49/4.53 Conjecture not found
% 7.49/4.56 Conjecture not found
% 7.49/4.56 Conjecture not found
% 7.55/4.63 Conjecture not found
% 7.82/4.73 Conjecture not found
% 7.83/4.78 Conjecture not found
% 8.03/4.87 Conjecture not found
% 8.03/4.90 Conjecture not found
% 8.03/4.94 Conjecture not found
% 8.20/4.97 Conjecture not found
% 8.20/4.99 Conjecture not found
% 8.28/5.01 Conjecture not found
% 8.28/5.03 Conjecture not found
% 8.35/5.03 Conjecture not found
% 8.36/5.06 Conjecture not found
% 8.36/5.07 Conjecture not found
% 8.36/5.08 Conjecture not found
% 8.36/5.10 Conjecture not found
% 8.50/5.14 Conjecture not found
% 8.50/5.16 Conjecture not found
% 8.61/5.20 Conjecture not found
% 8.61/5.24 Conjecture not found
% 8.99/5.43 Conjecture not found
% 8.99/5.47 Conjecture not found
% 8.99/5.48 Conjecture not found
% 9.13/5.50 Conjecture not found
% 9.13/5.53 Conjecture not found
% 9.13/5.56 Conjecture not found
% 9.34/5.61 Conjecture not found
% 9.34/5.62 Conjecture not found
% 9.36/5.64 Conjecture not found
% 9.36/5.67 Conjecture not found
% 9.53/5.75 Conjecture not found
% 10.38/6.26 Conjecture not found
% 11.23/6.78 Conjecture not found
% 11.52/6.91 Conjecture not found
% 11.52/6.98 Conjecture not found
% 11.70/6.99 Conjecture not found
% 11.70/7.01 Conjecture not found
% 11.70/7.05 Conjecture not found
% 11.70/7.07 Conjecture not found
% 11.70/7.09 Conjecture not found
% 11.91/7.14 Conjecture not found
% 11.91/7.19 Conjecture not found
% 12.11/7.25 Conjecture not found
% 12.11/7.27 Conjecture not found
% 12.11/7.27 Conjecture not found
% 12.28/7.32 Conjecture not found
% 12.28/7.36 Conjecture not found
% 12.36/7.39 Conjecture not found
% 12.36/7.44 Conjecture not found
% 12.58/7.48 Conjecture not found
% 12.58/7.49 Conjecture not found
% 12.60/7.51 Conjecture not found
% 12.72/7.54 Conjecture not found
% 12.72/7.57 Conjecture not found
% 12.72/7.61 Conjecture not found
% 12.82/7.65 Conjecture not found
% 12.82/7.67 Conjecture not found
% 13.00/7.74 Conjecture not found
% 13.09/7.78 Conjecture not found
% 13.09/7.82 Conjecture not found
% 13.09/7.84 Conjecture not found
% 13.09/7.86 Conjecture not found
% 13.09/7.88 Conjecture not found
% 13.28/7.90 Conjecture not found
% 13.31/7.93 Conjecture not found
% 13.33/7.95 Conjecture not found
% 13.33/7.97 Conjecture not found
% 13.33/7.98 Conjecture not found
% 13.33/8.01 Conjecture not found
% 13.52/8.03 Conjecture not found
% 13.52/8.05 Conjecture not found
% 13.69/8.08 Conjecture not found
% 13.69/8.11 Conjecture not found
% 13.69/8.13 Conjecture not found
% 13.69/8.15 Conjecture not found
% 13.80/8.18 Conjecture not found
% 13.80/8.20 Conjecture not found
% 13.80/8.21 Conjecture not found
% 13.98/8.25 Conjecture not found
% 13.98/8.29 Conjecture not found
% 13.98/8.32 Conjecture not found
% 14.06/8.36 Conjecture not found
% 14.06/8.36 Conjecture not found
% 14.15/8.39 Conjecture not found
% 14.15/8.43 Conjecture not found
% 14.15/8.45 Conjecture not found
% 14.15/8.47 Conjecture not found
% 14.34/8.49 Conjecture not found
% 14.36/8.51 Conjecture not found
% 14.36/8.52 Conjecture not found
% 14.36/8.52 Conjecture not found
% 14.36/8.53 Conjecture not found
% 14.40/8.59 Conjecture not found
% 14.65/8.69 Conjecture not found
% 14.65/8.70 Conjecture not found
% 14.65/8.73 Conjecture not found
% 14.87/8.76 Conjecture not found
% 14.87/8.78 Conjecture not found
% 14.90/8.80 Conjecture not found
% 14.90/8.82 Conjecture not found
% 14.94/8.84 Conjecture not found
% 15.14/8.90 Conjecture not found
% 15.14/8.95 Conjecture not found
% 15.20/9.00 Conjecture not found
% 15.20/9.06 Conjecture not found
% 15.50/9.21 Conjecture not found
% 15.79/9.31 Conjecture not found
% 15.79/9.35 Conjecture not found
% 15.87/9.36 Conjecture not found
% 15.88/9.39 Conjecture not found
% 16.07/9.45 Conjecture not found
% 16.07/9.50 Conjecture not found
% 16.16/9.53 Conjecture not found
% 16.35/9.62 Conjecture not found
% 16.46/9.70 Conjecture not found
% 16.50/9.74 Conjecture not found
% 16.50/9.79 Conjecture not found
% 16.73/9.86 Conjecture not found
% 16.73/9.87 Conjecture not found
% 16.81/9.93 Conjecture not found
% 17.04/9.99 Conjecture not found
% 17.09/10.06 Conjecture not found
% 17.33/10.16 Conjecture not found
% 17.33/10.18 Conjecture not found
% 17.42/10.21 Conjecture not found
% 17.42/10.22 Conjecture not found
% 17.42/10.24 Conjecture not found
% 17.58/10.38 Conjecture not found
% 17.79/10.45 Conjecture not found
% 17.79/10.47 Conjecture not found
% 17.79/10.49 Conjecture not found
% 18.36/10.76 Conjecture not found
% 18.53/10.84 Conjecture not found
% 18.53/10.87 Conjecture not found
% 18.60/10.89 Conjecture not found
% 18.60/10.91 Conjecture not found
% 18.60/10.92 Conjecture not found
% 18.86/10.99 Conjecture not found
% 18.91/11.05 Conjecture not found
% 19.17/11.16 Conjecture not found
% 19.24/11.20 Conjecture not found
% 19.24/11.23 Conjecture not found
% 19.56/11.36 Conjecture not found
% 19.56/11.41 Conjecture not found
% 19.64/11.45 Conjecture not found
% 19.84/11.52 Conjecture not found
% 19.95/11.57 Conjecture not found
% 19.98/11.58 Conjecture not found
% 19.98/11.61 Conjecture not found
% 19.98/11.61 Conjecture not found
% 20.02/11.63 Conjecture not found
% 20.04/11.68 Conjecture not found
% 20.32/11.73 Conjecture not found
% 20.32/11.76 Conjecture not found
% 20.38/11.79 Conjecture not found
% 20.38/11.84 Conjecture not found
% 20.38/11.85 Conjecture not found
% 20.49/11.88 Conjecture not found
% 20.66/11.92 Conjecture not found
% 20.78/12.03 Conjecture not found
% 20.78/12.04 Conjecture not found
% 20.84/12.10 Conjecture not found
% 20.84/12.12 Conjecture not found
% 20.84/12.12 Conjecture not found
% 20.84/12.13 Conjecture not found
% 21.10/12.15 Conjecture not found
% 21.14/12.22 Conjecture not found
% 21.14/12.23 Conjecture not found
% 21.19/12.24 Conjecture not found
% 21.24/12.30 Conjecture not found
% 21.39/12.41 Conjecture not found
% 21.61/12.48 Conjecture not found
% 21.61/12.50 Conjecture not found
% 21.68/12.61 Conjecture not found
% 22.12/12.77 Conjecture not found
% 22.12/12.78 Conjecture not found
% 22.38/12.85 Conjecture not found
% 22.38/12.86 Conjecture not found
% 22.38/12.87 Conjecture not found
% 22.47/12.93 Conjecture not found
% 22.73/13.03 Conjecture not found
% 22.80/13.09 Conjecture not found
% 22.83/13.11 Conjecture not found
% 23.03/13.22 Conjecture not found
% 23.03/13.25 Conjecture not found
% 23.03/13.26 Conjecture not found
% 23.21/13.31 Conjecture not found
% 23.21/13.35 Conjecture not found
% 23.21/13.36 Conjecture not found
% 23.54/13.42 Conjecture not found
% 23.54/13.51 Conjecture not found
% 23.64/13.55 Conjecture not found
% 23.64/13.57 Conjecture not found
% 23.73/13.63 Conjecture not found
% 24.04/13.70 Conjecture not found
% 24.04/13.70 Conjecture not found
% 24.04/13.74 Conjecture not found
% 24.04/13.78 Conjecture not found
% 24.15/13.82 Conjecture not found
% 24.15/13.87 Conjecture not found
% 24.45/13.95 Conjecture not found
% 24.45/13.96 Conjecture not found
% 24.55/14.01 Conjecture not found
% 24.55/14.07 Conjecture not found
% 24.90/14.21 Conjecture not found
% 24.99/14.23 Conjecture not found
% 24.99/14.29 Conjecture not found
% 25.07/14.31 Conjecture not found
% 25.07/14.32 Conjecture not found
% 25.07/14.32 Conjecture not found
% 25.07/14.34 Conjecture not found
% 25.37/14.38 Conjecture not found
% 25.37/14.39 Conjecture not found
% 25.42/14.46 Conjecture not found
% 25.51/14.52 Conjecture not found
% 25.82/14.60 Conjecture not found
% 25.82/14.63 Conjecture not found
% 25.82/14.64 Conjecture not found
% 25.92/14.70 Conjecture not found
% 25.92/14.72 Conjecture not found
% 25.95/14.73 Conjecture not found
% 25.97/14.82 Conjecture not found
% 26.22/14.84 Conjecture not found
% 26.33/14.90 Conjecture not found
% 26.41/14.96 Conjecture not found
% 26.43/14.98 Conjecture not found
% 26.43/15.02 Conjecture not found
% 26.89/15.26 Conjecture not found
% 27.13/15.34 Conjecture not found
% 27.31/15.36 Conjecture not found
% 27.40/15.45 Conjecture not found
% 27.40/15.47 Conjecture not found
% 27.45/15.51 Conjecture not found
% 27.45/15.54 Conjecture not found
% 27.86/15.67 Conjecture not found
% 27.86/15.70 Conjecture not found
% 27.86/15.71 Conjecture not found
% 27.86/15.73 Conjecture not found
% 27.95/15.76 Conjecture not found
% 28.00/15.80 Conjecture not found
% 28.37/15.92 Conjecture not found
% 28.41/15.93 Conjecture not found
% 28.41/15.93 Conjecture not found
% 28.41/15.94 Conjecture not found
% 28.44/15.98 Conjecture not found
% 28.44/15.99 Conjecture not found
% 28.51/16.04 Conjecture not found
% 28.94/16.17 Conjecture not found
% 28.99/16.23 Conjecture not found
% 29.02/16.25 Conjecture not found
% 29.02/16.27 Conjecture not found
% 29.02/16.28 Conjecture not found
% 29.11/16.35 Conjecture not found
% 29.42/16.39 Conjecture not found
% 29.42/16.40 Conjecture not found
% 29.42/16.45 Conjecture not found
% 29.52/16.49 Conjecture not found
% 29.56/16.53 Conjecture not found
% 29.56/16.56 Conjecture not found
% 29.56/16.59 Conjecture not found
% 29.89/16.70 Conjecture not found
% 29.89/16.72 Conjecture not found
% 29.89/16.73 Conjecture not found
% 30.10/16.81 Conjecture not found
% 30.13/16.83 Conjecture not found
% 30.13/16.86 Conjecture not found
% 30.47/16.93 Conjecture not found
% 30.47/16.96 Conjecture not found
% 30.47/16.98 Conjecture not found
% 30.55/17.01 Conjecture not found
% 30.55/17.02 Conjecture not found
% 30.67/17.13 Conjecture not found
% 30.67/17.13 Conjecture not found
% 30.67/17.14 Conjecture not found
% 30.67/17.18 Conjecture not found
% 30.87/17.23 Conjecture not found
% 30.87/17.28 Conjecture not found
% 31.14/17.30 Conjecture not found
% 31.14/17.33 Conjecture not found
% 31.14/17.36 Conjecture not found
% 31.25/17.42 Conjecture not found
% 31.26/17.46 Conjecture not found
% 31.48/17.52 Conjecture not found
% 31.48/17.57 Conjecture not found
% 31.48/17.59 Conjecture not found
% 31.72/17.61 Conjecture not found
% 31.72/17.64 Conjecture not found
% 31.81/17.68 Conjecture not found
% 31.81/17.71 Conjecture not found
% 31.81/17.75 Conjecture not found
% 31.81/17.76 Conjecture not found
% 31.91/17.81 Conjecture not found
% 31.94/17.89 Conjecture not found
% 32.30/17.93 Conjecture not found
% 32.30/17.96 Conjecture not found
% 32.39/18.00 Conjecture not found
% 32.39/18.03 Conjecture not found
% 32.39/18.04 Conjecture not found
% 32.39/18.06 Conjecture not found
% 32.49/18.10 Conjecture not found
% 32.52/18.11 Conjecture not found
% 32.54/18.14 Conjecture not found
% 32.92/18.24 Conjecture not found
% 32.97/18.29 Conjecture not found
% 33.08/18.39 Conjecture not found
% 33.08/18.42 Conjecture not found
% 33.15/18.46 Conjecture not found
% 33.56/18.58 Conjecture not found
% 33.70/18.72 Conjecture not found
% 33.75/18.76 Conjecture not found
% 33.75/18.82 Conjecture not found
% 34.09/18.85 Conjecture not found
% 34.09/18.87 Conjecture not found
% 34.22/18.90 Conjecture not found
% 34.22/18.92 Conjecture not found
% 34.22/18.93 Conjecture not found
% 34.28/18.96 Conjecture not found
% 34.28/18.97 Conjecture not found
% 34.28/18.99 Conjecture not found
% 34.33/19.01 Conjecture not found
% 34.33/19.05 Conjecture not found
% 34.38/19.11 Conjecture not found
% 34.50/19.16 Conjecture not found
% 34.82/19.23 Conjecture not found
% 34.93/19.26 Conjecture not found
% 34.93/19.27 Conjecture not found
% 34.99/19.34 Conjecture not found
% 35.11/19.44 Conjecture not found
% 35.11/19.46 Conjecture not found
% 35.11/19.48 Conjecture not found
% 35.58/19.60 Conjecture not found
% 35.64/19.65 Conjecture not found
% 35.68/19.68 Conjecture not found
% 35.68/19.71 Conjecture not found
% 35.68/19.72 Conjecture not found
% 35.76/19.78 Conjecture not found
% 35.81/19.80 Conjecture not found
% 35.81/19.81 Conjecture not found
% 36.23/19.89 Conjecture not found
% 36.27/19.93 Conjecture not found
% 36.29/19.94 Conjecture not found
% 36.29/19.96 Conjecture not found
% 36.29/19.97 Conjecture not found
% 36.37/20.02 Conjecture not found
% 36.37/20.07 Conjecture not found
% 36.43/20.11 Conjecture not found
% 36.51/20.16 Conjecture not found
% 37.02/20.33 Conjecture not found
% 37.02/20.35 Conjecture not found
% 37.02/20.39 Conjecture not found
% 37.08/20.40 Conjecture not found
% 37.08/20.42 Conjecture not found
% 37.08/20.44 Conjecture not found
% 37.08/20.45 Conjecture not found
% 37.21/20.53 Conjecture not found
% 37.21/20.55 Conjecture not found
% 37.21/20.60 Conjecture not found
% 37.65/20.64 Conjecture not found
% 37.65/20.66 Conjecture not found
% 37.65/20.68 Conjecture not found
% 37.73/20.71 Conjecture not found
% 37.73/20.73 Conjecture not found
% 37.73/20.76 Conjecture not found
% 37.83/20.80 Conjecture not found
% 37.83/20.83 Conjecture not found
% 37.86/20.86 Conjecture not found
% 37.86/20.87 Conjecture not found
% 37.86/20.88 Conjecture not found
% 37.86/20.89 Conjecture not found
% 38.17/20.95 Conjecture not found
% 38.43/21.07 Conjecture not found
% 38.49/21.12 Conjecture not found
% 38.57/21.18 Conjecture not found
% 38.60/21.22 Conjecture not found
% 38.63/21.23 Conjecture not found
% 38.65/21.25 Conjecture not found
% 38.89/21.37 Conjecture not found
% 39.17/21.40 Conjecture not found
% 39.17/21.42 Conjecture not found
% 39.17/21.45 Conjecture not found
% 39.25/21.47 Conjecture not found
% 39.29/21.50 Conjecture not found
% 39.29/21.53 Conjecture not found
% 39.33/21.55 Conjecture not found
% 39.34/21.58 Conjecture not found
% 39.34/21.60 Conjecture not found
% 39.41/21.62 Conjecture not found
% 39.41/21.63 Conjecture not found
% 39.58/21.69 Conjecture not found
% 39.58/21.72 Conjecture not found
% 39.89/21.78 Conjecture not found
% 39.93/21.81 Conjecture not found
% 40.00/21.86 Conjecture not found
% 40.00/21.87 Conjecture not found
% 40.00/21.90 Conjecture not found
% 40.07/21.94 Conjecture not found
% 40.12/21.97 Conjecture not found
% 40.12/22.00 Conjecture not found
% 40.62/22.06 Conjecture not found
% 40.62/22.07 Conjecture not found
% 40.62/22.09 Conjecture not found
% 40.66/22.13 Conjecture not found
% 40.66/22.15 Conjecture not found
% 40.71/22.17 Conjecture not found
% 40.71/22.22 Conjecture not found
% 40.71/22.22 Conjecture not found
% 40.81/22.29 Conjecture not found
% 40.86/22.30 Conjecture not found
% 40.86/22.32 Conjecture not found
% 40.86/22.33 Conjecture not found
% 40.90/22.37 Conjecture not found
% 40.90/22.39 Conjecture not found
% 41.02/22.45 Conjecture not found
% 41.41/22.50 Conjecture not found
% 41.41/22.51 Conjecture not found
% 41.53/22.56 Conjecture not found
% 41.57/22.62 Conjecture not found
% 41.72/22.78 Conjecture not found
% 41.72/22.80 Conjecture not found
% 41.72/22.82 Conjecture not found
% 41.72/22.82 Conjecture not found
% 42.33/22.98 Conjecture not found
% 42.33/22.99 Conjecture not found
% 42.38/23.01 Conjecture not found
% 42.38/23.05 Conjecture not found
% 42.43/23.13 Conjecture not found
% 42.51/23.16 Conjecture not found
% 42.74/23.30 Conjecture not found
% 43.03/23.33 Conjecture not found
% 43.24/23.42 Conjecture not found
% 43.24/23.42 Conjecture not found
% 43.24/23.43 Conjecture not found
% 43.24/23.44 Conjecture not found
% 43.24/23.48 Conjecture not found
% 43.30/23.52 Conjecture not found
% 43.30/23.54 Conjecture not found
% 43.30/23.56 Conjecture not found
% 43.41/23.59 Conjecture not found
% 43.46/23.66 Conjecture not found
% 43.46/23.68 Conjecture not found
% 43.96/23.74 Conjecture not found
% 43.96/23.79 Conjecture not found
% 44.04/23.82 Conjecture not found
% 44.04/23.87 Conjecture not found
% 44.15/23.90 Conjecture not found
% 44.16/23.93 Conjecture not found
% 44.16/23.95 Conjecture not found
% 44.26/24.02 Conjecture not found
% 44.26/24.05 Conjecture not found
% 44.26/24.07 Conjecture not found
% 44.44/24.11 Conjecture not found
% 44.88/24.19 Conjecture not found
% 44.88/24.21 Conjecture not found
% 44.88/24.23 Conjecture not found
% 44.88/24.26 Conjecture not found
% 45.02/24.35 Conjecture not found
% 45.02/24.39 Conjecture not found
% 45.02/24.40 Conjecture not found
% 45.11/24.44 Conjecture not found
% 45.11/24.45 Conjecture not found
% 45.11/24.48 Conjecture not found
% 45.18/24.51 Conjecture not found
% 45.18/24.54 Conjecture not found
% 45.70/24.57 Conjecture not found
% 45.76/24.62 Conjecture not found
% 45.79/24.65 Conjecture not found
% 45.79/24.69 Conjecture not found
% 45.79/24.71 Conjecture not found
% 45.79/24.72 Conjecture not found
% 45.88/24.75 Conjecture not found
% 45.88/24.76 Conjecture not found
% 45.88/24.78 Conjecture not found
% 45.95/24.83 Conjecture not found
% 45.95/24.85 Conjecture not found
% 45.95/24.86 Conjecture not found
% 46.02/24.87 Conjecture not found
% 46.02/24.88 Conjecture not found
% 46.05/24.91 Conjecture not found
% 46.09/24.92 Conjecture not found
% 46.09/24.95 Conjecture not found
% 46.12/24.96 Conjecture not found
% 46.12/24.99 Conjecture not found
% 46.58/25.06 Conjecture not found
% 46.73/25.08 Conjecture not found
% 46.73/25.10 Conjecture not found
% 46.73/25.11 Conjecture not found
% 46.80/25.16 Conjecture not found
% 46.83/25.17 Conjecture not found
% 46.90/25.27 Conjecture not found
% 46.90/25.28 Conjecture not found
% 46.90/25.29 Conjecture not found
% 47.60/25.47 Conjecture not found
% 47.64/25.51 Conjecture not found
% 47.70/25.55 Conjecture not found
% 47.70/25.57 Conjecture not found
% 47.76/25.62 Conjecture not found
% 47.80/25.66 Conjecture not found
% 47.80/25.70 Conjecture not found
% 47.80/25.74 Conjecture not found
% 47.90/25.77 Conjecture not found
% 48.10/25.89 Conjecture not found
% 48.10/25.90 Conjecture not found
% 48.63/26.01 Conjecture not found
% 48.63/26.03 Conjecture not found
% 48.71/26.06 Conjecture not found
% 48.71/26.07 Conjecture not found
% 48.71/26.08 Conjecture not found
% 48.71/26.09 Conjecture not found
% 48.75/26.13 Conjecture not found
% 48.80/26.14 Conjecture not found
% 48.80/26.16 Conjecture not found
% 48.80/26.17 Conjecture not found
% 48.86/26.20 Conjecture not found
% 48.86/26.22 Conjecture not found
% 48.91/26.25 Conjecture not found
% 48.91/26.27 Conjecture not found
% 49.19/26.40 Conjecture not found
% 49.34/26.49 Conjecture not found
% 49.54/26.55 Conjecture not found
% 49.68/26.59 Conjecture not found
% 49.68/26.62 Conjecture not found
% 49.68/26.66 Conjecture not found
% 49.78/26.67 Conjecture not found
% 49.78/26.69 Conjecture not found
% 49.81/26.72 Conjecture not found
% 49.84/26.77 Conjecture not found
% 50.73/27.15 Conjecture not found
% 50.73/27.17 Conjecture not found
% 50.81/27.21 Conjecture not found
% 50.81/27.24 Conjecture not found
% 50.81/27.26 Conjecture not found
% 50.89/27.27 Conjecture not found
% 50.91/27.28 Conjecture not found
% 50.91/27.30 Conjecture not found
% 50.94/27.31 Conjecture not found
% 50.94/27.32 Conjecture not found
% 50.95/27.34 Conjecture not found
% 51.40/27.45 Conjecture not found
% 51.62/27.56 Conjecture not found
% 51.76/27.64 Conjecture not found
% 51.76/27.68 Conjecture not found
% 51.76/27.72 Conjecture not found
% 51.85/27.74 Conjecture not found
% 51.85/27.76 Conjecture not found
% 51.91/27.82 Conjecture not found
% 51.91/27.83 Conjecture not found
% 51.91/27.85 Conjecture not found
% 51.99/27.87 Conjecture not found
% 51.99/27.88 Conjecture not found
% 52.42/27.98 Conjecture not found
% 52.42/28.02 Conjecture not found
% 52.70/28.06 Conjecture not found
% 52.76/28.10 Conjecture not found
% 52.76/28.11 Conjecture not found
% 52.83/28.17 Conjecture not found
% 52.85/28.21 Conjecture not found
% 52.85/28.22 Conjecture not found
% 52.90/28.23 Conjecture not found
% 52.93/28.27 Conjecture not found
% 52.93/28.29 Conjecture not found
% 52.93/28.30 Conjecture not found
% 53.00/28.37 Conjecture not found
% 53.15/28.37 Conjecture not found
% 53.15/28.42 Conjecture not found
% 53.64/28.46 Conjecture not found
% 53.67/28.48 Conjecture not found
% 53.67/28.50 Conjecture not found
% 53.67/28.52 Conjecture not found
% 53.72/28.54 Conjecture not found
% 53.76/28.62 Conjecture not found
% 53.83/28.66 Conjecture not found
% 53.83/28.67 Conjecture not found
% 53.87/28.68 Conjecture not found
% 53.95/28.77 Conjecture not found
% 53.95/28.78 Conjecture not found
% 53.98/28.81 Conjecture not found
% 53.98/28.84 Conjecture not found
% 54.28/29.01 Conjecture not found
% 54.54/29.07 Conjecture not found
% 54.67/29.12 Conjecture not found
% 54.75/29.19 Conjecture not found
% 54.80/29.24 Conjecture not found
% 54.80/29.26 Conjecture not found
% 54.86/29.31 Conjecture not found
% 54.95/29.38 Conjecture not found
% 55.04/29.45 Conjecture not found
% 55.04/29.47 Conjecture not found
% 55.04/29.49 Conjecture not found
% 55.13/29.57 Conjecture not found
% 55.28/29.64 Conjecture not found
% 55.92/29.75 Conjecture not found
% 55.92/29.78 Conjecture not found
% 55.92/29.79 Conjecture not found
% 55.92/29.81 Conjecture not found
% 55.92/29.83 Conjecture not found
% 56.02/29.87 Conjecture not found
% 56.02/29.88 Conjecture not found
% 56.02/29.89 Conjecture not found
% 56.09/29.91 Conjecture not found
% 56.09/29.96 Conjecture not found
% 56.16/29.98 Conjecture not found
% 56.18/30.01 Conjecture not found
% 56.20/30.05 Conjecture not found
% 56.20/30.06 Conjecture not found
% 56.47/30.19 Conjecture not found
% 56.97/30.20 Conjecture not found
% 56.97/30.22 Conjecture not found
% 56.97/30.24 Conjecture not found
% 57.07/30.27 Conjecture not found
% 57.12/30.39 Conjecture not found
% 57.12/30.44 Conjecture not found
% 57.23/30.47 Conjecture not found
% 57.23/30.48 Conjecture not found
% 57.23/30.48 Conjecture not found
% 57.31/30.51 Conjecture not found
% 57.31/30.52 Conjecture not found
% 57.39/30.64 Conjecture not found
% 57.39/30.66 Conjecture not found
% 58.13/30.79 Conjecture not found
% 58.22/30.86 Conjecture not found
% 58.22/30.89 Conjecture not found
% 58.30/30.91 Conjecture not found
% 58.30/30.92 Conjecture not found
% 58.30/30.93 Conjecture not found
% 58.30/30.95 Conjecture not found
% 58.30/30.96 Conjecture not found
% 58.39/31.00 Conjecture not found
% 58.43/31.05 Conjecture not found
% 58.43/31.06 Conjecture not found
% 58.43/31.12 Conjecture not found
% 58.87/31.26 Conjecture not found
% 59.31/31.29 Conjecture not found
% 59.37/31.33 Conjecture not found
% 59.37/31.35 Conjecture not found
% 59.37/31.37 Conjecture not found
% 59.37/31.39 Conjecture not found
% 59.46/31.43 Conjecture not found
% 59.46/31.45 Conjecture not found
% 59.53/31.56 Conjecture not found
% 60.57/31.88 Conjecture not found
% 60.72/32.04 Conjecture not found
% 60.72/32.05 Conjecture not found
% 60.77/32.10 Conjecture not found
% 60.89/32.20 Conjecture not found
% 61.19/32.28 Conjecture not found
% 61.61/32.31 Conjecture not found
% 61.61/32.32 Conjecture not found
% 61.69/32.37 Conjecture not found
% 61.69/32.39 Conjecture not found
% 61.78/32.46 Conjecture not found
% 61.82/32.49 Conjecture not found
% 61.82/32.50 Conjecture not found
% 61.82/32.52 Conjecture not found
% 61.88/32.55 Conjecture not found
% 61.88/32.57 Conjecture not found
% 61.88/32.58 Conjecture not found
% 61.88/32.60 Conjecture not found
% 62.00/32.71 Conjecture not found
% 62.00/32.72 Conjecture not found
% 62.00/32.76 Conjecture not found
% 62.61/32.85 Conjecture not found
% 62.61/32.88 Conjecture not found
% 62.61/32.89 Conjecture not found
% 62.61/32.90 Conjecture not found
% 62.61/32.91 Conjecture not found
% 62.61/32.92 Conjecture not found
% 62.90/32.96 Conjecture not found
% 62.90/32.96 Conjecture not found
% 62.96/33.03 Conjecture not found
% 63.08/33.13 Conjecture not found
% 63.11/33.15 Conjecture not found
% 63.11/33.16 Conjecture not found
% 63.11/33.17 Conjecture not found
% 63.11/33.19 Conjecture not found
% 63.11/33.22 Conjecture not found
% 63.20/33.28 Conjecture not found
% 63.20/33.30 Conjecture not found
% 63.27/33.30 Conjecture not found
% 63.27/33.31 Conjecture not found
% 63.66/33.38 Conjecture not found
% 63.95/33.41 Conjecture not found
% 64.05/33.48 Conjecture not found
% 64.05/33.50 Conjecture not found
% 64.16/33.51 Conjecture not found
% 64.16/33.53 Conjecture not found
% 64.16/33.57 Conjecture not found
% 64.16/33.57 Conjecture not found
% 64.24/33.59 Conjecture not found
% 64.24/33.60 Conjecture not found
% 64.24/33.62 Conjecture not found
% 64.24/33.65 Conjecture not found
% 64.33/33.69 Conjecture not found
% 64.36/33.72 Conjecture not found
% 64.37/33.79 Conjecture not found
% 64.49/33.84 Conjecture not found
% 64.49/33.86 Conjecture not found
% 64.49/33.89 Conjecture not found
% 64.71/33.95 Conjecture not found
% 65.32/34.02 Conjecture not found
% 65.32/34.06 Conjecture not found
% 65.44/34.11 Conjecture not found
% 65.45/34.14 Conjecture not found
% 65.45/34.18 Conjecture not found
% 65.45/34.19 Conjecture not found
% 65.54/34.24 Conjecture not found
% 65.54/34.25 Conjecture not found
% 65.54/34.26 Conjecture not found
% 65.63/34.32 Conjecture not found
% 65.63/34.37 Conjecture not found
% 65.73/34.39 Conjecture not found
% 66.08/34.48 Conjecture not found
% 66.08/34.51 Conjecture not found
% 66.08/34.52 Conjecture not found
% 66.54/34.52 Conjecture not found
% 66.54/34.55 Conjecture not found
% 66.61/34.62 Conjecture not found
% 66.61/34.66 Conjecture not found
% 66.69/34.67 Conjecture not found
% 66.72/34.71 Conjecture not found
% 66.75/34.75 Conjecture not found
% 66.75/34.81 Conjecture not found
% 66.75/34.81 Conjecture not found
% 66.84/34.84 Conjecture not found
% 66.84/34.88 Conjecture not found
% 67.24/34.97 Conjecture not found
% 67.73/35.09 Conjecture not found
% 67.73/35.11 Conjecture not found
% 67.81/35.17 Conjecture not found
% 67.86/35.21 Conjecture not found
% 67.86/35.23 Conjecture not found
% 67.96/35.27 Conjecture not found
% 67.96/35.28 Conjecture not found
% 67.96/35.30 Conjecture not found
% 68.04/35.37 Conjecture not found
% 68.04/35.38 Conjecture not found
% 68.04/35.39 Conjecture not found
% 68.04/35.41 Conjecture not found
% 68.11/35.42 Conjecture not found
% 68.11/35.42 Conjecture not found
% 68.11/35.44 Conjecture not found
% 68.16/35.50 Conjecture not found
% 68.16/35.55 Conjecture not found
% 68.26/35.57 Conjecture not found
% 68.46/35.60 Conjecture not found
% 68.91/35.67 Conjecture not found
% 69.15/35.72 Conjecture not found
% 69.20/35.77 Conjecture not found
% 69.34/35.94 Conjecture not found
% 69.45/36.04 Conjecture not found
% 69.45/36.05 Conjecture not found
% 69.51/36.08 Conjecture not found
% 70.25/36.23 Conjecture not found
% 70.39/36.25 Conjecture not found
% 70.39/36.30 Conjecture not found
% 70.39/36.31 Conjecture not found
% 70.39/36.32 Conjecture not found
% 70.39/36.33 Conjecture not found
% 70.49/36.35 Conjecture not found
% 70.49/36.37 Conjecture not found
% 70.49/36.38 Conjecture not found
% 70.55/36.39 Conjecture not found
% 70.55/36.40 Conjecture not found
% 70.55/36.42 Conjecture not found
% 70.55/36.42 Conjecture not found
% 70.55/36.45 Conjecture not found
% 70.63/36.48 Conjecture not found
% 70.63/36.50 Conjecture not found
% 70.67/36.53 Conjecture not found
% 70.70/36.57 Conjecture not found
% 70.70/36.60 Conjecture not found
% 70.70/36.62 Conjecture not found
% 70.86/36.71 Conjecture not found
% 70.86/36.72 Conjecture not found
% 70.86/36.76 Conjecture not found
% 71.34/36.81 Conjecture not found
% 71.65/36.86 Conjecture not found
% 71.65/36.89 Conjecture not found
% 72.15/37.34 Conjecture not found
% 72.79/37.40 Conjecture not found
% 72.79/37.43 Conjecture not found
% 73.13/37.48 Conjecture not found
% 73.16/37.58 Conjecture not found
% 73.16/37.59 Conjecture not found
% 73.26/37.67 Conjecture not found
% 73.34/37.70 Conjecture not found
% 73.34/37.75 Conjecture not found
% 73.43/37.79 Conjecture not found
% 73.44/37.81 Conjecture not found
% 73.48/37.83 Conjecture not found
% 73.48/37.87 Conjecture not found
% 73.48/37.90 Conjecture not found
% 73.48/37.91 Conjecture not found
% 73.48/37.92 Start search
% 175.11/62.56 nb_step : 1 - limit : 175669
% 175.92/63.31 Launch Gotab with destructive = true
%------------------------------------------------------------------------------