TSTP Solution File: SEU424+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : SEU424+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n002.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:04 EDT 2022
% Result : Timeout 300.40s 98.92s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.13 % Problem : SEU424+4 : TPTP v8.1.0. Released v3.4.0.
% 0.12/0.13 % Command : goeland -dmt -presko -proof %s
% 0.12/0.35 % Computer : n002.cluster.edu
% 0.12/0.35 % Model : x86_64 x86_64
% 0.12/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.35 % Memory : 8042.1875MB
% 0.12/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.35 % CPULimit : 300
% 0.12/0.35 % WCLimit : 300
% 0.12/0.35 % DateTime : Sat Sep 3 14:17:00 EDT 2022
% 0.12/0.35 % CPUTime :
% 0.12/0.35 [DMT] DMT loaded with preskolemization
% 0.12/0.35 [EQ] equality loaded.
% 0.12/0.35 [0.000040s][1][MAIN] Problem : theBenchmark.p
% 0.12/0.40 Conjecture not found
% 0.12/0.41 Conjecture not found
% 0.12/0.41 Conjecture not found
% 0.12/0.41 Conjecture not found
% 0.20/0.43 Conjecture not found
% 0.20/0.44 Conjecture not found
% 0.20/0.47 Conjecture not found
% 0.20/0.49 Conjecture not found
% 0.20/0.50 Conjecture not found
% 0.20/0.50 Conjecture not found
% 0.20/0.55 Conjecture not found
% 0.20/0.59 Conjecture not found
% 0.56/0.60 Conjecture not found
% 0.56/0.61 Conjecture not found
% 0.56/0.62 Conjecture not found
% 0.60/0.64 Conjecture not found
% 0.65/0.65 Conjecture not found
% 0.65/0.70 Conjecture not found
% 0.86/0.77 Conjecture not found
% 0.86/0.77 Conjecture not found
% 1.00/0.85 Conjecture not found
% 1.04/0.91 Conjecture not found
% 1.16/0.99 Conjecture not found
% 1.28/1.03 Conjecture not found
% 1.37/1.10 Conjecture not found
% 1.37/1.14 Conjecture not found
% 1.52/1.19 Conjecture not found
% 1.59/1.22 Conjecture not found
% 1.67/1.25 Conjecture not found
% 1.67/1.26 Conjecture not found
% 1.67/1.27 Conjecture not found
% 1.67/1.27 Conjecture not found
% 1.67/1.28 Conjecture not found
% 1.85/1.38 Conjecture not found
% 1.85/1.41 Conjecture not found
% 1.85/1.41 Conjecture not found
% 1.85/1.43 Conjecture not found
% 1.85/1.43 Conjecture not found
% 1.85/1.44 Conjecture not found
% 1.85/1.44 Conjecture not found
% 1.85/1.45 Conjecture not found
% 1.85/1.45 Conjecture not found
% 2.11/1.50 Conjecture not found
% 2.18/1.55 Conjecture not found
% 2.18/1.56 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.28/1.61 Conjecture not found
% 2.28/1.62 Conjecture not found
% 2.28/1.64 Conjecture not found
% 2.28/1.66 Conjecture not found
% 2.40/1.68 Conjecture not found
% 2.40/1.69 Conjecture not found
% 2.40/1.70 Conjecture not found
% 2.40/1.73 Conjecture not found
% 2.58/1.79 Conjecture not found
% 2.70/1.84 Conjecture not found
% 2.70/1.85 Conjecture not found
% 2.70/1.87 Conjecture not found
% 2.70/1.91 Conjecture not found
% 2.85/1.94 Conjecture not found
% 2.85/1.96 Conjecture not found
% 2.85/1.98 Conjecture not found
% 3.08/2.07 Conjecture not found
% 3.08/2.11 Conjecture not found
% 3.17/2.13 Conjecture not found
% 3.20/2.14 Conjecture not found
% 3.20/2.16 Conjecture not found
% 3.20/2.19 Conjecture not found
% 3.47/2.35 Conjecture not found
% 3.62/2.38 Conjecture not found
% 3.64/2.40 Conjecture not found
% 3.84/2.52 Conjecture not found
% 3.84/2.53 Conjecture not found
% 3.84/2.54 Conjecture not found
% 3.84/2.56 Conjecture not found
% 3.97/2.61 Conjecture not found
% 3.97/2.66 Conjecture not found
% 4.19/2.73 Conjecture not found
% 4.19/2.82 Conjecture not found
% 4.40/2.86 Conjecture not found
% 4.40/2.88 Conjecture not found
% 4.52/2.90 Conjecture not found
% 4.52/2.91 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.69/3.00 Conjecture not found
% 4.69/3.07 Conjecture not found
% 4.69/3.09 Conjecture not found
% 4.88/3.12 Conjecture not found
% 4.88/3.19 Conjecture not found
% 5.04/3.29 Conjecture not found
% 5.49/3.45 Conjecture not found
% 5.93/3.68 Conjecture not found
% 6.53/4.01 Conjecture not found
% 6.56/4.03 Conjecture not found
% 6.58/4.07 Conjecture not found
% 6.82/4.18 Conjecture not found
% 6.82/4.21 Conjecture not found
% 6.82/4.24 Conjecture not found
% 6.95/4.27 Conjecture not found
% 7.02/4.29 Conjecture not found
% 7.11/4.33 Conjecture not found
% 7.13/4.35 Conjecture not found
% 7.13/4.37 Conjecture not found
% 7.13/4.38 Conjecture not found
% 7.13/4.41 Conjecture not found
% 7.25/4.42 Conjecture not found
% 7.36/4.51 Conjecture not found
% 7.36/4.56 Conjecture not found
% 7.56/4.63 Conjecture not found
% 7.74/4.74 Conjecture not found
% 7.85/4.76 Conjecture not found
% 7.85/4.81 Conjecture not found
% 7.85/4.83 Conjecture not found
% 7.85/4.85 Conjecture not found
% 7.98/4.88 Conjecture not found
% 8.11/4.91 Conjecture not found
% 8.11/4.92 Conjecture not found
% 8.15/4.97 Conjecture not found
% 8.15/4.97 Conjecture not found
% 8.15/4.98 Conjecture not found
% 8.26/5.01 Conjecture not found
% 8.26/5.05 Conjecture not found
% 8.34/5.07 Conjecture not found
% 8.34/5.12 Conjecture not found
% 8.53/5.17 Conjecture not found
% 8.79/5.38 Conjecture not found
% 8.94/5.42 Conjecture not found
% 8.94/5.43 Conjecture not found
% 8.94/5.45 Conjecture not found
% 9.02/5.48 Conjecture not found
% 9.16/5.52 Conjecture not found
% 9.19/5.58 Conjecture not found
% 9.19/5.59 Conjecture not found
% 9.19/5.61 Conjecture not found
% 9.37/5.64 Conjecture not found
% 9.44/5.73 Conjecture not found
% 10.35/6.27 Conjecture not found
% 11.44/6.87 Conjecture not found
% 11.70/7.00 Conjecture not found
% 11.70/7.05 Conjecture not found
% 11.88/7.07 Conjecture not found
% 11.88/7.09 Conjecture not found
% 11.93/7.15 Conjecture not found
% 11.93/7.16 Conjecture not found
% 11.93/7.18 Conjecture not found
% 12.13/7.23 Conjecture not found
% 12.13/7.29 Conjecture not found
% 12.20/7.33 Conjecture not found
% 12.20/7.35 Conjecture not found
% 12.20/7.36 Conjecture not found
% 12.38/7.40 Conjecture not found
% 12.54/7.45 Conjecture not found
% 12.54/7.50 Conjecture not found
% 12.62/7.54 Conjecture not found
% 12.79/7.60 Conjecture not found
% 12.79/7.62 Conjecture not found
% 12.79/7.63 Conjecture not found
% 12.79/7.65 Conjecture not found
% 12.98/7.68 Conjecture not found
% 13.02/7.72 Conjecture not found
% 13.05/7.76 Conjecture not found
% 13.05/7.78 Conjecture not found
% 13.20/7.85 Conjecture not found
% 13.29/7.91 Conjecture not found
% 13.29/7.94 Conjecture not found
% 13.29/7.95 Conjecture not found
% 13.29/7.97 Conjecture not found
% 13.38/7.98 Conjecture not found
% 13.50/8.01 Conjecture not found
% 13.50/8.03 Conjecture not found
% 13.56/8.06 Conjecture not found
% 13.56/8.08 Conjecture not found
% 13.56/8.10 Conjecture not found
% 13.73/8.15 Conjecture not found
% 13.73/8.18 Conjecture not found
% 13.85/8.21 Conjecture not found
% 13.85/8.25 Conjecture not found
% 13.92/8.27 Conjecture not found
% 13.92/8.28 Conjecture not found
% 13.92/8.31 Conjecture not found
% 13.92/8.34 Conjecture not found
% 14.14/8.37 Conjecture not found
% 14.14/8.38 Conjecture not found
% 14.18/8.42 Conjecture not found
% 14.22/8.46 Conjecture not found
% 14.22/8.49 Conjecture not found
% 14.44/8.54 Conjecture not found
% 14.44/8.55 Conjecture not found
% 14.44/8.57 Conjecture not found
% 14.50/8.60 Conjecture not found
% 14.50/8.61 Conjecture not found
% 14.50/8.64 Conjecture not found
% 14.50/8.66 Conjecture not found
% 14.70/8.68 Conjecture not found
% 14.70/8.69 Conjecture not found
% 14.70/8.69 Conjecture not found
% 14.70/8.70 Conjecture not found
% 14.70/8.73 Conjecture not found
% 14.97/8.86 Conjecture not found
% 14.97/8.87 Conjecture not found
% 14.97/8.90 Conjecture not found
% 15.05/8.93 Conjecture not found
% 15.05/8.94 Conjecture not found
% 15.05/8.96 Conjecture not found
% 15.05/8.98 Conjecture not found
% 15.25/9.02 Conjecture not found
% 15.34/9.07 Conjecture not found
% 15.38/9.11 Conjecture not found
% 15.44/9.16 Conjecture not found
% 15.44/9.21 Conjecture not found
% 15.71/9.36 Conjecture not found
% 15.99/9.43 Conjecture not found
% 15.99/9.48 Conjecture not found
% 15.99/9.49 Conjecture not found
% 16.22/9.51 Conjecture not found
% 16.22/9.54 Conjecture not found
% 16.22/9.57 Conjecture not found
% 16.30/9.59 Conjecture not found
% 16.30/9.66 Conjecture not found
% 16.55/9.70 Conjecture not found
% 16.61/9.77 Conjecture not found
% 16.61/9.82 Conjecture not found
% 16.83/9.86 Conjecture not found
% 16.83/9.88 Conjecture not found
% 16.99/9.94 Conjecture not found
% 17.14/9.99 Conjecture not found
% 17.14/10.06 Conjecture not found
% 17.42/10.18 Conjecture not found
% 17.42/10.19 Conjecture not found
% 17.51/10.21 Conjecture not found
% 17.51/10.23 Conjecture not found
% 17.51/10.26 Conjecture not found
% 17.78/10.33 Conjecture not found
% 18.04/10.40 Conjecture not found
% 18.07/10.42 Conjecture not found
% 18.08/10.46 Conjecture not found
% 18.51/10.71 Conjecture not found
% 18.53/10.79 Conjecture not found
% 18.79/10.84 Conjecture not found
% 18.79/10.87 Conjecture not found
% 18.79/10.88 Conjecture not found
% 18.79/10.89 Conjecture not found
% 18.86/10.96 Conjecture not found
% 19.18/11.05 Conjecture not found
% 19.34/11.12 Conjecture not found
% 19.49/11.20 Conjecture not found
% 19.49/11.22 Conjecture not found
% 19.81/11.34 Conjecture not found
% 19.83/11.39 Conjecture not found
% 19.91/11.43 Conjecture not found
% 19.91/11.47 Conjecture not found
% 19.99/11.55 Conjecture not found
% 19.99/11.57 Conjecture not found
% 20.24/11.59 Conjecture not found
% 20.24/11.60 Conjecture not found
% 20.24/11.62 Conjecture not found
% 20.28/11.65 Conjecture not found
% 20.28/11.68 Conjecture not found
% 20.28/11.70 Conjecture not found
% 20.35/11.73 Conjecture not found
% 20.49/11.82 Conjecture not found
% 20.49/11.83 Conjecture not found
% 20.49/11.85 Conjecture not found
% 20.66/11.87 Conjecture not found
% 20.74/12.00 Conjecture not found
% 20.99/12.02 Conjecture not found
% 21.06/12.08 Conjecture not found
% 21.06/12.09 Conjecture not found
% 21.06/12.09 Conjecture not found
% 21.06/12.10 Conjecture not found
% 21.06/12.11 Conjecture not found
% 21.16/12.18 Conjecture not found
% 21.16/12.19 Conjecture not found
% 21.39/12.22 Conjecture not found
% 21.43/12.32 Conjecture not found
% 21.51/12.38 Conjecture not found
% 21.86/12.48 Conjecture not found
% 21.86/12.50 Conjecture not found
% 21.92/12.61 Conjecture not found
% 22.36/12.78 Conjecture not found
% 22.37/12.79 Conjecture not found
% 22.40/12.85 Conjecture not found
% 22.40/12.88 Conjecture not found
% 22.40/12.90 Conjecture not found
% 22.70/12.98 Conjecture not found
% 22.77/13.06 Conjecture not found
% 23.08/13.13 Conjecture not found
% 23.08/13.15 Conjecture not found
% 23.18/13.23 Conjecture not found
% 23.18/13.26 Conjecture not found
% 23.18/13.28 Conjecture not found
% 23.36/13.35 Conjecture not found
% 23.57/13.42 Conjecture not found
% 23.57/13.43 Conjecture not found
% 23.57/13.46 Conjecture not found
% 23.66/13.54 Conjecture not found
% 23.66/13.58 Conjecture not found
% 23.98/13.60 Conjecture not found
% 23.99/13.65 Conjecture not found
% 23.99/13.69 Conjecture not found
% 23.99/13.69 Conjecture not found
% 24.08/13.75 Conjecture not found
% 24.39/13.82 Conjecture not found
% 24.39/13.85 Conjecture not found
% 24.39/13.88 Conjecture not found
% 24.52/13.94 Conjecture not found
% 24.52/13.95 Conjecture not found
% 24.82/14.04 Conjecture not found
% 24.90/14.12 Conjecture not found
% 25.05/14.20 Conjecture not found
% 25.27/14.25 Conjecture not found
% 25.35/14.33 Conjecture not found
% 25.35/14.35 Conjecture not found
% 25.35/14.36 Conjecture not found
% 25.35/14.36 Conjecture not found
% 25.42/14.37 Conjecture not found
% 25.42/14.39 Conjecture not found
% 25.42/14.40 Conjecture not found
% 25.76/14.50 Conjecture not found
% 25.84/14.56 Conjecture not found
% 25.84/14.60 Conjecture not found
% 25.84/14.62 Conjecture not found
% 25.93/14.63 Conjecture not found
% 26.14/14.71 Conjecture not found
% 26.14/14.74 Conjecture not found
% 26.14/14.75 Conjecture not found
% 26.35/14.84 Conjecture not found
% 26.37/14.85 Conjecture not found
% 26.37/14.89 Conjecture not found
% 26.47/14.96 Conjecture not found
% 26.77/15.01 Conjecture not found
% 26.77/15.06 Conjecture not found
% 27.30/15.27 Conjecture not found
% 27.30/15.33 Conjecture not found
% 27.30/15.35 Conjecture not found
% 27.68/15.44 Conjecture not found
% 27.68/15.46 Conjecture not found
% 27.80/15.53 Conjecture not found
% 27.80/15.55 Conjecture not found
% 27.87/15.64 Conjecture not found
% 28.11/15.68 Conjecture not found
% 28.26/15.70 Conjecture not found
% 28.29/15.73 Conjecture not found
% 28.29/15.77 Conjecture not found
% 28.36/15.82 Conjecture not found
% 28.43/15.88 Conjecture not found
% 28.43/15.89 Conjecture not found
% 28.43/15.90 Conjecture not found
% 28.43/15.90 Conjecture not found
% 28.79/15.97 Conjecture not found
% 28.79/15.99 Conjecture not found
% 28.85/16.06 Conjecture not found
% 28.94/16.14 Conjecture not found
% 29.01/16.21 Conjecture not found
% 29.01/16.25 Conjecture not found
% 29.01/16.27 Conjecture not found
% 29.39/16.29 Conjecture not found
% 29.42/16.34 Conjecture not found
% 29.42/16.37 Conjecture not found
% 29.42/16.37 Conjecture not found
% 29.42/16.40 Conjecture not found
% 29.52/16.43 Conjecture not found
% 29.87/16.51 Conjecture not found
% 29.87/16.56 Conjecture not found
% 29.97/16.59 Conjecture not found
% 29.97/16.67 Conjecture not found
% 30.08/16.70 Conjecture not found
% 30.09/16.72 Conjecture not found
% 30.48/16.81 Conjecture not found
% 30.48/16.83 Conjecture not found
% 30.48/16.88 Conjecture not found
% 30.57/16.90 Conjecture not found
% 30.57/16.92 Conjecture not found
% 30.57/16.93 Conjecture not found
% 30.57/16.96 Conjecture not found
% 30.57/16.97 Conjecture not found
% 31.09/17.11 Conjecture not found
% 31.09/17.12 Conjecture not found
% 31.09/17.13 Conjecture not found
% 31.09/17.17 Conjecture not found
% 31.17/17.20 Conjecture not found
% 31.17/17.22 Conjecture not found
% 31.17/17.24 Conjecture not found
% 31.17/17.27 Conjecture not found
% 31.26/17.30 Conjecture not found
% 31.57/17.40 Conjecture not found
% 31.57/17.42 Conjecture not found
% 31.70/17.46 Conjecture not found
% 31.70/17.48 Conjecture not found
% 31.70/17.49 Conjecture not found
% 31.76/17.50 Conjecture not found
% 31.76/17.54 Conjecture not found
% 31.82/17.57 Conjecture not found
% 31.99/17.62 Conjecture not found
% 32.22/17.66 Conjecture not found
% 32.22/17.66 Conjecture not found
% 32.22/17.71 Conjecture not found
% 32.32/17.76 Conjecture not found
% 32.32/17.79 Conjecture not found
% 32.38/17.80 Conjecture not found
% 32.38/17.82 Conjecture not found
% 32.67/17.86 Conjecture not found
% 32.76/17.88 Conjecture not found
% 32.76/17.91 Conjecture not found
% 32.82/17.95 Conjecture not found
% 32.86/17.97 Conjecture not found
% 32.86/17.99 Conjecture not found
% 32.86/18.03 Conjecture not found
% 32.98/18.08 Conjecture not found
% 33.44/18.22 Conjecture not found
% 33.44/18.24 Conjecture not found
% 33.48/18.27 Conjecture not found
% 33.48/18.32 Conjecture not found
% 33.75/18.41 Conjecture not found
% 34.01/18.47 Conjecture not found
% 34.09/18.53 Conjecture not found
% 34.11/18.55 Conjecture not found
% 34.11/18.56 Conjecture not found
% 34.11/18.58 Conjecture not found
% 34.11/18.59 Conjecture not found
% 34.11/18.61 Conjecture not found
% 34.18/18.63 Conjecture not found
% 34.18/18.63 Conjecture not found
% 34.18/18.66 Conjecture not found
% 34.32/18.69 Conjecture not found
% 34.66/18.75 Conjecture not found
% 34.68/18.81 Conjecture not found
% 34.75/18.84 Conjecture not found
% 34.75/18.88 Conjecture not found
% 34.75/18.89 Conjecture not found
% 34.75/18.91 Conjecture not found
% 34.82/18.97 Conjecture not found
% 35.36/19.13 Conjecture not found
% 35.36/19.16 Conjecture not found
% 35.36/19.17 Conjecture not found
% 35.45/19.26 Conjecture not found
% 35.52/19.30 Conjecture not found
% 35.95/19.37 Conjecture not found
% 36.00/19.42 Conjecture not found
% 36.01/19.43 Conjecture not found
% 36.01/19.49 Conjecture not found
% 36.01/19.51 Conjecture not found
% 36.10/19.52 Conjecture not found
% 36.10/19.58 Conjecture not found
% 36.17/19.61 Conjecture not found
% 36.17/19.63 Conjecture not found
% 36.17/19.65 Conjecture not found
% 36.17/19.66 Conjecture not found
% 36.40/19.71 Conjecture not found
% 36.45/19.79 Conjecture not found
% 36.76/19.84 Conjecture not found
% 36.84/19.88 Conjecture not found
% 36.95/19.99 Conjecture not found
% 37.03/20.01 Conjecture not found
% 37.18/20.07 Conjecture not found
% 37.18/20.09 Conjecture not found
% 37.18/20.11 Conjecture not found
% 37.44/20.13 Conjecture not found
% 37.44/20.14 Conjecture not found
% 37.52/20.22 Conjecture not found
% 37.52/20.23 Conjecture not found
% 37.52/20.25 Conjecture not found
% 37.60/20.29 Conjecture not found
% 37.60/20.30 Conjecture not found
% 37.60/20.32 Conjecture not found
% 37.60/20.35 Conjecture not found
% 37.60/20.36 Conjecture not found
% 37.82/20.41 Conjecture not found
% 38.04/20.48 Conjecture not found
% 38.21/20.52 Conjecture not found
% 38.21/20.56 Conjecture not found
% 38.21/20.57 Conjecture not found
% 38.28/20.58 Conjecture not found
% 38.28/20.59 Conjecture not found
% 38.28/20.65 Conjecture not found
% 38.41/20.72 Conjecture not found
% 38.70/20.78 Conjecture not found
% 38.91/20.85 Conjecture not found
% 38.96/20.89 Conjecture not found
% 38.96/20.90 Conjecture not found
% 38.96/20.92 Conjecture not found
% 39.05/20.99 Conjecture not found
% 39.10/21.03 Conjecture not found
% 39.15/21.05 Conjecture not found
% 39.39/21.11 Conjecture not found
% 39.68/21.16 Conjecture not found
% 39.68/21.20 Conjecture not found
% 39.68/21.23 Conjecture not found
% 39.68/21.26 Conjecture not found
% 39.79/21.29 Conjecture not found
% 39.83/21.32 Conjecture not found
% 39.83/21.34 Conjecture not found
% 39.88/21.36 Conjecture not found
% 39.88/21.39 Conjecture not found
% 39.88/21.40 Conjecture not found
% 40.17/21.45 Conjecture not found
% 40.43/21.49 Conjecture not found
% 40.43/21.52 Conjecture not found
% 40.43/21.53 Conjecture not found
% 40.50/21.55 Conjecture not found
% 40.50/21.58 Conjecture not found
% 40.50/21.60 Conjecture not found
% 40.56/21.62 Conjecture not found
% 40.56/21.64 Conjecture not found
% 40.56/21.64 Conjecture not found
% 40.56/21.65 Conjecture not found
% 40.60/21.72 Conjecture not found
% 41.08/21.75 Conjecture not found
% 41.13/21.79 Conjecture not found
% 41.13/21.83 Conjecture not found
% 41.13/21.83 Conjecture not found
% 41.21/21.90 Conjecture not found
% 41.21/21.91 Conjecture not found
% 41.26/21.93 Conjecture not found
% 41.26/21.94 Conjecture not found
% 41.30/21.98 Conjecture not found
% 41.30/22.00 Conjecture not found
% 41.37/22.03 Conjecture not found
% 41.37/22.06 Conjecture not found
% 41.41/22.07 Conjecture not found
% 41.92/22.17 Conjecture not found
% 41.98/22.24 Conjecture not found
% 42.08/22.34 Conjecture not found
% 42.08/22.36 Conjecture not found
% 42.08/22.37 Conjecture not found
% 42.08/22.38 Conjecture not found
% 42.21/22.47 Conjecture not found
% 42.33/22.49 Conjecture not found
% 42.66/22.54 Conjecture not found
% 42.74/22.59 Conjecture not found
% 42.88/22.67 Conjecture not found
% 42.88/22.70 Conjecture not found
% 43.04/22.83 Conjecture not found
% 43.05/22.84 Conjecture not found
% 43.54/22.94 Conjecture not found
% 43.54/22.95 Conjecture not found
% 43.54/22.95 Conjecture not found
% 43.54/22.96 Conjecture not found
% 43.54/22.98 Conjecture not found
% 43.63/23.01 Conjecture not found
% 43.63/23.03 Conjecture not found
% 43.63/23.04 Conjecture not found
% 43.63/23.06 Conjecture not found
% 43.75/23.12 Conjecture not found
% 43.76/23.12 Conjecture not found
% 43.76/23.14 Conjecture not found
% 43.76/23.18 Conjecture not found
% 44.11/23.22 Conjecture not found
% 44.40/23.31 Conjecture not found
% 44.40/23.34 Conjecture not found
% 44.49/23.38 Conjecture not found
% 44.50/23.40 Conjecture not found
% 44.55/23.50 Conjecture not found
% 44.64/23.54 Conjecture not found
% 44.64/23.56 Conjecture not found
% 44.78/23.62 Conjecture not found
% 45.23/23.70 Conjecture not found
% 45.23/23.72 Conjecture not found
% 45.23/23.75 Conjecture not found
% 45.32/23.77 Conjecture not found
% 45.38/23.87 Conjecture not found
% 45.38/23.90 Conjecture not found
% 45.46/23.91 Conjecture not found
% 45.46/23.95 Conjecture not found
% 45.46/23.96 Conjecture not found
% 45.53/23.99 Conjecture not found
% 45.53/24.02 Conjecture not found
% 45.53/24.03 Conjecture not found
% 45.53/24.04 Conjecture not found
% 45.63/24.08 Conjecture not found
% 46.15/24.15 Conjecture not found
% 46.22/24.21 Conjecture not found
% 46.22/24.23 Conjecture not found
% 46.22/24.24 Conjecture not found
% 46.27/24.26 Conjecture not found
% 46.27/24.27 Conjecture not found
% 46.27/24.29 Conjecture not found
% 46.36/24.35 Conjecture not found
% 46.36/24.37 Conjecture not found
% 46.36/24.37 Conjecture not found
% 46.36/24.38 Conjecture not found
% 46.41/24.40 Conjecture not found
% 46.41/24.42 Conjecture not found
% 46.41/24.44 Conjecture not found
% 46.46/24.46 Conjecture not found
% 46.46/24.47 Conjecture not found
% 46.46/24.50 Conjecture not found
% 46.95/24.57 Conjecture not found
% 46.95/24.59 Conjecture not found
% 46.95/24.61 Conjecture not found
% 46.95/24.64 Conjecture not found
% 47.18/24.69 Conjecture not found
% 47.18/24.70 Conjecture not found
% 47.28/24.79 Conjecture not found
% 47.28/24.80 Conjecture not found
% 47.28/24.81 Conjecture not found
% 47.64/24.97 Conjecture not found
% 48.04/25.02 Conjecture not found
% 48.10/25.05 Conjecture not found
% 48.10/25.07 Conjecture not found
% 48.10/25.11 Conjecture not found
% 48.19/25.15 Conjecture not found
% 48.23/25.19 Conjecture not found
% 48.23/25.23 Conjecture not found
% 48.30/25.26 Conjecture not found
% 48.40/25.37 Conjecture not found
% 48.40/25.39 Conjecture not found
% 49.01/25.51 Conjecture not found
% 49.01/25.53 Conjecture not found
% 49.09/25.56 Conjecture not found
% 49.09/25.57 Conjecture not found
% 49.12/25.58 Conjecture not found
% 49.12/25.59 Conjecture not found
% 49.12/25.62 Conjecture not found
% 49.17/25.64 Conjecture not found
% 49.17/25.65 Conjecture not found
% 49.20/25.67 Conjecture not found
% 49.20/25.70 Conjecture not found
% 49.20/25.71 Conjecture not found
% 49.27/25.74 Conjecture not found
% 49.27/25.77 Conjecture not found
% 49.33/25.85 Conjecture not found
% 49.41/25.89 Conjecture not found
% 49.97/25.95 Conjecture not found
% 49.97/26.00 Conjecture not found
% 50.08/26.03 Conjecture not found
% 50.14/26.08 Conjecture not found
% 50.14/26.10 Conjecture not found
% 50.14/26.11 Conjecture not found
% 50.14/26.15 Conjecture not found
% 50.26/26.21 Conjecture not found
% 51.07/26.55 Conjecture not found
% 51.07/26.56 Conjecture not found
% 51.07/26.59 Conjecture not found
% 51.16/26.61 Conjecture not found
% 51.16/26.62 Conjecture not found
% 51.16/26.63 Conjecture not found
% 51.16/26.64 Conjecture not found
% 51.16/26.65 Conjecture not found
% 51.16/26.66 Conjecture not found
% 51.16/26.67 Conjecture not found
% 51.16/26.69 Conjecture not found
% 51.34/26.78 Conjecture not found
% 51.89/26.84 Conjecture not found
% 51.89/26.89 Conjecture not found
% 51.89/26.92 Conjecture not found
% 51.99/26.95 Conjecture not found
% 51.99/26.96 Conjecture not found
% 51.99/26.97 Conjecture not found
% 52.15/27.05 Conjecture not found
% 52.15/27.08 Conjecture not found
% 52.66/27.11 Conjecture not found
% 52.66/27.14 Conjecture not found
% 52.66/27.15 Conjecture not found
% 52.78/27.21 Conjecture not found
% 52.80/27.24 Conjecture not found
% 52.80/27.28 Conjecture not found
% 52.88/27.34 Conjecture not found
% 52.88/27.35 Conjecture not found
% 52.96/27.44 Conjecture not found
% 53.05/27.47 Conjecture not found
% 53.05/27.48 Conjecture not found
% 53.05/27.49 Conjecture not found
% 53.10/27.53 Conjecture not found
% 53.11/27.55 Conjecture not found
% 53.11/27.56 Conjecture not found
% 53.39/27.64 Conjecture not found
% 53.39/27.64 Conjecture not found
% 53.80/27.67 Conjecture not found
% 53.80/27.70 Conjecture not found
% 53.80/27.72 Conjecture not found
% 53.80/27.74 Conjecture not found
% 53.91/27.76 Conjecture not found
% 53.91/27.78 Conjecture not found
% 53.99/27.85 Conjecture not found
% 53.99/27.89 Conjecture not found
% 53.99/27.90 Conjecture not found
% 54.06/27.92 Conjecture not found
% 54.12/28.00 Conjecture not found
% 54.12/28.01 Conjecture not found
% 54.12/28.05 Conjecture not found
% 54.25/28.09 Conjecture not found
% 54.95/28.26 Conjecture not found
% 54.95/28.28 Conjecture not found
% 55.00/28.31 Conjecture not found
% 55.00/28.35 Conjecture not found
% 55.06/28.38 Conjecture not found
% 55.06/28.40 Conjecture not found
% 55.15/28.45 Conjecture not found
% 55.15/28.52 Conjecture not found
% 55.25/28.58 Conjecture not found
% 55.25/28.59 Conjecture not found
% 55.30/28.60 Conjecture not found
% 55.94/28.73 Conjecture not found
% 55.96/28.77 Conjecture not found
% 56.04/28.83 Conjecture not found
% 56.04/28.84 Conjecture not found
% 56.04/28.85 Conjecture not found
% 56.04/28.87 Conjecture not found
% 56.09/28.88 Conjecture not found
% 56.09/28.91 Conjecture not found
% 56.09/28.91 Conjecture not found
% 56.09/28.92 Conjecture not found
% 56.09/28.94 Conjecture not found
% 56.17/28.97 Conjecture not found
% 56.20/28.98 Conjecture not found
% 56.56/29.04 Conjecture not found
% 56.56/29.11 Conjecture not found
% 56.92/29.12 Conjecture not found
% 56.99/29.23 Conjecture not found
% 56.99/29.24 Conjecture not found
% 56.99/29.26 Conjecture not found
% 57.07/29.28 Conjecture not found
% 57.09/29.31 Conjecture not found
% 57.20/29.42 Conjecture not found
% 57.20/29.46 Conjecture not found
% 57.27/29.48 Conjecture not found
% 57.27/29.48 Conjecture not found
% 57.27/29.49 Conjecture not found
% 57.27/29.51 Conjecture not found
% 57.27/29.51 Conjecture not found
% 58.01/29.67 Conjecture not found
% 58.01/29.68 Conjecture not found
% 58.11/29.76 Conjecture not found
% 58.19/29.81 Conjecture not found
% 58.19/29.83 Conjecture not found
% 58.19/29.85 Conjecture not found
% 58.19/29.85 Conjecture not found
% 58.19/29.86 Conjecture not found
% 58.19/29.87 Conjecture not found
% 58.19/29.88 Conjecture not found
% 58.31/29.91 Conjecture not found
% 58.31/29.95 Conjecture not found
% 58.31/29.97 Conjecture not found
% 58.91/30.08 Conjecture not found
% 59.22/30.18 Conjecture not found
% 59.24/30.22 Conjecture not found
% 59.26/30.25 Conjecture not found
% 59.26/30.27 Conjecture not found
% 59.26/30.29 Conjecture not found
% 59.26/30.31 Conjecture not found
% 59.35/30.35 Conjecture not found
% 59.35/30.37 Conjecture not found
% 59.44/30.45 Conjecture not found
% 60.48/30.79 Conjecture not found
% 60.63/30.95 Conjecture not found
% 60.63/30.96 Conjecture not found
% 60.63/31.00 Conjecture not found
% 61.38/31.15 Conjecture not found
% 61.54/31.19 Conjecture not found
% 61.54/31.20 Conjecture not found
% 61.54/31.20 Conjecture not found
% 61.59/31.24 Conjecture not found
% 61.59/31.25 Conjecture not found
% 61.59/31.31 Conjecture not found
% 61.67/31.33 Conjecture not found
% 61.67/31.34 Conjecture not found
% 61.67/31.35 Conjecture not found
% 61.67/31.37 Conjecture not found
% 61.74/31.39 Conjecture not found
% 61.74/31.40 Conjecture not found
% 61.74/31.41 Conjecture not found
% 61.95/31.51 Conjecture not found
% 61.95/31.53 Conjecture not found
% 62.23/31.59 Conjecture not found
% 62.63/31.65 Conjecture not found
% 62.63/31.66 Conjecture not found
% 62.70/31.66 Conjecture not found
% 62.70/31.67 Conjecture not found
% 62.70/31.68 Conjecture not found
% 62.70/31.70 Conjecture not found
% 62.70/31.73 Conjecture not found
% 62.70/31.73 Conjecture not found
% 62.80/31.78 Conjecture not found
% 62.87/31.85 Conjecture not found
% 62.87/31.87 Conjecture not found
% 62.87/31.87 Conjecture not found
% 62.87/31.88 Conjecture not found
% 62.93/31.90 Conjecture not found
% 62.93/31.92 Conjecture not found
% 63.26/31.99 Conjecture not found
% 63.26/32.05 Conjecture not found
% 63.26/32.06 Conjecture not found
% 63.26/32.07 Conjecture not found
% 63.80/32.12 Conjecture not found
% 63.81/32.15 Conjecture not found
% 63.81/32.19 Conjecture not found
% 63.88/32.22 Conjecture not found
% 63.88/32.23 Conjecture not found
% 63.88/32.25 Conjecture not found
% 63.95/32.28 Conjecture not found
% 63.95/32.29 Conjecture not found
% 63.95/32.30 Conjecture not found
% 63.95/32.32 Conjecture not found
% 63.95/32.34 Conjecture not found
% 63.95/32.36 Conjecture not found
% 64.06/32.40 Conjecture not found
% 64.10/32.42 Conjecture not found
% 64.11/32.49 Conjecture not found
% 64.18/32.54 Conjecture not found
% 64.18/32.56 Conjecture not found
% 64.34/32.60 Conjecture not found
% 65.01/32.69 Conjecture not found
% 65.07/32.75 Conjecture not found
% 65.07/32.81 Conjecture not found
% 65.16/32.86 Conjecture not found
% 65.24/32.91 Conjecture not found
% 65.24/32.96 Conjecture not found
% 65.32/32.97 Conjecture not found
% 65.46/33.12 Conjecture not found
% 65.46/33.14 Conjecture not found
% 65.46/33.17 Conjecture not found
% 65.68/33.34 Conjecture not found
% 66.54/33.50 Conjecture not found
% 66.54/33.52 Conjecture not found
% 66.65/33.60 Conjecture not found
% 66.65/33.64 Conjecture not found
% 66.65/33.66 Conjecture not found
% 66.65/33.67 Conjecture not found
% 66.77/33.72 Conjecture not found
% 66.87/33.86 Conjecture not found
% 66.96/33.93 Conjecture not found
% 66.96/33.96 Conjecture not found
% 67.05/34.03 Conjecture not found
% 67.16/34.11 Conjecture not found
% 67.26/34.22 Conjecture not found
% 67.26/34.23 Conjecture not found
% 67.26/34.28 Conjecture not found
% 67.35/34.38 Conjecture not found
% 67.82/34.60 Conjecture not found
% 68.49/34.84 Conjecture not found
% 68.49/34.87 Conjecture not found
% 68.69/34.99 Conjecture not found
% 68.74/35.06 Conjecture not found
% 68.74/35.10 Conjecture not found
% 68.83/35.18 Conjecture not found
% 68.90/35.20 Conjecture not found
% 68.90/35.23 Conjecture not found
% 69.04/35.35 Conjecture not found
% 69.04/35.38 Conjecture not found
% 69.04/35.41 Conjecture not found
% 69.13/35.46 Conjecture not found
% 69.13/35.48 Conjecture not found
% 69.13/35.49 Conjecture not found
% 69.20/35.53 Conjecture not found
% 69.34/35.70 Conjecture not found
% 69.49/35.81 Conjecture not found
% 69.49/35.86 Conjecture not found
% 69.75/35.88 Conjecture not found
% 70.20/35.95 Conjecture not found
% 70.45/36.04 Conjecture not found
% 70.52/36.14 Conjecture not found
% 70.83/36.46 Conjecture not found
% 71.05/36.67 Conjecture not found
% 71.05/36.70 Conjecture not found
% 71.14/36.77 Conjecture not found
% 71.33/36.94 Conjecture not found
% 71.33/36.96 Conjecture not found
% 72.06/37.09 Conjecture not found
% 72.17/37.12 Conjecture not found
% 72.17/37.13 Conjecture not found
% 72.17/37.15 Conjecture not found
% 72.17/37.20 Conjecture not found
% 72.40/37.24 Conjecture not found
% 72.40/37.26 Conjecture not found
% 72.40/37.29 Conjecture not found
% 72.49/37.32 Conjecture not found
% 72.49/37.36 Conjecture not found
% 72.49/37.36 Conjecture not found
% 72.59/37.43 Conjecture not found
% 72.68/37.51 Conjecture not found
% 72.68/37.57 Conjecture not found
% 72.79/37.61 Conjecture not found
% 72.89/37.71 Conjecture not found
% 72.98/37.80 Conjecture not found
% 72.98/37.83 Conjecture not found
% 73.19/38.06 Conjecture not found
% 73.26/38.08 Conjecture not found
% 73.26/38.11 Conjecture not found
% 73.26/38.14 Conjecture not found
% 73.83/38.28 Conjecture not found
% 74.24/38.34 Conjecture not found
% 75.15/39.26 Conjecture not found
% 75.24/39.33 Conjecture not found
% 75.24/39.37 Conjecture not found
% 76.11/39.50 Conjecture not found
% 76.34/39.68 Conjecture not found
% 76.43/39.71 Conjecture not found
% 76.54/39.86 Conjecture not found
% 76.63/39.92 Conjecture not found
% 76.72/40.00 Conjecture not found
% 76.72/40.07 Conjecture not found
% 76.84/40.12 Conjecture not found
% 76.84/40.18 Conjecture not found
% 76.93/40.27 Conjecture not found
% 77.03/40.34 Conjecture not found
% 77.03/40.38 Conjecture not found
% 77.03/40.39 Start search
% 208.55/76.33 nb_step : 1 - limit : 175680
% 209.55/77.03 Launch Gotab with destructive = true
%------------------------------------------------------------------------------