TSTP Solution File: SEU420+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : SEU420+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n017.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:02 EDT 2022
% Result : Timeout 300.03s 93.11s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : SEU420+4 : TPTP v8.1.0. Released v3.4.0.
% 0.06/0.13 % Command : goeland -dmt -presko -proof %s
% 0.12/0.34 % Computer : n017.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 13:19:34 EDT 2022
% 0.12/0.34 % CPUTime :
% 0.12/0.35 [DMT] DMT loaded with preskolemization
% 0.12/0.35 [EQ] equality loaded.
% 0.12/0.35 [0.000054s][1][MAIN] Problem : theBenchmark.p
% 0.12/0.39 Conjecture not found
% 0.12/0.39 Conjecture not found
% 0.12/0.40 Conjecture not found
% 0.12/0.40 Conjecture not found
% 0.20/0.41 Conjecture not found
% 0.20/0.43 Conjecture not found
% 0.20/0.45 Conjecture not found
% 0.20/0.47 Conjecture not found
% 0.20/0.48 Conjecture not found
% 0.20/0.48 Conjecture not found
% 0.20/0.52 Conjecture not found
% 0.20/0.55 Conjecture not found
% 0.20/0.56 Conjecture not found
% 0.20/0.57 Conjecture not found
% 0.20/0.58 Conjecture not found
% 0.56/0.60 Conjecture not found
% 0.59/0.62 Conjecture not found
% 0.64/0.66 Conjecture not found
% 0.80/0.74 Conjecture not found
% 0.80/0.74 Conjecture not found
% 0.90/0.82 Conjecture not found
% 1.04/0.87 Conjecture not found
% 1.16/0.95 Conjecture not found
% 1.16/0.99 Conjecture not found
% 1.30/1.06 Conjecture not found
% 1.42/1.09 Conjecture not found
% 1.42/1.14 Conjecture not found
% 1.42/1.17 Conjecture not found
% 1.59/1.20 Conjecture not found
% 1.59/1.21 Conjecture not found
% 1.65/1.23 Conjecture not found
% 1.65/1.23 Conjecture not found
% 1.68/1.24 Conjecture not found
% 1.79/1.35 Conjecture not found
% 1.90/1.38 Conjecture not found
% 1.90/1.38 Conjecture not found
% 1.90/1.40 Conjecture not found
% 1.90/1.40 Conjecture not found
% 1.90/1.41 Conjecture not found
% 1.90/1.41 Conjecture not found
% 1.90/1.42 Conjecture not found
% 1.90/1.42 Conjecture not found
% 2.05/1.48 Conjecture not found
% 2.16/1.53 Conjecture not found
% 2.16/1.53 Conjecture not found
% 2.18/1.54 Conjecture not found
% 2.18/1.55 Conjecture not found
% 2.18/1.57 Conjecture not found
% 2.18/1.59 Conjecture not found
% 2.18/1.60 Conjecture not found
% 2.30/1.63 Conjecture not found
% 2.30/1.64 Conjecture not found
% 2.30/1.66 Conjecture not found
% 2.30/1.67 Conjecture not found
% 2.30/1.68 Conjecture not found
% 2.42/1.72 Conjecture not found
% 2.58/1.78 Conjecture not found
% 2.66/1.83 Conjecture not found
% 2.66/1.84 Conjecture not found
% 2.66/1.86 Conjecture not found
% 2.66/1.90 Conjecture not found
% 2.81/1.94 Conjecture not found
% 2.81/1.96 Conjecture not found
% 2.81/1.98 Conjecture not found
% 3.07/2.07 Conjecture not found
% 3.10/2.10 Conjecture not found
% 3.16/2.13 Conjecture not found
% 3.16/2.15 Conjecture not found
% 3.16/2.17 Conjecture not found
% 3.16/2.19 Conjecture not found
% 3.46/2.38 Conjecture not found
% 3.64/2.41 Conjecture not found
% 3.64/2.43 Conjecture not found
% 3.78/2.53 Conjecture not found
% 3.78/2.54 Conjecture not found
% 3.78/2.56 Conjecture not found
% 3.78/2.58 Conjecture not found
% 3.95/2.62 Conjecture not found
% 3.95/2.68 Conjecture not found
% 4.16/2.77 Conjecture not found
% 4.33/2.84 Conjecture not found
% 4.33/2.90 Conjecture not found
% 4.51/2.91 Conjecture not found
% 4.51/2.95 Conjecture not found
% 4.51/2.95 Conjecture not found
% 4.51/2.99 Conjecture not found
% 4.66/3.01 Conjecture not found
% 4.66/3.04 Conjecture not found
% 4.66/3.05 Conjecture not found
% 4.80/3.11 Conjecture not found
% 4.80/3.12 Conjecture not found
% 4.80/3.15 Conjecture not found
% 4.99/3.19 Conjecture not found
% 5.04/3.29 Conjecture not found
% 5.35/3.43 Conjecture not found
% 5.79/3.64 Conjecture not found
% 6.33/3.97 Conjecture not found
% 6.46/3.99 Conjecture not found
% 6.46/4.01 Conjecture not found
% 6.74/4.14 Conjecture not found
% 6.77/4.18 Conjecture not found
% 6.91/4.23 Conjecture not found
% 6.91/4.27 Conjecture not found
% 6.96/4.32 Conjecture not found
% 7.08/4.36 Conjecture not found
% 7.16/4.41 Conjecture not found
% 7.22/4.43 Conjecture not found
% 7.22/4.44 Conjecture not found
% 7.24/4.47 Conjecture not found
% 7.24/4.48 Conjecture not found
% 7.45/4.54 Conjecture not found
% 7.51/4.63 Conjecture not found
% 7.69/4.70 Conjecture not found
% 7.82/4.79 Conjecture not found
% 7.82/4.80 Conjecture not found
% 7.90/4.86 Conjecture not found
% 8.00/4.88 Conjecture not found
% 8.00/4.90 Conjecture not found
% 8.00/4.92 Conjecture not found
% 8.16/4.95 Conjecture not found
% 8.16/4.96 Conjecture not found
% 8.19/5.01 Conjecture not found
% 8.19/5.01 Conjecture not found
% 8.19/5.02 Conjecture not found
% 8.24/5.04 Conjecture not found
% 8.26/5.07 Conjecture not found
% 8.26/5.09 Conjecture not found
% 8.41/5.12 Conjecture not found
% 8.41/5.17 Conjecture not found
% 8.77/5.38 Conjecture not found
% 8.77/5.42 Conjecture not found
% 8.77/5.42 Conjecture not found
% 8.95/5.45 Conjecture not found
% 8.95/5.49 Conjecture not found
% 9.02/5.52 Conjecture not found
% 9.13/5.58 Conjecture not found
% 9.13/5.59 Conjecture not found
% 9.13/5.61 Conjecture not found
% 9.13/5.64 Conjecture not found
% 9.42/5.74 Conjecture not found
% 10.17/6.24 Conjecture not found
% 11.12/6.74 Conjecture not found
% 11.30/6.87 Conjecture not found
% 11.39/6.91 Conjecture not found
% 11.39/6.92 Conjecture not found
% 11.39/6.93 Conjecture not found
% 11.66/6.98 Conjecture not found
% 11.66/7.00 Conjecture not found
% 11.69/7.02 Conjecture not found
% 11.72/7.07 Conjecture not found
% 11.78/7.11 Conjecture not found
% 11.94/7.17 Conjecture not found
% 11.94/7.20 Conjecture not found
% 11.94/7.21 Conjecture not found
% 12.12/7.26 Conjecture not found
% 12.16/7.31 Conjecture not found
% 12.20/7.34 Conjecture not found
% 12.20/7.38 Conjecture not found
% 12.36/7.45 Conjecture not found
% 12.42/7.47 Conjecture not found
% 12.42/7.49 Conjecture not found
% 12.42/7.52 Conjecture not found
% 12.42/7.55 Conjecture not found
% 12.63/7.59 Conjecture not found
% 12.67/7.63 Conjecture not found
% 12.67/7.64 Conjecture not found
% 12.71/7.70 Conjecture not found
% 12.71/7.73 Conjecture not found
% 12.91/7.74 Conjecture not found
% 12.91/7.76 Conjecture not found
% 13.06/7.79 Conjecture not found
% 13.06/7.81 Conjecture not found
% 13.06/7.83 Conjecture not found
% 13.12/7.85 Conjecture not found
% 13.13/7.87 Conjecture not found
% 13.13/7.89 Conjecture not found
% 13.13/7.89 Conjecture not found
% 13.34/7.95 Conjecture not found
% 13.34/7.97 Conjecture not found
% 13.34/8.00 Conjecture not found
% 13.34/8.03 Conjecture not found
% 13.47/8.06 Conjecture not found
% 13.58/8.08 Conjecture not found
% 13.58/8.10 Conjecture not found
% 13.58/8.13 Conjecture not found
% 13.58/8.16 Conjecture not found
% 13.65/8.16 Conjecture not found
% 13.67/8.19 Conjecture not found
% 13.84/8.23 Conjecture not found
% 13.86/8.26 Conjecture not found
% 13.86/8.31 Conjecture not found
% 13.86/8.32 Conjecture not found
% 13.93/8.33 Conjecture not found
% 14.09/8.38 Conjecture not found
% 14.09/8.40 Conjecture not found
% 14.09/8.41 Conjecture not found
% 14.09/8.42 Conjecture not found
% 14.09/8.44 Conjecture not found
% 14.09/8.44 Conjecture not found
% 14.17/8.44 Conjecture not found
% 14.17/8.45 Conjecture not found
% 14.21/8.49 Conjecture not found
% 14.41/8.60 Conjecture not found
% 14.41/8.61 Conjecture not found
% 14.48/8.63 Conjecture not found
% 14.48/8.66 Conjecture not found
% 14.48/8.68 Conjecture not found
% 14.66/8.70 Conjecture not found
% 14.66/8.71 Conjecture not found
% 14.66/8.73 Conjecture not found
% 14.74/8.77 Conjecture not found
% 14.94/8.83 Conjecture not found
% 14.94/8.88 Conjecture not found
% 15.01/8.92 Conjecture not found
% 15.30/9.08 Conjecture not found
% 15.51/9.16 Conjecture not found
% 15.51/9.22 Conjecture not found
% 15.60/9.22 Conjecture not found
% 15.60/9.25 Conjecture not found
% 15.67/9.30 Conjecture not found
% 15.67/9.36 Conjecture not found
% 15.91/9.38 Conjecture not found
% 15.95/9.45 Conjecture not found
% 16.17/9.53 Conjecture not found
% 16.25/9.58 Conjecture not found
% 16.25/9.62 Conjecture not found
% 16.53/9.71 Conjecture not found
% 16.55/9.74 Conjecture not found
% 16.55/9.78 Conjecture not found
% 16.55/9.82 Conjecture not found
% 16.64/9.88 Conjecture not found
% 16.89/9.95 Conjecture not found
% 16.89/9.96 Conjecture not found
% 16.98/9.99 Conjecture not found
% 16.98/10.02 Conjecture not found
% 16.98/10.05 Conjecture not found
% 17.25/10.13 Conjecture not found
% 17.25/10.19 Conjecture not found
% 17.47/10.20 Conjecture not found
% 17.47/10.22 Conjecture not found
% 17.85/10.42 Conjecture not found
% 18.10/10.52 Conjecture not found
% 18.16/10.56 Conjecture not found
% 18.16/10.58 Conjecture not found
% 18.16/10.59 Conjecture not found
% 18.16/10.60 Conjecture not found
% 18.39/10.67 Conjecture not found
% 18.50/10.76 Conjecture not found
% 18.56/10.84 Conjecture not found
% 18.78/10.92 Conjecture not found
% 18.78/10.95 Conjecture not found
% 19.11/11.06 Conjecture not found
% 19.23/11.14 Conjecture not found
% 19.27/11.18 Conjecture not found
% 19.27/11.22 Conjecture not found
% 19.48/11.28 Conjecture not found
% 19.48/11.29 Conjecture not found
% 19.57/11.32 Conjecture not found
% 19.57/11.33 Conjecture not found
% 19.57/11.34 Conjecture not found
% 19.61/11.38 Conjecture not found
% 19.61/11.41 Conjecture not found
% 19.61/11.43 Conjecture not found
% 19.72/11.47 Conjecture not found
% 19.93/11.52 Conjecture not found
% 19.93/11.52 Conjecture not found
% 19.93/11.54 Conjecture not found
% 19.93/11.56 Conjecture not found
% 20.27/11.70 Conjecture not found
% 20.27/11.71 Conjecture not found
% 20.34/11.74 Conjecture not found
% 20.34/11.75 Conjecture not found
% 20.34/11.75 Conjecture not found
% 20.34/11.76 Conjecture not found
% 20.39/11.77 Conjecture not found
% 20.65/11.85 Conjecture not found
% 20.65/11.86 Conjecture not found
% 20.68/11.88 Conjecture not found
% 20.74/11.93 Conjecture not found
% 20.76/11.99 Conjecture not found
% 21.01/12.08 Conjecture not found
% 21.07/12.09 Conjecture not found
% 21.37/12.22 Conjecture not found
% 21.49/12.36 Conjecture not found
% 21.55/12.39 Conjecture not found
% 21.85/12.46 Conjecture not found
% 21.88/12.49 Conjecture not found
% 21.88/12.50 Conjecture not found
% 21.92/12.58 Conjecture not found
% 22.26/12.68 Conjecture not found
% 22.26/12.72 Conjecture not found
% 22.26/12.74 Conjecture not found
% 22.60/12.83 Conjecture not found
% 22.60/12.88 Conjecture not found
% 22.60/12.90 Conjecture not found
% 22.69/12.95 Conjecture not found
% 22.69/12.99 Conjecture not found
% 22.77/13.00 Conjecture not found
% 22.77/13.05 Conjecture not found
% 23.11/13.14 Conjecture not found
% 23.11/13.16 Conjecture not found
% 23.11/13.17 Conjecture not found
% 23.21/13.25 Conjecture not found
% 23.49/13.32 Conjecture not found
% 23.49/13.32 Conjecture not found
% 23.57/13.38 Conjecture not found
% 23.57/13.42 Conjecture not found
% 23.57/13.46 Conjecture not found
% 23.68/13.50 Conjecture not found
% 23.79/13.59 Conjecture not found
% 24.00/13.60 Conjecture not found
% 24.00/13.66 Conjecture not found
% 24.08/13.73 Conjecture not found
% 24.44/13.84 Conjecture not found
% 24.44/13.86 Conjecture not found
% 24.53/13.92 Conjecture not found
% 24.53/13.94 Conjecture not found
% 24.53/13.95 Conjecture not found
% 24.53/13.95 Conjecture not found
% 24.53/13.96 Conjecture not found
% 24.63/14.00 Conjecture not found
% 24.63/14.02 Conjecture not found
% 24.95/14.11 Conjecture not found
% 24.96/14.17 Conjecture not found
% 25.19/14.24 Conjecture not found
% 25.19/14.27 Conjecture not found
% 25.19/14.28 Conjecture not found
% 25.35/14.34 Conjecture not found
% 25.35/14.35 Conjecture not found
% 25.35/14.36 Conjecture not found
% 25.60/14.44 Conjecture not found
% 25.72/14.47 Conjecture not found
% 25.72/14.51 Conjecture not found
% 25.85/14.56 Conjecture not found
% 25.85/14.59 Conjecture not found
% 25.85/14.62 Conjecture not found
% 26.31/14.78 Conjecture not found
% 26.65/14.86 Conjecture not found
% 26.65/14.88 Conjecture not found
% 26.75/14.97 Conjecture not found
% 26.75/14.99 Conjecture not found
% 26.80/15.03 Conjecture not found
% 26.86/15.06 Conjecture not found
% 27.20/15.16 Conjecture not found
% 27.24/15.19 Conjecture not found
% 27.24/15.20 Conjecture not found
% 27.24/15.22 Conjecture not found
% 27.28/15.25 Conjecture not found
% 27.28/15.29 Conjecture not found
% 27.65/15.40 Conjecture not found
% 27.65/15.41 Conjecture not found
% 27.65/15.42 Conjecture not found
% 27.65/15.42 Conjecture not found
% 27.74/15.46 Conjecture not found
% 27.74/15.47 Conjecture not found
% 27.78/15.54 Conjecture not found
% 28.01/15.69 Conjecture not found
% 28.26/15.75 Conjecture not found
% 28.26/15.77 Conjecture not found
% 28.30/15.79 Conjecture not found
% 28.30/15.80 Conjecture not found
% 28.35/15.84 Conjecture not found
% 28.37/15.87 Conjecture not found
% 28.37/15.88 Conjecture not found
% 28.70/15.93 Conjecture not found
% 28.75/15.97 Conjecture not found
% 28.75/16.01 Conjecture not found
% 28.75/16.04 Conjecture not found
% 28.84/16.06 Conjecture not found
% 28.95/16.21 Conjecture not found
% 29.18/16.24 Conjecture not found
% 29.31/16.25 Conjecture not found
% 29.31/16.31 Conjecture not found
% 29.31/16.32 Conjecture not found
% 29.39/16.36 Conjecture not found
% 29.39/16.37 Conjecture not found
% 29.44/16.39 Conjecture not found
% 29.44/16.40 Conjecture not found
% 29.78/16.45 Conjecture not found
% 29.80/16.46 Conjecture not found
% 29.89/16.56 Conjecture not found
% 29.89/16.57 Conjecture not found
% 29.89/16.58 Conjecture not found
% 29.89/16.62 Conjecture not found
% 30.02/16.68 Conjecture not found
% 30.32/16.73 Conjecture not found
% 30.32/16.75 Conjecture not found
% 30.38/16.78 Conjecture not found
% 30.38/16.81 Conjecture not found
% 30.38/16.86 Conjecture not found
% 30.48/16.88 Conjecture not found
% 30.52/16.91 Conjecture not found
% 30.55/16.94 Conjecture not found
% 30.55/16.95 Conjecture not found
% 30.55/16.96 Conjecture not found
% 30.90/17.04 Conjecture not found
% 30.97/17.09 Conjecture not found
% 30.97/17.12 Conjecture not found
% 30.97/17.16 Conjecture not found
% 31.07/17.17 Conjecture not found
% 31.11/17.22 Conjecture not found
% 31.26/17.28 Conjecture not found
% 31.26/17.32 Conjecture not found
% 31.54/17.35 Conjecture not found
% 31.58/17.38 Conjecture not found
% 31.58/17.41 Conjecture not found
% 31.58/17.42 Conjecture not found
% 31.66/17.44 Conjecture not found
% 31.70/17.47 Conjecture not found
% 31.70/17.49 Conjecture not found
% 31.70/17.51 Conjecture not found
% 31.91/17.59 Conjecture not found
% 32.18/17.67 Conjecture not found
% 32.25/17.77 Conjecture not found
% 32.30/17.80 Conjecture not found
% 32.30/17.84 Conjecture not found
% 32.73/17.94 Conjecture not found
% 32.76/18.01 Conjecture not found
% 32.83/18.04 Conjecture not found
% 32.89/18.08 Conjecture not found
% 32.89/18.10 Conjecture not found
% 32.89/18.11 Conjecture not found
% 33.26/18.15 Conjecture not found
% 33.26/18.17 Conjecture not found
% 33.30/18.19 Conjecture not found
% 33.30/18.21 Conjecture not found
% 33.30/18.22 Conjecture not found
% 33.36/18.24 Conjecture not found
% 33.36/18.26 Conjecture not found
% 33.36/18.29 Conjecture not found
% 33.45/18.34 Conjecture not found
% 33.45/18.36 Conjecture not found
% 33.45/18.39 Conjecture not found
% 33.60/18.42 Conjecture not found
% 33.60/18.44 Conjecture not found
% 33.94/18.49 Conjecture not found
% 33.99/18.56 Conjecture not found
% 33.99/18.58 Conjecture not found
% 33.99/18.59 Conjecture not found
% 34.50/18.71 Conjecture not found
% 34.50/18.75 Conjecture not found
% 34.58/18.78 Conjecture not found
% 34.60/18.81 Conjecture not found
% 34.60/18.83 Conjecture not found
% 34.64/18.88 Conjecture not found
% 34.64/18.90 Conjecture not found
% 34.64/18.91 Conjecture not found
% 34.83/18.96 Conjecture not found
% 34.83/19.01 Conjecture not found
% 35.18/19.03 Conjecture not found
% 35.18/19.06 Conjecture not found
% 35.23/19.08 Conjecture not found
% 35.23/19.12 Conjecture not found
% 35.30/19.16 Conjecture not found
% 35.33/19.21 Conjecture not found
% 35.40/19.26 Conjecture not found
% 35.88/19.41 Conjecture not found
% 35.88/19.43 Conjecture not found
% 35.95/19.45 Conjecture not found
% 35.95/19.46 Conjecture not found
% 35.95/19.48 Conjecture not found
% 35.99/19.50 Conjecture not found
% 35.99/19.50 Conjecture not found
% 36.07/19.59 Conjecture not found
% 36.07/19.60 Conjecture not found
% 36.27/19.63 Conjecture not found
% 36.51/19.69 Conjecture not found
% 36.51/19.71 Conjecture not found
% 36.60/19.74 Conjecture not found
% 36.60/19.77 Conjecture not found
% 36.64/19.78 Conjecture not found
% 36.64/19.81 Conjecture not found
% 36.71/19.85 Conjecture not found
% 36.73/19.88 Conjecture not found
% 36.73/19.91 Conjecture not found
% 36.73/19.91 Conjecture not found
% 36.79/19.93 Conjecture not found
% 37.00/19.96 Conjecture not found
% 37.27/20.06 Conjecture not found
% 37.32/20.13 Conjecture not found
% 37.38/20.16 Conjecture not found
% 37.44/20.22 Conjecture not found
% 37.47/20.25 Conjecture not found
% 37.47/20.26 Conjecture not found
% 37.47/20.29 Conjecture not found
% 38.01/20.39 Conjecture not found
% 38.01/20.45 Conjecture not found
% 38.09/20.48 Conjecture not found
% 38.13/20.51 Conjecture not found
% 38.13/20.54 Conjecture not found
% 38.18/20.58 Conjecture not found
% 38.18/20.62 Conjecture not found
% 38.18/20.64 Conjecture not found
% 38.27/20.68 Conjecture not found
% 38.75/20.75 Conjecture not found
% 38.75/20.78 Conjecture not found
% 38.75/20.80 Conjecture not found
% 38.75/20.82 Conjecture not found
% 38.75/20.84 Conjecture not found
% 38.84/20.87 Conjecture not found
% 38.89/20.90 Conjecture not found
% 38.89/20.94 Conjecture not found
% 38.94/20.94 Conjecture not found
% 38.95/20.97 Conjecture not found
% 38.95/21.00 Conjecture not found
% 39.01/21.02 Conjecture not found
% 39.01/21.03 Conjecture not found
% 39.12/21.11 Conjecture not found
% 39.12/21.12 Conjecture not found
% 39.12/21.14 Conjecture not found
% 39.51/21.19 Conjecture not found
% 39.51/21.20 Conjecture not found
% 39.57/21.23 Conjecture not found
% 39.63/21.27 Conjecture not found
% 39.63/21.28 Conjecture not found
% 39.70/21.35 Conjecture not found
% 39.70/21.36 Conjecture not found
% 39.70/21.37 Conjecture not found
% 39.70/21.39 Conjecture not found
% 40.05/21.48 Conjecture not found
% 40.26/21.51 Conjecture not found
% 40.26/21.54 Conjecture not found
% 40.33/21.56 Conjecture not found
% 40.33/21.58 Conjecture not found
% 40.37/21.63 Conjecture not found
% 40.40/21.68 Conjecture not found
% 40.50/21.78 Conjecture not found
% 40.50/21.80 Conjecture not found
% 40.56/21.81 Conjecture not found
% 40.56/21.82 Conjecture not found
% 41.15/21.97 Conjecture not found
% 41.15/21.98 Conjecture not found
% 41.17/22.00 Conjecture not found
% 41.21/22.03 Conjecture not found
% 41.28/22.11 Conjecture not found
% 41.28/22.15 Conjecture not found
% 41.91/22.32 Conjecture not found
% 41.91/22.33 Conjecture not found
% 41.96/22.39 Conjecture not found
% 41.96/22.40 Conjecture not found
% 41.96/22.40 Conjecture not found
% 41.96/22.41 Conjecture not found
% 42.04/22.45 Conjecture not found
% 42.09/22.49 Conjecture not found
% 42.09/22.51 Conjecture not found
% 42.09/22.53 Conjecture not found
% 42.17/22.56 Conjecture not found
% 42.65/22.65 Conjecture not found
% 42.65/22.67 Conjecture not found
% 42.65/22.71 Conjecture not found
% 42.79/22.77 Conjecture not found
% 42.84/22.79 Conjecture not found
% 42.84/22.84 Conjecture not found
% 42.92/22.88 Conjecture not found
% 42.96/22.92 Conjecture not found
% 42.96/22.94 Conjecture not found
% 43.09/23.05 Conjecture not found
% 43.31/23.12 Conjecture not found
% 43.65/23.14 Conjecture not found
% 43.65/23.17 Conjecture not found
% 43.70/23.20 Conjecture not found
% 43.70/23.21 Conjecture not found
% 43.70/23.22 Conjecture not found
% 43.76/23.24 Conjecture not found
% 43.78/23.32 Conjecture not found
% 43.84/23.35 Conjecture not found
% 43.88/23.36 Conjecture not found
% 43.88/23.38 Conjecture not found
% 43.88/23.39 Conjecture not found
% 43.88/23.42 Conjecture not found
% 44.25/23.46 Conjecture not found
% 44.48/23.50 Conjecture not found
% 44.48/23.52 Conjecture not found
% 44.48/23.55 Conjecture not found
% 44.55/23.58 Conjecture not found
% 44.59/23.62 Conjecture not found
% 44.63/23.64 Conjecture not found
% 44.63/23.65 Conjecture not found
% 44.63/23.67 Conjecture not found
% 44.63/23.68 Conjecture not found
% 44.63/23.70 Conjecture not found
% 44.72/23.76 Conjecture not found
% 44.72/23.78 Conjecture not found
% 44.72/23.78 Conjecture not found
% 44.78/23.79 Conjecture not found
% 44.78/23.81 Conjecture not found
% 44.78/23.84 Conjecture not found
% 45.09/23.87 Conjecture not found
% 45.36/23.91 Conjecture not found
% 45.36/23.93 Conjecture not found
% 45.43/23.97 Conjecture not found
% 45.43/24.00 Conjecture not found
% 45.43/24.01 Conjecture not found
% 45.43/24.02 Conjecture not found
% 45.43/24.04 Conjecture not found
% 45.53/24.08 Conjecture not found
% 45.53/24.08 Conjecture not found
% 45.59/24.15 Conjecture not found
% 45.64/24.16 Conjecture not found
% 45.64/24.17 Conjecture not found
% 46.13/24.33 Conjecture not found
% 46.32/24.36 Conjecture not found
% 46.32/24.38 Conjecture not found
% 46.32/24.39 Conjecture not found
% 46.38/24.44 Conjecture not found
% 46.43/24.48 Conjecture not found
% 46.43/24.52 Conjecture not found
% 46.53/24.56 Conjecture not found
% 46.53/24.59 Conjecture not found
% 46.92/24.71 Conjecture not found
% 46.92/24.72 Conjecture not found
% 47.21/24.78 Conjecture not found
% 47.21/24.80 Conjecture not found
% 47.21/24.82 Conjecture not found
% 47.21/24.83 Conjecture not found
% 47.33/24.84 Conjecture not found
% 47.33/24.84 Conjecture not found
% 47.33/24.87 Conjecture not found
% 47.33/24.88 Conjecture not found
% 47.38/24.89 Conjecture not found
% 47.38/24.90 Conjecture not found
% 47.38/24.93 Conjecture not found
% 47.38/24.94 Conjecture not found
% 47.45/24.97 Conjecture not found
% 47.45/24.98 Conjecture not found
% 47.53/25.04 Conjecture not found
% 47.53/25.08 Conjecture not found
% 48.11/25.15 Conjecture not found
% 48.11/25.18 Conjecture not found
% 48.18/25.21 Conjecture not found
% 48.18/25.25 Conjecture not found
% 48.18/25.26 Conjecture not found
% 48.24/25.27 Conjecture not found
% 48.24/25.31 Conjecture not found
% 48.33/25.36 Conjecture not found
% 49.16/25.79 Conjecture not found
% 49.16/25.80 Conjecture not found
% 49.16/25.83 Conjecture not found
% 49.24/25.85 Conjecture not found
% 49.24/25.86 Conjecture not found
% 49.27/25.87 Conjecture not found
% 49.27/25.88 Conjecture not found
% 49.27/25.89 Conjecture not found
% 49.27/25.90 Conjecture not found
% 49.27/25.91 Conjecture not found
% 49.27/25.92 Conjecture not found
% 49.36/25.96 Conjecture not found
% 49.94/26.11 Conjecture not found
% 50.05/26.17 Conjecture not found
% 50.09/26.20 Conjecture not found
% 50.09/26.23 Conjecture not found
% 50.15/26.24 Conjecture not found
% 50.15/26.25 Conjecture not found
% 50.25/26.33 Conjecture not found
% 50.25/26.35 Conjecture not found
% 50.29/26.38 Conjecture not found
% 50.29/26.40 Conjecture not found
% 50.29/26.41 Conjecture not found
% 50.38/26.48 Conjecture not found
% 50.99/26.56 Conjecture not found
% 50.99/26.62 Conjecture not found
% 51.07/26.66 Conjecture not found
% 51.07/26.67 Conjecture not found
% 51.10/26.73 Conjecture not found
% 51.20/26.76 Conjecture not found
% 51.20/26.78 Conjecture not found
% 51.20/26.79 Conjecture not found
% 51.20/26.82 Conjecture not found
% 51.27/26.84 Conjecture not found
% 51.27/26.85 Conjecture not found
% 51.31/26.92 Conjecture not found
% 51.31/26.92 Conjecture not found
% 51.31/26.94 Conjecture not found
% 51.38/26.95 Conjecture not found
% 51.38/26.96 Conjecture not found
% 51.40/27.00 Conjecture not found
% 51.97/27.05 Conjecture not found
% 51.97/27.06 Conjecture not found
% 51.97/27.12 Conjecture not found
% 52.09/27.15 Conjecture not found
% 52.09/27.16 Conjecture not found
% 52.09/27.17 Conjecture not found
% 52.14/27.24 Conjecture not found
% 52.14/27.24 Conjecture not found
% 52.23/27.27 Conjecture not found
% 52.23/27.29 Conjecture not found
% 52.33/27.40 Conjecture not found
% 52.93/27.45 Conjecture not found
% 52.99/27.50 Conjecture not found
% 52.99/27.53 Conjecture not found
% 53.05/27.57 Conjecture not found
% 53.05/27.59 Conjecture not found
% 53.09/27.63 Conjecture not found
% 53.14/27.71 Conjecture not found
% 53.23/27.77 Conjecture not found
% 53.23/27.79 Conjecture not found
% 53.29/27.81 Conjecture not found
% 53.35/27.89 Conjecture not found
% 54.02/27.97 Conjecture not found
% 54.02/28.04 Conjecture not found
% 54.13/28.06 Conjecture not found
% 54.13/28.06 Conjecture not found
% 54.13/28.08 Conjecture not found
% 54.18/28.10 Conjecture not found
% 54.18/28.13 Conjecture not found
% 54.18/28.13 Conjecture not found
% 54.18/28.14 Conjecture not found
% 54.22/28.16 Conjecture not found
% 54.22/28.19 Conjecture not found
% 54.28/28.20 Conjecture not found
% 54.28/28.23 Conjecture not found
% 54.34/28.26 Conjecture not found
% 54.34/28.26 Conjecture not found
% 55.10/28.41 Conjecture not found
% 55.10/28.41 Conjecture not found
% 55.10/28.43 Conjecture not found
% 55.10/28.44 Conjecture not found
% 55.16/28.46 Conjecture not found
% 55.22/28.55 Conjecture not found
% 55.28/28.59 Conjecture not found
% 55.28/28.61 Conjecture not found
% 55.28/28.62 Conjecture not found
% 55.28/28.62 Conjecture not found
% 55.28/28.64 Conjecture not found
% 55.28/28.65 Conjecture not found
% 55.69/28.81 Conjecture not found
% 56.11/28.83 Conjecture not found
% 56.16/28.95 Conjecture not found
% 56.27/29.01 Conjecture not found
% 56.27/29.04 Conjecture not found
% 56.35/29.06 Conjecture not found
% 56.35/29.07 Conjecture not found
% 56.35/29.09 Conjecture not found
% 56.35/29.10 Conjecture not found
% 56.35/29.11 Conjecture not found
% 56.42/29.15 Conjecture not found
% 56.46/29.19 Conjecture not found
% 56.46/29.20 Conjecture not found
% 56.71/29.28 Conjecture not found
% 57.27/29.42 Conjecture not found
% 57.34/29.46 Conjecture not found
% 57.38/29.50 Conjecture not found
% 57.38/29.52 Conjecture not found
% 57.38/29.53 Conjecture not found
% 57.44/29.56 Conjecture not found
% 57.48/29.62 Conjecture not found
% 57.54/29.66 Conjecture not found
% 57.64/29.74 Conjecture not found
% 58.59/30.07 Conjecture not found
% 58.71/30.21 Conjecture not found
% 58.71/30.22 Conjecture not found
% 58.78/30.26 Conjecture not found
% 59.27/30.40 Conjecture not found
% 59.61/30.43 Conjecture not found
% 59.61/30.44 Conjecture not found
% 59.61/30.44 Conjecture not found
% 59.61/30.48 Conjecture not found
% 59.66/30.49 Conjecture not found
% 59.66/30.55 Conjecture not found
% 59.75/30.57 Conjecture not found
% 59.75/30.58 Conjecture not found
% 59.75/30.59 Conjecture not found
% 59.80/30.62 Conjecture not found
% 59.80/30.63 Conjecture not found
% 59.80/30.64 Conjecture not found
% 59.80/30.65 Conjecture not found
% 60.03/30.76 Conjecture not found
% 60.03/30.78 Conjecture not found
% 60.46/30.85 Conjecture not found
% 60.74/30.90 Conjecture not found
% 60.74/30.91 Conjecture not found
% 60.74/30.92 Conjecture not found
% 60.74/30.93 Conjecture not found
% 60.74/30.93 Conjecture not found
% 60.79/30.95 Conjecture not found
% 60.79/30.99 Conjecture not found
% 60.79/30.99 Conjecture not found
% 60.88/31.06 Conjecture not found
% 61.00/31.15 Conjecture not found
% 61.00/31.17 Conjecture not found
% 61.00/31.19 Conjecture not found
% 61.00/31.19 Conjecture not found
% 61.06/31.22 Conjecture not found
% 61.06/31.24 Conjecture not found
% 61.10/31.30 Conjecture not found
% 61.77/31.36 Conjecture not found
% 61.77/31.37 Conjecture not found
% 61.77/31.38 Conjecture not found
% 61.87/31.42 Conjecture not found
% 61.91/31.44 Conjecture not found
% 61.91/31.47 Conjecture not found
% 61.91/31.49 Conjecture not found
% 61.97/31.50 Conjecture not found
% 61.97/31.52 Conjecture not found
% 61.97/31.54 Conjecture not found
% 61.97/31.54 Conjecture not found
% 61.97/31.55 Conjecture not found
% 62.03/31.57 Conjecture not found
% 62.03/31.58 Conjecture not found
% 62.03/31.60 Conjecture not found
% 62.03/31.64 Conjecture not found
% 62.03/31.65 Conjecture not found
% 62.17/31.71 Conjecture not found
% 62.23/31.76 Conjecture not found
% 62.23/31.80 Conjecture not found
% 62.69/31.85 Conjecture not found
% 63.04/31.89 Conjecture not found
% 63.04/31.94 Conjecture not found
% 63.13/32.00 Conjecture not found
% 63.19/32.05 Conjecture not found
% 63.19/32.11 Conjecture not found
% 63.28/32.15 Conjecture not found
% 63.28/32.17 Conjecture not found
% 63.34/32.23 Conjecture not found
% 63.34/32.24 Conjecture not found
% 63.34/32.25 Conjecture not found
% 63.44/32.32 Conjecture not found
% 63.96/32.44 Conjecture not found
% 64.32/32.45 Conjecture not found
% 64.36/32.49 Conjecture not found
% 64.36/32.51 Conjecture not found
% 64.36/32.52 Conjecture not found
% 64.36/32.52 Conjecture not found
% 64.43/32.55 Conjecture not found
% 64.49/32.62 Conjecture not found
% 64.49/32.66 Conjecture not found
% 64.54/32.67 Conjecture not found
% 64.54/32.71 Conjecture not found
% 64.62/32.75 Conjecture not found
% 64.66/32.80 Conjecture not found
% 64.66/32.81 Conjecture not found
% 64.66/32.82 Conjecture not found
% 64.71/32.86 Conjecture not found
% 65.46/32.98 Conjecture not found
% 65.64/33.06 Conjecture not found
% 65.64/33.08 Conjecture not found
% 65.69/33.14 Conjecture not found
% 65.73/33.18 Conjecture not found
% 65.73/33.20 Conjecture not found
% 65.81/33.24 Conjecture not found
% 65.81/33.25 Conjecture not found
% 65.81/33.27 Conjecture not found
% 65.86/33.33 Conjecture not found
% 65.92/33.35 Conjecture not found
% 65.94/33.36 Conjecture not found
% 65.94/33.38 Conjecture not found
% 65.94/33.39 Conjecture not found
% 65.94/33.39 Conjecture not found
% 65.94/33.41 Conjecture not found
% 66.14/33.49 Conjecture not found
% 66.89/33.58 Conjecture not found
% 66.89/33.60 Conjecture not found
% 66.89/33.61 Conjecture not found
% 66.94/33.63 Conjecture not found
% 66.96/33.68 Conjecture not found
% 67.04/33.73 Conjecture not found
% 67.20/33.89 Conjecture not found
% 67.28/33.99 Conjecture not found
% 67.28/34.00 Conjecture not found
% 67.35/34.03 Conjecture not found
% 67.74/34.15 Conjecture not found
% 68.22/34.17 Conjecture not found
% 68.28/34.22 Conjecture not found
% 68.28/34.23 Conjecture not found
% 68.31/34.24 Conjecture not found
% 68.31/34.25 Conjecture not found
% 68.31/34.28 Conjecture not found
% 68.31/34.30 Conjecture not found
% 68.31/34.31 Conjecture not found
% 68.31/34.32 Conjecture not found
% 68.40/34.34 Conjecture not found
% 68.40/34.36 Conjecture not found
% 68.40/34.36 Conjecture not found
% 68.46/34.40 Conjecture not found
% 68.46/34.44 Conjecture not found
% 68.54/34.47 Conjecture not found
% 68.54/34.50 Conjecture not found
% 68.63/34.59 Conjecture not found
% 68.72/34.65 Conjecture not found
% 68.72/34.67 Conjecture not found
% 69.36/34.84 Conjecture not found
% 69.64/34.86 Conjecture not found
% 69.64/34.88 Conjecture not found
% 69.64/34.89 Conjecture not found
% 69.64/34.93 Conjecture not found
% 69.75/34.96 Conjecture not found
% 70.58/35.38 Conjecture not found
% 70.99/35.43 Conjecture not found
% 71.06/35.47 Conjecture not found
% 71.06/35.53 Conjecture not found
% 71.17/35.63 Conjecture not found
% 71.24/35.66 Conjecture not found
% 71.33/35.76 Conjecture not found
% 71.36/35.79 Conjecture not found
% 71.42/35.83 Conjecture not found
% 71.46/35.87 Conjecture not found
% 71.46/35.90 Conjecture not found
% 71.46/35.93 Conjecture not found
% 71.56/35.98 Conjecture not found
% 71.88/36.05 Conjecture not found
% 72.13/36.10 Conjecture not found
% 72.13/36.11 Start search
% 173.34/61.55 nb_step : 1 - limit : 175663
% 174.98/62.35 Launch Gotab with destructive = true
%------------------------------------------------------------------------------