TSTP Solution File: SEU443+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : SEU443+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n029.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:16 EDT 2022
% Result : Timeout 300.07s 92.11s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12 % Problem : SEU443+4 : TPTP v8.1.0. Released v3.4.0.
% 0.11/0.12 % Command : goeland -dmt -presko -proof %s
% 0.11/0.33 % Computer : n029.cluster.edu
% 0.11/0.33 % Model : x86_64 x86_64
% 0.11/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.11/0.33 % Memory : 8042.1875MB
% 0.11/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.11/0.33 % CPULimit : 300
% 0.11/0.33 % WCLimit : 300
% 0.11/0.33 % DateTime : Sat Sep 3 14:59:10 EDT 2022
% 0.11/0.33 % CPUTime :
% 0.11/0.34 [DMT] DMT loaded with preskolemization
% 0.11/0.34 [EQ] equality loaded.
% 0.11/0.34 [0.000036s][1][MAIN] Problem : theBenchmark.p
% 0.11/0.39 Conjecture not found
% 0.11/0.39 Conjecture not found
% 0.11/0.40 Conjecture not found
% 0.11/0.40 Conjecture not found
% 0.18/0.41 Conjecture not found
% 0.18/0.43 Conjecture not found
% 0.18/0.45 Conjecture not found
% 0.18/0.47 Conjecture not found
% 0.18/0.48 Conjecture not found
% 0.18/0.48 Conjecture not found
% 0.18/0.52 Conjecture not found
% 0.18/0.55 Conjecture not found
% 0.18/0.56 Conjecture not found
% 0.18/0.57 Conjecture not found
% 0.55/0.58 Conjecture not found
% 0.58/0.60 Conjecture not found
% 0.58/0.62 Conjecture not found
% 0.63/0.67 Conjecture not found
% 0.80/0.74 Conjecture not found
% 0.80/0.75 Conjecture not found
% 0.92/0.83 Conjecture not found
% 1.04/0.88 Conjecture not found
% 1.04/0.96 Conjecture not found
% 1.21/1.00 Conjecture not found
% 1.32/1.07 Conjecture not found
% 1.32/1.11 Conjecture not found
% 1.48/1.16 Conjecture not found
% 1.48/1.18 Conjecture not found
% 1.60/1.22 Conjecture not found
% 1.60/1.23 Conjecture not found
% 1.60/1.24 Conjecture not found
% 1.60/1.24 Conjecture not found
% 1.60/1.25 Conjecture not found
% 1.73/1.36 Conjecture not found
% 1.90/1.38 Conjecture not found
% 1.90/1.38 Conjecture not found
% 1.90/1.40 Conjecture not found
% 1.90/1.40 Conjecture not found
% 1.90/1.41 Conjecture not found
% 1.90/1.41 Conjecture not found
% 1.94/1.42 Conjecture not found
% 1.94/1.42 Conjecture not found
% 1.98/1.48 Conjecture not found
% 2.12/1.53 Conjecture not found
% 2.12/1.53 Conjecture not found
% 2.12/1.53 Conjecture not found
% 2.12/1.55 Conjecture not found
% 2.12/1.57 Conjecture not found
% 2.12/1.58 Conjecture not found
% 2.24/1.60 Conjecture not found
% 2.24/1.62 Conjecture not found
% 2.24/1.64 Conjecture not found
% 2.24/1.66 Conjecture not found
% 2.38/1.67 Conjecture not found
% 2.39/1.68 Conjecture not found
% 2.45/1.72 Conjecture not found
% 2.46/1.78 Conjecture not found
% 2.62/1.83 Conjecture not found
% 2.62/1.84 Conjecture not found
% 2.62/1.86 Conjecture not found
% 2.62/1.89 Conjecture not found
% 2.76/1.92 Conjecture not found
% 2.76/1.94 Conjecture not found
% 2.76/1.96 Conjecture not found
% 2.94/2.05 Conjecture not found
% 2.94/2.08 Conjecture not found
% 3.10/2.11 Conjecture not found
% 3.10/2.12 Conjecture not found
% 3.10/2.14 Conjecture not found
% 3.10/2.16 Conjecture not found
% 3.47/2.34 Conjecture not found
% 3.47/2.37 Conjecture not found
% 3.47/2.39 Conjecture not found
% 3.62/2.50 Conjecture not found
% 3.62/2.51 Conjecture not found
% 3.81/2.52 Conjecture not found
% 3.81/2.54 Conjecture not found
% 3.81/2.58 Conjecture not found
% 3.97/2.65 Conjecture not found
% 4.12/2.73 Conjecture not found
% 4.26/2.85 Conjecture not found
% 4.42/2.90 Conjecture not found
% 4.42/2.92 Conjecture not found
% 4.42/2.96 Conjecture not found
% 4.42/2.96 Conjecture not found
% 4.62/3.00 Conjecture not found
% 4.62/3.02 Conjecture not found
% 4.62/3.05 Conjecture not found
% 4.62/3.06 Conjecture not found
% 4.79/3.12 Conjecture not found
% 4.79/3.13 Conjecture not found
% 4.79/3.17 Conjecture not found
% 4.99/3.24 Conjecture not found
% 5.13/3.33 Conjecture not found
% 5.37/3.49 Conjecture not found
% 5.86/3.71 Conjecture not found
% 6.45/4.02 Conjecture not found
% 6.48/4.04 Conjecture not found
% 6.48/4.05 Conjecture not found
% 6.62/4.17 Conjecture not found
% 6.75/4.21 Conjecture not found
% 6.75/4.26 Conjecture not found
% 6.96/4.33 Conjecture not found
% 6.96/4.39 Conjecture not found
% 7.12/4.46 Conjecture not found
% 7.25/4.50 Conjecture not found
% 7.25/4.53 Conjecture not found
% 7.25/4.54 Conjecture not found
% 7.25/4.57 Conjecture not found
% 7.40/4.58 Conjecture not found
% 7.53/4.66 Conjecture not found
% 7.60/4.76 Conjecture not found
% 7.74/4.83 Conjecture not found
% 7.95/4.93 Conjecture not found
% 7.97/4.96 Conjecture not found
% 7.97/4.99 Conjecture not found
% 7.97/5.00 Conjecture not found
% 8.12/5.01 Conjecture not found
% 8.12/5.04 Conjecture not found
% 8.12/5.07 Conjecture not found
% 8.12/5.08 Conjecture not found
% 8.26/5.12 Conjecture not found
% 8.26/5.12 Conjecture not found
% 8.26/5.13 Conjecture not found
% 8.26/5.15 Conjecture not found
% 8.43/5.20 Conjecture not found
% 8.46/5.22 Conjecture not found
% 8.48/5.26 Conjecture not found
% 8.48/5.30 Conjecture not found
% 8.87/5.47 Conjecture not found
% 8.98/5.51 Conjecture not found
% 8.98/5.52 Conjecture not found
% 9.00/5.54 Conjecture not found
% 9.00/5.55 Conjecture not found
% 9.00/5.59 Conjecture not found
% 9.18/5.64 Conjecture not found
% 9.18/5.65 Conjecture not found
% 9.18/5.67 Conjecture not found
% 9.18/5.68 Conjecture not found
% 9.36/5.75 Conjecture not found
% 10.03/6.19 Conjecture not found
% 10.98/6.70 Conjecture not found
% 11.25/6.83 Conjecture not found
% 11.44/6.89 Conjecture not found
% 11.44/6.90 Conjecture not found
% 11.48/6.92 Conjecture not found
% 11.49/6.97 Conjecture not found
% 11.49/6.98 Conjecture not found
% 11.49/6.99 Conjecture not found
% 11.63/7.02 Conjecture not found
% 11.80/7.07 Conjecture not found
% 11.80/7.12 Conjecture not found
% 11.80/7.14 Conjecture not found
% 11.80/7.14 Conjecture not found
% 11.98/7.18 Conjecture not found
% 12.00/7.21 Conjecture not found
% 12.03/7.24 Conjecture not found
% 12.21/7.31 Conjecture not found
% 12.21/7.37 Conjecture not found
% 12.28/7.38 Conjecture not found
% 12.28/7.41 Conjecture not found
% 12.28/7.44 Conjecture not found
% 12.28/7.45 Conjecture not found
% 12.28/7.47 Conjecture not found
% 12.28/7.50 Conjecture not found
% 12.58/7.52 Conjecture not found
% 12.67/7.59 Conjecture not found
% 12.80/7.64 Conjecture not found
% 12.80/7.66 Conjecture not found
% 12.88/7.68 Conjecture not found
% 12.88/7.71 Conjecture not found
% 12.88/7.72 Conjecture not found
% 12.88/7.73 Conjecture not found
% 12.95/7.75 Conjecture not found
% 13.01/7.77 Conjecture not found
% 13.01/7.80 Conjecture not found
% 13.01/7.82 Conjecture not found
% 13.18/7.87 Conjecture not found
% 13.18/7.88 Conjecture not found
% 13.18/7.92 Conjecture not found
% 13.36/7.95 Conjecture not found
% 13.40/7.97 Conjecture not found
% 13.40/7.98 Conjecture not found
% 13.40/7.99 Conjecture not found
% 13.40/8.01 Conjecture not found
% 13.40/8.04 Conjecture not found
% 13.60/8.06 Conjecture not found
% 13.64/8.09 Conjecture not found
% 13.64/8.11 Conjecture not found
% 13.64/8.12 Conjecture not found
% 13.83/8.16 Conjecture not found
% 13.83/8.17 Conjecture not found
% 13.83/8.20 Conjecture not found
% 13.88/8.23 Conjecture not found
% 13.88/8.24 Conjecture not found
% 13.92/8.26 Conjecture not found
% 13.92/8.27 Conjecture not found
% 13.92/8.28 Conjecture not found
% 13.92/8.28 Conjecture not found
% 13.92/8.30 Conjecture not found
% 13.92/8.30 Conjecture not found
% 14.12/8.36 Conjecture not found
% 14.25/8.44 Conjecture not found
% 14.28/8.46 Conjecture not found
% 14.28/8.50 Conjecture not found
% 14.40/8.53 Conjecture not found
% 14.40/8.55 Conjecture not found
% 14.45/8.57 Conjecture not found
% 14.45/8.59 Conjecture not found
% 14.45/8.61 Conjecture not found
% 14.66/8.67 Conjecture not found
% 14.72/8.70 Conjecture not found
% 14.72/8.72 Conjecture not found
% 14.79/8.75 Conjecture not found
% 15.03/8.89 Conjecture not found
% 15.26/8.98 Conjecture not found
% 15.31/9.03 Conjecture not found
% 15.31/9.03 Conjecture not found
% 15.36/9.06 Conjecture not found
% 15.52/9.13 Conjecture not found
% 15.59/9.16 Conjecture not found
% 15.59/9.18 Conjecture not found
% 15.59/9.24 Conjecture not found
% 15.87/9.32 Conjecture not found
% 15.91/9.37 Conjecture not found
% 15.98/9.40 Conjecture not found
% 16.19/9.46 Conjecture not found
% 16.19/9.47 Conjecture not found
% 16.19/9.50 Conjecture not found
% 16.19/9.54 Conjecture not found
% 16.51/9.64 Conjecture not found
% 16.51/9.72 Conjecture not found
% 16.51/9.74 Conjecture not found
% 16.79/9.78 Conjecture not found
% 16.79/9.80 Conjecture not found
% 16.86/9.83 Conjecture not found
% 16.92/9.91 Conjecture not found
% 17.18/10.00 Conjecture not found
% 17.18/10.02 Conjecture not found
% 17.24/10.05 Conjecture not found
% 17.80/10.30 Conjecture not found
% 17.87/10.36 Conjecture not found
% 17.87/10.40 Conjecture not found
% 17.87/10.42 Conjecture not found
% 18.04/10.44 Conjecture not found
% 18.04/10.45 Conjecture not found
% 18.16/10.54 Conjecture not found
% 18.25/10.60 Conjecture not found
% 18.43/10.70 Conjecture not found
% 18.56/10.74 Conjecture not found
% 18.56/10.76 Conjecture not found
% 18.77/10.87 Conjecture not found
% 18.89/10.91 Conjecture not found
% 18.94/10.94 Conjecture not found
% 18.94/10.96 Conjecture not found
% 18.98/11.01 Conjecture not found
% 18.98/11.02 Conjecture not found
% 19.26/11.07 Conjecture not found
% 19.26/11.08 Conjecture not found
% 19.26/11.10 Conjecture not found
% 19.32/11.14 Conjecture not found
% 19.36/11.17 Conjecture not found
% 19.36/11.19 Conjecture not found
% 19.60/11.24 Conjecture not found
% 19.63/11.31 Conjecture not found
% 19.63/11.32 Conjecture not found
% 19.70/11.34 Conjecture not found
% 19.73/11.36 Conjecture not found
% 20.02/11.51 Conjecture not found
% 20.02/11.53 Conjecture not found
% 20.09/11.56 Conjecture not found
% 20.12/11.57 Conjecture not found
% 20.12/11.57 Conjecture not found
% 20.12/11.58 Conjecture not found
% 20.12/11.59 Conjecture not found
% 20.38/11.66 Conjecture not found
% 20.38/11.66 Conjecture not found
% 20.38/11.67 Conjecture not found
% 20.38/11.72 Conjecture not found
% 20.61/11.78 Conjecture not found
% 20.82/11.89 Conjecture not found
% 20.82/11.91 Conjecture not found
% 21.17/12.05 Conjecture not found
% 21.29/12.17 Conjecture not found
% 21.29/12.20 Conjecture not found
% 21.58/12.27 Conjecture not found
% 21.58/12.28 Conjecture not found
% 21.58/12.29 Conjecture not found
% 21.67/12.36 Conjecture not found
% 21.91/12.43 Conjecture not found
% 21.98/12.47 Conjecture not found
% 21.98/12.49 Conjecture not found
% 22.21/12.61 Conjecture not found
% 22.21/12.63 Conjecture not found
% 22.21/12.65 Conjecture not found
% 22.37/12.68 Conjecture not found
% 22.40/12.71 Conjecture not found
% 22.40/12.72 Conjecture not found
% 22.57/12.79 Conjecture not found
% 22.72/12.86 Conjecture not found
% 22.78/12.88 Conjecture not found
% 22.78/12.90 Conjecture not found
% 22.94/12.97 Conjecture not found
% 23.13/13.06 Conjecture not found
% 23.13/13.06 Conjecture not found
% 23.21/13.12 Conjecture not found
% 23.21/13.16 Conjecture not found
% 23.27/13.19 Conjecture not found
% 23.27/13.23 Conjecture not found
% 23.58/13.34 Conjecture not found
% 23.58/13.35 Conjecture not found
% 23.58/13.40 Conjecture not found
% 23.67/13.45 Conjecture not found
% 23.72/13.54 Conjecture not found
% 24.03/13.58 Conjecture not found
% 24.08/13.64 Conjecture not found
% 24.11/13.66 Conjecture not found
% 24.11/13.67 Conjecture not found
% 24.11/13.68 Conjecture not found
% 24.11/13.69 Conjecture not found
% 24.11/13.70 Conjecture not found
% 24.11/13.71 Conjecture not found
% 24.45/13.82 Conjecture not found
% 24.53/13.90 Conjecture not found
% 24.58/13.95 Conjecture not found
% 24.63/13.97 Conjecture not found
% 24.63/13.97 Conjecture not found
% 24.96/14.05 Conjecture not found
% 24.96/14.07 Conjecture not found
% 25.00/14.09 Conjecture not found
% 25.08/14.17 Conjecture not found
% 25.08/14.19 Conjecture not found
% 25.14/14.25 Conjecture not found
% 25.27/14.34 Conjecture not found
% 25.55/14.38 Conjecture not found
% 25.55/14.42 Conjecture not found
% 26.07/14.67 Conjecture not found
% 26.09/14.73 Conjecture not found
% 26.15/14.74 Conjecture not found
% 26.50/14.86 Conjecture not found
% 26.53/14.89 Conjecture not found
% 26.60/14.94 Conjecture not found
% 26.62/14.96 Conjecture not found
% 26.68/15.05 Conjecture not found
% 26.95/15.11 Conjecture not found
% 26.95/15.12 Conjecture not found
% 27.06/15.14 Conjecture not found
% 27.06/15.17 Conjecture not found
% 27.09/15.21 Conjecture not found
% 27.19/15.28 Conjecture not found
% 27.19/15.31 Conjecture not found
% 27.19/15.32 Conjecture not found
% 27.19/15.33 Conjecture not found
% 27.55/15.38 Conjecture not found
% 27.55/15.39 Conjecture not found
% 27.61/15.44 Conjecture not found
% 27.70/15.53 Conjecture not found
% 27.87/15.61 Conjecture not found
% 28.09/15.65 Conjecture not found
% 28.09/15.66 Conjecture not found
% 28.13/15.68 Conjecture not found
% 28.13/15.72 Conjecture not found
% 28.19/15.74 Conjecture not found
% 28.19/15.75 Conjecture not found
% 28.21/15.78 Conjecture not found
% 28.49/15.84 Conjecture not found
% 28.57/15.89 Conjecture not found
% 28.57/15.92 Conjecture not found
% 28.57/15.94 Conjecture not found
% 28.68/16.02 Conjecture not found
% 28.74/16.04 Conjecture not found
% 28.74/16.05 Conjecture not found
% 29.06/16.17 Conjecture not found
% 29.13/16.19 Conjecture not found
% 29.13/16.24 Conjecture not found
% 29.20/16.26 Conjecture not found
% 29.23/16.28 Conjecture not found
% 29.23/16.29 Conjecture not found
% 29.27/16.32 Conjecture not found
% 29.27/16.33 Conjecture not found
% 29.72/16.49 Conjecture not found
% 29.72/16.50 Conjecture not found
% 29.72/16.51 Conjecture not found
% 29.72/16.55 Conjecture not found
% 29.81/16.57 Conjecture not found
% 29.81/16.59 Conjecture not found
% 29.85/16.61 Conjecture not found
% 29.97/16.64 Conjecture not found
% 29.97/16.69 Conjecture not found
% 30.28/16.75 Conjecture not found
% 30.28/16.78 Conjecture not found
% 30.34/16.81 Conjecture not found
% 30.34/16.83 Conjecture not found
% 30.34/16.85 Conjecture not found
% 30.40/16.86 Conjecture not found
% 30.41/16.89 Conjecture not found
% 30.50/16.94 Conjecture not found
% 30.80/16.99 Conjecture not found
% 30.80/17.04 Conjecture not found
% 30.90/17.05 Conjecture not found
% 30.94/17.10 Conjecture not found
% 31.00/17.15 Conjecture not found
% 31.00/17.17 Conjecture not found
% 31.00/17.19 Conjecture not found
% 31.07/17.23 Conjecture not found
% 31.39/17.30 Conjecture not found
% 31.39/17.31 Conjecture not found
% 31.39/17.34 Conjecture not found
% 31.49/17.37 Conjecture not found
% 31.49/17.38 Conjecture not found
% 31.53/17.40 Conjecture not found
% 31.53/17.43 Conjecture not found
% 31.60/17.47 Conjecture not found
% 32.01/17.61 Conjecture not found
% 32.01/17.64 Conjecture not found
% 32.11/17.68 Conjecture not found
% 32.18/17.75 Conjecture not found
% 32.62/17.90 Conjecture not found
% 32.62/17.94 Conjecture not found
% 32.72/18.00 Conjecture not found
% 32.72/18.02 Conjecture not found
% 32.72/18.03 Conjecture not found
% 32.78/18.04 Conjecture not found
% 32.78/18.06 Conjecture not found
% 32.81/18.07 Conjecture not found
% 32.81/18.10 Conjecture not found
% 32.81/18.10 Conjecture not found
% 33.06/18.15 Conjecture not found
% 33.23/18.18 Conjecture not found
% 33.29/18.24 Conjecture not found
% 33.31/18.31 Conjecture not found
% 33.38/18.34 Conjecture not found
% 33.42/18.37 Conjecture not found
% 33.42/18.39 Conjecture not found
% 33.42/18.40 Conjecture not found
% 33.80/18.51 Conjecture not found
% 33.95/18.62 Conjecture not found
% 34.02/18.65 Conjecture not found
% 34.02/18.66 Conjecture not found
% 34.12/18.75 Conjecture not found
% 34.52/18.82 Conjecture not found
% 34.57/18.87 Conjecture not found
% 34.57/18.91 Conjecture not found
% 34.57/18.92 Conjecture not found
% 34.65/18.98 Conjecture not found
% 34.70/18.99 Conjecture not found
% 34.70/19.00 Conjecture not found
% 34.70/19.03 Conjecture not found
% 34.77/19.06 Conjecture not found
% 34.77/19.07 Conjecture not found
% 34.77/19.09 Conjecture not found
% 34.77/19.10 Conjecture not found
% 35.22/19.20 Conjecture not found
% 35.22/19.25 Conjecture not found
% 35.34/19.30 Conjecture not found
% 35.40/19.34 Conjecture not found
% 35.47/19.46 Conjecture not found
% 35.69/19.48 Conjecture not found
% 35.69/19.51 Conjecture not found
% 35.69/19.54 Conjecture not found
% 35.99/19.56 Conjecture not found
% 36.01/19.58 Conjecture not found
% 36.01/19.59 Conjecture not found
% 36.09/19.67 Conjecture not found
% 36.09/19.68 Conjecture not found
% 36.09/19.70 Conjecture not found
% 36.16/19.74 Conjecture not found
% 36.16/19.75 Conjecture not found
% 36.33/19.80 Conjecture not found
% 36.64/19.86 Conjecture not found
% 36.65/19.88 Conjecture not found
% 36.65/19.91 Conjecture not found
% 36.72/19.95 Conjecture not found
% 36.72/19.97 Conjecture not found
% 36.72/20.01 Conjecture not found
% 36.72/20.02 Conjecture not found
% 36.81/20.04 Conjecture not found
% 36.81/20.05 Conjecture not found
% 36.86/20.10 Conjecture not found
% 37.06/20.18 Conjecture not found
% 37.38/20.25 Conjecture not found
% 37.42/20.32 Conjecture not found
% 37.51/20.35 Conjecture not found
% 37.51/20.36 Conjecture not found
% 37.55/20.39 Conjecture not found
% 37.61/20.46 Conjecture not found
% 37.61/20.50 Conjecture not found
% 38.10/20.58 Conjecture not found
% 38.10/20.63 Conjecture not found
% 38.19/20.65 Conjecture not found
% 38.23/20.69 Conjecture not found
% 38.23/20.72 Conjecture not found
% 38.28/20.74 Conjecture not found
% 38.31/20.78 Conjecture not found
% 38.31/20.81 Conjecture not found
% 38.37/20.83 Conjecture not found
% 38.37/20.85 Conjecture not found
% 38.42/20.88 Conjecture not found
% 38.42/20.89 Conjecture not found
% 38.64/20.95 Conjecture not found
% 38.94/21.02 Conjecture not found
% 38.96/21.08 Conjecture not found
% 38.96/21.09 Conjecture not found
% 38.96/21.12 Conjecture not found
% 39.04/21.16 Conjecture not found
% 39.08/21.19 Conjecture not found
% 39.08/21.21 Conjecture not found
% 39.08/21.24 Conjecture not found
% 39.16/21.24 Conjecture not found
% 39.16/21.26 Conjecture not found
% 39.18/21.32 Conjecture not found
% 39.65/21.35 Conjecture not found
% 39.69/21.38 Conjecture not found
% 39.69/21.42 Conjecture not found
% 39.69/21.43 Conjecture not found
% 39.79/21.50 Conjecture not found
% 39.79/21.51 Conjecture not found
% 39.79/21.52 Conjecture not found
% 39.85/21.54 Conjecture not found
% 39.87/21.58 Conjecture not found
% 39.87/21.60 Conjecture not found
% 39.94/21.62 Conjecture not found
% 39.94/21.66 Conjecture not found
% 40.02/21.70 Conjecture not found
% 40.35/21.81 Conjecture not found
% 40.47/21.86 Conjecture not found
% 40.58/21.95 Conjecture not found
% 40.58/21.97 Conjecture not found
% 40.62/21.98 Conjecture not found
% 40.62/21.99 Conjecture not found
% 40.70/22.08 Conjecture not found
% 40.70/22.09 Conjecture not found
% 40.75/22.11 Conjecture not found
% 40.75/22.14 Conjecture not found
% 41.28/22.25 Conjecture not found
% 41.33/22.30 Conjecture not found
% 41.41/22.42 Conjecture not found
% 41.47/22.44 Conjecture not found
% 41.52/22.49 Conjecture not found
% 41.52/22.50 Conjecture not found
% 41.52/22.51 Conjecture not found
% 41.52/22.52 Conjecture not found
% 41.95/22.58 Conjecture not found
% 42.10/22.63 Conjecture not found
% 42.11/22.65 Conjecture not found
% 42.11/22.66 Conjecture not found
% 42.11/22.68 Conjecture not found
% 42.18/22.74 Conjecture not found
% 42.18/22.75 Conjecture not found
% 42.18/22.77 Conjecture not found
% 42.24/22.80 Conjecture not found
% 42.24/22.82 Conjecture not found
% 42.32/22.86 Conjecture not found
% 42.35/22.88 Conjecture not found
% 42.61/22.93 Conjecture not found
% 42.82/22.98 Conjecture not found
% 42.96/23.07 Conjecture not found
% 43.01/23.11 Conjecture not found
% 43.01/23.14 Conjecture not found
% 43.08/23.16 Conjecture not found
% 43.10/23.19 Conjecture not found
% 43.10/23.20 Conjecture not found
% 43.14/23.21 Conjecture not found
% 43.14/23.23 Conjecture not found
% 43.70/23.35 Conjecture not found
% 43.70/23.38 Conjecture not found
% 43.77/23.39 Conjecture not found
% 43.77/23.43 Conjecture not found
% 43.77/23.44 Conjecture not found
% 43.84/23.46 Conjecture not found
% 43.86/23.49 Conjecture not found
% 43.86/23.51 Conjecture not found
% 43.86/23.52 Conjecture not found
% 43.91/23.55 Conjecture not found
% 43.95/23.57 Conjecture not found
% 43.95/23.60 Conjecture not found
% 43.95/23.61 Conjecture not found
% 43.95/23.62 Conjecture not found
% 43.95/23.64 Conjecture not found
% 44.04/23.65 Conjecture not found
% 44.04/23.66 Conjecture not found
% 44.15/23.73 Conjecture not found
% 44.62/23.77 Conjecture not found
% 44.62/23.78 Conjecture not found
% 44.62/23.79 Conjecture not found
% 44.70/23.81 Conjecture not found
% 44.70/23.83 Conjecture not found
% 44.70/23.85 Conjecture not found
% 44.74/23.87 Conjecture not found
% 44.74/23.89 Conjecture not found
% 44.74/23.91 Conjecture not found
% 44.83/23.95 Conjecture not found
% 44.83/23.96 Conjecture not found
% 44.83/23.97 Conjecture not found
% 44.87/23.99 Conjecture not found
% 44.92/24.04 Conjecture not found
% 44.92/24.05 Conjecture not found
% 45.13/24.22 Conjecture not found
% 45.13/24.24 Conjecture not found
% 45.60/24.25 Conjecture not found
% 45.71/24.41 Conjecture not found
% 45.77/24.43 Conjecture not found
% 45.77/24.46 Conjecture not found
% 45.82/24.47 Conjecture not found
% 45.82/24.51 Conjecture not found
% 45.82/24.53 Conjecture not found
% 45.90/24.57 Conjecture not found
% 45.93/24.60 Conjecture not found
% 45.93/24.65 Conjecture not found
% 46.54/24.74 Conjecture not found
% 46.54/24.75 Conjecture not found
% 46.63/24.80 Conjecture not found
% 46.68/24.81 Conjecture not found
% 46.68/24.84 Conjecture not found
% 46.71/24.85 Conjecture not found
% 46.71/24.86 Conjecture not found
% 46.71/24.86 Conjecture not found
% 46.71/24.89 Conjecture not found
% 46.71/24.90 Conjecture not found
% 46.71/24.91 Conjecture not found
% 46.71/24.92 Conjecture not found
% 47.10/24.98 Conjecture not found
% 47.10/25.02 Conjecture not found
% 47.41/25.06 Conjecture not found
% 47.41/25.10 Conjecture not found
% 47.51/25.20 Conjecture not found
% 47.51/25.23 Conjecture not found
% 47.59/25.26 Conjecture not found
% 47.64/25.30 Conjecture not found
% 47.64/25.34 Conjecture not found
% 47.70/25.38 Conjecture not found
% 47.75/25.40 Conjecture not found
% 47.75/25.42 Conjecture not found
% 47.79/25.46 Conjecture not found
% 48.32/25.58 Conjecture not found
% 48.96/25.96 Conjecture not found
% 48.96/25.99 Conjecture not found
% 49.39/26.03 Conjecture not found
% 49.39/26.05 Conjecture not found
% 49.46/26.07 Conjecture not found
% 49.46/26.07 Conjecture not found
% 49.46/26.08 Conjecture not found
% 49.46/26.09 Conjecture not found
% 49.46/26.11 Conjecture not found
% 49.46/26.11 Conjecture not found
% 49.46/26.13 Conjecture not found
% 49.56/26.17 Conjecture not found
% 49.64/26.24 Conjecture not found
% 49.65/26.30 Conjecture not found
% 49.71/26.34 Conjecture not found
% 50.19/26.41 Conjecture not found
% 50.19/26.43 Conjecture not found
% 50.19/26.45 Conjecture not found
% 50.43/26.50 Conjecture not found
% 50.43/26.51 Conjecture not found
% 50.47/26.53 Conjecture not found
% 50.49/26.55 Conjecture not found
% 50.49/26.56 Conjecture not found
% 50.57/26.62 Conjecture not found
% 50.57/26.65 Conjecture not found
% 50.63/26.69 Conjecture not found
% 50.63/26.74 Conjecture not found
% 50.63/26.74 Conjecture not found
% 51.29/26.86 Conjecture not found
% 51.29/26.90 Conjecture not found
% 51.29/26.91 Conjecture not found
% 51.29/26.92 Conjecture not found
% 51.41/26.96 Conjecture not found
% 51.46/26.98 Conjecture not found
% 51.46/26.99 Conjecture not found
% 51.52/27.05 Conjecture not found
% 51.52/27.05 Conjecture not found
% 51.54/27.07 Conjecture not found
% 51.54/27.09 Conjecture not found
% 51.54/27.10 Conjecture not found
% 51.60/27.12 Conjecture not found
% 51.60/27.15 Conjecture not found
% 51.63/27.16 Conjecture not found
% 51.71/27.24 Conjecture not found
% 51.71/27.28 Conjecture not found
% 51.75/27.29 Conjecture not found
% 51.75/27.30 Conjecture not found
% 52.48/27.43 Conjecture not found
% 52.48/27.44 Conjecture not found
% 52.51/27.48 Conjecture not found
% 52.51/27.50 Conjecture not found
% 52.61/27.60 Conjecture not found
% 52.61/27.63 Conjecture not found
% 52.68/27.66 Conjecture not found
% 52.71/27.69 Conjecture not found
% 52.71/27.71 Conjecture not found
% 52.71/27.73 Conjecture not found
% 52.82/27.78 Conjecture not found
% 53.44/27.92 Conjecture not found
% 53.52/27.98 Conjecture not found
% 53.56/28.00 Conjecture not found
% 53.56/28.01 Conjecture not found
% 53.65/28.09 Conjecture not found
% 53.69/28.14 Conjecture not found
% 53.73/28.22 Conjecture not found
% 53.81/28.24 Conjecture not found
% 53.81/28.25 Conjecture not found
% 53.81/28.27 Conjecture not found
% 53.86/28.29 Conjecture not found
% 53.86/28.32 Conjecture not found
% 53.86/28.32 Conjecture not found
% 53.86/28.33 Conjecture not found
% 54.21/28.38 Conjecture not found
% 54.63/28.46 Conjecture not found
% 54.63/28.48 Conjecture not found
% 54.63/28.50 Conjecture not found
% 54.72/28.55 Conjecture not found
% 54.72/28.56 Conjecture not found
% 54.82/28.67 Conjecture not found
% 54.82/28.68 Conjecture not found
% 54.82/28.70 Conjecture not found
% 54.87/28.71 Conjecture not found
% 54.87/28.75 Conjecture not found
% 55.22/28.88 Conjecture not found
% 55.62/28.93 Conjecture not found
% 55.72/28.95 Conjecture not found
% 55.72/28.96 Conjecture not found
% 55.72/28.96 Conjecture not found
% 55.72/28.98 Conjecture not found
% 55.72/28.99 Conjecture not found
% 55.84/29.08 Conjecture not found
% 55.84/29.09 Conjecture not found
% 55.93/29.17 Conjecture not found
% 55.97/29.22 Conjecture not found
% 56.01/29.24 Conjecture not found
% 56.01/29.26 Conjecture not found
% 56.01/29.27 Conjecture not found
% 56.42/29.30 Conjecture not found
% 56.42/29.33 Conjecture not found
% 56.42/29.35 Conjecture not found
% 56.76/29.40 Conjecture not found
% 56.76/29.43 Conjecture not found
% 56.76/29.44 Conjecture not found
% 56.89/29.50 Conjecture not found
% 56.94/29.58 Conjecture not found
% 56.94/29.61 Conjecture not found
% 57.01/29.63 Conjecture not found
% 57.01/29.65 Conjecture not found
% 57.01/29.66 Conjecture not found
% 57.01/29.68 Conjecture not found
% 57.65/29.77 Conjecture not found
% 57.75/29.79 Conjecture not found
% 57.82/29.88 Conjecture not found
% 58.06/30.11 Conjecture not found
% 58.87/30.33 Conjecture not found
% 58.87/30.34 Conjecture not found
% 58.95/30.39 Conjecture not found
% 59.04/30.49 Conjecture not found
% 59.04/30.53 Conjecture not found
% 59.12/30.54 Conjecture not found
% 59.12/30.55 Conjecture not found
% 59.17/30.59 Conjecture not found
% 59.17/30.61 Conjecture not found
% 59.27/30.69 Conjecture not found
% 59.91/30.77 Conjecture not found
% 59.91/30.78 Conjecture not found
% 59.91/30.79 Conjecture not found
% 59.91/30.82 Conjecture not found
% 59.91/30.83 Conjecture not found
% 60.05/30.84 Conjecture not found
% 60.05/30.85 Conjecture not found
% 60.15/30.94 Conjecture not found
% 60.15/30.95 Conjecture not found
% 60.18/30.98 Conjecture not found
% 60.24/31.03 Conjecture not found
% 60.24/31.04 Conjecture not found
% 60.24/31.04 Conjecture not found
% 60.24/31.05 Conjecture not found
% 60.24/31.05 Conjecture not found
% 60.28/31.07 Conjecture not found
% 60.28/31.10 Conjecture not found
% 60.28/31.10 Conjecture not found
% 60.35/31.15 Conjecture not found
% 61.16/31.29 Conjecture not found
% 61.16/31.31 Conjecture not found
% 61.16/31.32 Conjecture not found
% 61.16/31.32 Conjecture not found
% 61.23/31.35 Conjecture not found
% 61.25/31.38 Conjecture not found
% 61.31/31.42 Conjecture not found
% 61.31/31.44 Conjecture not found
% 61.31/31.45 Conjecture not found
% 61.34/31.46 Conjecture not found
% 61.34/31.50 Conjecture not found
% 61.34/31.51 Conjecture not found
% 61.42/31.55 Conjecture not found
% 61.42/31.57 Conjecture not found
% 61.46/31.58 Conjecture not found
% 61.46/31.59 Conjecture not found
% 61.46/31.62 Conjecture not found
% 61.46/31.62 Conjecture not found
% 61.65/31.64 Conjecture not found
% 61.83/31.67 Conjecture not found
% 61.83/31.71 Conjecture not found
% 62.27/31.74 Conjecture not found
% 62.33/31.79 Conjecture not found
% 62.33/31.81 Conjecture not found
% 62.42/31.88 Conjecture not found
% 62.46/31.94 Conjecture not found
% 62.53/31.96 Conjecture not found
% 62.53/31.99 Conjecture not found
% 62.58/32.03 Conjecture not found
% 62.63/32.08 Conjecture not found
% 62.63/32.13 Conjecture not found
% 62.72/32.17 Conjecture not found
% 62.76/32.23 Conjecture not found
% 63.24/32.31 Conjecture not found
% 63.59/32.33 Conjecture not found
% 63.65/32.41 Conjecture not found
% 63.65/32.41 Conjecture not found
% 63.65/32.43 Conjecture not found
% 63.76/32.50 Conjecture not found
% 63.82/32.57 Conjecture not found
% 63.82/32.59 Conjecture not found
% 63.89/32.63 Conjecture not found
% 63.89/32.65 Conjecture not found
% 63.89/32.66 Conjecture not found
% 63.89/32.66 Conjecture not found
% 63.95/32.69 Conjecture not found
% 63.95/32.75 Conjecture not found
% 64.19/32.79 Conjecture not found
% 64.19/32.82 Conjecture not found
% 64.68/32.88 Conjecture not found
% 64.93/32.93 Conjecture not found
% 64.93/32.98 Conjecture not found
% 64.99/32.98 Conjecture not found
% 64.99/33.01 Conjecture not found
% 65.06/33.06 Conjecture not found
% 65.12/33.13 Conjecture not found
% 65.14/33.20 Conjecture not found
% 65.14/33.21 Conjecture not found
% 65.23/33.26 Conjecture not found
% 65.29/33.29 Conjecture not found
% 65.29/33.31 Conjecture not found
% 65.29/33.35 Conjecture not found
% 65.66/33.37 Conjecture not found
% 65.66/33.40 Conjecture not found
% 66.18/33.50 Conjecture not found
% 66.18/33.51 Conjecture not found
% 66.18/33.53 Conjecture not found
% 66.28/33.55 Conjecture not found
% 66.28/33.56 Conjecture not found
% 66.28/33.56 Conjecture not found
% 66.32/33.58 Conjecture not found
% 66.40/33.66 Conjecture not found
% 66.45/33.72 Conjecture not found
% 66.45/33.74 Conjecture not found
% 66.49/33.75 Conjecture not found
% 66.49/33.78 Conjecture not found
% 66.49/33.82 Conjecture not found
% 66.58/33.86 Conjecture not found
% 67.46/34.06 Conjecture not found
% 67.50/34.13 Conjecture not found
% 67.57/34.15 Conjecture not found
% 67.60/34.17 Conjecture not found
% 67.66/34.24 Conjecture not found
% 67.66/34.25 Conjecture not found
% 67.69/34.29 Conjecture not found
% 67.69/34.30 Conjecture not found
% 67.69/34.30 Conjecture not found
% 67.69/34.31 Conjecture not found
% 67.76/34.33 Conjecture not found
% 67.76/34.35 Conjecture not found
% 67.76/34.36 Conjecture not found
% 67.80/34.37 Conjecture not found
% 67.80/34.38 Conjecture not found
% 67.80/34.39 Conjecture not found
% 67.80/34.40 Conjecture not found
% 67.80/34.42 Conjecture not found
% 68.18/34.49 Conjecture not found
% 68.18/34.54 Conjecture not found
% 68.72/34.57 Conjecture not found
% 68.78/34.62 Conjecture not found
% 68.85/34.66 Conjecture not found
% 68.88/34.68 Conjecture not found
% 68.96/34.79 Conjecture not found
% 68.96/34.80 Conjecture not found
% 68.96/34.82 Conjecture not found
% 69.04/34.84 Conjecture not found
% 69.08/34.88 Conjecture not found
% 69.08/34.91 Conjecture not found
% 70.25/35.35 Conjecture not found
% 70.29/35.37 Conjecture not found
% 70.29/35.39 Conjecture not found
% 70.29/35.42 Conjecture not found
% 70.42/35.50 Conjecture not found
% 70.42/35.51 Conjecture not found
% 70.49/35.57 Conjecture not found
% 70.77/35.64 Conjecture not found
% 71.15/35.72 Conjecture not found
% 71.15/35.75 Conjecture not found
% 71.43/35.77 Conjecture not found
% 71.46/35.79 Conjecture not found
% 71.50/35.83 Conjecture not found
% 71.51/35.85 Conjecture not found
% 71.51/35.87 Conjecture not found
% 71.51/35.88 Start search
% 172.94/60.48 nb_step : 1 - limit : 175770
% 174.43/61.33 Launch Gotab with destructive = true
%------------------------------------------------------------------------------