TSTP Solution File: SEU428+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : SEU428+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n025.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:07 EDT 2022
% Result : Timeout 300.85s 92.73s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : SEU428+4 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.12 % Command : goeland -dmt -presko -proof %s
% 0.12/0.34 % Computer : n025.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 300
% 0.12/0.34 % DateTime : Sat Sep 3 14:22:28 EDT 2022
% 0.12/0.34 % CPUTime :
% 0.12/0.34 [DMT] DMT loaded with preskolemization
% 0.12/0.34 [EQ] equality loaded.
% 0.12/0.34 [0.000047s][1][MAIN] Problem : theBenchmark.p
% 0.19/0.39 Conjecture not found
% 0.19/0.40 Conjecture not found
% 0.19/0.40 Conjecture not found
% 0.19/0.40 Conjecture not found
% 0.19/0.41 Conjecture not found
% 0.19/0.43 Conjecture not found
% 0.19/0.45 Conjecture not found
% 0.19/0.48 Conjecture not found
% 0.19/0.49 Conjecture not found
% 0.19/0.49 Conjecture not found
% 0.19/0.52 Conjecture not found
% 0.47/0.55 Conjecture not found
% 0.50/0.57 Conjecture not found
% 0.50/0.57 Conjecture not found
% 0.50/0.58 Conjecture not found
% 0.50/0.60 Conjecture not found
% 0.50/0.62 Conjecture not found
% 0.63/0.67 Conjecture not found
% 0.80/0.74 Conjecture not found
% 0.80/0.74 Conjecture not found
% 0.94/0.82 Conjecture not found
% 1.02/0.87 Conjecture not found
% 1.14/0.96 Conjecture not found
% 1.20/0.99 Conjecture not found
% 1.29/1.07 Conjecture not found
% 1.35/1.11 Conjecture not found
% 1.46/1.17 Conjecture not found
% 1.52/1.19 Conjecture not found
% 1.52/1.23 Conjecture not found
% 1.63/1.24 Conjecture not found
% 1.63/1.25 Conjecture not found
% 1.63/1.25 Conjecture not found
% 1.67/1.26 Conjecture not found
% 1.76/1.35 Conjecture not found
% 1.84/1.37 Conjecture not found
% 1.84/1.38 Conjecture not found
% 1.84/1.39 Conjecture not found
% 1.84/1.39 Conjecture not found
% 1.84/1.40 Conjecture not found
% 1.84/1.40 Conjecture not found
% 1.84/1.41 Conjecture not found
% 1.84/1.42 Conjecture not found
% 1.96/1.47 Conjecture not found
% 2.03/1.52 Conjecture not found
% 2.03/1.52 Conjecture not found
% 2.03/1.53 Conjecture not found
% 2.13/1.54 Conjecture not found
% 2.18/1.56 Conjecture not found
% 2.18/1.57 Conjecture not found
% 2.18/1.59 Conjecture not found
% 2.18/1.61 Conjecture not found
% 2.18/1.63 Conjecture not found
% 2.30/1.65 Conjecture not found
% 2.30/1.66 Conjecture not found
% 2.30/1.67 Conjecture not found
% 2.37/1.70 Conjecture not found
% 2.52/1.76 Conjecture not found
% 2.54/1.81 Conjecture not found
% 2.62/1.82 Conjecture not found
% 2.67/1.85 Conjecture not found
% 2.67/1.88 Conjecture not found
% 2.67/1.91 Conjecture not found
% 2.77/1.92 Conjecture not found
% 2.77/1.94 Conjecture not found
% 2.88/2.02 Conjecture not found
% 2.88/2.05 Conjecture not found
% 3.01/2.08 Conjecture not found
% 3.06/2.09 Conjecture not found
% 3.06/2.10 Conjecture not found
% 3.14/2.13 Conjecture not found
% 3.42/2.30 Conjecture not found
% 3.42/2.32 Conjecture not found
% 3.42/2.34 Conjecture not found
% 3.62/2.43 Conjecture not found
% 3.70/2.45 Conjecture not found
% 3.70/2.46 Conjecture not found
% 3.70/2.48 Conjecture not found
% 3.70/2.52 Conjecture not found
% 3.83/2.58 Conjecture not found
% 4.04/2.66 Conjecture not found
% 4.04/2.71 Conjecture not found
% 4.23/2.76 Conjecture not found
% 4.23/2.78 Conjecture not found
% 4.23/2.82 Conjecture not found
% 4.23/2.83 Conjecture not found
% 4.37/2.86 Conjecture not found
% 4.46/2.89 Conjecture not found
% 4.46/2.91 Conjecture not found
% 4.46/2.92 Conjecture not found
% 4.56/2.99 Conjecture not found
% 4.62/3.01 Conjecture not found
% 4.62/3.05 Conjecture not found
% 4.73/3.12 Conjecture not found
% 4.89/3.19 Conjecture not found
% 5.19/3.32 Conjecture not found
% 5.57/3.53 Conjecture not found
% 6.04/3.82 Conjecture not found
% 6.15/3.84 Conjecture not found
% 6.23/3.86 Conjecture not found
% 6.41/3.98 Conjecture not found
% 6.41/4.01 Conjecture not found
% 6.55/4.07 Conjecture not found
% 6.65/4.13 Conjecture not found
% 6.72/4.19 Conjecture not found
% 6.86/4.25 Conjecture not found
% 6.90/4.30 Conjecture not found
% 6.90/4.33 Conjecture not found
% 7.01/4.34 Conjecture not found
% 7.07/4.37 Conjecture not found
% 7.07/4.39 Conjecture not found
% 7.20/4.47 Conjecture not found
% 7.39/4.57 Conjecture not found
% 7.39/4.61 Conjecture not found
% 7.57/4.71 Conjecture not found
% 7.71/4.74 Conjecture not found
% 7.77/4.79 Conjecture not found
% 7.77/4.81 Conjecture not found
% 7.77/4.83 Conjecture not found
% 7.84/4.85 Conjecture not found
% 7.84/4.88 Conjecture not found
% 7.84/4.88 Conjecture not found
% 7.84/4.91 Conjecture not found
% 7.84/4.91 Conjecture not found
% 7.84/4.92 Conjecture not found
% 8.00/4.93 Conjecture not found
% 8.00/4.96 Conjecture not found
% 8.12/4.98 Conjecture not found
% 8.12/5.01 Conjecture not found
% 8.12/5.05 Conjecture not found
% 8.43/5.20 Conjecture not found
% 8.54/5.25 Conjecture not found
% 8.54/5.26 Conjecture not found
% 8.66/5.28 Conjecture not found
% 8.66/5.31 Conjecture not found
% 8.66/5.35 Conjecture not found
% 8.85/5.41 Conjecture not found
% 8.88/5.42 Conjecture not found
% 8.88/5.44 Conjecture not found
% 8.91/5.45 Conjecture not found
% 9.07/5.53 Conjecture not found
% 9.86/5.98 Conjecture not found
% 10.72/6.45 Conjecture not found
% 10.92/6.56 Conjecture not found
% 10.92/6.61 Conjecture not found
% 11.06/6.63 Conjecture not found
% 11.06/6.66 Conjecture not found
% 11.11/6.71 Conjecture not found
% 11.11/6.73 Conjecture not found
% 11.28/6.75 Conjecture not found
% 11.30/6.79 Conjecture not found
% 11.40/6.83 Conjecture not found
% 11.47/6.89 Conjecture not found
% 11.47/6.92 Conjecture not found
% 11.54/6.93 Conjecture not found
% 11.54/6.97 Conjecture not found
% 11.69/7.02 Conjecture not found
% 11.76/7.07 Conjecture not found
% 11.79/7.12 Conjecture not found
% 11.97/7.17 Conjecture not found
% 11.97/7.18 Conjecture not found
% 11.97/7.20 Conjecture not found
% 12.14/7.24 Conjecture not found
% 12.18/7.27 Conjecture not found
% 12.18/7.31 Conjecture not found
% 12.24/7.33 Conjecture not found
% 12.24/7.35 Conjecture not found
% 12.43/7.42 Conjecture not found
% 12.47/7.47 Conjecture not found
% 12.47/7.50 Conjecture not found
% 12.47/7.51 Conjecture not found
% 12.66/7.54 Conjecture not found
% 12.66/7.55 Conjecture not found
% 12.66/7.57 Conjecture not found
% 12.70/7.58 Conjecture not found
% 12.70/7.60 Conjecture not found
% 12.70/7.63 Conjecture not found
% 12.86/7.64 Conjecture not found
% 12.90/7.69 Conjecture not found
% 12.90/7.70 Conjecture not found
% 12.90/7.73 Conjecture not found
% 13.06/7.76 Conjecture not found
% 13.13/7.79 Conjecture not found
% 13.13/7.80 Conjecture not found
% 13.13/7.81 Conjecture not found
% 13.13/7.83 Conjecture not found
% 13.19/7.85 Conjecture not found
% 13.19/7.87 Conjecture not found
% 13.36/7.91 Conjecture not found
% 13.36/7.94 Conjecture not found
% 13.40/7.96 Conjecture not found
% 13.40/7.99 Conjecture not found
% 13.40/8.00 Conjecture not found
% 13.40/8.02 Conjecture not found
% 13.62/8.05 Conjecture not found
% 13.62/8.06 Conjecture not found
% 13.62/8.07 Conjecture not found
% 13.62/8.08 Conjecture not found
% 13.66/8.09 Conjecture not found
% 13.66/8.10 Conjecture not found
% 13.66/8.10 Conjecture not found
% 13.66/8.10 Conjecture not found
% 13.85/8.17 Conjecture not found
% 13.97/8.27 Conjecture not found
% 13.97/8.28 Conjecture not found
% 13.97/8.31 Conjecture not found
% 13.97/8.34 Conjecture not found
% 14.16/8.36 Conjecture not found
% 14.19/8.39 Conjecture not found
% 14.19/8.41 Conjecture not found
% 14.23/8.43 Conjecture not found
% 14.24/8.48 Conjecture not found
% 14.45/8.51 Conjecture not found
% 14.45/8.54 Conjecture not found
% 14.51/8.58 Conjecture not found
% 14.80/8.73 Conjecture not found
% 15.02/8.83 Conjecture not found
% 15.02/8.88 Conjecture not found
% 15.02/8.88 Conjecture not found
% 15.09/8.91 Conjecture not found
% 15.30/8.96 Conjecture not found
% 15.31/8.99 Conjecture not found
% 15.35/9.01 Conjecture not found
% 15.38/9.08 Conjecture not found
% 15.61/9.16 Conjecture not found
% 15.67/9.20 Conjecture not found
% 15.88/9.26 Conjecture not found
% 15.89/9.32 Conjecture not found
% 15.94/9.33 Conjecture not found
% 15.97/9.37 Conjecture not found
% 15.97/9.42 Conjecture not found
% 16.20/9.48 Conjecture not found
% 16.46/9.58 Conjecture not found
% 16.46/9.59 Conjecture not found
% 16.51/9.61 Conjecture not found
% 16.51/9.62 Conjecture not found
% 16.51/9.64 Conjecture not found
% 16.55/9.73 Conjecture not found
% 16.77/9.77 Conjecture not found
% 16.77/9.78 Conjecture not found
% 16.81/9.80 Conjecture not found
% 17.40/10.07 Conjecture not found
% 17.40/10.13 Conjecture not found
% 17.49/10.16 Conjecture not found
% 17.49/10.20 Conjecture not found
% 17.49/10.22 Conjecture not found
% 17.72/10.23 Conjecture not found
% 17.76/10.30 Conjecture not found
% 17.83/10.34 Conjecture not found
% 18.12/10.48 Conjecture not found
% 18.12/10.53 Conjecture not found
% 18.19/10.55 Conjecture not found
% 18.47/10.65 Conjecture not found
% 18.47/10.70 Conjecture not found
% 18.56/10.75 Conjecture not found
% 18.69/10.81 Conjecture not found
% 18.83/10.85 Conjecture not found
% 18.83/10.86 Conjecture not found
% 18.85/10.89 Conjecture not found
% 18.85/10.90 Conjecture not found
% 18.85/10.91 Conjecture not found
% 18.91/10.95 Conjecture not found
% 18.95/10.98 Conjecture not found
% 18.95/10.99 Conjecture not found
% 18.95/11.02 Conjecture not found
% 19.27/11.12 Conjecture not found
% 19.27/11.13 Conjecture not found
% 19.33/11.15 Conjecture not found
% 19.33/11.17 Conjecture not found
% 19.64/11.31 Conjecture not found
% 19.64/11.33 Conjecture not found
% 19.73/11.37 Conjecture not found
% 19.73/11.37 Conjecture not found
% 19.73/11.38 Conjecture not found
% 19.73/11.38 Conjecture not found
% 19.78/11.39 Conjecture not found
% 20.02/11.47 Conjecture not found
% 20.02/11.48 Conjecture not found
% 20.02/11.51 Conjecture not found
% 20.15/11.58 Conjecture not found
% 20.15/11.63 Conjecture not found
% 20.51/11.74 Conjecture not found
% 20.51/11.75 Conjecture not found
% 20.58/11.87 Conjecture not found
% 20.97/12.00 Conjecture not found
% 21.06/12.04 Conjecture not found
% 21.20/12.11 Conjecture not found
% 21.28/12.14 Conjecture not found
% 21.28/12.16 Conjecture not found
% 21.35/12.23 Conjecture not found
% 21.67/12.32 Conjecture not found
% 21.69/12.36 Conjecture not found
% 21.69/12.38 Conjecture not found
% 22.04/12.49 Conjecture not found
% 22.04/12.54 Conjecture not found
% 22.13/12.57 Conjecture not found
% 22.14/12.62 Conjecture not found
% 22.21/12.66 Conjecture not found
% 22.21/12.67 Conjecture not found
% 22.21/12.70 Conjecture not found
% 22.57/12.82 Conjecture not found
% 22.57/12.84 Conjecture not found
% 22.63/12.85 Conjecture not found
% 22.64/12.90 Conjecture not found
% 22.94/12.97 Conjecture not found
% 22.94/12.97 Conjecture not found
% 23.02/13.04 Conjecture not found
% 23.02/13.08 Conjecture not found
% 23.07/13.11 Conjecture not found
% 23.07/13.14 Conjecture not found
% 23.44/13.24 Conjecture not found
% 23.44/13.25 Conjecture not found
% 23.47/13.30 Conjecture not found
% 23.56/13.36 Conjecture not found
% 23.88/13.48 Conjecture not found
% 23.88/13.50 Conjecture not found
% 23.95/13.56 Conjecture not found
% 23.99/13.58 Conjecture not found
% 23.99/13.59 Conjecture not found
% 23.99/13.59 Conjecture not found
% 23.99/13.60 Conjecture not found
% 24.21/13.64 Conjecture not found
% 24.21/13.65 Conjecture not found
% 24.37/13.76 Conjecture not found
% 24.41/13.82 Conjecture not found
% 24.73/13.88 Conjecture not found
% 24.73/13.90 Conjecture not found
% 24.73/13.90 Conjecture not found
% 24.81/13.95 Conjecture not found
% 24.81/13.97 Conjecture not found
% 24.81/13.98 Conjecture not found
% 24.88/14.06 Conjecture not found
% 25.06/14.10 Conjecture not found
% 25.26/14.16 Conjecture not found
% 25.29/14.22 Conjecture not found
% 25.34/14.24 Conjecture not found
% 25.38/14.28 Conjecture not found
% 25.88/14.51 Conjecture not found
% 25.93/14.61 Conjecture not found
% 25.93/14.63 Conjecture not found
% 26.36/14.75 Conjecture not found
% 26.37/14.76 Conjecture not found
% 26.37/14.81 Conjecture not found
% 26.44/14.84 Conjecture not found
% 26.56/14.95 Conjecture not found
% 26.86/14.99 Conjecture not found
% 26.86/15.00 Conjecture not found
% 26.86/15.02 Conjecture not found
% 26.91/15.05 Conjecture not found
% 26.91/15.09 Conjecture not found
% 27.29/15.21 Conjecture not found
% 27.29/15.23 Conjecture not found
% 27.29/15.23 Conjecture not found
% 27.29/15.24 Conjecture not found
% 27.41/15.30 Conjecture not found
% 27.41/15.31 Conjecture not found
% 27.48/15.37 Conjecture not found
% 27.55/15.48 Conjecture not found
% 27.92/15.57 Conjecture not found
% 27.94/15.59 Conjecture not found
% 27.94/15.61 Conjecture not found
% 27.98/15.62 Conjecture not found
% 28.01/15.66 Conjecture not found
% 28.01/15.69 Conjecture not found
% 28.01/15.70 Conjecture not found
% 28.35/15.76 Conjecture not found
% 28.42/15.82 Conjecture not found
% 28.50/15.88 Conjecture not found
% 28.50/15.91 Conjecture not found
% 28.56/15.93 Conjecture not found
% 28.59/16.01 Conjecture not found
% 28.86/16.06 Conjecture not found
% 28.86/16.08 Conjecture not found
% 29.05/16.15 Conjecture not found
% 29.06/16.17 Conjecture not found
% 29.12/16.21 Conjecture not found
% 29.12/16.24 Conjecture not found
% 29.21/16.27 Conjecture not found
% 29.21/16.29 Conjecture not found
% 29.21/16.31 Conjecture not found
% 29.21/16.32 Conjecture not found
% 29.56/16.40 Conjecture not found
% 29.56/16.40 Conjecture not found
% 29.56/16.41 Conjecture not found
% 29.61/16.44 Conjecture not found
% 29.66/16.47 Conjecture not found
% 29.66/16.52 Conjecture not found
% 30.00/16.55 Conjecture not found
% 30.05/16.59 Conjecture not found
% 30.05/16.62 Conjecture not found
% 30.12/16.66 Conjecture not found
% 30.14/16.68 Conjecture not found
% 30.14/16.72 Conjecture not found
% 30.31/16.75 Conjecture not found
% 30.31/16.79 Conjecture not found
% 30.31/16.80 Conjecture not found
% 30.59/16.86 Conjecture not found
% 30.64/16.92 Conjecture not found
% 30.71/16.95 Conjecture not found
% 30.74/16.99 Conjecture not found
% 30.74/16.99 Conjecture not found
% 30.81/17.05 Conjecture not found
% 30.84/17.09 Conjecture not found
% 31.16/17.15 Conjecture not found
% 31.23/17.18 Conjecture not found
% 31.23/17.21 Conjecture not found
% 31.31/17.25 Conjecture not found
% 31.31/17.26 Conjecture not found
% 31.31/17.28 Conjecture not found
% 31.31/17.32 Conjecture not found
% 31.38/17.34 Conjecture not found
% 31.38/17.36 Conjecture not found
% 31.42/17.44 Conjecture not found
% 31.82/17.49 Conjecture not found
% 31.92/17.59 Conjecture not found
% 31.92/17.62 Conjecture not found
% 31.99/17.66 Conjecture not found
% 32.03/17.73 Conjecture not found
% 32.53/17.85 Conjecture not found
% 32.53/17.89 Conjecture not found
% 32.62/17.95 Conjecture not found
% 32.62/17.97 Conjecture not found
% 32.62/17.98 Conjecture not found
% 32.66/18.01 Conjecture not found
% 32.66/18.04 Conjecture not found
% 33.05/18.07 Conjecture not found
% 33.05/18.11 Conjecture not found
% 33.11/18.12 Conjecture not found
% 33.11/18.16 Conjecture not found
% 33.15/18.19 Conjecture not found
% 33.15/18.24 Conjecture not found
% 33.27/18.31 Conjecture not found
% 33.32/18.34 Conjecture not found
% 33.33/18.37 Conjecture not found
% 33.33/18.39 Conjecture not found
% 33.33/18.41 Conjecture not found
% 33.77/18.54 Conjecture not found
% 33.94/18.64 Conjecture not found
% 33.98/18.67 Conjecture not found
% 33.98/18.68 Conjecture not found
% 34.41/18.82 Conjecture not found
% 34.52/18.88 Conjecture not found
% 34.52/18.91 Conjecture not found
% 34.60/18.95 Conjecture not found
% 34.60/18.96 Conjecture not found
% 34.60/19.02 Conjecture not found
% 34.68/19.03 Conjecture not found
% 34.68/19.04 Conjecture not found
% 34.68/19.08 Conjecture not found
% 34.74/19.12 Conjecture not found
% 34.74/19.15 Conjecture not found
% 35.16/19.18 Conjecture not found
% 35.16/19.20 Conjecture not found
% 35.25/19.28 Conjecture not found
% 35.25/19.34 Conjecture not found
% 35.38/19.38 Conjecture not found
% 35.38/19.43 Conjecture not found
% 35.89/19.60 Conjecture not found
% 35.89/19.61 Conjecture not found
% 35.89/19.63 Conjecture not found
% 35.97/19.64 Conjecture not found
% 35.97/19.66 Conjecture not found
% 36.01/19.68 Conjecture not found
% 36.01/19.69 Conjecture not found
% 36.09/19.78 Conjecture not found
% 36.09/19.80 Conjecture not found
% 36.09/19.82 Conjecture not found
% 36.36/19.87 Conjecture not found
% 36.36/19.90 Conjecture not found
% 36.36/19.94 Conjecture not found
% 36.63/19.98 Conjecture not found
% 36.63/20.00 Conjecture not found
% 36.63/20.02 Conjecture not found
% 36.72/20.06 Conjecture not found
% 36.72/20.09 Conjecture not found
% 36.79/20.13 Conjecture not found
% 36.79/20.14 Conjecture not found
% 36.79/20.15 Conjecture not found
% 36.83/20.17 Conjecture not found
% 36.83/20.23 Conjecture not found
% 37.32/20.34 Conjecture not found
% 37.40/20.37 Conjecture not found
% 37.43/20.43 Conjecture not found
% 37.52/20.47 Conjecture not found
% 37.52/20.48 Conjecture not found
% 37.52/20.50 Conjecture not found
% 37.61/20.61 Conjecture not found
% 38.05/20.67 Conjecture not found
% 38.09/20.70 Conjecture not found
% 38.09/20.74 Conjecture not found
% 38.16/20.76 Conjecture not found
% 38.18/20.80 Conjecture not found
% 38.24/20.84 Conjecture not found
% 38.24/20.86 Conjecture not found
% 38.29/20.90 Conjecture not found
% 38.29/20.93 Conjecture not found
% 38.36/20.96 Conjecture not found
% 38.68/21.01 Conjecture not found
% 38.85/21.05 Conjecture not found
% 38.85/21.08 Conjecture not found
% 38.90/21.12 Conjecture not found
% 38.95/21.15 Conjecture not found
% 38.95/21.20 Conjecture not found
% 38.95/21.21 Conjecture not found
% 38.95/21.24 Conjecture not found
% 39.04/21.28 Conjecture not found
% 39.09/21.31 Conjecture not found
% 39.09/21.34 Conjecture not found
% 39.21/21.41 Conjecture not found
% 39.61/21.42 Conjecture not found
% 39.61/21.45 Conjecture not found
% 39.66/21.50 Conjecture not found
% 39.66/21.51 Conjecture not found
% 39.66/21.54 Conjecture not found
% 39.75/21.58 Conjecture not found
% 39.78/21.59 Conjecture not found
% 39.82/21.66 Conjecture not found
% 39.82/21.67 Conjecture not found
% 39.82/21.69 Conjecture not found
% 39.82/21.70 Conjecture not found
% 39.89/21.74 Conjecture not found
% 40.05/21.77 Conjecture not found
% 40.05/21.82 Conjecture not found
% 40.05/21.84 Conjecture not found
% 40.05/21.85 Conjecture not found
% 40.48/21.89 Conjecture not found
% 40.51/21.93 Conjecture not found
% 40.54/22.01 Conjecture not found
% 40.54/22.02 Conjecture not found
% 40.61/22.03 Conjecture not found
% 40.61/22.04 Conjecture not found
% 41.18/22.17 Conjecture not found
% 41.19/22.18 Conjecture not found
% 41.19/22.20 Conjecture not found
% 41.25/22.23 Conjecture not found
% 41.25/22.31 Conjecture not found
% 41.34/22.35 Conjecture not found
% 41.96/22.53 Conjecture not found
% 41.98/22.55 Conjecture not found
% 41.98/22.61 Conjecture not found
% 41.98/22.61 Conjecture not found
% 41.98/22.62 Conjecture not found
% 41.98/22.63 Conjecture not found
% 42.08/22.67 Conjecture not found
% 42.13/22.71 Conjecture not found
% 42.13/22.73 Conjecture not found
% 42.19/22.75 Conjecture not found
% 42.20/22.78 Conjecture not found
% 42.29/22.85 Conjecture not found
% 42.29/22.86 Conjecture not found
% 42.29/22.89 Conjecture not found
% 42.85/23.00 Conjecture not found
% 42.85/23.02 Conjecture not found
% 42.94/23.08 Conjecture not found
% 42.94/23.11 Conjecture not found
% 42.99/23.15 Conjecture not found
% 43.03/23.17 Conjecture not found
% 43.10/23.26 Conjecture not found
% 43.14/23.29 Conjecture not found
% 43.36/23.33 Conjecture not found
% 43.57/23.39 Conjecture not found
% 43.73/23.43 Conjecture not found
% 43.73/23.45 Conjecture not found
% 43.73/23.46 Conjecture not found
% 43.77/23.49 Conjecture not found
% 43.88/23.59 Conjecture not found
% 43.88/23.62 Conjecture not found
% 43.95/23.64 Conjecture not found
% 43.97/23.70 Conjecture not found
% 43.97/23.72 Conjecture not found
% 44.04/23.76 Conjecture not found
% 44.07/23.78 Conjecture not found
% 44.07/23.81 Conjecture not found
% 44.22/23.84 Conjecture not found
% 44.47/23.92 Conjecture not found
% 44.65/23.95 Conjecture not found
% 44.69/23.99 Conjecture not found
% 44.69/24.01 Conjecture not found
% 44.69/24.02 Conjecture not found
% 44.76/24.04 Conjecture not found
% 44.76/24.05 Conjecture not found
% 44.79/24.08 Conjecture not found
% 44.85/24.14 Conjecture not found
% 44.85/24.15 Conjecture not found
% 44.85/24.16 Conjecture not found
% 44.85/24.17 Conjecture not found
% 44.90/24.18 Conjecture not found
% 44.90/24.21 Conjecture not found
% 44.90/24.23 Conjecture not found
% 44.97/24.25 Conjecture not found
% 44.97/24.26 Conjecture not found
% 45.11/24.29 Conjecture not found
% 45.52/24.39 Conjecture not found
% 45.52/24.40 Conjecture not found
% 45.58/24.42 Conjecture not found
% 45.58/24.43 Conjecture not found
% 45.63/24.48 Conjecture not found
% 45.63/24.49 Conjecture not found
% 45.72/24.59 Conjecture not found
% 45.76/24.59 Conjecture not found
% 45.76/24.60 Conjecture not found
% 46.27/24.80 Conjecture not found
% 46.27/24.84 Conjecture not found
% 46.50/24.87 Conjecture not found
% 46.50/24.88 Conjecture not found
% 46.57/24.93 Conjecture not found
% 46.57/24.96 Conjecture not found
% 46.57/25.01 Conjecture not found
% 46.65/25.04 Conjecture not found
% 46.72/25.08 Conjecture not found
% 46.93/25.19 Conjecture not found
% 46.93/25.21 Conjecture not found
% 47.36/25.29 Conjecture not found
% 47.36/25.30 Conjecture not found
% 47.46/25.32 Conjecture not found
% 47.46/25.33 Conjecture not found
% 47.46/25.34 Conjecture not found
% 47.46/25.35 Conjecture not found
% 47.46/25.37 Conjecture not found
% 47.46/25.38 Conjecture not found
% 47.52/25.39 Conjecture not found
% 47.52/25.40 Conjecture not found
% 47.52/25.43 Conjecture not found
% 47.52/25.44 Conjecture not found
% 47.59/25.47 Conjecture not found
% 47.60/25.48 Conjecture not found
% 47.66/25.54 Conjecture not found
% 47.66/25.58 Conjecture not found
% 48.26/25.64 Conjecture not found
% 48.35/25.69 Conjecture not found
% 48.35/25.73 Conjecture not found
% 48.43/25.77 Conjecture not found
% 48.43/25.79 Conjecture not found
% 48.43/25.81 Conjecture not found
% 48.48/25.85 Conjecture not found
% 48.51/25.92 Conjecture not found
% 49.49/26.32 Conjecture not found
% 49.49/26.33 Conjecture not found
% 49.58/26.38 Conjecture not found
% 49.58/26.41 Conjecture not found
% 49.63/26.43 Conjecture not found
% 49.63/26.44 Conjecture not found
% 49.63/26.45 Conjecture not found
% 49.63/26.46 Conjecture not found
% 49.67/26.48 Conjecture not found
% 49.67/26.49 Conjecture not found
% 49.67/26.52 Conjecture not found
% 50.29/26.61 Conjecture not found
% 50.40/26.71 Conjecture not found
% 50.51/26.78 Conjecture not found
% 50.51/26.82 Conjecture not found
% 50.58/26.86 Conjecture not found
% 50.61/26.88 Conjecture not found
% 50.61/26.89 Conjecture not found
% 50.61/26.94 Conjecture not found
% 50.69/26.95 Conjecture not found
% 50.69/26.98 Conjecture not found
% 50.81/27.01 Conjecture not found
% 50.81/27.03 Conjecture not found
% 51.38/27.11 Conjecture not found
% 51.43/27.14 Conjecture not found
% 51.47/27.18 Conjecture not found
% 51.47/27.22 Conjecture not found
% 51.47/27.23 Conjecture not found
% 51.55/27.27 Conjecture not found
% 51.60/27.30 Conjecture not found
% 51.60/27.31 Conjecture not found
% 51.60/27.32 Conjecture not found
% 51.60/27.34 Conjecture not found
% 51.68/27.36 Conjecture not found
% 51.68/27.37 Conjecture not found
% 52.18/27.47 Conjecture not found
% 52.18/27.47 Conjecture not found
% 52.18/27.50 Conjecture not found
% 52.18/27.53 Conjecture not found
% 52.18/27.54 Conjecture not found
% 52.38/27.56 Conjecture not found
% 52.38/27.59 Conjecture not found
% 52.44/27.60 Conjecture not found
% 52.49/27.68 Conjecture not found
% 52.54/27.71 Conjecture not found
% 52.54/27.73 Conjecture not found
% 52.54/27.74 Conjecture not found
% 52.58/27.83 Conjecture not found
% 52.58/27.83 Conjecture not found
% 52.68/27.87 Conjecture not found
% 52.68/27.89 Conjecture not found
% 53.42/28.04 Conjecture not found
% 53.47/28.06 Conjecture not found
% 53.47/28.09 Conjecture not found
% 53.47/28.13 Conjecture not found
% 53.57/28.16 Conjecture not found
% 53.57/28.18 Conjecture not found
% 53.61/28.23 Conjecture not found
% 53.64/28.31 Conjecture not found
% 53.74/28.37 Conjecture not found
% 53.74/28.39 Conjecture not found
% 53.91/28.43 Conjecture not found
% 54.41/28.54 Conjecture not found
% 54.59/28.59 Conjecture not found
% 54.66/28.67 Conjecture not found
% 54.66/28.70 Conjecture not found
% 54.66/28.71 Conjecture not found
% 54.73/28.73 Conjecture not found
% 54.73/28.75 Conjecture not found
% 54.79/28.79 Conjecture not found
% 54.79/28.80 Conjecture not found
% 54.79/28.81 Conjecture not found
% 54.79/28.83 Conjecture not found
% 54.88/28.88 Conjecture not found
% 54.88/28.89 Conjecture not found
% 54.91/28.91 Conjecture not found
% 54.94/28.96 Conjecture not found
% 54.94/28.98 Conjecture not found
% 55.66/29.14 Conjecture not found
% 55.66/29.15 Conjecture not found
% 55.74/29.17 Conjecture not found
% 55.75/29.18 Conjecture not found
% 55.75/29.22 Conjecture not found
% 55.83/29.34 Conjecture not found
% 55.92/29.38 Conjecture not found
% 55.96/29.41 Conjecture not found
% 55.96/29.41 Conjecture not found
% 55.96/29.42 Conjecture not found
% 55.96/29.44 Conjecture not found
% 55.96/29.45 Conjecture not found
% 56.72/29.61 Conjecture not found
% 56.83/29.62 Conjecture not found
% 56.89/29.73 Conjecture not found
% 56.99/29.80 Conjecture not found
% 57.03/29.82 Conjecture not found
% 57.03/29.85 Conjecture not found
% 57.06/29.86 Conjecture not found
% 57.06/29.87 Conjecture not found
% 57.06/29.88 Conjecture not found
% 57.06/29.90 Conjecture not found
% 57.13/29.93 Conjecture not found
% 57.36/30.01 Conjecture not found
% 57.36/30.04 Conjecture not found
% 57.87/30.12 Conjecture not found
% 57.95/30.22 Conjecture not found
% 58.03/30.24 Conjecture not found
% 58.03/30.27 Conjecture not found
% 58.07/30.28 Conjecture not found
% 58.07/30.29 Conjecture not found
% 58.07/30.31 Conjecture not found
% 58.07/30.34 Conjecture not found
% 58.16/30.36 Conjecture not found
% 58.19/30.43 Conjecture not found
% 59.17/30.79 Conjecture not found
% 59.29/30.94 Conjecture not found
% 59.29/30.95 Conjecture not found
% 59.82/31.03 Conjecture not found
% 60.22/31.15 Conjecture not found
% 60.22/31.19 Conjecture not found
% 60.27/31.20 Conjecture not found
% 60.27/31.21 Conjecture not found
% 60.33/31.25 Conjecture not found
% 60.34/31.27 Conjecture not found
% 60.42/31.35 Conjecture not found
% 60.42/31.37 Conjecture not found
% 60.42/31.38 Conjecture not found
% 60.42/31.40 Conjecture not found
% 60.42/31.43 Conjecture not found
% 60.51/31.44 Conjecture not found
% 60.51/31.45 Conjecture not found
% 60.51/31.46 Conjecture not found
% 61.36/31.62 Conjecture not found
% 61.38/31.63 Conjecture not found
% 61.38/31.68 Conjecture not found
% 61.47/31.73 Conjecture not found
% 61.47/31.74 Conjecture not found
% 61.47/31.75 Conjecture not found
% 61.47/31.76 Conjecture not found
% 61.47/31.76 Conjecture not found
% 61.47/31.78 Conjecture not found
% 61.54/31.82 Conjecture not found
% 61.54/31.82 Conjecture not found
% 61.63/31.89 Conjecture not found
% 61.68/31.98 Conjecture not found
% 61.68/32.00 Conjecture not found
% 61.68/32.01 Conjecture not found
% 61.68/32.01 Conjecture not found
% 61.83/32.05 Conjecture not found
% 62.36/32.13 Conjecture not found
% 62.58/32.19 Conjecture not found
% 62.58/32.22 Conjecture not found
% 62.58/32.22 Conjecture not found
% 62.58/32.23 Conjecture not found
% 62.68/32.29 Conjecture not found
% 62.70/32.31 Conjecture not found
% 62.71/32.35 Conjecture not found
% 62.71/32.38 Conjecture not found
% 62.71/32.39 Conjecture not found
% 62.80/32.41 Conjecture not found
% 62.80/32.44 Conjecture not found
% 62.80/32.45 Conjecture not found
% 62.80/32.46 Conjecture not found
% 62.80/32.48 Conjecture not found
% 62.88/32.50 Conjecture not found
% 62.88/32.52 Conjecture not found
% 62.88/32.56 Conjecture not found
% 62.97/32.58 Conjecture not found
% 63.03/32.63 Conjecture not found
% 63.03/32.71 Conjecture not found
% 63.69/32.75 Conjecture not found
% 63.90/32.80 Conjecture not found
% 63.90/32.85 Conjecture not found
% 63.98/32.90 Conjecture not found
% 64.04/32.97 Conjecture not found
% 64.04/33.02 Conjecture not found
% 64.13/33.07 Conjecture not found
% 64.19/33.12 Conjecture not found
% 64.19/33.13 Conjecture not found
% 64.29/33.20 Conjecture not found
% 64.29/33.20 Conjecture not found
% 64.29/33.21 Conjecture not found
% 64.97/33.33 Conjecture not found
% 65.16/33.42 Conjecture not found
% 65.16/33.43 Conjecture not found
% 65.26/33.47 Conjecture not found
% 65.26/33.49 Conjecture not found
% 65.26/33.50 Conjecture not found
% 65.26/33.50 Conjecture not found
% 65.32/33.53 Conjecture not found
% 65.35/33.60 Conjecture not found
% 65.42/33.64 Conjecture not found
% 65.42/33.65 Conjecture not found
% 65.47/33.69 Conjecture not found
% 65.47/33.73 Conjecture not found
% 65.55/33.78 Conjecture not found
% 65.55/33.78 Conjecture not found
% 65.58/33.80 Conjecture not found
% 65.58/33.84 Conjecture not found
% 65.99/33.91 Conjecture not found
% 66.33/34.02 Conjecture not found
% 66.57/34.04 Conjecture not found
% 66.62/34.11 Conjecture not found
% 66.67/34.15 Conjecture not found
% 66.69/34.17 Conjecture not found
% 66.74/34.21 Conjecture not found
% 66.74/34.22 Conjecture not found
% 66.74/34.24 Conjecture not found
% 66.80/34.31 Conjecture not found
% 66.80/34.32 Conjecture not found
% 66.80/34.33 Conjecture not found
% 66.80/34.35 Conjecture not found
% 66.89/34.36 Conjecture not found
% 66.89/34.36 Conjecture not found
% 66.89/34.38 Conjecture not found
% 66.93/34.44 Conjecture not found
% 67.68/34.57 Conjecture not found
% 67.82/34.60 Conjecture not found
% 67.82/34.61 Conjecture not found
% 67.82/34.65 Conjecture not found
% 67.88/34.69 Conjecture not found
% 67.97/34.74 Conjecture not found
% 68.06/34.91 Conjecture not found
% 68.23/35.01 Conjecture not found
% 68.23/35.02 Conjecture not found
% 68.25/35.05 Conjecture not found
% 68.25/35.11 Conjecture not found
% 68.35/35.12 Conjecture not found
% 68.80/35.21 Conjecture not found
% 68.80/35.24 Conjecture not found
% 68.80/35.25 Conjecture not found
% 69.22/35.27 Conjecture not found
% 69.23/35.30 Conjecture not found
% 69.26/35.32 Conjecture not found
% 69.28/35.33 Conjecture not found
% 69.28/35.34 Conjecture not found
% 69.28/35.36 Conjecture not found
% 69.28/35.38 Conjecture not found
% 69.28/35.38 Conjecture not found
% 69.28/35.42 Conjecture not found
% 69.39/35.46 Conjecture not found
% 69.39/35.48 Conjecture not found
% 69.39/35.51 Conjecture not found
% 69.47/35.56 Conjecture not found
% 69.54/35.61 Conjecture not found
% 69.54/35.62 Conjecture not found
% 69.66/35.72 Conjecture not found
% 69.77/35.74 Conjecture not found
% 69.77/35.77 Conjecture not found
% 69.77/35.80 Conjecture not found
% 70.49/35.85 Conjecture not found
% 70.49/35.87 Conjecture not found
% 70.91/36.23 Conjecture not found
% 71.07/36.26 Conjecture not found
% 71.15/36.30 Conjecture not found
% 71.73/36.38 Conjecture not found
% 71.96/36.47 Conjecture not found
% 72.02/36.49 Conjecture not found
% 72.09/36.56 Conjecture not found
% 72.12/36.60 Conjecture not found
% 72.16/36.64 Conjecture not found
% 72.19/36.68 Conjecture not found
% 72.19/36.70 Conjecture not found
% 72.26/36.73 Conjecture not found
% 72.30/36.77 Conjecture not found
% 72.30/36.80 Conjecture not found
% 72.30/36.82 Conjecture not found
% 72.30/36.82 Start search
% 174.33/61.76 nb_step : 1 - limit : 175702
% 176.25/62.58 Launch Gotab with destructive = true
%------------------------------------------------------------------------------