TSTP Solution File: SEU434+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : SEU434+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n003.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:11 EDT 2022
% Result : Timeout 300.37s 90.65s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : SEU434+4 : TPTP v8.1.0. Released v3.4.0.
% 0.07/0.12 % Command : goeland -dmt -presko -proof %s
% 0.12/0.33 % Computer : n003.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 14:27:21 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.19/0.39 Conjecture not found
% 0.19/0.39 Conjecture not found
% 0.19/0.39 Conjecture not found
% 0.19/0.39 Conjecture not found
% 0.19/0.41 Conjecture not found
% 0.19/0.42 Conjecture not found
% 0.19/0.45 Conjecture not found
% 0.19/0.47 Conjecture not found
% 0.19/0.48 Conjecture not found
% 0.19/0.48 Conjecture not found
% 0.19/0.51 Conjecture not found
% 0.48/0.54 Conjecture not found
% 0.51/0.56 Conjecture not found
% 0.51/0.56 Conjecture not found
% 0.51/0.57 Conjecture not found
% 0.51/0.59 Conjecture not found
% 0.51/0.61 Conjecture not found
% 0.64/0.66 Conjecture not found
% 0.72/0.73 Conjecture not found
% 0.72/0.74 Conjecture not found
% 0.95/0.82 Conjecture not found
% 1.00/0.87 Conjecture not found
% 1.13/0.96 Conjecture not found
% 1.22/0.99 Conjecture not found
% 1.33/1.06 Conjecture not found
% 1.38/1.10 Conjecture not found
% 1.47/1.16 Conjecture not found
% 1.52/1.18 Conjecture not found
% 1.52/1.21 Conjecture not found
% 1.52/1.23 Conjecture not found
% 1.64/1.23 Conjecture not found
% 1.64/1.24 Conjecture not found
% 1.64/1.25 Conjecture not found
% 1.80/1.36 Conjecture not found
% 1.86/1.38 Conjecture not found
% 1.86/1.39 Conjecture not found
% 1.86/1.40 Conjecture not found
% 1.86/1.40 Conjecture not found
% 1.86/1.41 Conjecture not found
% 1.86/1.41 Conjecture not found
% 1.86/1.42 Conjecture not found
% 1.86/1.42 Conjecture not found
% 2.04/1.48 Conjecture not found
% 2.12/1.53 Conjecture not found
% 2.12/1.53 Conjecture not found
% 2.12/1.54 Conjecture not found
% 2.12/1.55 Conjecture not found
% 2.18/1.57 Conjecture not found
% 2.18/1.58 Conjecture not found
% 2.18/1.60 Conjecture not found
% 2.18/1.62 Conjecture not found
% 2.18/1.64 Conjecture not found
% 2.33/1.66 Conjecture not found
% 2.33/1.66 Conjecture not found
% 2.33/1.68 Conjecture not found
% 2.39/1.71 Conjecture not found
% 2.55/1.77 Conjecture not found
% 2.63/1.82 Conjecture not found
% 2.63/1.83 Conjecture not found
% 2.69/1.85 Conjecture not found
% 2.69/1.88 Conjecture not found
% 2.69/1.91 Conjecture not found
% 2.69/1.93 Conjecture not found
% 2.80/1.95 Conjecture not found
% 2.88/2.04 Conjecture not found
% 3.04/2.07 Conjecture not found
% 3.04/2.10 Conjecture not found
% 3.04/2.11 Conjecture not found
% 3.12/2.13 Conjecture not found
% 3.12/2.15 Conjecture not found
% 3.42/2.32 Conjecture not found
% 3.42/2.34 Conjecture not found
% 3.55/2.36 Conjecture not found
% 3.69/2.47 Conjecture not found
% 3.69/2.48 Conjecture not found
% 3.69/2.50 Conjecture not found
% 3.69/2.52 Conjecture not found
% 3.88/2.56 Conjecture not found
% 3.97/2.63 Conjecture not found
% 4.02/2.71 Conjecture not found
% 4.22/2.79 Conjecture not found
% 4.22/2.84 Conjecture not found
% 4.22/2.85 Conjecture not found
% 4.41/2.89 Conjecture not found
% 4.47/2.90 Conjecture not found
% 4.52/2.94 Conjecture not found
% 4.52/2.96 Conjecture not found
% 4.52/2.99 Conjecture not found
% 4.52/3.00 Conjecture not found
% 4.67/3.06 Conjecture not found
% 4.67/3.07 Conjecture not found
% 4.79/3.11 Conjecture not found
% 4.92/3.18 Conjecture not found
% 5.12/3.29 Conjecture not found
% 5.22/3.44 Conjecture not found
% 5.66/3.65 Conjecture not found
% 6.23/3.93 Conjecture not found
% 6.23/3.96 Conjecture not found
% 6.38/3.99 Conjecture not found
% 6.52/4.10 Conjecture not found
% 6.67/4.13 Conjecture not found
% 6.67/4.17 Conjecture not found
% 6.76/4.21 Conjecture not found
% 6.76/4.24 Conjecture not found
% 6.93/4.31 Conjecture not found
% 7.07/4.35 Conjecture not found
% 7.07/4.38 Conjecture not found
% 7.07/4.39 Conjecture not found
% 7.07/4.42 Conjecture not found
% 7.07/4.43 Conjecture not found
% 7.27/4.52 Conjecture not found
% 7.43/4.61 Conjecture not found
% 7.59/4.67 Conjecture not found
% 7.77/4.79 Conjecture not found
% 7.77/4.82 Conjecture not found
% 7.95/4.87 Conjecture not found
% 7.95/4.89 Conjecture not found
% 7.95/4.91 Conjecture not found
% 8.01/4.93 Conjecture not found
% 8.01/4.96 Conjecture not found
% 8.12/4.97 Conjecture not found
% 8.12/5.02 Conjecture not found
% 8.12/5.02 Conjecture not found
% 8.12/5.02 Conjecture not found
% 8.20/5.04 Conjecture not found
% 8.30/5.07 Conjecture not found
% 8.30/5.08 Conjecture not found
% 8.30/5.11 Conjecture not found
% 8.30/5.16 Conjecture not found
% 8.73/5.35 Conjecture not found
% 8.73/5.38 Conjecture not found
% 8.73/5.39 Conjecture not found
% 8.73/5.42 Conjecture not found
% 8.90/5.45 Conjecture not found
% 9.04/5.49 Conjecture not found
% 9.04/5.54 Conjecture not found
% 9.11/5.55 Conjecture not found
% 9.12/5.58 Conjecture not found
% 9.12/5.59 Conjecture not found
% 9.31/5.69 Conjecture not found
% 10.11/6.14 Conjecture not found
% 10.94/6.66 Conjecture not found
% 11.17/6.80 Conjecture not found
% 11.17/6.83 Conjecture not found
% 11.17/6.83 Conjecture not found
% 11.42/6.86 Conjecture not found
% 11.42/6.90 Conjecture not found
% 11.42/6.91 Conjecture not found
% 11.53/6.92 Conjecture not found
% 11.53/6.97 Conjecture not found
% 11.71/7.03 Conjecture not found
% 11.79/7.08 Conjecture not found
% 11.91/7.12 Conjecture not found
% 11.93/7.13 Conjecture not found
% 11.93/7.16 Conjecture not found
% 11.93/7.19 Conjecture not found
% 12.12/7.24 Conjecture not found
% 12.20/7.29 Conjecture not found
% 12.20/7.35 Conjecture not found
% 12.37/7.37 Conjecture not found
% 12.37/7.40 Conjecture not found
% 12.42/7.43 Conjecture not found
% 12.44/7.45 Conjecture not found
% 12.44/7.48 Conjecture not found
% 12.63/7.54 Conjecture not found
% 12.63/7.55 Conjecture not found
% 12.68/7.62 Conjecture not found
% 12.85/7.68 Conjecture not found
% 12.89/7.70 Conjecture not found
% 12.89/7.72 Conjecture not found
% 12.93/7.75 Conjecture not found
% 12.93/7.76 Conjecture not found
% 12.93/7.77 Conjecture not found
% 12.93/7.79 Conjecture not found
% 12.93/7.82 Conjecture not found
% 13.15/7.85 Conjecture not found
% 13.15/7.86 Conjecture not found
% 13.21/7.91 Conjecture not found
% 13.21/7.92 Conjecture not found
% 13.38/7.96 Conjecture not found
% 13.39/8.00 Conjecture not found
% 13.43/8.03 Conjecture not found
% 13.43/8.04 Conjecture not found
% 13.47/8.06 Conjecture not found
% 13.47/8.08 Conjecture not found
% 13.47/8.11 Conjecture not found
% 13.47/8.11 Conjecture not found
% 13.67/8.14 Conjecture not found
% 13.67/8.16 Conjecture not found
% 13.67/8.17 Conjecture not found
% 13.72/8.22 Conjecture not found
% 13.72/8.22 Conjecture not found
% 13.90/8.25 Conjecture not found
% 13.92/8.30 Conjecture not found
% 13.92/8.31 Conjecture not found
% 13.97/8.32 Conjecture not found
% 13.97/8.33 Conjecture not found
% 14.11/8.35 Conjecture not found
% 14.11/8.36 Conjecture not found
% 14.11/8.37 Conjecture not found
% 14.11/8.37 Conjecture not found
% 14.11/8.43 Conjecture not found
% 14.25/8.52 Conjecture not found
% 14.25/8.53 Conjecture not found
% 14.44/8.56 Conjecture not found
% 14.46/8.59 Conjecture not found
% 14.46/8.61 Conjecture not found
% 14.51/8.64 Conjecture not found
% 14.54/8.65 Conjecture not found
% 14.54/8.70 Conjecture not found
% 14.74/8.76 Conjecture not found
% 14.79/8.79 Conjecture not found
% 14.79/8.81 Conjecture not found
% 14.99/8.85 Conjecture not found
% 15.21/8.97 Conjecture not found
% 15.32/9.04 Conjecture not found
% 15.32/9.09 Conjecture not found
% 15.38/9.09 Conjecture not found
% 15.38/9.15 Conjecture not found
% 15.59/9.21 Conjecture not found
% 15.64/9.24 Conjecture not found
% 15.64/9.25 Conjecture not found
% 15.79/9.33 Conjecture not found
% 15.91/9.40 Conjecture not found
% 15.91/9.44 Conjecture not found
% 16.17/9.49 Conjecture not found
% 16.21/9.56 Conjecture not found
% 16.21/9.58 Conjecture not found
% 16.34/9.64 Conjecture not found
% 16.34/9.68 Conjecture not found
% 16.50/9.75 Conjecture not found
% 16.79/9.84 Conjecture not found
% 16.79/9.85 Conjecture not found
% 16.79/9.87 Conjecture not found
% 16.79/9.88 Conjecture not found
% 16.79/9.89 Conjecture not found
% 17.07/10.00 Conjecture not found
% 17.07/10.06 Conjecture not found
% 17.07/10.07 Conjecture not found
% 17.18/10.10 Conjecture not found
% 17.70/10.33 Conjecture not found
% 17.78/10.39 Conjecture not found
% 17.78/10.43 Conjecture not found
% 17.78/10.45 Conjecture not found
% 17.78/10.46 Conjecture not found
% 17.78/10.47 Conjecture not found
% 18.09/10.53 Conjecture not found
% 18.09/10.59 Conjecture not found
% 18.42/10.70 Conjecture not found
% 18.42/10.76 Conjecture not found
% 18.51/10.78 Conjecture not found
% 18.81/10.93 Conjecture not found
% 18.86/10.98 Conjecture not found
% 18.86/11.03 Conjecture not found
% 19.16/11.09 Conjecture not found
% 19.21/11.14 Conjecture not found
% 19.21/11.15 Conjecture not found
% 19.21/11.18 Conjecture not found
% 19.21/11.19 Conjecture not found
% 19.21/11.20 Conjecture not found
% 19.28/11.24 Conjecture not found
% 19.48/11.30 Conjecture not found
% 19.48/11.33 Conjecture not found
% 19.48/11.36 Conjecture not found
% 19.66/11.41 Conjecture not found
% 19.66/11.42 Conjecture not found
% 19.66/11.44 Conjecture not found
% 19.72/11.47 Conjecture not found
% 19.98/11.57 Conjecture not found
% 20.02/11.59 Conjecture not found
% 20.02/11.64 Conjecture not found
% 20.27/11.65 Conjecture not found
% 20.28/11.66 Conjecture not found
% 20.28/11.66 Conjecture not found
% 20.28/11.68 Conjecture not found
% 20.33/11.75 Conjecture not found
% 20.37/11.75 Conjecture not found
% 20.37/11.77 Conjecture not found
% 20.37/11.83 Conjecture not found
% 20.69/11.92 Conjecture not found
% 20.83/12.05 Conjecture not found
% 20.85/12.06 Conjecture not found
% 21.13/12.16 Conjecture not found
% 21.46/12.29 Conjecture not found
% 21.52/12.32 Conjecture not found
% 21.54/12.37 Conjecture not found
% 21.54/12.38 Conjecture not found
% 21.54/12.39 Conjecture not found
% 21.89/12.50 Conjecture not found
% 21.89/12.56 Conjecture not found
% 21.97/12.59 Conjecture not found
% 21.99/12.60 Conjecture not found
% 22.31/12.73 Conjecture not found
% 22.31/12.76 Conjecture not found
% 22.38/12.78 Conjecture not found
% 22.38/12.82 Conjecture not found
% 22.70/12.90 Conjecture not found
% 22.70/12.91 Conjecture not found
% 22.74/12.94 Conjecture not found
% 22.74/12.98 Conjecture not found
% 22.74/13.00 Conjecture not found
% 22.74/13.01 Conjecture not found
% 23.10/13.11 Conjecture not found
% 23.10/13.16 Conjecture not found
% 23.10/13.16 Conjecture not found
% 23.20/13.20 Conjecture not found
% 23.22/13.24 Conjecture not found
% 23.22/13.30 Conjecture not found
% 23.54/13.36 Conjecture not found
% 23.62/13.42 Conjecture not found
% 23.62/13.43 Conjecture not found
% 23.79/13.48 Conjecture not found
% 23.99/13.59 Conjecture not found
% 24.08/13.66 Conjecture not found
% 24.08/13.68 Conjecture not found
% 24.16/13.76 Conjecture not found
% 24.46/13.79 Conjecture not found
% 24.46/13.81 Conjecture not found
% 24.46/13.81 Conjecture not found
% 24.46/13.82 Conjecture not found
% 24.46/13.84 Conjecture not found
% 24.46/13.85 Conjecture not found
% 24.59/13.92 Conjecture not found
% 24.60/14.00 Conjecture not found
% 24.92/14.03 Conjecture not found
% 24.92/14.04 Conjecture not found
% 24.92/14.05 Conjecture not found
% 25.00/14.08 Conjecture not found
% 25.00/14.10 Conjecture not found
% 25.00/14.10 Conjecture not found
% 25.38/14.21 Conjecture not found
% 25.41/14.23 Conjecture not found
% 25.42/14.27 Conjecture not found
% 25.48/14.32 Conjecture not found
% 25.48/14.36 Conjecture not found
% 25.71/14.42 Conjecture not found
% 26.02/14.65 Conjecture not found
% 26.31/14.74 Conjecture not found
% 26.31/14.75 Conjecture not found
% 26.45/14.83 Conjecture not found
% 26.54/14.86 Conjecture not found
% 26.83/14.95 Conjecture not found
% 26.87/14.99 Conjecture not found
% 26.92/15.07 Conjecture not found
% 26.98/15.10 Conjecture not found
% 26.98/15.11 Conjecture not found
% 26.98/15.13 Conjecture not found
% 27.18/15.19 Conjecture not found
% 27.18/15.24 Conjecture not found
% 27.42/15.31 Conjecture not found
% 27.42/15.32 Conjecture not found
% 27.42/15.32 Conjecture not found
% 27.42/15.33 Conjecture not found
% 27.49/15.37 Conjecture not found
% 27.49/15.40 Conjecture not found
% 27.80/15.45 Conjecture not found
% 27.83/15.52 Conjecture not found
% 27.91/15.57 Conjecture not found
% 27.95/15.60 Conjecture not found
% 27.95/15.63 Conjecture not found
% 28.26/15.65 Conjecture not found
% 28.29/15.71 Conjecture not found
% 28.35/15.74 Conjecture not found
% 28.35/15.74 Conjecture not found
% 28.38/15.77 Conjecture not found
% 28.38/15.80 Conjecture not found
% 28.45/15.84 Conjecture not found
% 28.77/15.90 Conjecture not found
% 28.77/15.94 Conjecture not found
% 28.88/16.02 Conjecture not found
% 28.94/16.05 Conjecture not found
% 28.94/16.06 Conjecture not found
% 29.10/16.16 Conjecture not found
% 29.36/16.20 Conjecture not found
% 29.36/16.25 Conjecture not found
% 29.45/16.27 Conjecture not found
% 29.45/16.29 Conjecture not found
% 29.45/16.30 Conjecture not found
% 29.49/16.33 Conjecture not found
% 29.51/16.34 Conjecture not found
% 29.70/16.49 Conjecture not found
% 29.94/16.50 Conjecture not found
% 29.94/16.51 Conjecture not found
% 29.94/16.56 Conjecture not found
% 30.02/16.59 Conjecture not found
% 30.05/16.61 Conjecture not found
% 30.08/16.63 Conjecture not found
% 30.08/16.66 Conjecture not found
% 30.08/16.69 Conjecture not found
% 30.35/16.77 Conjecture not found
% 30.35/16.79 Conjecture not found
% 30.52/16.82 Conjecture not found
% 30.52/16.83 Conjecture not found
% 30.52/16.84 Conjecture not found
% 30.52/16.85 Conjecture not found
% 30.60/16.88 Conjecture not found
% 30.63/16.91 Conjecture not found
% 30.63/16.93 Conjecture not found
% 30.67/17.00 Conjecture not found
% 30.67/17.02 Conjecture not found
% 31.05/17.08 Conjecture not found
% 31.12/17.13 Conjecture not found
% 31.12/17.15 Conjecture not found
% 31.18/17.18 Conjecture not found
% 31.18/17.20 Conjecture not found
% 31.18/17.24 Conjecture not found
% 31.55/17.27 Conjecture not found
% 31.60/17.30 Conjecture not found
% 31.64/17.35 Conjecture not found
% 31.64/17.37 Conjecture not found
% 31.64/17.39 Conjecture not found
% 31.71/17.43 Conjecture not found
% 31.78/17.48 Conjecture not found
% 32.23/17.61 Conjecture not found
% 32.27/17.65 Conjecture not found
% 32.27/17.69 Conjecture not found
% 32.37/17.76 Conjecture not found
% 32.59/17.87 Conjecture not found
% 32.85/17.91 Conjecture not found
% 32.90/17.97 Conjecture not found
% 32.90/17.99 Conjecture not found
% 32.90/17.99 Conjecture not found
% 32.95/18.00 Conjecture not found
% 32.95/18.01 Conjecture not found
% 32.95/18.03 Conjecture not found
% 32.95/18.05 Conjecture not found
% 33.00/18.05 Conjecture not found
% 33.00/18.07 Conjecture not found
% 33.00/18.08 Conjecture not found
% 33.00/18.14 Conjecture not found
% 33.50/18.23 Conjecture not found
% 33.50/18.26 Conjecture not found
% 33.55/18.30 Conjecture not found
% 33.55/18.31 Conjecture not found
% 33.55/18.32 Conjecture not found
% 33.65/18.40 Conjecture not found
% 34.04/18.51 Conjecture not found
% 34.12/18.53 Conjecture not found
% 34.12/18.55 Conjecture not found
% 34.17/18.61 Conjecture not found
% 34.17/18.64 Conjecture not found
% 34.25/18.66 Conjecture not found
% 34.29/18.73 Conjecture not found
% 34.65/18.74 Conjecture not found
% 34.68/18.78 Conjecture not found
% 34.68/18.79 Conjecture not found
% 34.68/18.80 Conjecture not found
% 34.68/18.83 Conjecture not found
% 34.75/18.85 Conjecture not found
% 34.75/18.86 Conjecture not found
% 34.79/18.87 Conjecture not found
% 34.79/18.88 Conjecture not found
% 34.79/18.93 Conjecture not found
% 35.21/19.00 Conjecture not found
% 35.29/19.05 Conjecture not found
% 35.33/19.10 Conjecture not found
% 35.44/19.21 Conjecture not found
% 35.44/19.22 Conjecture not found
% 35.50/19.24 Conjecture not found
% 35.50/19.25 Conjecture not found
% 35.77/19.30 Conjecture not found
% 35.77/19.32 Conjecture not found
% 35.77/19.32 Conjecture not found
% 36.01/19.40 Conjecture not found
% 36.01/19.41 Conjecture not found
% 36.01/19.42 Conjecture not found
% 36.06/19.45 Conjecture not found
% 36.06/19.46 Conjecture not found
% 36.06/19.48 Conjecture not found
% 36.06/19.50 Conjecture not found
% 36.12/19.51 Conjecture not found
% 36.37/19.57 Conjecture not found
% 36.37/19.64 Conjecture not found
% 36.64/19.66 Conjecture not found
% 36.68/19.69 Conjecture not found
% 36.68/19.70 Conjecture not found
% 36.68/19.71 Conjecture not found
% 36.68/19.72 Conjecture not found
% 36.73/19.76 Conjecture not found
% 36.73/19.82 Conjecture not found
% 36.81/19.86 Conjecture not found
% 37.11/19.96 Conjecture not found
% 37.33/19.99 Conjecture not found
% 37.33/20.00 Conjecture not found
% 37.37/20.03 Conjecture not found
% 37.37/20.10 Conjecture not found
% 37.45/20.14 Conjecture not found
% 37.45/20.16 Conjecture not found
% 37.52/20.20 Conjecture not found
% 37.52/20.24 Conjecture not found
% 38.03/20.31 Conjecture not found
% 38.06/20.34 Conjecture not found
% 38.08/20.36 Conjecture not found
% 38.08/20.38 Conjecture not found
% 38.08/20.41 Conjecture not found
% 38.16/20.43 Conjecture not found
% 38.16/20.44 Conjecture not found
% 38.16/20.46 Conjecture not found
% 38.16/20.47 Conjecture not found
% 38.23/20.51 Conjecture not found
% 38.23/20.56 Conjecture not found
% 38.74/20.62 Conjecture not found
% 38.76/20.63 Conjecture not found
% 38.76/20.66 Conjecture not found
% 38.76/20.70 Conjecture not found
% 38.86/20.73 Conjecture not found
% 38.86/20.75 Conjecture not found
% 38.86/20.78 Conjecture not found
% 38.86/20.79 Conjecture not found
% 38.93/20.80 Conjecture not found
% 38.93/20.84 Conjecture not found
% 38.93/20.86 Conjecture not found
% 39.08/20.90 Conjecture not found
% 39.50/20.97 Conjecture not found
% 39.50/20.98 Conjecture not found
% 39.59/21.05 Conjecture not found
% 39.59/21.06 Conjecture not found
% 39.59/21.07 Conjecture not found
% 39.65/21.09 Conjecture not found
% 39.65/21.13 Conjecture not found
% 39.65/21.15 Conjecture not found
% 39.72/21.18 Conjecture not found
% 39.76/21.21 Conjecture not found
% 39.76/21.22 Conjecture not found
% 39.80/21.27 Conjecture not found
% 40.27/21.37 Conjecture not found
% 40.36/21.45 Conjecture not found
% 40.42/21.47 Conjecture not found
% 40.45/21.48 Conjecture not found
% 40.45/21.48 Conjecture not found
% 40.53/21.56 Conjecture not found
% 40.53/21.57 Conjecture not found
% 40.53/21.58 Conjecture not found
% 40.85/21.64 Conjecture not found
% 41.06/21.73 Conjecture not found
% 41.14/21.77 Conjecture not found
% 41.24/21.87 Conjecture not found
% 41.24/21.88 Conjecture not found
% 41.24/21.92 Conjecture not found
% 41.24/21.92 Conjecture not found
% 41.24/21.93 Conjecture not found
% 41.31/21.94 Conjecture not found
% 41.54/22.03 Conjecture not found
% 41.87/22.08 Conjecture not found
% 41.87/22.10 Conjecture not found
% 41.87/22.11 Conjecture not found
% 41.87/22.13 Conjecture not found
% 41.95/22.19 Conjecture not found
% 41.95/22.20 Conjecture not found
% 42.01/22.22 Conjecture not found
% 42.01/22.26 Conjecture not found
% 42.05/22.27 Conjecture not found
% 42.51/22.37 Conjecture not found
% 42.60/22.42 Conjecture not found
% 42.68/22.46 Conjecture not found
% 42.68/22.48 Conjecture not found
% 42.80/22.58 Conjecture not found
% 42.80/22.62 Conjecture not found
% 42.80/22.64 Conjecture not found
% 42.88/22.67 Conjecture not found
% 42.92/22.71 Conjecture not found
% 42.92/22.73 Conjecture not found
% 42.96/22.74 Conjecture not found
% 43.35/22.81 Conjecture not found
% 43.53/22.91 Conjecture not found
% 43.53/22.94 Conjecture not found
% 43.53/22.95 Conjecture not found
% 43.63/22.98 Conjecture not found
% 43.63/22.98 Conjecture not found
% 43.67/23.01 Conjecture not found
% 43.67/23.03 Conjecture not found
% 43.71/23.04 Conjecture not found
% 43.71/23.05 Conjecture not found
% 43.71/23.08 Conjecture not found
% 43.71/23.10 Conjecture not found
% 43.95/23.17 Conjecture not found
% 43.95/23.21 Conjecture not found
% 44.33/23.22 Conjecture not found
% 44.33/23.24 Conjecture not found
% 44.33/23.24 Conjecture not found
% 44.33/23.26 Conjecture not found
% 44.39/23.30 Conjecture not found
% 44.39/23.32 Conjecture not found
% 44.39/23.32 Conjecture not found
% 44.39/23.33 Conjecture not found
% 44.39/23.34 Conjecture not found
% 44.39/23.36 Conjecture not found
% 44.39/23.37 Conjecture not found
% 44.50/23.39 Conjecture not found
% 44.52/23.40 Conjecture not found
% 44.52/23.42 Conjecture not found
% 44.54/23.45 Conjecture not found
% 44.54/23.46 Conjecture not found
% 44.54/23.47 Conjecture not found
% 44.54/23.48 Conjecture not found
% 44.81/23.54 Conjecture not found
% 44.81/23.56 Conjecture not found
% 45.28/23.68 Conjecture not found
% 45.28/23.68 Conjecture not found
% 45.28/23.69 Conjecture not found
% 45.43/23.84 Conjecture not found
% 45.43/23.87 Conjecture not found
% 45.43/23.89 Conjecture not found
% 45.43/23.91 Conjecture not found
% 46.08/24.02 Conjecture not found
% 46.08/24.07 Conjecture not found
% 46.16/24.11 Conjecture not found
% 46.16/24.15 Conjecture not found
% 46.25/24.18 Conjecture not found
% 46.29/24.28 Conjecture not found
% 46.29/24.29 Conjecture not found
% 46.38/24.36 Conjecture not found
% 46.38/24.37 Conjecture not found
% 46.46/24.40 Conjecture not found
% 46.46/24.41 Conjecture not found
% 46.46/24.42 Conjecture not found
% 46.46/24.43 Conjecture not found
% 46.78/24.50 Conjecture not found
% 47.05/24.54 Conjecture not found
% 47.08/24.55 Conjecture not found
% 47.08/24.58 Conjecture not found
% 47.08/24.61 Conjecture not found
% 47.08/24.62 Conjecture not found
% 47.17/24.66 Conjecture not found
% 47.17/24.68 Conjecture not found
% 47.30/24.76 Conjecture not found
% 47.30/24.79 Conjecture not found
% 47.34/24.82 Conjecture not found
% 47.38/24.87 Conjecture not found
% 47.92/24.97 Conjecture not found
% 48.02/25.02 Conjecture not found
% 48.02/25.04 Conjecture not found
% 48.02/25.05 Conjecture not found
% 48.11/25.09 Conjecture not found
% 48.18/25.17 Conjecture not found
% 49.01/25.53 Conjecture not found
% 49.10/25.54 Conjecture not found
% 49.10/25.57 Conjecture not found
% 49.14/25.60 Conjecture not found
% 49.14/25.61 Conjecture not found
% 49.14/25.62 Conjecture not found
% 49.14/25.63 Conjecture not found
% 49.14/25.64 Conjecture not found
% 49.14/25.65 Conjecture not found
% 49.23/25.66 Conjecture not found
% 49.23/25.67 Conjecture not found
% 49.25/25.72 Conjecture not found
% 49.92/25.84 Conjecture not found
% 49.97/25.91 Conjecture not found
% 50.05/25.95 Conjecture not found
% 50.10/25.99 Conjecture not found
% 50.10/26.01 Conjecture not found
% 50.10/26.02 Conjecture not found
% 50.17/26.07 Conjecture not found
% 50.17/26.09 Conjecture not found
% 50.17/26.10 Conjecture not found
% 50.23/26.12 Conjecture not found
% 50.23/26.14 Conjecture not found
% 50.28/26.23 Conjecture not found
% 50.59/26.29 Conjecture not found
% 50.96/26.38 Conjecture not found
% 51.07/26.48 Conjecture not found
% 51.07/26.49 Conjecture not found
% 51.20/26.62 Conjecture not found
% 51.26/26.70 Conjecture not found
% 51.33/26.72 Conjecture not found
% 51.33/26.74 Conjecture not found
% 51.38/26.80 Conjecture not found
% 51.38/26.82 Conjecture not found
% 51.38/26.83 Conjecture not found
% 51.48/26.88 Conjecture not found
% 51.48/26.88 Conjecture not found
% 51.50/26.89 Conjecture not found
% 51.50/26.91 Conjecture not found
% 51.50/26.92 Conjecture not found
% 51.54/26.93 Conjecture not found
% 51.54/26.96 Conjecture not found
% 51.54/26.99 Conjecture not found
% 52.23/27.11 Conjecture not found
% 52.23/27.15 Conjecture not found
% 52.23/27.16 Conjecture not found
% 52.32/27.18 Conjecture not found
% 52.40/27.26 Conjecture not found
% 52.40/27.27 Conjecture not found
% 52.40/27.31 Conjecture not found
% 52.48/27.33 Conjecture not found
% 52.55/27.43 Conjecture not found
% 52.55/27.46 Conjecture not found
% 53.13/27.54 Conjecture not found
% 53.13/27.57 Conjecture not found
% 53.13/27.59 Conjecture not found
% 53.13/27.61 Conjecture not found
% 53.34/27.65 Conjecture not found
% 53.41/27.70 Conjecture not found
% 53.41/27.75 Conjecture not found
% 53.41/27.77 Conjecture not found
% 53.50/27.78 Conjecture not found
% 53.56/27.84 Conjecture not found
% 54.11/27.93 Conjecture not found
% 54.27/28.04 Conjecture not found
% 54.34/28.06 Conjecture not found
% 54.34/28.07 Conjecture not found
% 54.34/28.10 Conjecture not found
% 54.38/28.11 Conjecture not found
% 54.41/28.16 Conjecture not found
% 54.41/28.16 Conjecture not found
% 54.41/28.17 Conjecture not found
% 54.41/28.19 Conjecture not found
% 54.50/28.24 Conjecture not found
% 54.50/28.25 Conjecture not found
% 54.50/28.28 Conjecture not found
% 54.57/28.32 Conjecture not found
% 54.57/28.33 Conjecture not found
% 55.21/28.49 Conjecture not found
% 55.21/28.50 Conjecture not found
% 55.21/28.51 Conjecture not found
% 55.21/28.52 Conjecture not found
% 55.37/28.55 Conjecture not found
% 55.48/28.64 Conjecture not found
% 55.51/28.68 Conjecture not found
% 55.51/28.70 Conjecture not found
% 55.51/28.70 Conjecture not found
% 55.51/28.71 Conjecture not found
% 55.56/28.73 Conjecture not found
% 55.56/28.74 Conjecture not found
% 55.72/28.86 Conjecture not found
% 56.08/28.89 Conjecture not found
% 56.46/29.04 Conjecture not found
% 56.48/29.11 Conjecture not found
% 56.54/29.13 Conjecture not found
% 56.54/29.15 Conjecture not found
% 56.59/29.16 Conjecture not found
% 56.59/29.18 Conjecture not found
% 56.59/29.19 Conjecture not found
% 56.59/29.20 Conjecture not found
% 56.67/29.24 Conjecture not found
% 56.70/29.28 Conjecture not found
% 56.70/29.29 Conjecture not found
% 56.78/29.36 Conjecture not found
% 57.51/29.49 Conjecture not found
% 57.51/29.51 Conjecture not found
% 57.51/29.54 Conjecture not found
% 57.51/29.55 Conjecture not found
% 57.60/29.57 Conjecture not found
% 57.60/29.58 Conjecture not found
% 57.64/29.61 Conjecture not found
% 57.64/29.63 Conjecture not found
% 57.74/29.71 Conjecture not found
% 58.71/30.04 Conjecture not found
% 58.90/30.22 Conjecture not found
% 58.93/30.22 Conjecture not found
% 58.93/30.28 Conjecture not found
% 59.08/30.39 Conjecture not found
% 59.08/30.45 Conjecture not found
% 59.08/30.47 Conjecture not found
% 59.78/30.49 Conjecture not found
% 59.87/30.52 Conjecture not found
% 59.88/30.54 Conjecture not found
% 59.88/30.60 Conjecture not found
% 59.96/30.62 Conjecture not found
% 59.96/30.63 Conjecture not found
% 59.96/30.64 Conjecture not found
% 59.96/30.66 Conjecture not found
% 59.96/30.68 Conjecture not found
% 59.96/30.69 Conjecture not found
% 60.03/30.70 Conjecture not found
% 60.12/30.79 Conjecture not found
% 60.12/30.80 Conjecture not found
% 60.17/30.83 Conjecture not found
% 60.17/30.91 Conjecture not found
% 60.75/30.92 Conjecture not found
% 60.75/30.93 Conjecture not found
% 60.75/30.95 Conjecture not found
% 60.75/30.96 Conjecture not found
% 60.75/30.97 Conjecture not found
% 61.01/31.00 Conjecture not found
% 61.01/31.00 Conjecture not found
% 61.01/31.06 Conjecture not found
% 61.14/31.13 Conjecture not found
% 61.16/31.14 Conjecture not found
% 61.16/31.15 Conjecture not found
% 61.16/31.16 Conjecture not found
% 61.16/31.18 Conjecture not found
% 61.16/31.20 Conjecture not found
% 61.25/31.24 Conjecture not found
% 61.25/31.26 Conjecture not found
% 61.25/31.26 Conjecture not found
% 61.25/31.27 Conjecture not found
% 61.31/31.33 Conjecture not found
% 61.83/31.36 Conjecture not found
% 62.13/31.45 Conjecture not found
% 62.13/31.50 Conjecture not found
% 62.13/31.50 Conjecture not found
% 62.13/31.52 Conjecture not found
% 62.22/31.54 Conjecture not found
% 62.22/31.55 Conjecture not found
% 62.22/31.56 Conjecture not found
% 62.22/31.57 Conjecture not found
% 62.22/31.58 Conjecture not found
% 62.28/31.60 Conjecture not found
% 62.28/31.63 Conjecture not found
% 62.35/31.65 Conjecture not found
% 62.37/31.71 Conjecture not found
% 62.41/31.75 Conjecture not found
% 62.45/31.77 Conjecture not found
% 62.45/31.79 Conjecture not found
% 62.45/31.82 Conjecture not found
% 62.94/31.88 Conjecture not found
% 63.35/31.97 Conjecture not found
% 63.42/32.03 Conjecture not found
% 63.46/32.07 Conjecture not found
% 63.46/32.12 Conjecture not found
% 63.46/32.13 Conjecture not found
% 63.59/32.20 Conjecture not found
% 63.59/32.21 Conjecture not found
% 63.59/32.22 Conjecture not found
% 63.67/32.30 Conjecture not found
% 63.73/32.35 Conjecture not found
% 63.76/32.36 Conjecture not found
% 64.18/32.45 Conjecture not found
% 64.49/32.48 Conjecture not found
% 64.49/32.50 Conjecture not found
% 64.49/32.51 Conjecture not found
% 64.49/32.53 Conjecture not found
% 64.63/32.61 Conjecture not found
% 64.69/32.64 Conjecture not found
% 64.69/32.65 Conjecture not found
% 64.72/32.69 Conjecture not found
% 64.79/32.73 Conjecture not found
% 64.84/32.79 Conjecture not found
% 64.84/32.79 Conjecture not found
% 64.84/32.81 Conjecture not found
% 64.92/32.86 Conjecture not found
% 64.95/32.92 Conjecture not found
% 65.00/32.97 Conjecture not found
% 65.00/32.98 Conjecture not found
% 65.19/33.06 Conjecture not found
% 65.64/33.11 Conjecture not found
% 65.64/33.13 Conjecture not found
% 65.95/33.17 Conjecture not found
% 65.98/33.19 Conjecture not found
% 65.98/33.20 Conjecture not found
% 66.03/33.27 Conjecture not found
% 66.03/33.29 Conjecture not found
% 66.03/33.30 Conjecture not found
% 66.11/33.34 Conjecture not found
% 66.11/33.36 Conjecture not found
% 66.11/33.37 Conjecture not found
% 66.17/33.40 Conjecture not found
% 66.28/33.49 Conjecture not found
% 66.32/33.55 Conjecture not found
% 66.32/33.57 Conjecture not found
% 66.32/33.57 Conjecture not found
% 66.32/33.60 Conjecture not found
% 66.40/33.66 Conjecture not found
% 66.82/33.75 Conjecture not found
% 67.37/33.92 Conjecture not found
% 67.51/34.02 Conjecture not found
% 67.51/34.04 Conjecture not found
% 67.59/34.08 Conjecture not found
% 67.65/34.15 Conjecture not found
% 67.65/34.16 Conjecture not found
% 67.65/34.21 Conjecture not found
% 67.65/34.21 Conjecture not found
% 67.65/34.22 Conjecture not found
% 67.74/34.23 Conjecture not found
% 67.74/34.24 Conjecture not found
% 67.74/34.26 Conjecture not found
% 67.74/34.27 Conjecture not found
% 67.74/34.28 Conjecture not found
% 67.91/34.33 Conjecture not found
% 68.50/34.37 Conjecture not found
% 68.50/34.37 Conjecture not found
% 68.50/34.41 Conjecture not found
% 68.68/34.44 Conjecture not found
% 68.68/34.46 Conjecture not found
% 68.68/34.48 Conjecture not found
% 68.68/34.52 Conjecture not found
% 68.78/34.56 Conjecture not found
% 68.78/34.57 Conjecture not found
% 68.90/34.66 Conjecture not found
% 68.90/34.67 Conjecture not found
% 68.90/34.68 Conjecture not found
% 68.90/34.69 Conjecture not found
% 68.94/34.73 Conjecture not found
% 68.99/34.75 Conjecture not found
% 70.25/35.25 Conjecture not found
% 70.27/35.27 Conjecture not found
% 70.27/35.29 Conjecture not found
% 70.33/35.33 Conjecture not found
% 71.11/35.45 Conjecture not found
% 71.11/35.47 Conjecture not found
% 71.28/35.55 Conjecture not found
% 71.37/35.58 Conjecture not found
% 71.37/35.62 Conjecture not found
% 71.46/35.66 Conjecture not found
% 71.46/35.68 Conjecture not found
% 71.46/35.71 Conjecture not found
% 71.56/35.76 Conjecture not found
% 71.56/35.80 Conjecture not found
% 71.56/35.81 Conjecture not found
% 71.56/35.82 Start search
% 172.60/59.40 nb_step : 1 - limit : 175726
% 174.17/60.16 Launch Gotab with destructive = true
%------------------------------------------------------------------------------