TSTP Solution File: SEU447+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : SEU447+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n020.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:18 EDT 2022
% Result : Timeout 300.65s 90.45s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : SEU447+4 : TPTP v8.1.0. Released v3.4.0.
% 0.06/0.13 % Command : goeland -dmt -presko -proof %s
% 0.13/0.34 % Computer : n020.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 300
% 0.13/0.34 % DateTime : Sat Sep 3 14:59:10 EDT 2022
% 0.13/0.35 % CPUTime :
% 0.13/0.35 [DMT] DMT loaded with preskolemization
% 0.13/0.35 [EQ] equality loaded.
% 0.13/0.35 [0.000046s][1][MAIN] Problem : theBenchmark.p
% 0.20/0.42 Conjecture not found
% 0.20/0.42 Conjecture not found
% 0.20/0.42 Conjecture not found
% 0.20/0.42 Conjecture not found
% 0.20/0.44 Conjecture not found
% 0.20/0.45 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.54 Conjecture not found
% 0.20/0.57 Conjecture not found
% 0.20/0.58 Conjecture not found
% 0.20/0.59 Conjecture not found
% 0.20/0.60 Conjecture not found
% 0.58/0.62 Conjecture not found
% 0.62/0.64 Conjecture not found
% 0.63/0.68 Conjecture not found
% 0.73/0.75 Conjecture not found
% 0.73/0.75 Conjecture not found
% 0.85/0.83 Conjecture not found
% 1.02/0.88 Conjecture not found
% 1.16/0.96 Conjecture not found
% 1.16/0.99 Conjecture not found
% 1.37/1.06 Conjecture not found
% 1.37/1.10 Conjecture not found
% 1.37/1.15 Conjecture not found
% 1.57/1.17 Conjecture not found
% 1.57/1.21 Conjecture not found
% 1.65/1.22 Conjecture not found
% 1.65/1.23 Conjecture not found
% 1.65/1.23 Conjecture not found
% 1.65/1.24 Conjecture not found
% 1.86/1.34 Conjecture not found
% 1.86/1.37 Conjecture not found
% 1.86/1.37 Conjecture not found
% 1.94/1.39 Conjecture not found
% 1.94/1.39 Conjecture not found
% 1.94/1.40 Conjecture not found
% 1.94/1.40 Conjecture not found
% 1.94/1.40 Conjecture not found
% 1.94/1.40 Conjecture not found
% 2.07/1.46 Conjecture not found
% 2.07/1.51 Conjecture not found
% 2.07/1.51 Conjecture not found
% 2.17/1.52 Conjecture not found
% 2.17/1.53 Conjecture not found
% 2.17/1.55 Conjecture not found
% 2.24/1.56 Conjecture not found
% 2.24/1.58 Conjecture not found
% 2.24/1.60 Conjecture not found
% 2.24/1.62 Conjecture not found
% 2.43/1.64 Conjecture not found
% 2.43/1.65 Conjecture not found
% 2.43/1.66 Conjecture not found
% 2.50/1.70 Conjecture not found
% 2.64/1.76 Conjecture not found
% 2.66/1.82 Conjecture not found
% 2.66/1.83 Conjecture not found
% 2.75/1.85 Conjecture not found
% 2.81/1.88 Conjecture not found
% 2.81/1.90 Conjecture not found
% 2.81/1.92 Conjecture not found
% 2.91/1.94 Conjecture not found
% 2.98/2.02 Conjecture not found
% 3.13/2.04 Conjecture not found
% 3.13/2.06 Conjecture not found
% 3.13/2.07 Conjecture not found
% 3.19/2.09 Conjecture not found
% 3.19/2.11 Conjecture not found
% 3.57/2.30 Conjecture not found
% 3.57/2.33 Conjecture not found
% 3.57/2.35 Conjecture not found
% 3.86/2.46 Conjecture not found
% 3.86/2.48 Conjecture not found
% 3.86/2.49 Conjecture not found
% 3.97/2.52 Conjecture not found
% 4.07/2.56 Conjecture not found
% 4.07/2.63 Conjecture not found
% 4.32/2.71 Conjecture not found
% 4.37/2.78 Conjecture not found
% 4.54/2.83 Conjecture not found
% 4.54/2.85 Conjecture not found
% 4.61/2.89 Conjecture not found
% 4.61/2.89 Conjecture not found
% 4.61/2.93 Conjecture not found
% 4.61/2.96 Conjecture not found
% 4.84/2.98 Conjecture not found
% 4.86/2.99 Conjecture not found
% 4.89/3.07 Conjecture not found
% 4.89/3.08 Conjecture not found
% 5.02/3.12 Conjecture not found
% 5.15/3.19 Conjecture not found
% 5.38/3.29 Conjecture not found
% 5.62/3.45 Conjecture not found
% 5.88/3.66 Conjecture not found
% 6.50/3.96 Conjecture not found
% 6.69/3.98 Conjecture not found
% 6.69/4.00 Conjecture not found
% 6.95/4.11 Conjecture not found
% 6.95/4.15 Conjecture not found
% 7.09/4.20 Conjecture not found
% 7.27/4.27 Conjecture not found
% 7.31/4.33 Conjecture not found
% 7.44/4.39 Conjecture not found
% 7.50/4.43 Conjecture not found
% 7.66/4.46 Conjecture not found
% 7.66/4.47 Conjecture not found
% 7.66/4.50 Conjecture not found
% 7.66/4.52 Conjecture not found
% 7.87/4.60 Conjecture not found
% 8.03/4.69 Conjecture not found
% 8.03/4.72 Conjecture not found
% 8.30/4.81 Conjecture not found
% 8.36/4.84 Conjecture not found
% 8.38/4.88 Conjecture not found
% 8.38/4.89 Conjecture not found
% 8.38/4.90 Conjecture not found
% 8.38/4.91 Conjecture not found
% 8.55/4.94 Conjecture not found
% 8.67/4.97 Conjecture not found
% 8.67/5.02 Conjecture not found
% 8.67/5.02 Conjecture not found
% 8.67/5.03 Conjecture not found
% 8.75/5.04 Conjecture not found
% 8.88/5.08 Conjecture not found
% 8.88/5.10 Conjecture not found
% 8.88/5.15 Conjecture not found
% 9.06/5.19 Conjecture not found
% 9.31/5.37 Conjecture not found
% 9.31/5.41 Conjecture not found
% 9.31/5.41 Conjecture not found
% 9.47/5.44 Conjecture not found
% 9.47/5.47 Conjecture not found
% 9.52/5.50 Conjecture not found
% 9.68/5.55 Conjecture not found
% 9.68/5.55 Conjecture not found
% 9.70/5.57 Conjecture not found
% 9.70/5.59 Conjecture not found
% 9.84/5.65 Conjecture not found
% 10.59/6.10 Conjecture not found
% 11.56/6.57 Conjecture not found
% 11.81/6.67 Conjecture not found
% 11.88/6.71 Conjecture not found
% 11.92/6.72 Conjecture not found
% 11.94/6.73 Conjecture not found
% 11.94/6.79 Conjecture not found
% 11.94/6.80 Conjecture not found
% 11.94/6.82 Conjecture not found
% 12.14/6.87 Conjecture not found
% 12.30/6.91 Conjecture not found
% 12.30/6.94 Conjecture not found
% 12.30/6.95 Conjecture not found
% 12.30/6.97 Conjecture not found
% 12.47/7.00 Conjecture not found
% 12.47/7.03 Conjecture not found
% 12.47/7.06 Conjecture not found
% 12.71/7.12 Conjecture not found
% 12.71/7.18 Conjecture not found
% 12.90/7.20 Conjecture not found
% 12.90/7.23 Conjecture not found
% 12.90/7.26 Conjecture not found
% 12.90/7.28 Conjecture not found
% 12.97/7.31 Conjecture not found
% 12.97/7.34 Conjecture not found
% 12.97/7.35 Conjecture not found
% 13.18/7.39 Conjecture not found
% 13.33/7.46 Conjecture not found
% 13.33/7.48 Conjecture not found
% 13.33/7.50 Conjecture not found
% 13.42/7.52 Conjecture not found
% 13.42/7.54 Conjecture not found
% 13.42/7.55 Conjecture not found
% 13.58/7.58 Conjecture not found
% 13.58/7.61 Conjecture not found
% 13.58/7.64 Conjecture not found
% 13.58/7.65 Conjecture not found
% 13.68/7.69 Conjecture not found
% 13.68/7.71 Conjecture not found
% 13.86/7.75 Conjecture not found
% 13.86/7.78 Conjecture not found
% 13.86/7.79 Conjecture not found
% 13.86/7.80 Conjecture not found
% 13.86/7.82 Conjecture not found
% 13.94/7.85 Conjecture not found
% 13.94/7.87 Conjecture not found
% 13.94/7.87 Conjecture not found
% 14.11/7.90 Conjecture not found
% 14.11/7.92 Conjecture not found
% 14.11/7.94 Conjecture not found
% 14.34/8.00 Conjecture not found
% 14.34/8.01 Conjecture not found
% 14.38/8.04 Conjecture not found
% 14.40/8.07 Conjecture not found
% 14.40/8.08 Conjecture not found
% 14.40/8.10 Conjecture not found
% 14.40/8.12 Conjecture not found
% 14.59/8.14 Conjecture not found
% 14.59/8.15 Conjecture not found
% 14.59/8.16 Conjecture not found
% 14.59/8.16 Conjecture not found
% 14.63/8.21 Conjecture not found
% 14.87/8.31 Conjecture not found
% 14.87/8.32 Conjecture not found
% 14.93/8.35 Conjecture not found
% 14.95/8.38 Conjecture not found
% 14.95/8.39 Conjecture not found
% 14.95/8.41 Conjecture not found
% 15.12/8.45 Conjecture not found
% 15.19/8.48 Conjecture not found
% 15.19/8.53 Conjecture not found
% 15.29/8.57 Conjecture not found
% 15.42/8.60 Conjecture not found
% 15.42/8.64 Conjecture not found
% 15.74/8.78 Conjecture not found
% 15.82/8.84 Conjecture not found
% 16.01/8.91 Conjecture not found
% 16.01/8.92 Conjecture not found
% 16.01/8.95 Conjecture not found
% 16.07/9.00 Conjecture not found
% 16.07/9.03 Conjecture not found
% 16.07/9.05 Conjecture not found
% 16.35/9.13 Conjecture not found
% 16.41/9.18 Conjecture not found
% 16.69/9.26 Conjecture not found
% 16.69/9.28 Conjecture not found
% 16.69/9.32 Conjecture not found
% 16.69/9.33 Conjecture not found
% 16.97/9.42 Conjecture not found
% 17.03/9.45 Conjecture not found
% 17.21/9.53 Conjecture not found
% 17.31/9.63 Conjecture not found
% 17.39/9.64 Conjecture not found
% 17.39/9.66 Conjecture not found
% 17.54/9.70 Conjecture not found
% 17.54/9.71 Conjecture not found
% 17.67/9.77 Conjecture not found
% 17.83/9.84 Conjecture not found
% 17.90/9.86 Conjecture not found
% 17.90/9.90 Conjecture not found
% 18.34/10.13 Conjecture not found
% 18.37/10.21 Conjecture not found
% 18.61/10.26 Conjecture not found
% 18.61/10.28 Conjecture not found
% 18.66/10.29 Conjecture not found
% 18.66/10.30 Conjecture not found
% 18.89/10.38 Conjecture not found
% 18.96/10.47 Conjecture not found
% 19.24/10.55 Conjecture not found
% 19.30/10.62 Conjecture not found
% 19.30/10.64 Conjecture not found
% 19.65/10.78 Conjecture not found
% 19.65/10.83 Conjecture not found
% 19.75/10.87 Conjecture not found
% 19.90/10.93 Conjecture not found
% 20.05/10.96 Conjecture not found
% 20.05/10.97 Conjecture not found
% 20.05/10.99 Conjecture not found
% 20.05/11.00 Conjecture not found
% 20.05/11.01 Conjecture not found
% 20.05/11.04 Conjecture not found
% 20.14/11.08 Conjecture not found
% 20.36/11.12 Conjecture not found
% 20.42/11.14 Conjecture not found
% 20.43/11.20 Conjecture not found
% 20.43/11.20 Conjecture not found
% 20.50/11.23 Conjecture not found
% 20.50/11.26 Conjecture not found
% 20.80/11.40 Conjecture not found
% 20.85/11.41 Conjecture not found
% 20.85/11.44 Conjecture not found
% 20.85/11.45 Conjecture not found
% 20.85/11.45 Conjecture not found
% 21.00/11.47 Conjecture not found
% 21.10/11.49 Conjecture not found
% 21.16/11.55 Conjecture not found
% 21.16/11.56 Conjecture not found
% 21.16/11.57 Conjecture not found
% 21.25/11.64 Conjecture not found
% 21.51/11.74 Conjecture not found
% 21.63/11.81 Conjecture not found
% 21.63/11.82 Conjecture not found
% 21.99/11.96 Conjecture not found
% 22.10/12.08 Conjecture not found
% 22.38/12.09 Conjecture not found
% 22.38/12.12 Conjecture not found
% 22.38/12.14 Conjecture not found
% 22.38/12.15 Conjecture not found
% 22.73/12.25 Conjecture not found
% 22.86/12.32 Conjecture not found
% 22.86/12.36 Conjecture not found
% 22.95/12.38 Conjecture not found
% 23.26/12.49 Conjecture not found
% 23.28/12.52 Conjecture not found
% 23.31/12.53 Conjecture not found
% 23.32/12.57 Conjecture not found
% 23.61/12.62 Conjecture not found
% 23.61/12.64 Conjecture not found
% 23.68/12.69 Conjecture not found
% 23.68/12.74 Conjecture not found
% 23.68/12.76 Conjecture not found
% 23.76/12.77 Conjecture not found
% 24.04/12.82 Conjecture not found
% 24.06/12.85 Conjecture not found
% 24.06/12.85 Conjecture not found
% 24.06/12.89 Conjecture not found
% 24.14/12.92 Conjecture not found
% 24.14/12.95 Conjecture not found
% 24.41/13.02 Conjecture not found
% 24.53/13.12 Conjecture not found
% 24.57/13.14 Conjecture not found
% 24.65/13.22 Conjecture not found
% 24.92/13.31 Conjecture not found
% 25.01/13.37 Conjecture not found
% 25.05/13.39 Conjecture not found
% 25.15/13.44 Conjecture not found
% 25.30/13.48 Conjecture not found
% 25.30/13.50 Conjecture not found
% 25.30/13.50 Conjecture not found
% 25.41/13.52 Conjecture not found
% 25.41/13.54 Conjecture not found
% 25.41/13.55 Conjecture not found
% 25.45/13.62 Conjecture not found
% 25.83/13.70 Conjecture not found
% 25.83/13.74 Conjecture not found
% 25.89/13.76 Conjecture not found
% 25.89/13.76 Conjecture not found
% 25.93/13.82 Conjecture not found
% 25.93/13.83 Conjecture not found
% 25.97/13.84 Conjecture not found
% 25.97/13.92 Conjecture not found
% 25.97/13.94 Conjecture not found
% 26.29/13.97 Conjecture not found
% 26.34/14.01 Conjecture not found
% 26.34/14.04 Conjecture not found
% 26.42/14.08 Conjecture not found
% 27.06/14.28 Conjecture not found
% 27.12/14.35 Conjecture not found
% 27.16/14.36 Conjecture not found
% 27.24/14.44 Conjecture not found
% 27.24/14.46 Conjecture not found
% 27.29/14.53 Conjecture not found
% 27.61/14.58 Conjecture not found
% 27.71/14.67 Conjecture not found
% 27.71/14.70 Conjecture not found
% 27.71/14.71 Conjecture not found
% 27.83/14.74 Conjecture not found
% 27.83/14.78 Conjecture not found
% 28.11/14.83 Conjecture not found
% 28.19/14.89 Conjecture not found
% 28.19/14.91 Conjecture not found
% 28.19/14.91 Conjecture not found
% 28.23/14.92 Conjecture not found
% 28.25/14.95 Conjecture not found
% 28.25/14.96 Conjecture not found
% 28.61/15.05 Conjecture not found
% 28.68/15.14 Conjecture not found
% 28.77/15.20 Conjecture not found
% 28.81/15.22 Conjecture not found
% 28.81/15.23 Conjecture not found
% 28.87/15.26 Conjecture not found
% 28.87/15.32 Conjecture not found
% 29.21/15.34 Conjecture not found
% 29.21/15.35 Conjecture not found
% 29.21/15.37 Conjecture not found
% 29.21/15.40 Conjecture not found
% 29.27/15.43 Conjecture not found
% 29.58/15.48 Conjecture not found
% 29.58/15.52 Conjecture not found
% 29.71/15.61 Conjecture not found
% 29.73/15.63 Conjecture not found
% 29.73/15.65 Conjecture not found
% 29.81/15.72 Conjecture not found
% 29.81/15.75 Conjecture not found
% 30.15/15.84 Conjecture not found
% 30.15/15.86 Conjecture not found
% 30.26/15.88 Conjecture not found
% 30.28/15.90 Conjecture not found
% 30.28/15.92 Conjecture not found
% 30.28/15.93 Conjecture not found
% 30.50/16.06 Conjecture not found
% 30.50/16.06 Conjecture not found
% 30.50/16.07 Conjecture not found
% 30.76/16.10 Conjecture not found
% 30.76/16.12 Conjecture not found
% 30.76/16.14 Conjecture not found
% 30.83/16.16 Conjecture not found
% 30.85/16.19 Conjecture not found
% 30.85/16.21 Conjecture not found
% 31.04/16.29 Conjecture not found
% 31.04/16.31 Conjecture not found
% 31.29/16.35 Conjecture not found
% 31.29/16.38 Conjecture not found
% 31.35/16.39 Conjecture not found
% 31.35/16.40 Conjecture not found
% 31.35/16.43 Conjecture not found
% 31.43/16.47 Conjecture not found
% 31.46/16.50 Conjecture not found
% 31.59/16.55 Conjecture not found
% 31.78/16.57 Conjecture not found
% 31.93/16.67 Conjecture not found
% 32.01/16.76 Conjecture not found
% 32.05/16.80 Conjecture not found
% 32.11/16.84 Conjecture not found
% 32.13/16.86 Conjecture not found
% 32.13/16.89 Conjecture not found
% 32.13/16.90 Conjecture not found
% 32.37/16.93 Conjecture not found
% 32.57/16.99 Conjecture not found
% 32.57/17.02 Conjecture not found
% 32.57/17.04 Conjecture not found
% 32.66/17.08 Conjecture not found
% 32.71/17.12 Conjecture not found
% 33.17/17.26 Conjecture not found
% 33.17/17.30 Conjecture not found
% 33.26/17.34 Conjecture not found
% 33.32/17.42 Conjecture not found
% 33.44/17.50 Conjecture not found
% 33.66/17.59 Conjecture not found
% 33.89/17.67 Conjecture not found
% 33.89/17.69 Conjecture not found
% 33.94/17.71 Conjecture not found
% 33.94/17.72 Conjecture not found
% 33.94/17.73 Conjecture not found
% 33.94/17.75 Conjecture not found
% 33.99/17.77 Conjecture not found
% 33.99/17.78 Conjecture not found
% 33.99/17.81 Conjecture not found
% 33.99/17.82 Conjecture not found
% 34.15/17.88 Conjecture not found
% 34.49/17.94 Conjecture not found
% 34.50/17.97 Conjecture not found
% 34.50/18.00 Conjecture not found
% 34.56/18.01 Conjecture not found
% 34.56/18.02 Conjecture not found
% 34.61/18.08 Conjecture not found
% 35.08/18.21 Conjecture not found
% 35.08/18.24 Conjecture not found
% 35.13/18.26 Conjecture not found
% 35.21/18.35 Conjecture not found
% 35.21/18.39 Conjecture not found
% 35.21/18.42 Conjecture not found
% 35.30/18.47 Conjecture not found
% 35.70/18.50 Conjecture not found
% 35.78/18.58 Conjecture not found
% 35.78/18.60 Conjecture not found
% 35.81/18.61 Conjecture not found
% 35.84/18.64 Conjecture not found
% 35.84/18.67 Conjecture not found
% 35.84/18.68 Conjecture not found
% 35.84/18.70 Conjecture not found
% 35.84/18.71 Conjecture not found
% 35.94/18.77 Conjecture not found
% 36.01/18.84 Conjecture not found
% 36.48/18.94 Conjecture not found
% 36.61/19.00 Conjecture not found
% 36.72/19.11 Conjecture not found
% 36.72/19.12 Conjecture not found
% 36.72/19.15 Conjecture not found
% 36.72/19.16 Conjecture not found
% 36.84/19.18 Conjecture not found
% 36.84/19.21 Conjecture not found
% 36.84/19.22 Conjecture not found
% 37.29/19.33 Conjecture not found
% 37.34/19.34 Conjecture not found
% 37.34/19.36 Conjecture not found
% 37.34/19.40 Conjecture not found
% 37.34/19.41 Conjecture not found
% 37.41/19.44 Conjecture not found
% 37.41/19.47 Conjecture not found
% 37.47/19.48 Conjecture not found
% 37.47/19.52 Conjecture not found
% 37.92/19.60 Conjecture not found
% 37.97/19.63 Conjecture not found
% 37.99/19.67 Conjecture not found
% 37.99/19.68 Conjecture not found
% 37.99/19.69 Conjecture not found
% 37.99/19.71 Conjecture not found
% 38.07/19.76 Conjecture not found
% 38.13/19.83 Conjecture not found
% 38.20/19.85 Conjecture not found
% 38.69/19.95 Conjecture not found
% 38.74/20.00 Conjecture not found
% 38.74/20.01 Conjecture not found
% 38.84/20.03 Conjecture not found
% 38.89/20.11 Conjecture not found
% 39.05/20.14 Conjecture not found
% 39.15/20.18 Conjecture not found
% 39.15/20.24 Conjecture not found
% 39.60/20.27 Conjecture not found
% 39.60/20.32 Conjecture not found
% 39.68/20.35 Conjecture not found
% 39.68/20.36 Conjecture not found
% 39.68/20.39 Conjecture not found
% 39.68/20.42 Conjecture not found
% 39.76/20.44 Conjecture not found
% 39.76/20.45 Conjecture not found
% 39.76/20.47 Conjecture not found
% 39.76/20.48 Conjecture not found
% 39.82/20.51 Conjecture not found
% 40.05/20.57 Conjecture not found
% 40.33/20.64 Conjecture not found
% 40.33/20.65 Conjecture not found
% 40.33/20.68 Conjecture not found
% 40.33/20.72 Conjecture not found
% 40.42/20.75 Conjecture not found
% 40.42/20.77 Conjecture not found
% 40.49/20.80 Conjecture not found
% 40.49/20.80 Conjecture not found
% 40.49/20.82 Conjecture not found
% 40.56/20.87 Conjecture not found
% 40.57/20.89 Conjecture not found
% 40.82/20.94 Conjecture not found
% 41.06/21.01 Conjecture not found
% 41.06/21.02 Conjecture not found
% 41.16/21.09 Conjecture not found
% 41.16/21.10 Conjecture not found
% 41.22/21.12 Conjecture not found
% 41.22/21.13 Conjecture not found
% 41.27/21.17 Conjecture not found
% 41.27/21.19 Conjecture not found
% 41.27/21.22 Conjecture not found
% 41.27/21.25 Conjecture not found
% 41.37/21.26 Conjecture not found
% 41.40/21.31 Conjecture not found
% 41.61/21.38 Conjecture not found
% 41.98/21.48 Conjecture not found
% 41.98/21.49 Conjecture not found
% 41.98/21.50 Conjecture not found
% 41.98/21.51 Conjecture not found
% 42.08/21.58 Conjecture not found
% 42.08/21.59 Conjecture not found
% 42.08/21.61 Conjecture not found
% 42.14/21.65 Conjecture not found
% 42.68/21.79 Conjecture not found
% 42.68/21.81 Conjecture not found
% 42.83/21.92 Conjecture not found
% 42.83/21.93 Conjecture not found
% 43.33/22.02 Conjecture not found
% 43.33/22.03 Conjecture not found
% 43.39/22.03 Conjecture not found
% 43.39/22.04 Conjecture not found
% 43.39/22.07 Conjecture not found
% 43.39/22.10 Conjecture not found
% 43.39/22.12 Conjecture not found
% 43.39/22.14 Conjecture not found
% 43.50/22.16 Conjecture not found
% 43.57/22.22 Conjecture not found
% 43.57/22.23 Conjecture not found
% 43.57/22.25 Conjecture not found
% 43.83/22.35 Conjecture not found
% 43.83/22.36 Conjecture not found
% 44.18/22.41 Conjecture not found
% 44.23/22.44 Conjecture not found
% 44.23/22.47 Conjecture not found
% 44.23/22.49 Conjecture not found
% 44.31/22.56 Conjecture not found
% 44.38/22.60 Conjecture not found
% 44.38/22.62 Conjecture not found
% 44.38/22.64 Conjecture not found
% 44.66/22.70 Conjecture not found
% 44.96/22.73 Conjecture not found
% 44.99/22.76 Conjecture not found
% 44.99/22.79 Conjecture not found
% 45.12/22.89 Conjecture not found
% 45.12/22.92 Conjecture not found
% 45.12/22.94 Conjecture not found
% 45.21/22.97 Conjecture not found
% 45.21/22.99 Conjecture not found
% 45.21/23.01 Conjecture not found
% 45.26/23.04 Conjecture not found
% 45.29/23.06 Conjecture not found
% 45.29/23.08 Conjecture not found
% 45.78/23.14 Conjecture not found
% 45.78/23.16 Conjecture not found
% 45.85/23.19 Conjecture not found
% 45.85/23.21 Conjecture not found
% 45.85/23.21 Conjecture not found
% 45.85/23.23 Conjecture not found
% 45.85/23.24 Conjecture not found
% 45.93/23.26 Conjecture not found
% 45.96/23.31 Conjecture not found
% 45.96/23.32 Conjecture not found
% 45.96/23.32 Conjecture not found
% 46.01/23.33 Conjecture not found
% 46.01/23.35 Conjecture not found
% 46.04/23.36 Conjecture not found
% 46.04/23.38 Conjecture not found
% 46.04/23.39 Conjecture not found
% 46.04/23.41 Conjecture not found
% 46.04/23.42 Conjecture not found
% 46.25/23.46 Conjecture not found
% 46.25/23.48 Conjecture not found
% 46.25/23.52 Conjecture not found
% 46.69/23.54 Conjecture not found
% 46.74/23.60 Conjecture not found
% 46.74/23.61 Conjecture not found
% 46.83/23.70 Conjecture not found
% 46.83/23.71 Conjecture not found
% 46.83/23.72 Conjecture not found
% 47.13/23.94 Conjecture not found
% 47.60/23.97 Conjecture not found
% 47.60/24.00 Conjecture not found
% 47.60/24.01 Conjecture not found
% 47.68/24.06 Conjecture not found
% 47.68/24.10 Conjecture not found
% 47.76/24.14 Conjecture not found
% 47.81/24.18 Conjecture not found
% 47.81/24.21 Conjecture not found
% 47.90/24.31 Conjecture not found
% 47.95/24.32 Conjecture not found
% 48.04/24.43 Conjecture not found
% 48.55/24.45 Conjecture not found
% 48.55/24.48 Conjecture not found
% 48.55/24.48 Conjecture not found
% 48.55/24.49 Conjecture not found
% 48.60/24.50 Conjecture not found
% 48.60/24.52 Conjecture not found
% 48.60/24.54 Conjecture not found
% 48.64/24.55 Conjecture not found
% 48.64/24.56 Conjecture not found
% 48.64/24.59 Conjecture not found
% 48.64/24.60 Conjecture not found
% 48.64/24.62 Conjecture not found
% 48.64/24.64 Conjecture not found
% 48.80/24.71 Conjecture not found
% 49.08/24.75 Conjecture not found
% 49.08/24.81 Conjecture not found
% 49.53/24.86 Conjecture not found
% 49.53/24.89 Conjecture not found
% 49.58/24.93 Conjecture not found
% 49.58/24.94 Conjecture not found
% 49.63/24.96 Conjecture not found
% 49.63/24.99 Conjecture not found
% 49.72/25.05 Conjecture not found
% 50.48/25.39 Conjecture not found
% 50.48/25.40 Conjecture not found
% 50.58/25.43 Conjecture not found
% 50.58/25.46 Conjecture not found
% 50.58/25.47 Conjecture not found
% 50.58/25.48 Conjecture not found
% 50.58/25.49 Conjecture not found
% 50.65/25.50 Conjecture not found
% 50.65/25.54 Conjecture not found
% 50.65/25.57 Conjecture not found
% 51.15/25.61 Conjecture not found
% 51.15/25.67 Conjecture not found
% 51.39/25.77 Conjecture not found
% 51.39/25.83 Conjecture not found
% 51.51/25.87 Conjecture not found
% 51.58/25.92 Conjecture not found
% 51.58/25.93 Conjecture not found
% 51.58/25.95 Conjecture not found
% 51.76/26.00 Conjecture not found
% 51.76/26.04 Conjecture not found
% 51.76/26.08 Conjecture not found
% 52.27/26.11 Conjecture not found
% 52.27/26.12 Conjecture not found
% 52.37/26.19 Conjecture not found
% 52.40/26.22 Conjecture not found
% 52.40/26.26 Conjecture not found
% 52.48/26.31 Conjecture not found
% 52.48/26.32 Conjecture not found
% 52.48/26.38 Conjecture not found
% 52.56/26.41 Conjecture not found
% 52.56/26.42 Conjecture not found
% 52.56/26.43 Conjecture not found
% 52.56/26.46 Conjecture not found
% 52.56/26.48 Conjecture not found
% 52.88/26.50 Conjecture not found
% 53.34/26.61 Conjecture not found
% 53.34/26.61 Conjecture not found
% 53.34/26.62 Conjecture not found
% 53.34/26.64 Conjecture not found
% 53.34/26.65 Conjecture not found
% 53.34/26.67 Conjecture not found
% 53.42/26.69 Conjecture not found
% 53.42/26.70 Conjecture not found
% 53.42/26.76 Conjecture not found
% 53.54/26.79 Conjecture not found
% 53.54/26.80 Conjecture not found
% 53.54/26.81 Conjecture not found
% 53.57/26.88 Conjecture not found
% 53.57/26.89 Conjecture not found
% 53.65/26.94 Conjecture not found
% 54.10/27.01 Conjecture not found
% 54.38/27.11 Conjecture not found
% 54.38/27.13 Conjecture not found
% 54.41/27.15 Conjecture not found
% 54.41/27.18 Conjecture not found
% 54.41/27.21 Conjecture not found
% 54.41/27.22 Conjecture not found
% 54.50/27.27 Conjecture not found
% 54.57/27.33 Conjecture not found
% 54.92/27.42 Conjecture not found
% 55.15/27.46 Conjecture not found
% 55.15/27.47 Conjecture not found
% 55.35/27.54 Conjecture not found
% 55.35/27.58 Conjecture not found
% 55.42/27.64 Conjecture not found
% 55.42/27.66 Conjecture not found
% 55.42/27.67 Conjecture not found
% 55.51/27.69 Conjecture not found
% 55.51/27.71 Conjecture not found
% 55.56/27.74 Conjecture not found
% 55.56/27.75 Conjecture not found
% 55.56/27.76 Conjecture not found
% 55.56/27.77 Conjecture not found
% 55.74/27.82 Conjecture not found
% 55.74/27.84 Conjecture not found
% 56.26/27.88 Conjecture not found
% 56.26/27.93 Conjecture not found
% 56.26/27.94 Conjecture not found
% 56.47/28.03 Conjecture not found
% 56.47/28.04 Conjecture not found
% 56.47/28.06 Conjecture not found
% 56.47/28.07 Conjecture not found
% 56.47/28.10 Conjecture not found
% 56.56/28.19 Conjecture not found
% 56.64/28.23 Conjecture not found
% 57.05/28.29 Conjecture not found
% 57.05/28.29 Conjecture not found
% 57.16/28.30 Conjecture not found
% 57.30/28.35 Conjecture not found
% 57.30/28.36 Conjecture not found
% 57.45/28.47 Conjecture not found
% 57.53/28.49 Conjecture not found
% 57.64/28.60 Conjecture not found
% 57.66/28.67 Conjecture not found
% 57.66/28.69 Conjecture not found
% 57.74/28.72 Conjecture not found
% 57.74/28.73 Conjecture not found
% 57.74/28.74 Conjecture not found
% 57.74/28.75 Conjecture not found
% 57.74/28.76 Conjecture not found
% 57.83/28.80 Conjecture not found
% 57.83/28.86 Conjecture not found
% 57.83/28.88 Conjecture not found
% 58.55/28.98 Conjecture not found
% 58.65/29.09 Conjecture not found
% 58.75/29.12 Conjecture not found
% 58.75/29.15 Conjecture not found
% 58.75/29.17 Conjecture not found
% 58.75/29.19 Conjecture not found
% 58.86/29.21 Conjecture not found
% 58.87/29.25 Conjecture not found
% 58.87/29.27 Conjecture not found
% 59.08/29.39 Conjecture not found
% 59.93/29.71 Conjecture not found
% 60.09/29.86 Conjecture not found
% 60.18/29.87 Conjecture not found
% 60.72/29.97 Conjecture not found
% 61.02/30.09 Conjecture not found
% 61.02/30.12 Conjecture not found
% 61.02/30.13 Conjecture not found
% 61.02/30.14 Conjecture not found
% 61.11/30.18 Conjecture not found
% 61.11/30.19 Conjecture not found
% 61.18/30.25 Conjecture not found
% 61.18/30.27 Conjecture not found
% 61.18/30.28 Conjecture not found
% 61.18/30.30 Conjecture not found
% 61.26/30.32 Conjecture not found
% 61.26/30.34 Conjecture not found
% 61.26/30.35 Conjecture not found
% 61.26/30.36 Conjecture not found
% 62.14/30.53 Conjecture not found
% 62.15/30.54 Conjecture not found
% 62.15/30.58 Conjecture not found
% 62.22/30.64 Conjecture not found
% 62.22/30.65 Conjecture not found
% 62.22/30.65 Conjecture not found
% 62.22/30.66 Conjecture not found
% 62.27/30.67 Conjecture not found
% 62.27/30.68 Conjecture not found
% 62.27/30.72 Conjecture not found
% 62.27/30.73 Conjecture not found
% 62.40/30.80 Conjecture not found
% 62.45/30.87 Conjecture not found
% 62.45/30.89 Conjecture not found
% 62.45/30.90 Conjecture not found
% 62.45/30.91 Conjecture not found
% 62.52/30.97 Conjecture not found
% 63.07/31.03 Conjecture not found
% 63.32/31.09 Conjecture not found
% 63.32/31.11 Conjecture not found
% 63.35/31.11 Conjecture not found
% 63.35/31.12 Conjecture not found
% 63.37/31.18 Conjecture not found
% 63.37/31.20 Conjecture not found
% 63.46/31.25 Conjecture not found
% 63.46/31.27 Conjecture not found
% 63.46/31.28 Conjecture not found
% 63.53/31.30 Conjecture not found
% 63.53/31.34 Conjecture not found
% 63.53/31.34 Conjecture not found
% 63.53/31.36 Conjecture not found
% 63.61/31.37 Conjecture not found
% 63.62/31.39 Conjecture not found
% 63.65/31.41 Conjecture not found
% 63.67/31.44 Conjecture not found
% 63.67/31.46 Conjecture not found
% 63.97/31.60 Conjecture not found
% 64.49/31.66 Conjecture not found
% 64.58/31.68 Conjecture not found
% 64.60/31.71 Conjecture not found
% 64.61/31.74 Conjecture not found
% 64.61/31.79 Conjecture not found
% 64.70/31.86 Conjecture not found
% 64.78/31.91 Conjecture not found
% 64.78/31.96 Conjecture not found
% 64.89/32.00 Conjecture not found
% 64.91/32.01 Conjecture not found
% 64.91/32.08 Conjecture not found
% 64.91/32.09 Conjecture not found
% 64.91/32.11 Conjecture not found
% 65.85/32.22 Conjecture not found
% 65.85/32.27 Conjecture not found
% 65.85/32.28 Conjecture not found
% 65.94/32.32 Conjecture not found
% 65.94/32.33 Conjecture not found
% 65.94/32.34 Conjecture not found
% 65.94/32.35 Conjecture not found
% 65.94/32.37 Conjecture not found
% 66.03/32.42 Conjecture not found
% 66.03/32.45 Conjecture not found
% 66.03/32.47 Conjecture not found
% 66.13/32.49 Conjecture not found
% 66.14/32.53 Conjecture not found
% 66.14/32.59 Conjecture not found
% 66.56/32.60 Conjecture not found
% 66.56/32.64 Conjecture not found
% 67.06/32.70 Conjecture not found
% 67.06/32.78 Conjecture not found
% 67.20/32.85 Conjecture not found
% 67.20/32.86 Conjecture not found
% 67.27/32.92 Conjecture not found
% 67.27/32.97 Conjecture not found
% 67.34/32.98 Conjecture not found
% 67.34/33.03 Conjecture not found
% 67.34/33.04 Conjecture not found
% 67.34/33.06 Conjecture not found
% 67.46/33.11 Conjecture not found
% 67.50/33.13 Conjecture not found
% 67.50/33.14 Conjecture not found
% 67.50/33.18 Conjecture not found
% 67.50/33.19 Conjecture not found
% 67.50/33.20 Conjecture not found
% 68.00/33.23 Conjecture not found
% 68.42/33.33 Conjecture not found
% 68.53/33.39 Conjecture not found
% 68.55/33.41 Conjecture not found
% 68.55/33.42 Conjecture not found
% 68.58/33.44 Conjecture not found
% 68.58/33.49 Conjecture not found
% 68.67/33.54 Conjecture not found
% 68.81/33.69 Conjecture not found
% 69.67/33.83 Conjecture not found
% 69.67/33.85 Conjecture not found
% 69.80/33.89 Conjecture not found
% 69.89/33.98 Conjecture not found
% 69.90/33.99 Conjecture not found
% 69.96/34.05 Conjecture not found
% 69.96/34.06 Conjecture not found
% 69.96/34.07 Conjecture not found
% 69.96/34.08 Conjecture not found
% 69.96/34.10 Conjecture not found
% 70.03/34.12 Conjecture not found
% 70.03/34.13 Conjecture not found
% 70.03/34.15 Conjecture not found
% 70.03/34.16 Conjecture not found
% 70.09/34.18 Conjecture not found
% 70.09/34.18 Conjecture not found
% 70.09/34.21 Conjecture not found
% 70.09/34.24 Conjecture not found
% 70.17/34.27 Conjecture not found
% 70.20/34.29 Conjecture not found
% 70.47/34.38 Conjecture not found
% 71.04/34.48 Conjecture not found
% 71.21/34.50 Conjecture not found
% 71.36/34.68 Conjecture not found
% 71.36/34.70 Conjecture not found
% 71.36/34.71 Conjecture not found
% 71.45/34.72 Conjecture not found
% 71.45/34.76 Conjecture not found
% 71.45/34.78 Conjecture not found
% 72.68/35.26 Conjecture not found
% 72.68/35.29 Conjecture not found
% 72.78/35.31 Conjecture not found
% 72.78/35.35 Conjecture not found
% 72.87/35.42 Conjecture not found
% 72.87/35.44 Conjecture not found
% 72.96/35.49 Conjecture not found
% 72.98/35.52 Conjecture not found
% 72.98/35.56 Conjecture not found
% 73.56/35.63 Conjecture not found
% 73.56/35.69 Conjecture not found
% 73.97/35.72 Conjecture not found
% 73.97/35.77 Conjecture not found
% 74.07/35.81 Conjecture not found
% 74.07/35.82 Conjecture not found
% 74.07/35.84 Start search
% 175.93/59.60 nb_step : 1 - limit : 175776
% 176.65/60.32 Launch Gotab with destructive = true
%------------------------------------------------------------------------------