TSTP Solution File: SEU441+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : SEU441+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n001.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:15 EDT 2022
% Result : Timeout 300.78s 105.62s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : SEU441+4 : TPTP v8.1.0. Released v3.4.0.
% 0.06/0.12 % Command : goeland -dmt -presko -proof %s
% 0.12/0.33 % Computer : n001.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 300
% 0.12/0.33 % DateTime : Sat Sep 3 15:05:37 EDT 2022
% 0.12/0.33 % CPUTime :
% 0.12/0.34 [DMT] DMT loaded with preskolemization
% 0.12/0.34 [EQ] equality loaded.
% 0.12/0.34 [0.000036s][1][MAIN] Problem : theBenchmark.p
% 0.12/0.39 Conjecture not found
% 0.18/0.39 Conjecture not found
% 0.18/0.40 Conjecture not found
% 0.18/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.45/0.52 Conjecture not found
% 0.48/0.55 Conjecture not found
% 0.48/0.56 Conjecture not found
% 0.48/0.56 Conjecture not found
% 0.48/0.57 Conjecture not found
% 0.48/0.59 Conjecture not found
% 0.48/0.61 Conjecture not found
% 0.66/0.65 Conjecture not found
% 0.78/0.72 Conjecture not found
% 0.78/0.72 Conjecture not found
% 0.90/0.79 Conjecture not found
% 1.05/0.84 Conjecture not found
% 1.05/0.92 Conjecture not found
% 1.22/0.95 Conjecture not found
% 1.35/1.01 Conjecture not found
% 1.35/1.05 Conjecture not found
% 1.47/1.09 Conjecture not found
% 1.55/1.12 Conjecture not found
% 1.60/1.15 Conjecture not found
% 1.60/1.16 Conjecture not found
% 1.60/1.17 Conjecture not found
% 1.60/1.17 Conjecture not found
% 1.60/1.18 Conjecture not found
% 1.77/1.27 Conjecture not found
% 1.86/1.30 Conjecture not found
% 1.86/1.30 Conjecture not found
% 1.86/1.32 Conjecture not found
% 1.86/1.32 Conjecture not found
% 1.86/1.32 Conjecture not found
% 1.86/1.32 Conjecture not found
% 1.86/1.33 Conjecture not found
% 1.86/1.34 Conjecture not found
% 2.00/1.39 Conjecture not found
% 2.10/1.44 Conjecture not found
% 2.10/1.44 Conjecture not found
% 2.10/1.44 Conjecture not found
% 2.17/1.46 Conjecture not found
% 2.17/1.47 Conjecture not found
% 2.17/1.49 Conjecture not found
% 2.17/1.50 Conjecture not found
% 2.17/1.53 Conjecture not found
% 2.30/1.54 Conjecture not found
% 2.30/1.56 Conjecture not found
% 2.30/1.57 Conjecture not found
% 2.40/1.58 Conjecture not found
% 2.40/1.61 Conjecture not found
% 2.52/1.68 Conjecture not found
% 2.57/1.73 Conjecture not found
% 2.66/1.74 Conjecture not found
% 2.68/1.76 Conjecture not found
% 2.68/1.79 Conjecture not found
% 2.82/1.82 Conjecture not found
% 2.82/1.83 Conjecture not found
% 2.82/1.86 Conjecture not found
% 3.02/1.94 Conjecture not found
% 3.09/1.98 Conjecture not found
% 3.09/2.00 Conjecture not found
% 3.09/2.02 Conjecture not found
% 3.18/2.04 Conjecture not found
% 3.20/2.06 Conjecture not found
% 3.42/2.24 Conjecture not found
% 3.59/2.27 Conjecture not found
% 3.59/2.29 Conjecture not found
% 3.83/2.40 Conjecture not found
% 3.83/2.42 Conjecture not found
% 3.83/2.43 Conjecture not found
% 3.83/2.46 Conjecture not found
% 3.94/2.50 Conjecture not found
% 4.09/2.57 Conjecture not found
% 4.26/2.65 Conjecture not found
% 4.41/2.73 Conjecture not found
% 4.53/2.78 Conjecture not found
% 4.53/2.79 Conjecture not found
% 4.53/2.83 Conjecture not found
% 4.53/2.84 Conjecture not found
% 4.53/2.88 Conjecture not found
% 4.70/2.90 Conjecture not found
% 4.71/2.93 Conjecture not found
% 4.71/2.94 Conjecture not found
% 4.91/3.00 Conjecture not found
% 4.91/3.01 Conjecture not found
% 4.91/3.05 Conjecture not found
% 5.05/3.13 Conjecture not found
% 5.30/3.22 Conjecture not found
% 5.53/3.37 Conjecture not found
% 5.98/3.59 Conjecture not found
% 6.60/3.90 Conjecture not found
% 6.60/3.92 Conjecture not found
% 6.60/3.96 Conjecture not found
% 6.89/4.08 Conjecture not found
% 6.89/4.12 Conjecture not found
% 7.06/4.17 Conjecture not found
% 7.14/4.23 Conjecture not found
% 7.27/4.29 Conjecture not found
% 7.27/4.36 Conjecture not found
% 7.54/4.40 Conjecture not found
% 7.54/4.43 Conjecture not found
% 7.58/4.44 Conjecture not found
% 7.58/4.47 Conjecture not found
% 7.58/4.48 Conjecture not found
% 7.78/4.57 Conjecture not found
% 7.78/4.66 Conjecture not found
% 8.08/4.72 Conjecture not found
% 8.11/4.83 Conjecture not found
% 8.28/4.86 Conjecture not found
% 8.33/4.90 Conjecture not found
% 8.33/4.93 Conjecture not found
% 8.33/4.94 Conjecture not found
% 8.49/4.97 Conjecture not found
% 8.49/5.00 Conjecture not found
% 8.63/5.02 Conjecture not found
% 8.67/5.06 Conjecture not found
% 8.67/5.06 Conjecture not found
% 8.67/5.08 Conjecture not found
% 8.67/5.09 Conjecture not found
% 8.83/5.14 Conjecture not found
% 8.83/5.16 Conjecture not found
% 8.89/5.21 Conjecture not found
% 9.07/5.26 Conjecture not found
% 9.35/5.46 Conjecture not found
% 9.35/5.51 Conjecture not found
% 9.35/5.52 Conjecture not found
% 9.35/5.54 Conjecture not found
% 9.53/5.57 Conjecture not found
% 9.56/5.61 Conjecture not found
% 9.72/5.66 Conjecture not found
% 9.72/5.67 Conjecture not found
% 9.72/5.70 Conjecture not found
% 9.79/5.73 Conjecture not found
% 9.95/5.81 Conjecture not found
% 10.86/6.31 Conjecture not found
% 11.76/6.85 Conjecture not found
% 12.10/6.98 Conjecture not found
% 12.15/7.04 Conjecture not found
% 12.15/7.06 Conjecture not found
% 12.15/7.07 Conjecture not found
% 12.15/7.12 Conjecture not found
% 12.15/7.13 Conjecture not found
% 12.36/7.14 Conjecture not found
% 12.36/7.17 Conjecture not found
% 12.55/7.24 Conjecture not found
% 12.55/7.27 Conjecture not found
% 12.62/7.29 Conjecture not found
% 12.62/7.30 Conjecture not found
% 12.62/7.35 Conjecture not found
% 12.80/7.39 Conjecture not found
% 12.91/7.44 Conjecture not found
% 12.91/7.49 Conjecture not found
% 13.04/7.54 Conjecture not found
% 13.04/7.56 Conjecture not found
% 13.04/7.58 Conjecture not found
% 13.23/7.62 Conjecture not found
% 13.23/7.64 Conjecture not found
% 13.23/7.67 Conjecture not found
% 13.45/7.72 Conjecture not found
% 13.47/7.74 Conjecture not found
% 13.47/7.80 Conjecture not found
% 13.59/7.86 Conjecture not found
% 13.59/7.88 Conjecture not found
% 13.74/7.90 Conjecture not found
% 13.74/7.92 Conjecture not found
% 13.74/7.94 Conjecture not found
% 13.74/7.96 Conjecture not found
% 13.81/7.98 Conjecture not found
% 13.97/8.01 Conjecture not found
% 14.00/8.04 Conjecture not found
% 14.00/8.05 Conjecture not found
% 14.00/8.09 Conjecture not found
% 14.00/8.11 Conjecture not found
% 14.15/8.14 Conjecture not found
% 14.15/8.18 Conjecture not found
% 14.28/8.20 Conjecture not found
% 14.28/8.22 Conjecture not found
% 14.28/8.23 Conjecture not found
% 14.28/8.25 Conjecture not found
% 14.49/8.29 Conjecture not found
% 14.49/8.31 Conjecture not found
% 14.52/8.35 Conjecture not found
% 14.55/8.37 Conjecture not found
% 14.55/8.39 Conjecture not found
% 14.74/8.43 Conjecture not found
% 14.74/8.44 Conjecture not found
% 14.74/8.47 Conjecture not found
% 14.80/8.52 Conjecture not found
% 14.80/8.53 Conjecture not found
% 14.80/8.54 Conjecture not found
% 14.87/8.55 Conjecture not found
% 14.95/8.58 Conjecture not found
% 14.95/8.59 Conjecture not found
% 14.95/8.60 Conjecture not found
% 14.95/8.60 Conjecture not found
% 15.10/8.65 Conjecture not found
% 15.17/8.75 Conjecture not found
% 15.17/8.76 Conjecture not found
% 15.35/8.79 Conjecture not found
% 15.35/8.82 Conjecture not found
% 15.35/8.84 Conjecture not found
% 15.35/8.86 Conjecture not found
% 15.44/8.88 Conjecture not found
% 15.46/8.91 Conjecture not found
% 15.68/8.97 Conjecture not found
% 15.73/9.01 Conjecture not found
% 15.73/9.04 Conjecture not found
% 15.86/9.10 Conjecture not found
% 16.25/9.25 Conjecture not found
% 16.31/9.33 Conjecture not found
% 16.38/9.38 Conjecture not found
% 16.38/9.40 Conjecture not found
% 16.38/9.43 Conjecture not found
% 16.61/9.49 Conjecture not found
% 16.65/9.52 Conjecture not found
% 16.68/9.54 Conjecture not found
% 16.93/9.64 Conjecture not found
% 16.98/9.71 Conjecture not found
% 17.21/9.77 Conjecture not found
% 17.25/9.83 Conjecture not found
% 17.28/9.87 Conjecture not found
% 17.28/9.89 Conjecture not found
% 17.52/9.95 Conjecture not found
% 17.60/10.01 Conjecture not found
% 17.67/10.08 Conjecture not found
% 17.96/10.22 Conjecture not found
% 17.96/10.24 Conjecture not found
% 17.96/10.27 Conjecture not found
% 17.96/10.29 Conjecture not found
% 18.03/10.31 Conjecture not found
% 18.28/10.40 Conjecture not found
% 18.33/10.48 Conjecture not found
% 18.33/10.49 Conjecture not found
% 18.42/10.53 Conjecture not found
% 19.04/10.81 Conjecture not found
% 19.04/10.87 Conjecture not found
% 19.13/10.90 Conjecture not found
% 19.13/10.94 Conjecture not found
% 19.13/10.96 Conjecture not found
% 19.13/10.97 Conjecture not found
% 19.37/11.06 Conjecture not found
% 19.49/11.13 Conjecture not found
% 19.80/11.24 Conjecture not found
% 19.86/11.29 Conjecture not found
% 19.86/11.31 Conjecture not found
% 20.20/11.44 Conjecture not found
% 20.20/11.49 Conjecture not found
% 20.30/11.57 Conjecture not found
% 20.47/11.63 Conjecture not found
% 20.55/11.68 Conjecture not found
% 20.58/11.69 Conjecture not found
% 20.58/11.72 Conjecture not found
% 20.58/11.73 Conjecture not found
% 20.62/11.74 Conjecture not found
% 20.65/11.80 Conjecture not found
% 20.90/11.84 Conjecture not found
% 20.90/11.86 Conjecture not found
% 20.94/11.88 Conjecture not found
% 20.94/11.93 Conjecture not found
% 21.01/11.94 Conjecture not found
% 21.01/11.97 Conjecture not found
% 21.14/12.01 Conjecture not found
% 21.39/12.13 Conjecture not found
% 21.39/12.14 Conjecture not found
% 21.49/12.21 Conjecture not found
% 21.49/12.22 Conjecture not found
% 21.49/12.22 Conjecture not found
% 21.49/12.23 Conjecture not found
% 21.49/12.24 Conjecture not found
% 21.75/12.30 Conjecture not found
% 21.75/12.31 Conjecture not found
% 21.75/12.32 Conjecture not found
% 21.82/12.40 Conjecture not found
% 22.10/12.49 Conjecture not found
% 22.19/12.56 Conjecture not found
% 22.19/12.57 Conjecture not found
% 22.56/12.74 Conjecture not found
% 22.96/12.90 Conjecture not found
% 22.96/12.93 Conjecture not found
% 23.00/12.97 Conjecture not found
% 23.00/12.99 Conjecture not found
% 23.00/13.00 Conjecture not found
% 23.34/13.12 Conjecture not found
% 23.41/13.19 Conjecture not found
% 23.46/13.22 Conjecture not found
% 23.46/13.24 Conjecture not found
% 23.81/13.37 Conjecture not found
% 23.88/13.41 Conjecture not found
% 23.88/13.42 Conjecture not found
% 24.04/13.48 Conjecture not found
% 24.21/13.55 Conjecture not found
% 24.21/13.57 Conjecture not found
% 24.21/13.60 Conjecture not found
% 24.30/13.67 Conjecture not found
% 24.37/13.69 Conjecture not found
% 24.37/13.70 Conjecture not found
% 24.67/13.79 Conjecture not found
% 24.72/13.85 Conjecture not found
% 24.72/13.85 Conjecture not found
% 24.72/13.90 Conjecture not found
% 24.81/13.97 Conjecture not found
% 25.09/14.00 Conjecture not found
% 25.09/14.04 Conjecture not found
% 25.20/14.10 Conjecture not found
% 25.20/14.11 Conjecture not found
% 25.22/14.18 Conjecture not found
% 25.59/14.31 Conjecture not found
% 25.67/14.40 Conjecture not found
% 25.69/14.41 Conjecture not found
% 25.72/14.47 Conjecture not found
% 25.72/14.50 Conjecture not found
% 25.72/14.53 Conjecture not found
% 26.06/14.53 Conjecture not found
% 26.06/14.54 Conjecture not found
% 26.06/14.57 Conjecture not found
% 26.06/14.59 Conjecture not found
% 26.13/14.66 Conjecture not found
% 26.20/14.75 Conjecture not found
% 26.58/14.82 Conjecture not found
% 26.59/14.84 Conjecture not found
% 26.59/14.85 Conjecture not found
% 26.59/14.90 Conjecture not found
% 26.67/14.91 Conjecture not found
% 26.67/14.92 Conjecture not found
% 26.76/15.06 Conjecture not found
% 27.02/15.09 Conjecture not found
% 27.10/15.15 Conjecture not found
% 27.16/15.23 Conjecture not found
% 27.16/15.25 Conjecture not found
% 27.21/15.29 Conjecture not found
% 27.65/15.49 Conjecture not found
% 27.95/15.56 Conjecture not found
% 27.95/15.58 Conjecture not found
% 28.12/15.69 Conjecture not found
% 28.12/15.70 Conjecture not found
% 28.17/15.75 Conjecture not found
% 28.21/15.77 Conjecture not found
% 28.59/15.91 Conjecture not found
% 28.65/15.96 Conjecture not found
% 28.65/15.97 Conjecture not found
% 28.65/15.99 Conjecture not found
% 28.71/16.02 Conjecture not found
% 28.76/16.06 Conjecture not found
% 29.10/16.17 Conjecture not found
% 29.15/16.19 Conjecture not found
% 29.15/16.19 Conjecture not found
% 29.15/16.20 Conjecture not found
% 29.15/16.24 Conjecture not found
% 29.15/16.25 Conjecture not found
% 29.22/16.30 Conjecture not found
% 29.65/16.43 Conjecture not found
% 29.69/16.49 Conjecture not found
% 29.69/16.51 Conjecture not found
% 29.69/16.53 Conjecture not found
% 29.69/16.54 Conjecture not found
% 29.78/16.59 Conjecture not found
% 29.91/16.62 Conjecture not found
% 29.91/16.64 Conjecture not found
% 30.13/16.69 Conjecture not found
% 30.21/16.74 Conjecture not found
% 30.26/16.79 Conjecture not found
% 30.26/16.81 Conjecture not found
% 30.26/16.84 Conjecture not found
% 30.67/16.96 Conjecture not found
% 30.67/17.00 Conjecture not found
% 30.67/17.01 Conjecture not found
% 30.81/17.09 Conjecture not found
% 30.81/17.11 Conjecture not found
% 30.81/17.15 Conjecture not found
% 30.89/17.17 Conjecture not found
% 30.91/17.21 Conjecture not found
% 31.22/17.24 Conjecture not found
% 31.24/17.28 Conjecture not found
% 31.24/17.29 Conjecture not found
% 31.39/17.39 Conjecture not found
% 31.39/17.40 Conjecture not found
% 31.39/17.41 Conjecture not found
% 31.39/17.45 Conjecture not found
% 31.77/17.51 Conjecture not found
% 31.79/17.55 Conjecture not found
% 31.79/17.56 Conjecture not found
% 31.79/17.60 Conjecture not found
% 31.90/17.62 Conjecture not found
% 31.90/17.67 Conjecture not found
% 31.98/17.69 Conjecture not found
% 31.98/17.72 Conjecture not found
% 31.98/17.76 Conjecture not found
% 32.35/17.78 Conjecture not found
% 32.36/17.80 Conjecture not found
% 32.40/17.85 Conjecture not found
% 32.40/17.89 Conjecture not found
% 32.40/17.92 Conjecture not found
% 32.49/17.95 Conjecture not found
% 32.49/17.96 Conjecture not found
% 32.58/18.01 Conjecture not found
% 32.93/18.10 Conjecture not found
% 32.93/18.13 Conjecture not found
% 32.93/18.15 Conjecture not found
% 32.93/18.17 Conjecture not found
% 33.05/18.19 Conjecture not found
% 33.05/18.20 Conjecture not found
% 33.08/18.22 Conjecture not found
% 33.08/18.24 Conjecture not found
% 33.08/18.26 Conjecture not found
% 33.08/18.27 Conjecture not found
% 33.33/18.35 Conjecture not found
% 33.54/18.42 Conjecture not found
% 33.75/18.63 Conjecture not found
% 33.81/18.68 Conjecture not found
% 33.90/18.76 Conjecture not found
% 34.37/18.91 Conjecture not found
% 34.53/19.08 Conjecture not found
% 34.61/19.16 Conjecture not found
% 34.70/19.26 Conjecture not found
% 34.80/19.31 Conjecture not found
% 34.80/19.34 Conjecture not found
% 35.12/19.36 Conjecture not found
% 35.12/19.39 Conjecture not found
% 35.17/19.42 Conjecture not found
% 35.21/19.46 Conjecture not found
% 35.21/19.47 Conjecture not found
% 35.21/19.52 Conjecture not found
% 35.31/19.55 Conjecture not found
% 35.36/19.63 Conjecture not found
% 35.51/19.75 Conjecture not found
% 35.51/19.81 Conjecture not found
% 35.93/19.90 Conjecture not found
% 35.93/19.92 Conjecture not found
% 35.93/19.95 Conjecture not found
% 36.12/20.07 Conjecture not found
% 36.26/20.24 Conjecture not found
% 36.35/20.29 Conjecture not found
% 36.39/20.32 Conjecture not found
% 36.84/20.52 Conjecture not found
% 36.95/20.59 Conjecture not found
% 37.00/20.65 Conjecture not found
% 37.00/20.70 Conjecture not found
% 37.09/20.73 Conjecture not found
% 37.16/20.84 Conjecture not found
% 37.16/20.87 Conjecture not found
% 37.25/20.88 Conjecture not found
% 37.28/20.97 Conjecture not found
% 37.73/21.01 Conjecture not found
% 37.73/21.04 Conjecture not found
% 37.73/21.08 Conjecture not found
% 37.81/21.10 Conjecture not found
% 37.91/21.18 Conjecture not found
% 37.95/21.27 Conjecture not found
% 38.05/21.36 Conjecture not found
% 38.13/21.45 Conjecture not found
% 38.68/21.67 Conjecture not found
% 38.68/21.69 Conjecture not found
% 38.76/21.73 Conjecture not found
% 38.76/21.75 Conjecture not found
% 38.84/21.79 Conjecture not found
% 38.84/21.82 Conjecture not found
% 38.84/21.83 Conjecture not found
% 39.00/21.96 Conjecture not found
% 39.00/21.98 Conjecture not found
% 39.06/22.01 Conjecture not found
% 39.37/22.10 Conjecture not found
% 39.37/22.12 Conjecture not found
% 39.55/22.16 Conjecture not found
% 39.58/22.22 Conjecture not found
% 39.64/22.25 Conjecture not found
% 39.64/22.30 Conjecture not found
% 39.76/22.38 Conjecture not found
% 39.76/22.42 Conjecture not found
% 39.86/22.49 Conjecture not found
% 39.90/22.51 Conjecture not found
% 39.90/22.54 Conjecture not found
% 39.94/22.56 Conjecture not found
% 40.17/22.68 Conjecture not found
% 40.55/22.81 Conjecture not found
% 40.59/22.87 Conjecture not found
% 40.69/22.97 Conjecture not found
% 40.74/23.04 Conjecture not found
% 40.74/23.06 Conjecture not found
% 40.82/23.11 Conjecture not found
% 41.09/23.25 Conjecture not found
% 41.39/23.33 Conjecture not found
% 41.48/23.38 Conjecture not found
% 41.55/23.45 Conjecture not found
% 41.55/23.49 Conjecture not found
% 41.63/23.57 Conjecture not found
% 41.70/23.64 Conjecture not found
% 41.77/23.68 Conjecture not found
% 41.84/23.74 Conjecture not found
% 41.84/23.80 Conjecture not found
% 41.92/23.85 Conjecture not found
% 42.22/23.90 Conjecture not found
% 42.22/23.95 Conjecture not found
% 42.44/23.97 Conjecture not found
% 42.50/24.04 Conjecture not found
% 42.50/24.11 Conjecture not found
% 42.67/24.20 Conjecture not found
% 42.67/24.22 Conjecture not found
% 42.67/24.28 Conjecture not found
% 42.79/24.35 Conjecture not found
% 42.79/24.41 Conjecture not found
% 42.89/24.44 Conjecture not found
% 43.15/24.53 Conjecture not found
% 43.15/24.55 Conjecture not found
% 43.15/24.58 Conjecture not found
% 43.47/24.65 Conjecture not found
% 43.47/24.68 Conjecture not found
% 43.57/24.73 Conjecture not found
% 43.65/24.81 Conjecture not found
% 43.65/24.82 Conjecture not found
% 43.72/24.95 Conjecture not found
% 43.81/24.97 Conjecture not found
% 43.83/25.00 Conjecture not found
% 43.87/25.03 Conjecture not found
% 43.87/25.10 Conjecture not found
% 43.95/25.14 Conjecture not found
% 44.16/25.22 Conjecture not found
% 44.16/25.27 Conjecture not found
% 44.50/25.29 Conjecture not found
% 44.57/25.38 Conjecture not found
% 44.70/25.48 Conjecture not found
% 44.88/25.66 Conjecture not found
% 44.88/25.69 Conjecture not found
% 44.95/25.71 Conjecture not found
% 44.95/25.73 Conjecture not found
% 45.56/25.92 Conjecture not found
% 45.56/25.95 Conjecture not found
% 45.61/25.99 Conjecture not found
% 45.70/26.05 Conjecture not found
% 45.86/26.21 Conjecture not found
% 45.90/26.27 Conjecture not found
% 46.20/26.53 Conjecture not found
% 46.44/26.57 Conjecture not found
% 46.76/26.68 Conjecture not found
% 46.76/26.69 Conjecture not found
% 46.76/26.70 Conjecture not found
% 46.76/26.72 Conjecture not found
% 46.85/26.78 Conjecture not found
% 46.93/26.86 Conjecture not found
% 46.93/26.90 Conjecture not found
% 47.01/26.93 Conjecture not found
% 47.07/26.99 Conjecture not found
% 47.20/27.12 Conjecture not found
% 47.21/27.14 Conjecture not found
% 47.21/27.19 Conjecture not found
% 47.74/27.33 Conjecture not found
% 47.85/27.37 Conjecture not found
% 47.92/27.47 Conjecture not found
% 48.01/27.54 Conjecture not found
% 48.08/27.61 Conjecture not found
% 48.08/27.66 Conjecture not found
% 48.30/27.84 Conjecture not found
% 48.37/27.91 Conjecture not found
% 48.37/27.96 Conjecture not found
% 48.48/28.02 Conjecture not found
% 48.52/28.12 Conjecture not found
% 49.04/28.14 Conjecture not found
% 49.04/28.17 Conjecture not found
% 49.12/28.22 Conjecture not found
% 49.30/28.40 Conjecture not found
% 49.34/28.47 Conjecture not found
% 49.34/28.49 Conjecture not found
% 49.42/28.56 Conjecture not found
% 49.49/28.58 Conjecture not found
% 49.49/28.63 Conjecture not found
% 49.58/28.68 Conjecture not found
% 49.61/28.71 Conjecture not found
% 49.65/28.73 Conjecture not found
% 50.04/28.82 Conjecture not found
% 50.24/28.87 Conjecture not found
% 50.24/28.94 Conjecture not found
% 50.33/28.98 Conjecture not found
% 50.36/28.99 Conjecture not found
% 50.41/29.04 Conjecture not found
% 50.41/29.06 Conjecture not found
% 50.41/29.10 Conjecture not found
% 50.54/29.21 Conjecture not found
% 50.54/29.24 Conjecture not found
% 50.54/29.25 Conjecture not found
% 50.64/29.27 Conjecture not found
% 50.64/29.30 Conjecture not found
% 50.69/29.34 Conjecture not found
% 50.73/29.38 Conjecture not found
% 50.73/29.42 Conjecture not found
% 50.82/29.44 Conjecture not found
% 50.82/29.48 Conjecture not found
% 50.93/29.57 Conjecture not found
% 50.93/29.60 Conjecture not found
% 51.28/29.64 Conjecture not found
% 51.48/29.67 Conjecture not found
% 51.58/29.76 Conjecture not found
% 51.58/29.78 Conjecture not found
% 51.78/29.96 Conjecture not found
% 51.78/29.97 Conjecture not found
% 51.78/29.99 Conjecture not found
% 52.08/30.29 Conjecture not found
% 52.22/30.35 Conjecture not found
% 52.67/30.41 Conjecture not found
% 52.67/30.43 Conjecture not found
% 52.78/30.51 Conjecture not found
% 52.83/30.58 Conjecture not found
% 52.90/30.66 Conjecture not found
% 52.97/30.73 Conjecture not found
% 53.08/30.80 Conjecture not found
% 53.22/30.98 Conjecture not found
% 53.28/30.99 Conjecture not found
% 53.46/31.14 Conjecture not found
% 53.46/31.19 Conjecture not found
% 53.97/31.25 Conjecture not found
% 53.97/31.27 Conjecture not found
% 54.05/31.29 Conjecture not found
% 54.05/31.31 Conjecture not found
% 54.05/31.37 Conjecture not found
% 54.14/31.40 Conjecture not found
% 54.16/31.42 Conjecture not found
% 54.19/31.45 Conjecture not found
% 54.19/31.51 Conjecture not found
% 54.28/31.54 Conjecture not found
% 54.28/31.60 Conjecture not found
% 54.36/31.64 Conjecture not found
% 54.55/31.81 Conjecture not found
% 54.58/31.87 Conjecture not found
% 54.66/31.94 Conjecture not found
% 55.08/32.05 Conjecture not found
% 55.31/32.12 Conjecture not found
% 55.35/32.20 Conjecture not found
% 55.42/32.24 Conjecture not found
% 55.42/32.27 Conjecture not found
% 55.48/32.34 Conjecture not found
% 55.65/32.47 Conjecture not found
% 56.88/33.17 Conjecture not found
% 56.88/33.20 Conjecture not found
% 56.98/33.28 Conjecture not found
% 57.04/33.34 Conjecture not found
% 57.04/33.37 Conjecture not found
% 57.04/33.39 Conjecture not found
% 57.04/33.41 Conjecture not found
% 57.13/33.44 Conjecture not found
% 57.13/33.47 Conjecture not found
% 57.19/33.49 Conjecture not found
% 57.19/33.52 Conjecture not found
% 57.84/33.66 Conjecture not found
% 58.01/33.83 Conjecture not found
% 58.13/33.95 Conjecture not found
% 58.22/34.02 Conjecture not found
% 58.29/34.10 Conjecture not found
% 58.29/34.13 Conjecture not found
% 58.29/34.16 Conjecture not found
% 58.43/34.25 Conjecture not found
% 58.43/34.28 Conjecture not found
% 58.43/34.31 Conjecture not found
% 58.53/34.34 Conjecture not found
% 58.53/34.37 Conjecture not found
% 59.02/34.50 Conjecture not found
% 59.02/34.56 Conjecture not found
% 59.34/34.63 Conjecture not found
% 59.43/34.72 Conjecture not found
% 59.43/34.73 Conjecture not found
% 59.52/34.85 Conjecture not found
% 59.63/34.91 Conjecture not found
% 59.66/34.93 Conjecture not found
% 59.66/34.95 Conjecture not found
% 59.75/35.02 Conjecture not found
% 59.75/35.05 Conjecture not found
% 59.75/35.07 Conjecture not found
% 59.91/35.19 Conjecture not found
% 59.91/35.20 Conjecture not found
% 59.95/35.23 Conjecture not found
% 59.95/35.26 Conjecture not found
% 60.30/35.33 Conjecture not found
% 60.60/35.39 Conjecture not found
% 60.60/35.43 Conjecture not found
% 60.60/35.46 Conjecture not found
% 60.75/35.60 Conjecture not found
% 60.82/35.64 Conjecture not found
% 60.82/35.65 Conjecture not found
% 60.88/35.67 Conjecture not found
% 61.03/35.84 Conjecture not found
% 61.05/35.85 Conjecture not found
% 61.12/35.92 Conjecture not found
% 61.18/35.97 Conjecture not found
% 61.35/36.17 Conjecture not found
% 61.41/36.25 Conjecture not found
% 61.74/36.33 Conjecture not found
% 62.12/36.40 Conjecture not found
% 62.16/36.47 Conjecture not found
% 62.22/36.50 Conjecture not found
% 62.29/36.59 Conjecture not found
% 62.43/36.73 Conjecture not found
% 62.54/36.85 Conjecture not found
% 62.60/36.89 Conjecture not found
% 62.60/36.92 Conjecture not found
% 62.76/37.07 Conjecture not found
% 63.48/37.21 Conjecture not found
% 63.60/37.36 Conjecture not found
% 63.60/37.41 Conjecture not found
% 63.69/37.43 Conjecture not found
% 63.69/37.47 Conjecture not found
% 63.76/37.50 Conjecture not found
% 63.85/37.58 Conjecture not found
% 63.87/37.59 Conjecture not found
% 63.89/37.61 Conjecture not found
% 63.90/37.66 Conjecture not found
% 64.00/37.75 Conjecture not found
% 64.00/37.77 Conjecture not found
% 64.08/37.83 Conjecture not found
% 64.18/37.91 Conjecture not found
% 64.19/37.92 Conjecture not found
% 64.58/38.15 Conjecture not found
% 64.58/38.16 Conjecture not found
% 65.03/38.20 Conjecture not found
% 65.07/38.22 Conjecture not found
% 65.07/38.29 Conjecture not found
% 65.33/38.50 Conjecture not found
% 65.43/38.59 Conjecture not found
% 65.47/38.65 Conjecture not found
% 65.47/38.66 Conjecture not found
% 65.47/38.67 Conjecture not found
% 65.56/38.72 Conjecture not found
% 65.56/38.73 Conjecture not found
% 65.78/38.96 Conjecture not found
% 65.78/39.00 Conjecture not found
% 66.62/39.22 Conjecture not found
% 66.75/39.34 Conjecture not found
% 66.81/39.39 Conjecture not found
% 66.81/39.43 Conjecture not found
% 66.81/39.45 Conjecture not found
% 66.91/39.48 Conjecture not found
% 66.94/39.50 Conjecture not found
% 66.94/39.53 Conjecture not found
% 66.99/39.60 Conjecture not found
% 67.08/39.68 Conjecture not found
% 67.14/39.70 Conjecture not found
% 67.28/39.85 Conjecture not found
% 67.88/40.10 Conjecture not found
% 68.14/40.15 Conjecture not found
% 68.14/40.22 Conjecture not found
% 68.22/40.25 Conjecture not found
% 68.28/40.29 Conjecture not found
% 68.28/40.33 Conjecture not found
% 68.37/40.40 Conjecture not found
% 68.44/40.44 Conjecture not found
% 68.59/40.64 Conjecture not found
% 69.80/41.24 Conjecture not found
% 70.11/41.55 Conjecture not found
% 70.11/41.57 Conjecture not found
% 70.24/41.67 Conjecture not found
% 70.43/41.87 Conjecture not found
% 70.50/41.94 Conjecture not found
% 70.50/41.96 Conjecture not found
% 70.59/41.97 Conjecture not found
% 70.82/42.09 Conjecture not found
% 71.35/42.12 Conjecture not found
% 71.42/42.26 Conjecture not found
% 71.54/42.31 Conjecture not found
% 71.57/42.33 Conjecture not found
% 71.58/42.36 Conjecture not found
% 71.65/42.42 Conjecture not found
% 71.65/42.46 Conjecture not found
% 71.71/42.48 Conjecture not found
% 71.71/42.51 Conjecture not found
% 71.95/42.73 Conjecture not found
% 71.95/42.76 Conjecture not found
% 72.01/42.84 Conjecture not found
% 72.14/42.95 Conjecture not found
% 72.19/42.96 Conjecture not found
% 72.19/42.97 Conjecture not found
% 72.19/42.99 Conjecture not found
% 72.19/43.00 Conjecture not found
% 72.37/43.05 Conjecture not found
% 73.01/43.16 Conjecture not found
% 73.01/43.16 Conjecture not found
% 73.11/43.30 Conjecture not found
% 73.32/43.47 Conjecture not found
% 73.37/43.51 Conjecture not found
% 73.37/43.54 Conjecture not found
% 73.41/43.55 Conjecture not found
% 73.41/43.60 Conjecture not found
% 73.49/43.65 Conjecture not found
% 73.60/43.75 Conjecture not found
% 73.62/43.80 Conjecture not found
% 73.62/43.81 Conjecture not found
% 73.67/43.83 Conjecture not found
% 73.80/43.94 Conjecture not found
% 73.80/43.98 Conjecture not found
% 73.86/44.06 Conjecture not found
% 73.94/44.11 Conjecture not found
% 73.98/44.13 Conjecture not found
% 74.00/44.19 Conjecture not found
% 74.55/44.27 Conjecture not found
% 74.80/44.28 Conjecture not found
% 74.80/44.31 Conjecture not found
% 74.80/44.34 Conjecture not found
% 74.88/44.38 Conjecture not found
% 74.93/44.42 Conjecture not found
% 74.95/44.50 Conjecture not found
% 75.05/44.54 Conjecture not found
% 75.20/44.68 Conjecture not found
% 75.24/44.79 Conjecture not found
% 75.34/44.84 Conjecture not found
% 75.34/44.89 Conjecture not found
% 75.41/44.96 Conjecture not found
% 75.55/45.06 Conjecture not found
% 75.65/45.18 Conjecture not found
% 76.30/45.32 Conjecture not found
% 76.57/45.41 Conjecture not found
% 76.62/45.49 Conjecture not found
% 76.70/45.52 Conjecture not found
% 76.77/45.65 Conjecture not found
% 76.85/45.67 Conjecture not found
% 76.85/45.69 Conjecture not found
% 77.00/45.84 Conjecture not found
% 77.14/45.98 Conjecture not found
% 77.17/46.00 Conjecture not found
% 77.24/46.08 Conjecture not found
% 77.30/46.12 Conjecture not found
% 77.30/46.13 Conjecture not found
% 77.30/46.15 Conjecture not found
% 77.35/46.20 Conjecture not found
% 77.49/46.34 Conjecture not found
% 78.27/46.45 Conjecture not found
% 78.27/46.47 Conjecture not found
% 78.34/46.54 Conjecture not found
% 78.44/46.61 Conjecture not found
% 78.49/46.71 Conjecture not found
% 78.49/46.72 Conjecture not found
% 78.59/46.75 Conjecture not found
% 78.64/46.84 Conjecture not found
% 78.79/46.97 Conjecture not found
% 78.92/47.09 Conjecture not found
% 78.92/47.12 Conjecture not found
% 79.09/47.25 Conjecture not found
% 79.09/47.32 Conjecture not found
% 79.17/47.35 Conjecture not found
% 79.41/47.46 Conjecture not found
% 79.95/47.49 Conjecture not found
% 80.05/47.52 Conjecture not found
% 80.16/47.63 Conjecture not found
% 80.16/47.66 Conjecture not found
% 80.16/47.68 Conjecture not found
% 80.24/47.73 Conjecture not found
% 80.24/47.75 Conjecture not found
% 80.24/47.76 Conjecture not found
% 80.32/47.80 Conjecture not found
% 80.45/47.95 Conjecture not found
% 80.55/48.07 Conjecture not found
% 80.64/48.10 Conjecture not found
% 80.64/48.12 Conjecture not found
% 80.64/48.16 Conjecture not found
% 80.74/48.25 Conjecture not found
% 80.84/48.34 Conjecture not found
% 81.93/48.70 Conjecture not found
% 82.04/48.91 Conjecture not found
% 82.14/48.94 Conjecture not found
% 82.14/49.01 Conjecture not found
% 82.33/49.17 Conjecture not found
% 82.41/49.20 Conjecture not found
% 82.51/49.29 Conjecture not found
% 82.54/49.31 Conjecture not found
% 82.54/49.33 Conjecture not found
% 82.54/49.34 Conjecture not found
% 82.54/49.39 Conjecture not found
% 82.64/49.43 Conjecture not found
% 82.64/49.46 Conjecture not found
% 82.64/49.49 Conjecture not found
% 82.72/49.51 Conjecture not found
% 82.72/49.55 Conjecture not found
% 82.72/49.55 Conjecture not found
% 82.81/49.63 Conjecture not found
% 82.81/49.71 Conjecture not found
% 83.31/49.79 Conjecture not found
% 83.77/49.84 Conjecture not found
% 83.83/49.93 Conjecture not found
% 83.94/50.01 Conjecture not found
% 84.00/50.04 Conjecture not found
% 84.13/50.26 Conjecture not found
% 84.23/50.28 Conjecture not found
% 84.26/50.31 Conjecture not found
% 84.30/50.34 Conjecture not found
% 84.30/50.42 Conjecture not found
% 84.40/50.47 Conjecture not found
% 85.99/51.36 Conjecture not found
% 86.06/51.42 Conjecture not found
% 86.15/51.47 Conjecture not found
% 86.21/51.56 Conjecture not found
% 86.35/51.75 Conjecture not found
% 86.44/51.78 Conjecture not found
% 86.59/51.93 Conjecture not found
% 86.66/52.00 Conjecture not found
% 87.54/52.12 Conjecture not found
% 87.54/52.20 Conjecture not found
% 87.64/52.25 Conjecture not found
% 87.73/52.30 Conjecture not found
% 87.82/52.39 Conjecture not found
% 87.86/52.46 Conjecture not found
% 87.86/52.49 Conjecture not found
% 87.96/52.52 Start search
% 194.42/78.56 nb_step : 1 - limit : 175766
% 195.21/79.34 Launch Gotab with destructive = true
%------------------------------------------------------------------------------