TSTP Solution File: SEU418+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : SEU418+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n007.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 300s
% DateTime : Tue Sep 20 05:57:01 EDT 2022
% Result : Timeout 300.19s 92.36s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.13 % Problem : SEU418+4 : TPTP v8.1.0. Released v3.4.0.
% 0.08/0.13 % Command : goeland -dmt -presko -proof %s
% 0.13/0.35 % Computer : n007.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:35:30 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.20/0.40 Conjecture not found
% 0.20/0.40 Conjecture not found
% 0.20/0.40 Conjecture not found
% 0.20/0.41 Conjecture not found
% 0.20/0.42 Conjecture not found
% 0.20/0.43 Conjecture not found
% 0.20/0.46 Conjecture not found
% 0.20/0.48 Conjecture not found
% 0.20/0.49 Conjecture not found
% 0.20/0.49 Conjecture not found
% 0.44/0.53 Conjecture not found
% 0.48/0.56 Conjecture not found
% 0.48/0.57 Conjecture not found
% 0.48/0.58 Conjecture not found
% 0.48/0.59 Conjecture not found
% 0.48/0.61 Conjecture not found
% 0.48/0.63 Conjecture not found
% 0.62/0.67 Conjecture not found
% 0.71/0.75 Conjecture not found
% 0.83/0.75 Conjecture not found
% 0.90/0.83 Conjecture not found
% 0.97/0.89 Conjecture not found
% 1.13/0.97 Conjecture not found
% 1.22/1.01 Conjecture not found
% 1.36/1.08 Conjecture not found
% 1.36/1.12 Conjecture not found
% 1.51/1.17 Conjecture not found
% 1.51/1.19 Conjecture not found
% 1.51/1.23 Conjecture not found
% 1.64/1.24 Conjecture not found
% 1.64/1.25 Conjecture not found
% 1.64/1.26 Conjecture not found
% 1.64/1.27 Conjecture not found
% 1.84/1.37 Conjecture not found
% 1.84/1.40 Conjecture not found
% 1.84/1.40 Conjecture not found
% 1.84/1.42 Conjecture not found
% 1.84/1.42 Conjecture not found
% 1.95/1.42 Conjecture not found
% 1.95/1.42 Conjecture not found
% 1.95/1.44 Conjecture not found
% 1.95/1.44 Conjecture not found
% 2.04/1.49 Conjecture not found
% 2.16/1.54 Conjecture not found
% 2.16/1.54 Conjecture not found
% 2.16/1.55 Conjecture not found
% 2.16/1.56 Conjecture not found
% 2.22/1.58 Conjecture not found
% 2.22/1.60 Conjecture not found
% 2.22/1.61 Conjecture not found
% 2.22/1.64 Conjecture not found
% 2.35/1.66 Conjecture not found
% 2.40/1.68 Conjecture not found
% 2.40/1.68 Conjecture not found
% 2.40/1.69 Conjecture not found
% 2.40/1.73 Conjecture not found
% 2.55/1.79 Conjecture not found
% 2.64/1.84 Conjecture not found
% 2.64/1.85 Conjecture not found
% 2.71/1.87 Conjecture not found
% 2.71/1.90 Conjecture not found
% 2.71/1.93 Conjecture not found
% 2.85/1.94 Conjecture not found
% 2.85/1.96 Conjecture not found
% 2.93/2.03 Conjecture not found
% 3.04/2.06 Conjecture not found
% 3.09/2.08 Conjecture not found
% 3.09/2.09 Conjecture not found
% 3.09/2.11 Conjecture not found
% 3.19/2.13 Conjecture not found
% 3.46/2.29 Conjecture not found
% 3.46/2.32 Conjecture not found
% 3.56/2.34 Conjecture not found
% 3.67/2.45 Conjecture not found
% 3.75/2.47 Conjecture not found
% 3.75/2.48 Conjecture not found
% 3.75/2.51 Conjecture not found
% 3.89/2.55 Conjecture not found
% 3.98/2.60 Conjecture not found
% 4.09/2.67 Conjecture not found
% 4.25/2.74 Conjecture not found
% 4.30/2.80 Conjecture not found
% 4.30/2.81 Conjecture not found
% 4.30/2.84 Conjecture not found
% 4.30/2.84 Conjecture not found
% 4.48/2.88 Conjecture not found
% 4.50/2.91 Conjecture not found
% 4.59/2.93 Conjecture not found
% 4.59/2.94 Conjecture not found
% 4.72/3.01 Conjecture not found
% 4.72/3.03 Conjecture not found
% 4.72/3.06 Conjecture not found
% 4.84/3.13 Conjecture not found
% 5.10/3.24 Conjecture not found
% 5.38/3.40 Conjecture not found
% 5.63/3.60 Conjecture not found
% 6.23/3.89 Conjecture not found
% 6.23/3.91 Conjecture not found
% 6.23/3.94 Conjecture not found
% 6.50/4.04 Conjecture not found
% 6.62/4.08 Conjecture not found
% 6.68/4.13 Conjecture not found
% 6.79/4.20 Conjecture not found
% 6.95/4.26 Conjecture not found
% 7.00/4.33 Conjecture not found
% 7.13/4.37 Conjecture not found
% 7.13/4.41 Conjecture not found
% 7.25/4.42 Conjecture not found
% 7.25/4.45 Conjecture not found
% 7.25/4.46 Conjecture not found
% 7.30/4.53 Conjecture not found
% 7.55/4.61 Conjecture not found
% 7.62/4.68 Conjecture not found
% 7.87/4.76 Conjecture not found
% 7.87/4.79 Conjecture not found
% 7.87/4.83 Conjecture not found
% 7.96/4.85 Conjecture not found
% 7.96/4.87 Conjecture not found
% 8.07/4.90 Conjecture not found
% 8.07/4.93 Conjecture not found
% 8.07/4.94 Conjecture not found
% 8.16/4.99 Conjecture not found
% 8.16/4.99 Conjecture not found
% 8.16/5.00 Conjecture not found
% 8.16/5.02 Conjecture not found
% 8.33/5.06 Conjecture not found
% 8.33/5.08 Conjecture not found
% 8.47/5.14 Conjecture not found
% 8.51/5.19 Conjecture not found
% 8.87/5.39 Conjecture not found
% 8.93/5.43 Conjecture not found
% 8.93/5.44 Conjecture not found
% 8.93/5.46 Conjecture not found
% 9.07/5.49 Conjecture not found
% 9.07/5.53 Conjecture not found
% 9.14/5.58 Conjecture not found
% 9.19/5.60 Conjecture not found
% 9.19/5.63 Conjecture not found
% 9.31/5.65 Conjecture not found
% 9.38/5.72 Conjecture not found
% 10.33/6.23 Conjecture not found
% 11.22/6.80 Conjecture not found
% 11.47/6.93 Conjecture not found
% 11.47/6.98 Conjecture not found
% 11.63/7.01 Conjecture not found
% 11.63/7.03 Conjecture not found
% 11.71/7.09 Conjecture not found
% 11.71/7.10 Conjecture not found
% 11.71/7.11 Conjecture not found
% 11.71/7.15 Conjecture not found
% 11.91/7.18 Conjecture not found
% 12.01/7.24 Conjecture not found
% 12.09/7.27 Conjecture not found
% 12.09/7.28 Conjecture not found
% 12.09/7.32 Conjecture not found
% 12.19/7.35 Conjecture not found
% 12.32/7.41 Conjecture not found
% 12.37/7.45 Conjecture not found
% 12.37/7.50 Conjecture not found
% 12.37/7.52 Conjecture not found
% 12.56/7.55 Conjecture not found
% 12.56/7.58 Conjecture not found
% 12.61/7.60 Conjecture not found
% 12.72/7.65 Conjecture not found
% 12.72/7.70 Conjecture not found
% 12.72/7.71 Conjecture not found
% 12.84/7.78 Conjecture not found
% 12.90/7.83 Conjecture not found
% 12.90/7.84 Conjecture not found
% 13.05/7.86 Conjecture not found
% 13.05/7.87 Conjecture not found
% 13.05/7.88 Conjecture not found
% 13.05/7.90 Conjecture not found
% 13.05/7.92 Conjecture not found
% 13.05/7.95 Conjecture not found
% 13.26/7.98 Conjecture not found
% 13.26/7.99 Conjecture not found
% 13.31/8.03 Conjecture not found
% 13.31/8.04 Conjecture not found
% 13.47/8.08 Conjecture not found
% 13.47/8.12 Conjecture not found
% 13.47/8.14 Conjecture not found
% 13.55/8.16 Conjecture not found
% 13.55/8.18 Conjecture not found
% 13.59/8.19 Conjecture not found
% 13.75/8.23 Conjecture not found
% 13.77/8.25 Conjecture not found
% 13.77/8.29 Conjecture not found
% 13.84/8.32 Conjecture not found
% 13.84/8.34 Conjecture not found
% 13.94/8.38 Conjecture not found
% 13.94/8.39 Conjecture not found
% 13.94/8.42 Conjecture not found
% 14.10/8.47 Conjecture not found
% 14.13/8.48 Conjecture not found
% 14.13/8.49 Conjecture not found
% 14.13/8.50 Conjecture not found
% 14.13/8.54 Conjecture not found
% 14.31/8.54 Conjecture not found
% 14.31/8.55 Conjecture not found
% 14.31/8.55 Conjecture not found
% 14.33/8.61 Conjecture not found
% 14.44/8.71 Conjecture not found
% 14.44/8.72 Conjecture not found
% 14.63/8.75 Conjecture not found
% 14.66/8.78 Conjecture not found
% 14.66/8.79 Conjecture not found
% 14.66/8.81 Conjecture not found
% 14.66/8.83 Conjecture not found
% 14.82/8.89 Conjecture not found
% 14.92/8.94 Conjecture not found
% 14.96/8.97 Conjecture not found
% 14.96/9.00 Conjecture not found
% 15.08/9.05 Conjecture not found
% 15.42/9.21 Conjecture not found
% 15.51/9.29 Conjecture not found
% 15.57/9.33 Conjecture not found
% 15.57/9.34 Conjecture not found
% 15.64/9.37 Conjecture not found
% 15.64/9.43 Conjecture not found
% 15.86/9.48 Conjecture not found
% 15.90/9.49 Conjecture not found
% 16.09/9.58 Conjecture not found
% 16.16/9.64 Conjecture not found
% 16.22/9.68 Conjecture not found
% 16.22/9.73 Conjecture not found
% 16.45/9.78 Conjecture not found
% 16.48/9.80 Conjecture not found
% 16.54/9.86 Conjecture not found
% 16.73/9.92 Conjecture not found
% 16.80/9.98 Conjecture not found
% 17.07/10.10 Conjecture not found
% 17.07/10.11 Conjecture not found
% 17.10/10.13 Conjecture not found
% 17.10/10.15 Conjecture not found
% 17.13/10.17 Conjecture not found
% 17.33/10.28 Conjecture not found
% 17.41/10.34 Conjecture not found
% 17.41/10.35 Conjecture not found
% 17.48/10.38 Conjecture not found
% 18.02/10.62 Conjecture not found
% 18.09/10.67 Conjecture not found
% 18.09/10.71 Conjecture not found
% 18.09/10.75 Conjecture not found
% 18.36/10.77 Conjecture not found
% 18.36/10.78 Conjecture not found
% 18.44/10.85 Conjecture not found
% 18.59/10.93 Conjecture not found
% 18.72/11.00 Conjecture not found
% 18.81/11.05 Conjecture not found
% 18.81/11.08 Conjecture not found
% 19.08/11.18 Conjecture not found
% 19.13/11.22 Conjecture not found
% 19.27/11.27 Conjecture not found
% 19.27/11.30 Conjecture not found
% 19.27/11.32 Conjecture not found
% 19.27/11.33 Conjecture not found
% 19.27/11.35 Conjecture not found
% 19.27/11.36 Conjecture not found
% 19.47/11.38 Conjecture not found
% 19.72/11.47 Conjecture not found
% 19.72/11.51 Conjecture not found
% 19.72/11.53 Conjecture not found
% 19.72/11.55 Conjecture not found
% 19.84/11.60 Conjecture not found
% 19.84/11.61 Conjecture not found
% 19.88/11.63 Conjecture not found
% 19.99/11.66 Conjecture not found
% 20.20/11.79 Conjecture not found
% 20.20/11.80 Conjecture not found
% 20.46/11.87 Conjecture not found
% 20.49/11.88 Conjecture not found
% 20.49/11.88 Conjecture not found
% 20.49/11.89 Conjecture not found
% 20.49/11.90 Conjecture not found
% 20.56/11.97 Conjecture not found
% 20.59/11.97 Conjecture not found
% 20.59/11.99 Conjecture not found
% 20.66/12.05 Conjecture not found
% 20.79/12.12 Conjecture not found
% 20.97/12.19 Conjecture not found
% 20.97/12.20 Conjecture not found
% 21.34/12.35 Conjecture not found
% 21.67/12.49 Conjecture not found
% 21.67/12.52 Conjecture not found
% 21.74/12.57 Conjecture not found
% 21.78/12.59 Conjecture not found
% 21.78/12.60 Conjecture not found
% 22.05/12.70 Conjecture not found
% 22.17/12.77 Conjecture not found
% 22.17/12.81 Conjecture not found
% 22.17/12.82 Conjecture not found
% 22.57/12.95 Conjecture not found
% 22.59/12.99 Conjecture not found
% 22.59/13.00 Conjecture not found
% 22.67/13.05 Conjecture not found
% 22.81/13.11 Conjecture not found
% 22.81/13.12 Conjecture not found
% 23.00/13.17 Conjecture not found
% 23.06/13.23 Conjecture not found
% 23.08/13.25 Conjecture not found
% 23.08/13.27 Conjecture not found
% 23.36/13.33 Conjecture not found
% 23.42/13.38 Conjecture not found
% 23.42/13.38 Conjecture not found
% 23.42/13.42 Conjecture not found
% 23.50/13.46 Conjecture not found
% 23.56/13.51 Conjecture not found
% 23.82/13.57 Conjecture not found
% 23.82/13.64 Conjecture not found
% 23.89/13.65 Conjecture not found
% 23.95/13.70 Conjecture not found
% 24.23/13.79 Conjecture not found
% 24.33/13.86 Conjecture not found
% 24.33/13.88 Conjecture not found
% 24.57/13.97 Conjecture not found
% 24.57/14.00 Conjecture not found
% 24.70/14.02 Conjecture not found
% 24.70/14.02 Conjecture not found
% 24.70/14.03 Conjecture not found
% 24.70/14.05 Conjecture not found
% 24.75/14.06 Conjecture not found
% 24.75/14.13 Conjecture not found
% 24.91/14.22 Conjecture not found
% 25.21/14.29 Conjecture not found
% 25.25/14.31 Conjecture not found
% 25.25/14.32 Conjecture not found
% 25.28/14.37 Conjecture not found
% 25.28/14.38 Conjecture not found
% 25.28/14.40 Conjecture not found
% 25.59/14.48 Conjecture not found
% 25.67/14.50 Conjecture not found
% 25.67/14.54 Conjecture not found
% 25.74/14.59 Conjecture not found
% 25.78/14.62 Conjecture not found
% 25.83/14.68 Conjecture not found
% 26.36/14.94 Conjecture not found
% 26.67/15.04 Conjecture not found
% 26.67/15.05 Conjecture not found
% 26.76/15.14 Conjecture not found
% 26.76/15.15 Conjecture not found
% 26.84/15.20 Conjecture not found
% 26.84/15.25 Conjecture not found
% 27.26/15.35 Conjecture not found
% 27.26/15.38 Conjecture not found
% 27.26/15.39 Conjecture not found
% 27.26/15.41 Conjecture not found
% 27.39/15.44 Conjecture not found
% 27.66/15.51 Conjecture not found
% 27.72/15.58 Conjecture not found
% 27.72/15.59 Conjecture not found
% 27.72/15.59 Conjecture not found
% 27.76/15.60 Conjecture not found
% 27.76/15.64 Conjecture not found
% 27.81/15.65 Conjecture not found
% 27.81/15.70 Conjecture not found
% 28.20/15.84 Conjecture not found
% 28.28/15.90 Conjecture not found
% 28.32/15.93 Conjecture not found
% 28.32/15.94 Conjecture not found
% 28.32/15.95 Conjecture not found
% 28.47/16.04 Conjecture not found
% 28.75/16.08 Conjecture not found
% 28.75/16.08 Conjecture not found
% 28.75/16.11 Conjecture not found
% 28.81/16.15 Conjecture not found
% 28.81/16.19 Conjecture not found
% 28.89/16.22 Conjecture not found
% 28.89/16.24 Conjecture not found
% 29.30/16.36 Conjecture not found
% 29.32/16.40 Conjecture not found
% 29.32/16.41 Conjecture not found
% 29.40/16.49 Conjecture not found
% 29.40/16.51 Conjecture not found
% 29.79/16.58 Conjecture not found
% 29.79/16.61 Conjecture not found
% 29.87/16.65 Conjecture not found
% 29.89/16.67 Conjecture not found
% 29.89/16.70 Conjecture not found
% 29.89/16.71 Conjecture not found
% 29.97/16.81 Conjecture not found
% 29.97/16.82 Conjecture not found
% 29.97/16.82 Conjecture not found
% 30.06/16.87 Conjecture not found
% 30.21/16.94 Conjecture not found
% 30.45/16.98 Conjecture not found
% 30.50/17.00 Conjecture not found
% 30.50/17.03 Conjecture not found
% 30.55/17.06 Conjecture not found
% 30.58/17.10 Conjecture not found
% 30.58/17.13 Conjecture not found
% 30.96/17.20 Conjecture not found
% 31.02/17.24 Conjecture not found
% 31.04/17.26 Conjecture not found
% 31.04/17.27 Conjecture not found
% 31.04/17.30 Conjecture not found
% 31.12/17.34 Conjecture not found
% 31.12/17.37 Conjecture not found
% 31.17/17.40 Conjecture not found
% 31.17/17.41 Conjecture not found
% 31.40/17.49 Conjecture not found
% 31.65/17.57 Conjecture not found
% 31.65/17.60 Conjecture not found
% 31.65/17.62 Conjecture not found
% 31.73/17.65 Conjecture not found
% 31.76/17.68 Conjecture not found
% 31.76/17.69 Conjecture not found
% 31.76/17.71 Conjecture not found
% 31.81/17.75 Conjecture not found
% 31.92/17.78 Conjecture not found
% 31.92/17.81 Conjecture not found
% 32.29/17.88 Conjecture not found
% 32.29/17.93 Conjecture not found
% 32.45/18.03 Conjecture not found
% 32.45/18.06 Conjecture not found
% 32.57/18.13 Conjecture not found
% 32.92/18.22 Conjecture not found
% 33.05/18.31 Conjecture not found
% 33.05/18.35 Conjecture not found
% 33.50/18.46 Conjecture not found
% 33.54/18.49 Conjecture not found
% 33.54/18.51 Conjecture not found
% 33.54/18.52 Conjecture not found
% 33.54/18.53 Conjecture not found
% 33.60/18.55 Conjecture not found
% 33.61/18.58 Conjecture not found
% 33.61/18.58 Conjecture not found
% 33.61/18.61 Conjecture not found
% 33.61/18.62 Conjecture not found
% 33.68/18.66 Conjecture not found
% 33.73/18.73 Conjecture not found
% 34.19/18.78 Conjecture not found
% 34.23/18.83 Conjecture not found
% 34.25/18.85 Conjecture not found
% 34.25/18.86 Conjecture not found
% 34.32/18.93 Conjecture not found
% 34.38/19.04 Conjecture not found
% 34.83/19.10 Conjecture not found
% 34.83/19.12 Conjecture not found
% 34.90/19.22 Conjecture not found
% 34.98/19.26 Conjecture not found
% 35.04/19.29 Conjecture not found
% 35.04/19.33 Conjecture not found
% 35.04/19.34 Conjecture not found
% 35.12/19.40 Conjecture not found
% 35.31/19.42 Conjecture not found
% 35.31/19.44 Conjecture not found
% 35.54/19.50 Conjecture not found
% 35.62/19.53 Conjecture not found
% 35.62/19.54 Conjecture not found
% 35.62/19.57 Conjecture not found
% 35.67/19.58 Conjecture not found
% 35.67/19.62 Conjecture not found
% 35.76/19.67 Conjecture not found
% 35.76/19.72 Conjecture not found
% 36.17/19.82 Conjecture not found
% 36.29/19.91 Conjecture not found
% 36.33/19.92 Conjecture not found
% 36.33/19.94 Conjecture not found
% 36.36/19.95 Conjecture not found
% 36.36/19.96 Conjecture not found
% 36.36/19.99 Conjecture not found
% 36.36/20.01 Conjecture not found
% 36.84/20.14 Conjecture not found
% 36.84/20.15 Conjecture not found
% 36.91/20.17 Conjecture not found
% 36.94/20.21 Conjecture not found
% 36.94/20.22 Conjecture not found
% 36.98/20.24 Conjecture not found
% 37.02/20.27 Conjecture not found
% 37.02/20.29 Conjecture not found
% 37.02/20.33 Conjecture not found
% 37.53/20.40 Conjecture not found
% 37.53/20.43 Conjecture not found
% 37.59/20.47 Conjecture not found
% 37.59/20.48 Conjecture not found
% 37.59/20.50 Conjecture not found
% 37.64/20.51 Conjecture not found
% 37.68/20.57 Conjecture not found
% 37.68/20.64 Conjecture not found
% 37.77/20.67 Conjecture not found
% 38.25/20.76 Conjecture not found
% 38.25/20.79 Conjecture not found
% 38.25/20.80 Conjecture not found
% 38.25/20.82 Conjecture not found
% 38.36/20.87 Conjecture not found
% 38.36/20.90 Conjecture not found
% 38.36/20.92 Conjecture not found
% 38.36/20.95 Conjecture not found
% 38.45/20.98 Conjecture not found
% 38.91/21.07 Conjecture not found
% 38.97/21.11 Conjecture not found
% 38.97/21.13 Conjecture not found
% 39.03/21.17 Conjecture not found
% 39.03/21.20 Conjecture not found
% 39.03/21.22 Conjecture not found
% 39.03/21.24 Conjecture not found
% 39.13/21.27 Conjecture not found
% 39.13/21.28 Conjecture not found
% 39.17/21.32 Conjecture not found
% 39.24/21.36 Conjecture not found
% 39.69/21.43 Conjecture not found
% 39.69/21.45 Conjecture not found
% 39.77/21.49 Conjecture not found
% 39.77/21.53 Conjecture not found
% 39.85/21.56 Conjecture not found
% 39.87/21.58 Conjecture not found
% 39.87/21.61 Conjecture not found
% 39.91/21.62 Conjecture not found
% 39.93/21.64 Conjecture not found
% 39.93/21.68 Conjecture not found
% 39.93/21.69 Conjecture not found
% 40.01/21.72 Conjecture not found
% 40.01/21.77 Conjecture not found
% 40.30/21.79 Conjecture not found
% 40.58/21.88 Conjecture not found
% 40.58/21.90 Conjecture not found
% 40.58/21.91 Conjecture not found
% 40.63/21.94 Conjecture not found
% 40.65/22.00 Conjecture not found
% 40.65/22.03 Conjecture not found
% 40.73/22.06 Conjecture not found
% 40.78/22.09 Conjecture not found
% 40.78/22.10 Conjecture not found
% 40.85/22.15 Conjecture not found
% 40.87/22.20 Conjecture not found
% 41.44/22.36 Conjecture not found
% 41.49/22.39 Conjecture not found
% 41.49/22.40 Conjecture not found
% 41.49/22.41 Conjecture not found
% 41.59/22.51 Conjecture not found
% 41.59/22.52 Conjecture not found
% 41.64/22.54 Conjecture not found
% 41.68/22.58 Conjecture not found
% 42.06/22.69 Conjecture not found
% 42.26/22.74 Conjecture not found
% 42.40/22.87 Conjecture not found
% 42.40/22.88 Conjecture not found
% 42.40/22.94 Conjecture not found
% 42.47/22.95 Conjecture not found
% 42.47/22.95 Conjecture not found
% 42.47/22.96 Conjecture not found
% 42.50/23.00 Conjecture not found
% 42.50/23.04 Conjecture not found
% 42.89/23.08 Conjecture not found
% 42.89/23.11 Conjecture not found
% 43.14/23.15 Conjecture not found
% 43.16/23.22 Conjecture not found
% 43.21/23.23 Conjecture not found
% 43.24/23.25 Conjecture not found
% 43.24/23.30 Conjecture not found
% 43.24/23.32 Conjecture not found
% 43.37/23.38 Conjecture not found
% 43.37/23.41 Conjecture not found
% 43.50/23.46 Conjecture not found
% 43.69/23.50 Conjecture not found
% 44.09/23.64 Conjecture not found
% 44.09/23.68 Conjecture not found
% 44.14/23.71 Conjecture not found
% 44.14/23.74 Conjecture not found
% 44.20/23.78 Conjecture not found
% 44.20/23.79 Conjecture not found
% 44.25/23.81 Conjecture not found
% 44.25/23.84 Conjecture not found
% 44.52/23.95 Conjecture not found
% 44.87/24.03 Conjecture not found
% 44.95/24.05 Conjecture not found
% 44.95/24.09 Conjecture not found
% 44.95/24.10 Conjecture not found
% 45.02/24.13 Conjecture not found
% 45.02/24.16 Conjecture not found
% 45.06/24.17 Conjecture not found
% 45.06/24.19 Conjecture not found
% 45.06/24.22 Conjecture not found
% 45.06/24.25 Conjecture not found
% 45.16/24.29 Conjecture not found
% 45.19/24.31 Conjecture not found
% 45.19/24.32 Conjecture not found
% 45.23/24.34 Conjecture not found
% 45.23/24.35 Conjecture not found
% 45.23/24.37 Conjecture not found
% 45.46/24.45 Conjecture not found
% 45.85/24.48 Conjecture not found
% 45.85/24.49 Conjecture not found
% 45.85/24.50 Conjecture not found
% 45.85/24.53 Conjecture not found
% 45.85/24.55 Conjecture not found
% 45.94/24.57 Conjecture not found
% 45.96/24.59 Conjecture not found
% 45.96/24.60 Conjecture not found
% 46.00/24.62 Conjecture not found
% 46.03/24.66 Conjecture not found
% 46.03/24.68 Conjecture not found
% 46.03/24.69 Conjecture not found
% 46.03/24.71 Conjecture not found
% 46.11/24.76 Conjecture not found
% 46.11/24.77 Conjecture not found
% 46.74/24.92 Conjecture not found
% 46.74/24.93 Conjecture not found
% 46.78/24.95 Conjecture not found
% 46.94/25.10 Conjecture not found
% 46.94/25.13 Conjecture not found
% 46.94/25.15 Conjecture not found
% 47.02/25.17 Conjecture not found
% 47.02/25.22 Conjecture not found
% 47.11/25.26 Conjecture not found
% 47.11/25.30 Conjecture not found
% 47.11/25.33 Conjecture not found
% 47.39/25.38 Conjecture not found
% 47.86/25.51 Conjecture not found
% 47.86/25.51 Conjecture not found
% 47.91/25.58 Conjecture not found
% 47.91/25.60 Conjecture not found
% 47.91/25.63 Conjecture not found
% 47.91/25.64 Conjecture not found
% 48.01/25.65 Conjecture not found
% 48.01/25.66 Conjecture not found
% 48.01/25.69 Conjecture not found
% 48.06/25.71 Conjecture not found
% 48.06/25.72 Conjecture not found
% 48.06/25.74 Conjecture not found
% 48.17/25.78 Conjecture not found
% 48.17/25.80 Conjecture not found
% 48.75/25.87 Conjecture not found
% 48.75/25.90 Conjecture not found
% 48.86/25.98 Conjecture not found
% 48.86/26.01 Conjecture not found
% 48.91/26.04 Conjecture not found
% 48.93/26.09 Conjecture not found
% 49.00/26.13 Conjecture not found
% 49.05/26.17 Conjecture not found
% 49.05/26.19 Conjecture not found
% 49.05/26.21 Conjecture not found
% 49.05/26.25 Conjecture not found
% 49.75/26.37 Conjecture not found
% 50.65/26.77 Conjecture not found
% 50.65/26.79 Conjecture not found
% 50.65/26.82 Conjecture not found
% 50.73/26.85 Conjecture not found
% 50.73/26.86 Conjecture not found
% 50.73/26.87 Conjecture not found
% 50.73/26.87 Conjecture not found
% 50.78/26.89 Conjecture not found
% 50.78/26.90 Conjecture not found
% 50.78/26.91 Conjecture not found
% 50.78/26.92 Conjecture not found
% 50.84/26.96 Conjecture not found
% 50.88/27.03 Conjecture not found
% 50.95/27.08 Conjecture not found
% 51.12/27.13 Conjecture not found
% 51.49/27.20 Conjecture not found
% 51.49/27.21 Conjecture not found
% 51.49/27.23 Conjecture not found
% 51.71/27.28 Conjecture not found
% 51.75/27.29 Conjecture not found
% 51.75/27.31 Conjecture not found
% 51.75/27.33 Conjecture not found
% 51.80/27.34 Conjecture not found
% 51.82/27.41 Conjecture not found
% 51.89/27.47 Conjecture not found
% 51.94/27.53 Conjecture not found
% 52.04/27.58 Conjecture not found
% 52.04/27.59 Conjecture not found
% 52.27/27.67 Conjecture not found
% 52.27/27.71 Conjecture not found
% 52.69/27.72 Conjecture not found
% 52.69/27.72 Conjecture not found
% 52.69/27.75 Conjecture not found
% 52.69/27.77 Conjecture not found
% 52.75/27.77 Conjecture not found
% 52.75/27.82 Conjecture not found
% 52.75/27.82 Conjecture not found
% 52.75/27.84 Conjecture not found
% 52.75/27.85 Conjecture not found
% 52.83/27.86 Conjecture not found
% 52.83/27.88 Conjecture not found
% 52.86/27.90 Conjecture not found
% 52.86/27.91 Conjecture not found
% 52.94/27.97 Conjecture not found
% 52.94/28.00 Conjecture not found
% 52.94/28.01 Conjecture not found
% 52.94/28.02 Conjecture not found
% 53.57/28.14 Conjecture not found
% 53.57/28.14 Conjecture not found
% 53.71/28.18 Conjecture not found
% 53.71/28.20 Conjecture not found
% 53.85/28.31 Conjecture not found
% 53.85/28.33 Conjecture not found
% 53.90/28.36 Conjecture not found
% 53.95/28.40 Conjecture not found
% 53.95/28.43 Conjecture not found
% 53.95/28.45 Conjecture not found
% 54.01/28.50 Conjecture not found
% 54.43/28.60 Conjecture not found
% 54.81/28.66 Conjecture not found
% 54.81/28.67 Conjecture not found
% 54.81/28.69 Conjecture not found
% 54.88/28.75 Conjecture not found
% 54.88/28.79 Conjecture not found
% 54.98/28.85 Conjecture not found
% 54.98/28.87 Conjecture not found
% 54.98/28.88 Conjecture not found
% 54.98/28.89 Conjecture not found
% 55.04/28.91 Conjecture not found
% 55.04/28.94 Conjecture not found
% 55.04/28.95 Conjecture not found
% 55.25/28.98 Conjecture not found
% 55.64/29.05 Conjecture not found
% 55.64/29.13 Conjecture not found
% 55.84/29.15 Conjecture not found
% 55.84/29.19 Conjecture not found
% 55.92/29.24 Conjecture not found
% 55.92/29.25 Conjecture not found
% 55.99/29.36 Conjecture not found
% 55.99/29.37 Conjecture not found
% 56.10/29.39 Conjecture not found
% 56.10/29.41 Conjecture not found
% 56.13/29.44 Conjecture not found
% 56.22/29.57 Conjecture not found
% 56.64/29.64 Conjecture not found
% 57.01/29.67 Conjecture not found
% 57.01/29.68 Conjecture not found
% 57.01/29.68 Conjecture not found
% 57.02/29.70 Conjecture not found
% 57.02/29.71 Conjecture not found
% 57.08/29.80 Conjecture not found
% 57.08/29.81 Conjecture not found
% 57.22/29.89 Conjecture not found
% 57.22/29.94 Conjecture not found
% 57.22/29.96 Conjecture not found
% 57.51/30.00 Conjecture not found
% 57.76/30.02 Conjecture not found
% 57.89/30.05 Conjecture not found
% 57.89/30.07 Conjecture not found
% 57.89/30.09 Conjecture not found
% 58.08/30.12 Conjecture not found
% 58.08/30.15 Conjecture not found
% 58.08/30.16 Conjecture not found
% 58.15/30.22 Conjecture not found
% 58.23/30.30 Conjecture not found
% 58.27/30.32 Conjecture not found
% 58.31/30.35 Conjecture not found
% 58.31/30.36 Conjecture not found
% 58.31/30.38 Conjecture not found
% 58.31/30.39 Conjecture not found
% 58.38/30.43 Conjecture not found
% 58.38/30.46 Conjecture not found
% 59.19/30.60 Conjecture not found
% 59.48/30.89 Conjecture not found
% 60.32/31.09 Conjecture not found
% 60.37/31.10 Conjecture not found
% 60.42/31.15 Conjecture not found
% 60.53/31.26 Conjecture not found
% 60.53/31.30 Conjecture not found
% 60.53/31.31 Conjecture not found
% 60.53/31.32 Conjecture not found
% 60.62/31.36 Conjecture not found
% 60.62/31.38 Conjecture not found
% 60.67/31.44 Conjecture not found
% 60.80/31.47 Conjecture not found
% 60.80/31.49 Conjecture not found
% 61.20/31.53 Conjecture not found
% 61.45/31.57 Conjecture not found
% 61.45/31.58 Conjecture not found
% 61.45/31.59 Conjecture not found
% 61.45/31.60 Conjecture not found
% 61.59/31.69 Conjecture not found
% 61.59/31.70 Conjecture not found
% 61.59/31.73 Conjecture not found
% 61.68/31.78 Conjecture not found
% 61.68/31.79 Conjecture not found
% 61.68/31.79 Conjecture not found
% 61.68/31.80 Conjecture not found
% 61.68/31.80 Conjecture not found
% 61.68/31.81 Conjecture not found
% 61.74/31.84 Conjecture not found
% 61.74/31.85 Conjecture not found
% 61.77/31.90 Conjecture not found
% 62.48/32.06 Conjecture not found
% 62.61/32.08 Conjecture not found
% 62.64/32.09 Conjecture not found
% 62.64/32.10 Conjecture not found
% 62.68/32.14 Conjecture not found
% 62.68/32.16 Conjecture not found
% 62.76/32.22 Conjecture not found
% 62.76/32.24 Conjecture not found
% 62.76/32.25 Conjecture not found
% 62.76/32.26 Conjecture not found
% 62.82/32.32 Conjecture not found
% 62.82/32.34 Conjecture not found
% 62.91/32.38 Conjecture not found
% 62.93/32.40 Conjecture not found
% 62.93/32.41 Conjecture not found
% 62.97/32.42 Conjecture not found
% 62.98/32.45 Conjecture not found
% 62.98/32.45 Conjecture not found
% 62.98/32.46 Conjecture not found
% 62.98/32.48 Conjecture not found
% 63.40/32.52 Conjecture not found
% 63.40/32.57 Conjecture not found
% 63.80/32.64 Conjecture not found
% 63.90/32.68 Conjecture not found
% 63.95/32.76 Conjecture not found
% 64.04/32.81 Conjecture not found
% 64.04/32.84 Conjecture not found
% 64.04/32.87 Conjecture not found
% 64.11/32.90 Conjecture not found
% 64.11/32.95 Conjecture not found
% 64.24/33.02 Conjecture not found
% 64.27/33.07 Conjecture not found
% 64.69/33.19 Conjecture not found
% 65.10/33.23 Conjecture not found
% 65.10/33.24 Conjecture not found
% 65.17/33.29 Conjecture not found
% 65.17/33.30 Conjecture not found
% 65.17/33.31 Conjecture not found
% 65.17/33.37 Conjecture not found
% 65.32/33.42 Conjecture not found
% 65.33/33.43 Conjecture not found
% 65.33/33.46 Conjecture not found
% 65.33/33.48 Conjecture not found
% 65.33/33.49 Conjecture not found
% 65.33/33.49 Conjecture not found
% 65.40/33.51 Conjecture not found
% 65.40/33.57 Conjecture not found
% 65.48/33.59 Conjecture not found
% 65.48/33.62 Conjecture not found
% 66.06/33.70 Conjecture not found
% 66.30/33.73 Conjecture not found
% 66.35/33.78 Conjecture not found
% 66.35/33.78 Conjecture not found
% 66.35/33.80 Conjecture not found
% 66.40/33.84 Conjecture not found
% 66.46/33.90 Conjecture not found
% 66.55/33.95 Conjecture not found
% 66.55/33.96 Conjecture not found
% 66.59/34.01 Conjecture not found
% 66.65/34.04 Conjecture not found
% 66.65/34.06 Conjecture not found
% 67.02/34.13 Conjecture not found
% 67.02/34.15 Conjecture not found
% 67.44/34.17 Conjecture not found
% 67.44/34.24 Conjecture not found
% 67.44/34.25 Conjecture not found
% 67.44/34.26 Conjecture not found
% 67.61/34.29 Conjecture not found
% 67.61/34.30 Conjecture not found
% 67.61/34.30 Conjecture not found
% 67.65/34.32 Conjecture not found
% 67.70/34.41 Conjecture not found
% 67.79/34.47 Conjecture not found
% 67.83/34.49 Conjecture not found
% 67.83/34.50 Conjecture not found
% 67.83/34.52 Conjecture not found
% 67.89/34.55 Conjecture not found
% 67.89/34.59 Conjecture not found
% 68.89/34.79 Conjecture not found
% 68.97/34.92 Conjecture not found
% 69.03/34.94 Conjecture not found
% 69.06/34.98 Conjecture not found
% 69.13/35.06 Conjecture not found
% 69.17/35.08 Conjecture not found
% 69.17/35.13 Conjecture not found
% 69.24/35.14 Conjecture not found
% 69.24/35.15 Conjecture not found
% 69.24/35.16 Conjecture not found
% 69.27/35.19 Conjecture not found
% 69.27/35.21 Conjecture not found
% 69.27/35.22 Conjecture not found
% 69.33/35.23 Conjecture not found
% 69.33/35.24 Conjecture not found
% 69.36/35.26 Conjecture not found
% 69.36/35.26 Conjecture not found
% 69.73/35.33 Conjecture not found
% 70.18/35.41 Conjecture not found
% 70.18/35.43 Conjecture not found
% 70.18/35.45 Conjecture not found
% 70.30/35.49 Conjecture not found
% 70.30/35.53 Conjecture not found
% 70.35/35.54 Conjecture not found
% 70.42/35.63 Conjecture not found
% 70.42/35.64 Conjecture not found
% 70.42/35.65 Conjecture not found
% 70.42/35.66 Conjecture not found
% 70.48/35.70 Conjecture not found
% 70.48/35.72 Conjecture not found
% 71.76/36.25 Conjecture not found
% 71.76/36.28 Conjecture not found
% 71.84/36.30 Conjecture not found
% 71.84/36.35 Conjecture not found
% 71.97/36.42 Conjecture not found
% 71.97/36.44 Conjecture not found
% 72.60/36.58 Conjecture not found
% 72.91/36.61 Conjecture not found
% 72.91/36.65 Conjecture not found
% 72.98/36.69 Conjecture not found
% 72.98/36.72 Conjecture not found
% 72.98/36.76 Conjecture not found
% 73.10/36.81 Conjecture not found
% 73.13/36.84 Conjecture not found
% 73.13/36.86 Conjecture not found
% 73.13/36.86 Start search
% 171.09/60.82 nb_step : 1 - limit : 175652
% 172.51/61.63 Launch Gotab with destructive = true
%------------------------------------------------------------------------------