TSTP Solution File: SEU435+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : SEU435+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n008.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 300s
% DateTime : Tue Sep 20 05:57:11 EDT 2022
% Result : Timeout 300.50s 92.51s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.12 % Problem : SEU435+4 : TPTP v8.1.0. Released v3.4.0.
% 0.12/0.13 % Command : goeland -dmt -presko -proof %s
% 0.12/0.34 % Computer : n008.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 300
% 0.12/0.34 % DateTime : Sat Sep 3 14:33:07 EDT 2022
% 0.19/0.34 % CPUTime :
% 0.19/0.35 [DMT] DMT loaded with preskolemization
% 0.19/0.35 [EQ] equality loaded.
% 0.19/0.35 [0.000036s][1][MAIN] Problem : theBenchmark.p
% 0.19/0.40 Conjecture not found
% 0.19/0.40 Conjecture not found
% 0.19/0.41 Conjecture not found
% 0.19/0.41 Conjecture not found
% 0.19/0.42 Conjecture not found
% 0.19/0.44 Conjecture not found
% 0.19/0.46 Conjecture not found
% 0.19/0.48 Conjecture not found
% 0.19/0.49 Conjecture not found
% 0.19/0.49 Conjecture not found
% 0.19/0.52 Conjecture not found
% 0.19/0.57 Conjecture not found
% 0.53/0.58 Conjecture not found
% 0.53/0.59 Conjecture not found
% 0.59/0.60 Conjecture not found
% 0.59/0.62 Conjecture not found
% 0.66/0.64 Conjecture not found
% 0.66/0.69 Conjecture not found
% 0.86/0.76 Conjecture not found
% 0.86/0.77 Conjecture not found
% 0.86/0.85 Conjecture not found
% 1.09/0.90 Conjecture not found
% 1.18/0.98 Conjecture not found
% 1.28/1.01 Conjecture not found
% 1.40/1.09 Conjecture not found
% 1.40/1.12 Conjecture not found
% 1.57/1.18 Conjecture not found
% 1.57/1.20 Conjecture not found
% 1.65/1.23 Conjecture not found
% 1.70/1.25 Conjecture not found
% 1.70/1.26 Conjecture not found
% 1.70/1.26 Conjecture not found
% 1.70/1.27 Conjecture not found
% 1.84/1.37 Conjecture not found
% 1.94/1.40 Conjecture not found
% 1.94/1.40 Conjecture not found
% 1.94/1.42 Conjecture not found
% 1.94/1.42 Conjecture not found
% 1.94/1.42 Conjecture not found
% 1.94/1.42 Conjecture not found
% 1.94/1.43 Conjecture not found
% 1.94/1.43 Conjecture not found
% 2.09/1.49 Conjecture not found
% 2.15/1.54 Conjecture not found
% 2.20/1.54 Conjecture not found
% 2.20/1.55 Conjecture not found
% 2.20/1.56 Conjecture not found
% 2.20/1.58 Conjecture not found
% 2.20/1.59 Conjecture not found
% 2.20/1.61 Conjecture not found
% 2.37/1.63 Conjecture not found
% 2.37/1.65 Conjecture not found
% 2.37/1.67 Conjecture not found
% 2.37/1.67 Conjecture not found
% 2.37/1.69 Conjecture not found
% 2.46/1.72 Conjecture not found
% 2.60/1.78 Conjecture not found
% 2.69/1.84 Conjecture not found
% 2.69/1.85 Conjecture not found
% 2.69/1.87 Conjecture not found
% 2.69/1.91 Conjecture not found
% 2.83/1.94 Conjecture not found
% 2.83/1.95 Conjecture not found
% 2.83/1.98 Conjecture not found
% 2.94/2.07 Conjecture not found
% 3.12/2.10 Conjecture not found
% 3.19/2.12 Conjecture not found
% 3.19/2.14 Conjecture not found
% 3.19/2.16 Conjecture not found
% 3.19/2.18 Conjecture not found
% 3.48/2.36 Conjecture not found
% 3.63/2.39 Conjecture not found
% 3.63/2.41 Conjecture not found
% 3.85/2.52 Conjecture not found
% 3.85/2.54 Conjecture not found
% 3.85/2.55 Conjecture not found
% 3.85/2.57 Conjecture not found
% 4.00/2.61 Conjecture not found
% 4.00/2.68 Conjecture not found
% 4.13/2.76 Conjecture not found
% 4.28/2.84 Conjecture not found
% 4.28/2.88 Conjecture not found
% 4.47/2.90 Conjecture not found
% 4.52/2.94 Conjecture not found
% 4.52/2.94 Conjecture not found
% 4.52/2.98 Conjecture not found
% 4.52/3.01 Conjecture not found
% 4.70/3.04 Conjecture not found
% 4.70/3.05 Conjecture not found
% 4.84/3.12 Conjecture not found
% 4.84/3.13 Conjecture not found
% 4.84/3.17 Conjecture not found
% 4.97/3.23 Conjecture not found
% 5.19/3.32 Conjecture not found
% 5.41/3.45 Conjecture not found
% 5.81/3.68 Conjecture not found
% 6.39/3.96 Conjecture not found
% 6.39/3.99 Conjecture not found
% 6.53/4.02 Conjecture not found
% 6.58/4.14 Conjecture not found
% 6.73/4.18 Conjecture not found
% 6.83/4.23 Conjecture not found
% 6.87/4.31 Conjecture not found
% 7.04/4.36 Conjecture not found
% 7.15/4.43 Conjecture not found
% 7.22/4.47 Conjecture not found
% 7.22/4.48 Conjecture not found
% 7.22/4.50 Conjecture not found
% 7.22/4.53 Conjecture not found
% 7.22/4.54 Conjecture not found
% 7.49/4.63 Conjecture not found
% 7.54/4.72 Conjecture not found
% 7.70/4.78 Conjecture not found
% 7.89/4.91 Conjecture not found
% 7.89/4.94 Conjecture not found
% 8.08/4.98 Conjecture not found
% 8.08/5.00 Conjecture not found
% 8.12/5.01 Conjecture not found
% 8.22/5.04 Conjecture not found
% 8.22/5.06 Conjecture not found
% 8.22/5.08 Conjecture not found
% 8.22/5.12 Conjecture not found
% 8.22/5.12 Conjecture not found
% 8.31/5.13 Conjecture not found
% 8.31/5.15 Conjecture not found
% 8.44/5.19 Conjecture not found
% 8.44/5.21 Conjecture not found
% 8.53/5.26 Conjecture not found
% 8.62/5.31 Conjecture not found
% 8.85/5.49 Conjecture not found
% 9.00/5.54 Conjecture not found
% 9.00/5.54 Conjecture not found
% 9.00/5.57 Conjecture not found
% 9.09/5.60 Conjecture not found
% 9.18/5.64 Conjecture not found
% 9.18/5.69 Conjecture not found
% 9.18/5.70 Conjecture not found
% 9.30/5.73 Conjecture not found
% 9.30/5.76 Conjecture not found
% 9.47/5.85 Conjecture not found
% 10.32/6.36 Conjecture not found
% 11.23/6.86 Conjecture not found
% 11.54/6.99 Conjecture not found
% 11.54/7.03 Conjecture not found
% 11.54/7.04 Conjecture not found
% 11.54/7.06 Conjecture not found
% 11.77/7.12 Conjecture not found
% 11.80/7.14 Conjecture not found
% 11.80/7.16 Conjecture not found
% 11.80/7.22 Conjecture not found
% 11.99/7.27 Conjecture not found
% 12.06/7.31 Conjecture not found
% 12.06/7.34 Conjecture not found
% 12.06/7.35 Conjecture not found
% 12.22/7.38 Conjecture not found
% 12.22/7.41 Conjecture not found
% 12.22/7.46 Conjecture not found
% 12.46/7.51 Conjecture not found
% 12.49/7.57 Conjecture not found
% 12.49/7.59 Conjecture not found
% 12.49/7.62 Conjecture not found
% 12.67/7.65 Conjecture not found
% 12.67/7.68 Conjecture not found
% 12.73/7.72 Conjecture not found
% 12.91/7.76 Conjecture not found
% 12.92/7.78 Conjecture not found
% 12.96/7.82 Conjecture not found
% 13.08/7.87 Conjecture not found
% 13.08/7.88 Conjecture not found
% 13.08/7.89 Conjecture not found
% 13.08/7.91 Conjecture not found
% 13.08/7.92 Conjecture not found
% 13.18/7.94 Conjecture not found
% 13.18/7.97 Conjecture not found
% 13.35/7.99 Conjecture not found
% 13.35/8.02 Conjecture not found
% 13.35/8.03 Conjecture not found
% 13.43/8.07 Conjecture not found
% 13.55/8.11 Conjecture not found
% 13.60/8.14 Conjecture not found
% 13.60/8.18 Conjecture not found
% 13.60/8.20 Conjecture not found
% 13.67/8.21 Conjecture not found
% 13.67/8.22 Conjecture not found
% 13.67/8.26 Conjecture not found
% 13.84/8.29 Conjecture not found
% 13.84/8.30 Conjecture not found
% 13.84/8.34 Conjecture not found
% 13.94/8.37 Conjecture not found
% 13.94/8.39 Conjecture not found
% 14.13/8.43 Conjecture not found
% 14.13/8.44 Conjecture not found
% 14.13/8.46 Conjecture not found
% 14.13/8.49 Conjecture not found
% 14.13/8.50 Conjecture not found
% 14.21/8.51 Conjecture not found
% 14.21/8.53 Conjecture not found
% 14.21/8.55 Conjecture not found
% 14.21/8.56 Conjecture not found
% 14.21/8.56 Conjecture not found
% 14.21/8.57 Conjecture not found
% 14.40/8.62 Conjecture not found
% 14.67/8.72 Conjecture not found
% 14.69/8.73 Conjecture not found
% 14.69/8.76 Conjecture not found
% 14.69/8.79 Conjecture not found
% 14.69/8.80 Conjecture not found
% 14.77/8.82 Conjecture not found
% 14.77/8.84 Conjecture not found
% 14.77/8.87 Conjecture not found
% 14.97/8.93 Conjecture not found
% 15.05/8.97 Conjecture not found
% 15.07/9.01 Conjecture not found
% 15.25/9.05 Conjecture not found
% 15.34/9.19 Conjecture not found
% 15.54/9.26 Conjecture not found
% 15.80/9.32 Conjecture not found
% 15.80/9.33 Conjecture not found
% 15.80/9.38 Conjecture not found
% 15.90/9.41 Conjecture not found
% 15.90/9.45 Conjecture not found
% 15.90/9.48 Conjecture not found
% 16.12/9.58 Conjecture not found
% 16.24/9.64 Conjecture not found
% 16.24/9.70 Conjecture not found
% 16.49/9.73 Conjecture not found
% 16.49/9.80 Conjecture not found
% 16.73/9.82 Conjecture not found
% 16.73/9.88 Conjecture not found
% 16.83/9.91 Conjecture not found
% 17.07/10.01 Conjecture not found
% 17.16/10.11 Conjecture not found
% 17.16/10.12 Conjecture not found
% 17.16/10.15 Conjecture not found
% 17.16/10.18 Conjecture not found
% 17.43/10.21 Conjecture not found
% 17.43/10.29 Conjecture not found
% 17.53/10.36 Conjecture not found
% 17.53/10.37 Conjecture not found
% 17.78/10.40 Conjecture not found
% 18.14/10.65 Conjecture not found
% 18.39/10.74 Conjecture not found
% 18.39/10.78 Conjecture not found
% 18.48/10.80 Conjecture not found
% 18.50/10.81 Conjecture not found
% 18.51/10.82 Conjecture not found
% 18.76/10.92 Conjecture not found
% 18.76/10.98 Conjecture not found
% 18.84/11.07 Conjecture not found
% 19.12/11.15 Conjecture not found
% 19.12/11.17 Conjecture not found
% 19.48/11.31 Conjecture not found
% 19.48/11.36 Conjecture not found
% 19.56/11.40 Conjecture not found
% 19.56/11.45 Conjecture not found
% 19.84/11.51 Conjecture not found
% 19.87/11.52 Conjecture not found
% 19.88/11.55 Conjecture not found
% 19.88/11.56 Conjecture not found
% 19.88/11.57 Conjecture not found
% 19.96/11.61 Conjecture not found
% 19.96/11.66 Conjecture not found
% 19.96/11.69 Conjecture not found
% 20.20/11.71 Conjecture not found
% 20.20/11.76 Conjecture not found
% 20.20/11.77 Conjecture not found
% 20.31/11.79 Conjecture not found
% 20.33/11.81 Conjecture not found
% 20.61/11.96 Conjecture not found
% 20.61/11.97 Conjecture not found
% 20.69/12.00 Conjecture not found
% 20.69/12.02 Conjecture not found
% 20.69/12.03 Conjecture not found
% 20.69/12.04 Conjecture not found
% 20.69/12.05 Conjecture not found
% 20.99/12.13 Conjecture not found
% 20.99/12.14 Conjecture not found
% 20.99/12.15 Conjecture not found
% 21.09/12.21 Conjecture not found
% 21.09/12.30 Conjecture not found
% 21.47/12.41 Conjecture not found
% 21.47/12.43 Conjecture not found
% 21.76/12.57 Conjecture not found
% 22.17/12.71 Conjecture not found
% 22.17/12.73 Conjecture not found
% 22.17/12.79 Conjecture not found
% 22.27/12.81 Conjecture not found
% 22.27/12.82 Conjecture not found
% 22.56/12.92 Conjecture not found
% 22.68/13.01 Conjecture not found
% 22.68/13.04 Conjecture not found
% 22.68/13.06 Conjecture not found
% 22.87/13.19 Conjecture not found
% 23.07/13.23 Conjecture not found
% 23.07/13.24 Conjecture not found
% 23.16/13.29 Conjecture not found
% 23.16/13.36 Conjecture not found
% 23.16/13.37 Conjecture not found
% 23.49/13.43 Conjecture not found
% 23.49/13.49 Conjecture not found
% 23.58/13.51 Conjecture not found
% 23.58/13.53 Conjecture not found
% 23.58/13.60 Conjecture not found
% 23.87/13.63 Conjecture not found
% 23.87/13.63 Conjecture not found
% 23.87/13.66 Conjecture not found
% 23.87/13.69 Conjecture not found
% 23.99/13.74 Conjecture not found
% 23.99/13.77 Conjecture not found
% 24.30/13.81 Conjecture not found
% 24.30/13.82 Conjecture not found
% 24.30/13.86 Conjecture not found
% 24.45/13.97 Conjecture not found
% 24.65/14.04 Conjecture not found
% 24.65/14.06 Conjecture not found
% 24.78/14.12 Conjecture not found
% 24.78/14.14 Conjecture not found
% 24.78/14.15 Conjecture not found
% 24.78/14.15 Conjecture not found
% 24.78/14.16 Conjecture not found
% 24.78/14.20 Conjecture not found
% 25.10/14.21 Conjecture not found
% 25.10/14.29 Conjecture not found
% 25.19/14.36 Conjecture not found
% 25.43/14.44 Conjecture not found
% 25.43/14.47 Conjecture not found
% 25.43/14.48 Conjecture not found
% 25.64/14.53 Conjecture not found
% 25.64/14.55 Conjecture not found
% 25.64/14.55 Conjecture not found
% 25.73/14.63 Conjecture not found
% 25.73/14.67 Conjecture not found
% 26.05/14.73 Conjecture not found
% 26.05/14.77 Conjecture not found
% 26.15/14.79 Conjecture not found
% 26.17/14.82 Conjecture not found
% 26.59/15.04 Conjecture not found
% 26.93/15.12 Conjecture not found
% 26.93/15.14 Conjecture not found
% 27.05/15.22 Conjecture not found
% 27.05/15.23 Conjecture not found
% 27.05/15.26 Conjecture not found
% 27.25/15.29 Conjecture not found
% 27.48/15.39 Conjecture not found
% 27.51/15.42 Conjecture not found
% 27.51/15.43 Conjecture not found
% 27.51/15.44 Conjecture not found
% 27.51/15.46 Conjecture not found
% 27.77/15.52 Conjecture not found
% 27.92/15.61 Conjecture not found
% 27.92/15.62 Conjecture not found
% 27.92/15.63 Conjecture not found
% 27.92/15.63 Conjecture not found
% 27.92/15.67 Conjecture not found
% 27.92/15.69 Conjecture not found
% 28.05/15.74 Conjecture not found
% 28.43/15.90 Conjecture not found
% 28.43/15.97 Conjecture not found
% 28.51/16.00 Conjecture not found
% 28.53/16.01 Conjecture not found
% 28.55/16.03 Conjecture not found
% 28.55/16.08 Conjecture not found
% 28.55/16.10 Conjecture not found
% 28.55/16.11 Conjecture not found
% 28.64/16.14 Conjecture not found
% 29.01/16.19 Conjecture not found
% 29.01/16.22 Conjecture not found
% 29.01/16.25 Conjecture not found
% 29.01/16.26 Conjecture not found
% 29.13/16.33 Conjecture not found
% 29.13/16.37 Conjecture not found
% 29.13/16.38 Conjecture not found
% 29.46/16.43 Conjecture not found
% 29.46/16.45 Conjecture not found
% 29.54/16.48 Conjecture not found
% 29.54/16.50 Conjecture not found
% 29.54/16.51 Conjecture not found
% 29.54/16.52 Conjecture not found
% 29.88/16.58 Conjecture not found
% 29.91/16.59 Conjecture not found
% 30.01/16.72 Conjecture not found
% 30.01/16.72 Conjecture not found
% 30.01/16.73 Conjecture not found
% 30.01/16.77 Conjecture not found
% 30.10/16.80 Conjecture not found
% 30.10/16.84 Conjecture not found
% 30.10/16.87 Conjecture not found
% 30.49/16.89 Conjecture not found
% 30.51/16.92 Conjecture not found
% 30.51/16.95 Conjecture not found
% 30.51/16.97 Conjecture not found
% 30.51/16.99 Conjecture not found
% 30.60/17.01 Conjecture not found
% 30.60/17.02 Conjecture not found
% 30.60/17.03 Conjecture not found
% 30.96/17.09 Conjecture not found
% 30.96/17.15 Conjecture not found
% 30.96/17.18 Conjecture not found
% 31.09/17.21 Conjecture not found
% 31.09/17.22 Conjecture not found
% 31.09/17.27 Conjecture not found
% 31.18/17.32 Conjecture not found
% 31.18/17.35 Conjecture not found
% 31.18/17.39 Conjecture not found
% 31.58/17.42 Conjecture not found
% 31.58/17.44 Conjecture not found
% 31.58/17.45 Conjecture not found
% 31.58/17.47 Conjecture not found
% 31.69/17.50 Conjecture not found
% 31.70/17.51 Conjecture not found
% 31.70/17.52 Conjecture not found
% 31.70/17.56 Conjecture not found
% 32.00/17.65 Conjecture not found
% 32.17/17.73 Conjecture not found
% 32.17/17.75 Conjecture not found
% 32.17/17.78 Conjecture not found
% 32.30/17.85 Conjecture not found
% 32.69/17.99 Conjecture not found
% 32.78/18.03 Conjecture not found
% 32.78/18.09 Conjecture not found
% 32.89/18.11 Conjecture not found
% 32.90/18.12 Conjecture not found
% 32.90/18.13 Conjecture not found
% 32.90/18.17 Conjecture not found
% 32.90/18.19 Conjecture not found
% 32.90/18.21 Conjecture not found
% 33.31/18.21 Conjecture not found
% 33.31/18.23 Conjecture not found
% 33.31/18.24 Conjecture not found
% 33.31/18.28 Conjecture not found
% 33.40/18.33 Conjecture not found
% 33.40/18.35 Conjecture not found
% 33.40/18.37 Conjecture not found
% 33.48/18.39 Conjecture not found
% 33.59/18.41 Conjecture not found
% 33.94/18.51 Conjecture not found
% 34.03/18.60 Conjecture not found
% 34.03/18.63 Conjecture not found
% 34.03/18.65 Conjecture not found
% 34.29/18.79 Conjecture not found
% 34.56/18.84 Conjecture not found
% 34.56/18.87 Conjecture not found
% 34.64/18.90 Conjecture not found
% 34.64/18.91 Conjecture not found
% 34.64/18.97 Conjecture not found
% 34.73/18.99 Conjecture not found
% 34.73/19.00 Conjecture not found
% 34.76/19.03 Conjecture not found
% 34.76/19.05 Conjecture not found
% 34.76/19.08 Conjecture not found
% 34.76/19.11 Conjecture not found
% 35.22/19.13 Conjecture not found
% 35.22/19.19 Conjecture not found
% 35.30/19.24 Conjecture not found
% 35.30/19.28 Conjecture not found
% 35.42/19.33 Conjecture not found
% 35.95/19.50 Conjecture not found
% 35.95/19.51 Conjecture not found
% 35.95/19.54 Conjecture not found
% 35.95/19.55 Conjecture not found
% 35.95/19.57 Conjecture not found
% 36.03/19.58 Conjecture not found
% 36.03/19.59 Conjecture not found
% 36.07/19.67 Conjecture not found
% 36.07/19.69 Conjecture not found
% 36.07/19.71 Conjecture not found
% 36.17/19.74 Conjecture not found
% 36.17/19.75 Conjecture not found
% 36.17/19.79 Conjecture not found
% 36.49/19.85 Conjecture not found
% 36.49/19.87 Conjecture not found
% 36.70/19.89 Conjecture not found
% 36.73/19.94 Conjecture not found
% 36.73/19.96 Conjecture not found
% 36.82/20.00 Conjecture not found
% 36.82/20.01 Conjecture not found
% 36.82/20.02 Conjecture not found
% 36.82/20.04 Conjecture not found
% 36.91/20.09 Conjecture not found
% 37.40/20.20 Conjecture not found
% 37.42/20.23 Conjecture not found
% 37.42/20.29 Conjecture not found
% 37.50/20.33 Conjecture not found
% 37.50/20.34 Conjecture not found
% 37.50/20.37 Conjecture not found
% 37.58/20.48 Conjecture not found
% 37.71/20.52 Conjecture not found
% 37.80/20.57 Conjecture not found
% 38.17/20.62 Conjecture not found
% 38.17/20.64 Conjecture not found
% 38.17/20.69 Conjecture not found
% 38.25/20.72 Conjecture not found
% 38.25/20.74 Conjecture not found
% 38.33/20.78 Conjecture not found
% 38.37/20.81 Conjecture not found
% 38.38/20.83 Conjecture not found
% 38.38/20.86 Conjecture not found
% 38.38/20.90 Conjecture not found
% 38.87/20.93 Conjecture not found
% 38.87/20.98 Conjecture not found
% 38.96/21.03 Conjecture not found
% 39.05/21.09 Conjecture not found
% 39.06/21.10 Conjecture not found
% 39.09/21.13 Conjecture not found
% 39.09/21.17 Conjecture not found
% 39.09/21.20 Conjecture not found
% 39.18/21.22 Conjecture not found
% 39.18/21.24 Conjecture not found
% 39.18/21.25 Conjecture not found
% 39.18/21.26 Conjecture not found
% 39.44/21.31 Conjecture not found
% 39.44/21.34 Conjecture not found
% 39.44/21.38 Conjecture not found
% 39.80/21.42 Conjecture not found
% 39.80/21.43 Conjecture not found
% 39.80/21.49 Conjecture not found
% 39.80/21.50 Conjecture not found
% 39.80/21.52 Conjecture not found
% 39.90/21.54 Conjecture not found
% 39.90/21.58 Conjecture not found
% 39.90/21.60 Conjecture not found
% 39.99/21.63 Conjecture not found
% 39.99/21.66 Conjecture not found
% 39.99/21.69 Conjecture not found
% 40.48/21.73 Conjecture not found
% 40.48/21.76 Conjecture not found
% 40.60/21.83 Conjecture not found
% 40.60/21.85 Conjecture not found
% 40.60/21.86 Conjecture not found
% 40.60/21.86 Conjecture not found
% 40.71/21.94 Conjecture not found
% 40.71/21.95 Conjecture not found
% 40.71/21.98 Conjecture not found
% 41.14/22.05 Conjecture not found
% 41.31/22.13 Conjecture not found
% 41.31/22.18 Conjecture not found
% 41.50/22.31 Conjecture not found
% 41.53/22.33 Conjecture not found
% 41.53/22.40 Conjecture not found
% 41.53/22.41 Conjecture not found
% 42.07/22.42 Conjecture not found
% 42.07/22.43 Conjecture not found
% 42.07/22.45 Conjecture not found
% 42.07/22.48 Conjecture not found
% 42.16/22.50 Conjecture not found
% 42.16/22.52 Conjecture not found
% 42.16/22.54 Conjecture not found
% 42.23/22.59 Conjecture not found
% 42.23/22.60 Conjecture not found
% 42.23/22.62 Conjecture not found
% 42.55/22.69 Conjecture not found
% 42.73/22.72 Conjecture not found
% 42.80/22.76 Conjecture not found
% 42.80/22.78 Conjecture not found
% 42.80/22.81 Conjecture not found
% 42.90/22.83 Conjecture not found
% 42.98/22.90 Conjecture not found
% 42.98/22.93 Conjecture not found
% 42.98/22.95 Conjecture not found
% 43.05/22.98 Conjecture not found
% 43.05/23.02 Conjecture not found
% 43.05/23.06 Conjecture not found
% 43.59/23.09 Conjecture not found
% 43.63/23.13 Conjecture not found
% 43.73/23.23 Conjecture not found
% 43.73/23.26 Conjecture not found
% 43.73/23.27 Conjecture not found
% 43.80/23.31 Conjecture not found
% 43.80/23.32 Conjecture not found
% 43.80/23.35 Conjecture not found
% 43.89/23.38 Conjecture not found
% 43.89/23.39 Conjecture not found
% 43.89/23.40 Conjecture not found
% 44.09/23.48 Conjecture not found
% 44.47/23.53 Conjecture not found
% 44.47/23.56 Conjecture not found
% 44.47/23.58 Conjecture not found
% 44.54/23.58 Conjecture not found
% 44.54/23.60 Conjecture not found
% 44.54/23.61 Conjecture not found
% 44.54/23.63 Conjecture not found
% 44.54/23.67 Conjecture not found
% 44.62/23.68 Conjecture not found
% 44.62/23.68 Conjecture not found
% 44.64/23.69 Conjecture not found
% 44.64/23.71 Conjecture not found
% 44.64/23.72 Conjecture not found
% 44.69/23.74 Conjecture not found
% 44.69/23.75 Conjecture not found
% 44.69/23.76 Conjecture not found
% 44.69/23.78 Conjecture not found
% 44.76/23.82 Conjecture not found
% 44.76/23.86 Conjecture not found
% 45.23/23.89 Conjecture not found
% 45.23/23.91 Conjecture not found
% 45.38/23.96 Conjecture not found
% 45.38/23.97 Conjecture not found
% 45.45/24.07 Conjecture not found
% 45.45/24.07 Conjecture not found
% 45.45/24.08 Conjecture not found
% 45.59/24.27 Conjecture not found
% 45.98/24.34 Conjecture not found
% 45.98/24.38 Conjecture not found
% 45.98/24.40 Conjecture not found
% 46.21/24.46 Conjecture not found
% 46.28/24.49 Conjecture not found
% 46.28/24.52 Conjecture not found
% 46.28/24.55 Conjecture not found
% 46.37/24.58 Conjecture not found
% 46.42/24.65 Conjecture not found
% 46.42/24.66 Conjecture not found
% 46.42/24.71 Conjecture not found
% 46.52/24.72 Conjecture not found
% 46.52/24.75 Conjecture not found
% 46.52/24.76 Conjecture not found
% 46.52/24.77 Conjecture not found
% 46.52/24.78 Conjecture not found
% 46.82/24.83 Conjecture not found
% 46.82/24.86 Conjecture not found
% 47.17/24.88 Conjecture not found
% 47.20/24.91 Conjecture not found
% 47.21/24.94 Conjecture not found
% 47.21/24.95 Conjecture not found
% 47.21/24.98 Conjecture not found
% 47.30/25.01 Conjecture not found
% 47.38/25.09 Conjecture not found
% 47.38/25.12 Conjecture not found
% 47.38/25.16 Conjecture not found
% 47.48/25.20 Conjecture not found
% 47.63/25.28 Conjecture not found
% 48.08/25.35 Conjecture not found
% 48.08/25.37 Conjecture not found
% 48.08/25.38 Conjecture not found
% 48.16/25.42 Conjecture not found
% 48.27/25.50 Conjecture not found
% 49.12/25.89 Conjecture not found
% 49.12/25.90 Conjecture not found
% 49.22/25.94 Conjecture not found
% 49.22/25.98 Conjecture not found
% 49.22/25.99 Conjecture not found
% 49.22/26.01 Conjecture not found
% 49.32/26.02 Conjecture not found
% 49.32/26.03 Conjecture not found
% 49.32/26.05 Conjecture not found
% 49.32/26.06 Conjecture not found
% 49.32/26.08 Conjecture not found
% 49.38/26.13 Conjecture not found
% 49.97/26.29 Conjecture not found
% 50.13/26.36 Conjecture not found
% 50.20/26.40 Conjecture not found
% 50.20/26.44 Conjecture not found
% 50.20/26.46 Conjecture not found
% 50.28/26.47 Conjecture not found
% 50.31/26.52 Conjecture not found
% 50.35/26.54 Conjecture not found
% 50.37/26.55 Conjecture not found
% 50.37/26.57 Conjecture not found
% 50.37/26.59 Conjecture not found
% 50.43/26.65 Conjecture not found
% 50.48/26.67 Conjecture not found
% 50.48/26.70 Conjecture not found
% 51.09/26.78 Conjecture not found
% 51.09/26.79 Conjecture not found
% 51.18/26.87 Conjecture not found
% 51.18/26.91 Conjecture not found
% 51.24/26.92 Conjecture not found
% 51.24/26.93 Conjecture not found
% 51.29/26.96 Conjecture not found
% 51.29/26.98 Conjecture not found
% 51.29/26.99 Conjecture not found
% 51.38/27.06 Conjecture not found
% 51.38/27.06 Conjecture not found
% 51.38/27.09 Conjecture not found
% 51.42/27.12 Conjecture not found
% 51.47/27.14 Conjecture not found
% 51.47/27.18 Conjecture not found
% 51.53/27.21 Conjecture not found
% 51.53/27.23 Conjecture not found
% 52.18/27.35 Conjecture not found
% 52.18/27.39 Conjecture not found
% 52.22/27.40 Conjecture not found
% 52.22/27.42 Conjecture not found
% 52.27/27.50 Conjecture not found
% 52.33/27.50 Conjecture not found
% 52.33/27.53 Conjecture not found
% 52.33/27.55 Conjecture not found
% 52.39/27.63 Conjecture not found
% 52.39/27.65 Conjecture not found
% 52.49/27.67 Conjecture not found
% 52.49/27.70 Conjecture not found
% 52.88/27.75 Conjecture not found
% 52.88/27.79 Conjecture not found
% 52.88/27.83 Conjecture not found
% 53.27/27.88 Conjecture not found
% 53.27/27.93 Conjecture not found
% 53.27/27.95 Conjecture not found
% 53.34/27.96 Conjecture not found
% 53.40/28.02 Conjecture not found
% 53.43/28.06 Conjecture not found
% 53.79/28.20 Conjecture not found
% 54.13/28.22 Conjecture not found
% 54.13/28.23 Conjecture not found
% 54.13/28.25 Conjecture not found
% 54.20/28.27 Conjecture not found
% 54.24/28.31 Conjecture not found
% 54.24/28.32 Conjecture not found
% 54.26/28.33 Conjecture not found
% 54.26/28.35 Conjecture not found
% 54.26/28.40 Conjecture not found
% 54.35/28.41 Conjecture not found
% 54.35/28.44 Conjecture not found
% 54.42/28.49 Conjecture not found
% 54.42/28.50 Conjecture not found
% 54.54/28.61 Conjecture not found
% 54.54/28.61 Conjecture not found
% 54.57/28.63 Conjecture not found
% 54.57/28.64 Conjecture not found
% 54.57/28.71 Conjecture not found
% 55.29/28.86 Conjecture not found
% 55.38/28.90 Conjecture not found
% 55.38/28.93 Conjecture not found
% 55.38/28.94 Conjecture not found
% 55.38/28.94 Conjecture not found
% 55.38/28.97 Conjecture not found
% 55.38/28.98 Conjecture not found
% 55.51/29.09 Conjecture not found
% 55.51/29.10 Conjecture not found
% 56.02/29.23 Conjecture not found
% 56.02/29.28 Conjecture not found
% 56.39/29.30 Conjecture not found
% 56.39/29.32 Conjecture not found
% 56.39/29.32 Conjecture not found
% 56.42/29.34 Conjecture not found
% 56.42/29.35 Conjecture not found
% 56.42/29.36 Conjecture not found
% 56.42/29.39 Conjecture not found
% 56.42/29.41 Conjecture not found
% 56.51/29.43 Conjecture not found
% 56.58/29.49 Conjecture not found
% 56.86/29.58 Conjecture not found
% 57.12/29.63 Conjecture not found
% 57.28/29.70 Conjecture not found
% 57.42/29.73 Conjecture not found
% 57.42/29.75 Conjecture not found
% 57.42/29.77 Conjecture not found
% 57.49/29.80 Conjecture not found
% 57.49/29.82 Conjecture not found
% 57.57/29.90 Conjecture not found
% 58.51/30.21 Conjecture not found
% 58.70/30.38 Conjecture not found
% 58.70/30.39 Conjecture not found
% 58.70/30.44 Conjecture not found
% 58.84/30.55 Conjecture not found
% 58.88/30.57 Conjecture not found
% 58.88/30.58 Conjecture not found
% 58.88/30.59 Conjecture not found
% 59.28/30.65 Conjecture not found
% 59.28/30.68 Conjecture not found
% 59.74/30.77 Conjecture not found
% 59.74/30.80 Conjecture not found
% 59.79/30.81 Conjecture not found
% 59.79/30.83 Conjecture not found
% 59.84/30.86 Conjecture not found
% 59.84/30.88 Conjecture not found
% 59.84/30.89 Conjecture not found
% 59.84/30.90 Conjecture not found
% 59.98/31.03 Conjecture not found
% 59.98/31.05 Conjecture not found
% 60.10/31.12 Conjecture not found
% 60.13/31.20 Conjecture not found
% 60.13/31.22 Conjecture not found
% 60.13/31.23 Conjecture not found
% 60.38/31.24 Conjecture not found
% 60.38/31.25 Conjecture not found
% 60.76/31.29 Conjecture not found
% 60.76/31.32 Conjecture not found
% 60.76/31.33 Conjecture not found
% 60.96/31.38 Conjecture not found
% 61.05/31.45 Conjecture not found
% 61.05/31.47 Conjecture not found
% 61.05/31.48 Conjecture not found
% 61.05/31.48 Conjecture not found
% 61.05/31.50 Conjecture not found
% 61.05/31.52 Conjecture not found
% 61.13/31.57 Conjecture not found
% 61.18/31.61 Conjecture not found
% 61.18/31.62 Conjecture not found
% 61.18/31.64 Conjecture not found
% 61.31/31.73 Conjecture not found
% 61.34/31.76 Conjecture not found
% 61.34/31.81 Conjecture not found
% 62.05/31.89 Conjecture not found
% 62.05/31.90 Conjecture not found
% 62.05/31.92 Conjecture not found
% 62.17/31.95 Conjecture not found
% 62.17/31.96 Conjecture not found
% 62.19/31.97 Conjecture not found
% 62.19/31.99 Conjecture not found
% 62.19/32.01 Conjecture not found
% 62.23/32.03 Conjecture not found
% 62.26/32.07 Conjecture not found
% 62.26/32.10 Conjecture not found
% 62.35/32.18 Conjecture not found
% 62.41/32.23 Conjecture not found
% 62.41/32.26 Conjecture not found
% 62.49/32.28 Conjecture not found
% 62.49/32.31 Conjecture not found
% 62.49/32.35 Conjecture not found
% 63.14/32.45 Conjecture not found
% 63.14/32.51 Conjecture not found
% 63.44/32.56 Conjecture not found
% 63.51/32.60 Conjecture not found
% 63.51/32.62 Conjecture not found
% 63.58/32.69 Conjecture not found
% 63.61/32.70 Conjecture not found
% 63.61/32.71 Conjecture not found
% 63.65/32.79 Conjecture not found
% 63.75/32.86 Conjecture not found
% 63.75/32.87 Conjecture not found
% 63.75/32.90 Conjecture not found
% 63.75/32.92 Conjecture not found
% 63.92/32.93 Conjecture not found
% 63.92/32.95 Conjecture not found
% 64.38/32.99 Conjecture not found
% 64.68/33.08 Conjecture not found
% 64.73/33.12 Conjecture not found
% 64.73/33.13 Conjecture not found
% 64.75/33.16 Conjecture not found
% 64.75/33.20 Conjecture not found
% 64.84/33.26 Conjecture not found
% 64.84/33.26 Conjecture not found
% 64.89/33.29 Conjecture not found
% 64.89/33.34 Conjecture not found
% 64.99/33.41 Conjecture not found
% 65.07/33.46 Conjecture not found
% 65.07/33.47 Conjecture not found
% 65.61/33.57 Conjecture not found
% 65.95/33.65 Conjecture not found
% 65.95/33.67 Conjecture not found
% 65.98/33.70 Conjecture not found
% 65.98/33.71 Conjecture not found
% 65.98/33.72 Conjecture not found
% 66.07/33.77 Conjecture not found
% 66.07/33.78 Conjecture not found
% 66.07/33.79 Conjecture not found
% 66.07/33.81 Conjecture not found
% 66.07/33.82 Conjecture not found
% 66.07/33.82 Conjecture not found
% 66.13/33.84 Conjecture not found
% 66.17/33.90 Conjecture not found
% 66.17/33.95 Conjecture not found
% 66.25/33.96 Conjecture not found
% 66.25/33.97 Conjecture not found
% 66.29/33.99 Conjecture not found
% 66.29/34.03 Conjecture not found
% 67.17/34.15 Conjecture not found
% 67.31/34.32 Conjecture not found
% 67.43/34.43 Conjecture not found
% 67.43/34.45 Conjecture not found
% 67.48/34.49 Conjecture not found
% 67.58/34.55 Conjecture not found
% 67.58/34.57 Conjecture not found
% 67.63/34.61 Conjecture not found
% 67.63/34.61 Conjecture not found
% 67.63/34.62 Conjecture not found
% 67.63/34.63 Conjecture not found
% 67.76/34.66 Conjecture not found
% 67.76/34.69 Conjecture not found
% 67.76/34.71 Conjecture not found
% 67.76/34.73 Conjecture not found
% 68.50/34.76 Conjecture not found
% 68.50/34.77 Conjecture not found
% 68.50/34.77 Conjecture not found
% 68.57/34.80 Conjecture not found
% 68.57/34.83 Conjecture not found
% 68.63/34.86 Conjecture not found
% 68.63/34.88 Conjecture not found
% 68.68/34.92 Conjecture not found
% 68.73/34.95 Conjecture not found
% 68.73/34.97 Conjecture not found
% 68.82/35.06 Conjecture not found
% 68.82/35.07 Conjecture not found
% 68.82/35.08 Conjecture not found
% 68.82/35.09 Conjecture not found
% 68.88/35.13 Conjecture not found
% 68.88/35.16 Conjecture not found
% 70.03/35.61 Conjecture not found
% 70.22/35.68 Conjecture not found
% 70.78/35.73 Conjecture not found
% 71.03/35.79 Conjecture not found
% 71.13/35.88 Conjecture not found
% 71.14/35.90 Conjecture not found
% 71.16/35.98 Conjecture not found
% 71.24/36.02 Conjecture not found
% 71.24/36.06 Conjecture not found
% 71.33/36.10 Conjecture not found
% 71.33/36.13 Conjecture not found
% 71.33/36.15 Conjecture not found
% 71.43/36.19 Conjecture not found
% 71.46/36.23 Conjecture not found
% 71.46/36.27 Conjecture not found
% 71.46/36.29 Start search
% 175.72/61.64 nb_step : 1 - limit : 175729
% 176.85/62.41 Launch Gotab with destructive = true
%------------------------------------------------------------------------------