TSTP Solution File: SEU431+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : SEU431+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n006.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:09 EDT 2022
% Result : Timeout 300.18s 93.14s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.12 % Problem : SEU431+4 : TPTP v8.1.0. Released v3.4.0.
% 0.00/0.12 % Command : goeland -dmt -presko -proof %s
% 0.12/0.33 % Computer : n006.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 300
% 0.12/0.33 % DateTime : Sat Sep 3 14:18:35 EDT 2022
% 0.12/0.33 % CPUTime :
% 0.12/0.34 [DMT] DMT loaded with preskolemization
% 0.12/0.34 [EQ] equality loaded.
% 0.12/0.34 [0.000049s][1][MAIN] Problem : theBenchmark.p
% 0.18/0.39 Conjecture not found
% 0.18/0.39 Conjecture not found
% 0.18/0.39 Conjecture not found
% 0.18/0.39 Conjecture not found
% 0.18/0.41 Conjecture not found
% 0.18/0.42 Conjecture not found
% 0.18/0.45 Conjecture not found
% 0.18/0.47 Conjecture not found
% 0.18/0.48 Conjecture not found
% 0.18/0.48 Conjecture not found
% 0.18/0.51 Conjecture not found
% 0.18/0.55 Conjecture not found
% 0.18/0.56 Conjecture not found
% 0.18/0.56 Conjecture not found
% 0.52/0.57 Conjecture not found
% 0.55/0.60 Conjecture not found
% 0.55/0.61 Conjecture not found
% 0.66/0.66 Conjecture not found
% 0.77/0.73 Conjecture not found
% 0.77/0.74 Conjecture not found
% 0.85/0.81 Conjecture not found
% 1.00/0.87 Conjecture not found
% 1.16/0.95 Conjecture not found
% 1.16/0.98 Conjecture not found
% 1.27/1.06 Conjecture not found
% 1.38/1.10 Conjecture not found
% 1.38/1.15 Conjecture not found
% 1.53/1.17 Conjecture not found
% 1.58/1.21 Conjecture not found
% 1.58/1.22 Conjecture not found
% 1.58/1.23 Conjecture not found
% 1.63/1.24 Conjecture not found
% 1.63/1.25 Conjecture not found
% 1.79/1.35 Conjecture not found
% 1.79/1.38 Conjecture not found
% 1.79/1.38 Conjecture not found
% 1.92/1.40 Conjecture not found
% 1.92/1.40 Conjecture not found
% 1.92/1.40 Conjecture not found
% 1.92/1.41 Conjecture not found
% 1.92/1.42 Conjecture not found
% 1.92/1.42 Conjecture not found
% 2.03/1.47 Conjecture not found
% 2.09/1.52 Conjecture not found
% 2.09/1.52 Conjecture not found
% 2.09/1.53 Conjecture not found
% 2.15/1.54 Conjecture not found
% 2.15/1.56 Conjecture not found
% 2.15/1.58 Conjecture not found
% 2.15/1.59 Conjecture not found
% 2.15/1.61 Conjecture not found
% 2.30/1.63 Conjecture not found
% 2.30/1.65 Conjecture not found
% 2.30/1.65 Conjecture not found
% 2.30/1.67 Conjecture not found
% 2.30/1.70 Conjecture not found
% 2.45/1.76 Conjecture not found
% 2.63/1.82 Conjecture not found
% 2.63/1.83 Conjecture not found
% 2.63/1.85 Conjecture not found
% 2.63/1.88 Conjecture not found
% 2.63/1.91 Conjecture not found
% 2.79/1.92 Conjecture not found
% 2.79/1.95 Conjecture not found
% 2.92/2.02 Conjecture not found
% 2.92/2.05 Conjecture not found
% 2.92/2.08 Conjecture not found
% 3.10/2.09 Conjecture not found
% 3.12/2.11 Conjecture not found
% 3.13/2.13 Conjecture not found
% 3.48/2.31 Conjecture not found
% 3.48/2.34 Conjecture not found
% 3.48/2.36 Conjecture not found
% 3.62/2.47 Conjecture not found
% 3.79/2.49 Conjecture not found
% 3.80/2.50 Conjecture not found
% 3.82/2.51 Conjecture not found
% 3.82/2.55 Conjecture not found
% 4.00/2.62 Conjecture not found
% 4.13/2.70 Conjecture not found
% 4.13/2.78 Conjecture not found
% 4.36/2.83 Conjecture not found
% 4.36/2.84 Conjecture not found
% 4.36/2.88 Conjecture not found
% 4.36/2.88 Conjecture not found
% 4.36/2.92 Conjecture not found
% 4.50/2.95 Conjecture not found
% 4.50/2.96 Conjecture not found
% 4.50/2.97 Conjecture not found
% 4.66/3.03 Conjecture not found
% 4.66/3.04 Conjecture not found
% 4.79/3.08 Conjecture not found
% 4.91/3.14 Conjecture not found
% 5.06/3.23 Conjecture not found
% 5.18/3.34 Conjecture not found
% 5.69/3.58 Conjecture not found
% 6.28/3.88 Conjecture not found
% 6.28/3.90 Conjecture not found
% 6.28/3.92 Conjecture not found
% 6.56/4.03 Conjecture not found
% 6.57/4.07 Conjecture not found
% 6.70/4.12 Conjecture not found
% 6.81/4.18 Conjecture not found
% 6.81/4.23 Conjecture not found
% 6.99/4.31 Conjecture not found
% 7.10/4.35 Conjecture not found
% 7.10/4.38 Conjecture not found
% 7.10/4.39 Conjecture not found
% 7.18/4.42 Conjecture not found
% 7.18/4.43 Conjecture not found
% 7.32/4.52 Conjecture not found
% 7.53/4.62 Conjecture not found
% 7.56/4.69 Conjecture not found
% 7.86/4.80 Conjecture not found
% 7.86/4.82 Conjecture not found
% 7.93/4.86 Conjecture not found
% 7.93/4.90 Conjecture not found
% 8.04/4.91 Conjecture not found
% 8.07/4.93 Conjecture not found
% 8.07/4.95 Conjecture not found
% 8.07/4.96 Conjecture not found
% 8.07/5.00 Conjecture not found
% 8.07/5.00 Conjecture not found
% 8.07/5.01 Conjecture not found
% 8.24/5.03 Conjecture not found
% 8.24/5.08 Conjecture not found
% 8.24/5.10 Conjecture not found
% 8.37/5.15 Conjecture not found
% 8.48/5.19 Conjecture not found
% 8.69/5.36 Conjecture not found
% 8.69/5.39 Conjecture not found
% 8.85/5.40 Conjecture not found
% 8.85/5.41 Conjecture not found
% 8.85/5.45 Conjecture not found
% 8.85/5.47 Conjecture not found
% 9.04/5.50 Conjecture not found
% 9.04/5.51 Conjecture not found
% 9.11/5.54 Conjecture not found
% 9.11/5.56 Conjecture not found
% 9.25/5.66 Conjecture not found
% 10.06/6.14 Conjecture not found
% 11.00/6.68 Conjecture not found
% 11.29/6.82 Conjecture not found
% 11.31/6.87 Conjecture not found
% 11.31/6.90 Conjecture not found
% 11.49/6.93 Conjecture not found
% 11.49/6.96 Conjecture not found
% 11.49/6.97 Conjecture not found
% 11.54/6.98 Conjecture not found
% 11.54/7.03 Conjecture not found
% 11.73/7.09 Conjecture not found
% 11.89/7.14 Conjecture not found
% 11.89/7.17 Conjecture not found
% 11.89/7.18 Conjecture not found
% 11.97/7.23 Conjecture not found
% 11.97/7.27 Conjecture not found
% 12.12/7.32 Conjecture not found
% 12.21/7.37 Conjecture not found
% 12.33/7.43 Conjecture not found
% 12.38/7.44 Conjecture not found
% 12.38/7.47 Conjecture not found
% 12.44/7.50 Conjecture not found
% 12.44/7.53 Conjecture not found
% 12.60/7.58 Conjecture not found
% 12.60/7.62 Conjecture not found
% 12.60/7.63 Conjecture not found
% 12.69/7.68 Conjecture not found
% 12.84/7.74 Conjecture not found
% 12.89/7.76 Conjecture not found
% 12.89/7.78 Conjecture not found
% 12.95/7.81 Conjecture not found
% 12.95/7.83 Conjecture not found
% 12.95/7.85 Conjecture not found
% 13.13/7.88 Conjecture not found
% 13.13/7.90 Conjecture not found
% 13.13/7.93 Conjecture not found
% 13.13/7.94 Conjecture not found
% 13.23/7.99 Conjecture not found
% 13.23/8.00 Conjecture not found
% 13.37/8.02 Conjecture not found
% 13.40/8.05 Conjecture not found
% 13.40/8.06 Conjecture not found
% 13.40/8.07 Conjecture not found
% 13.40/8.10 Conjecture not found
% 13.60/8.13 Conjecture not found
% 13.60/8.16 Conjecture not found
% 13.60/8.17 Conjecture not found
% 13.66/8.20 Conjecture not found
% 13.66/8.22 Conjecture not found
% 13.66/8.25 Conjecture not found
% 13.87/8.30 Conjecture not found
% 13.87/8.31 Conjecture not found
% 13.91/8.33 Conjecture not found
% 13.94/8.37 Conjecture not found
% 13.94/8.37 Conjecture not found
% 13.94/8.40 Conjecture not found
% 13.94/8.41 Conjecture not found
% 14.15/8.44 Conjecture not found
% 14.15/8.44 Conjecture not found
% 14.15/8.45 Conjecture not found
% 14.15/8.45 Conjecture not found
% 14.21/8.51 Conjecture not found
% 14.44/8.60 Conjecture not found
% 14.47/8.61 Conjecture not found
% 14.48/8.64 Conjecture not found
% 14.48/8.68 Conjecture not found
% 14.48/8.69 Conjecture not found
% 14.56/8.71 Conjecture not found
% 14.56/8.74 Conjecture not found
% 14.56/8.78 Conjecture not found
% 14.77/8.83 Conjecture not found
% 14.77/8.86 Conjecture not found
% 14.87/8.89 Conjecture not found
% 15.04/8.96 Conjecture not found
% 15.14/9.10 Conjecture not found
% 15.36/9.15 Conjecture not found
% 15.55/9.21 Conjecture not found
% 15.55/9.22 Conjecture not found
% 15.55/9.26 Conjecture not found
% 15.70/9.30 Conjecture not found
% 15.71/9.33 Conjecture not found
% 15.71/9.36 Conjecture not found
% 15.93/9.45 Conjecture not found
% 16.02/9.50 Conjecture not found
% 16.02/9.58 Conjecture not found
% 16.26/9.61 Conjecture not found
% 16.29/9.65 Conjecture not found
% 16.29/9.68 Conjecture not found
% 16.52/9.75 Conjecture not found
% 16.59/9.79 Conjecture not found
% 16.82/9.87 Conjecture not found
% 16.88/9.98 Conjecture not found
% 16.88/9.99 Conjecture not found
% 16.88/10.01 Conjecture not found
% 16.97/10.04 Conjecture not found
% 16.97/10.06 Conjecture not found
% 17.18/10.14 Conjecture not found
% 17.47/10.22 Conjecture not found
% 17.49/10.24 Conjecture not found
% 17.49/10.29 Conjecture not found
% 17.90/10.50 Conjecture not found
% 18.10/10.59 Conjecture not found
% 18.19/10.65 Conjecture not found
% 18.19/10.67 Conjecture not found
% 18.26/10.68 Conjecture not found
% 18.26/10.69 Conjecture not found
% 18.26/10.76 Conjecture not found
% 18.58/10.86 Conjecture not found
% 18.64/10.95 Conjecture not found
% 18.85/11.03 Conjecture not found
% 18.85/11.06 Conjecture not found
% 19.06/11.18 Conjecture not found
% 19.24/11.25 Conjecture not found
% 19.31/11.31 Conjecture not found
% 19.31/11.36 Conjecture not found
% 19.61/11.41 Conjecture not found
% 19.61/11.43 Conjecture not found
% 19.66/11.45 Conjecture not found
% 19.66/11.46 Conjecture not found
% 19.66/11.47 Conjecture not found
% 19.66/11.51 Conjecture not found
% 19.75/11.54 Conjecture not found
% 19.75/11.56 Conjecture not found
% 19.99/11.61 Conjecture not found
% 20.07/11.68 Conjecture not found
% 20.07/11.69 Conjecture not found
% 20.11/11.71 Conjecture not found
% 20.11/11.73 Conjecture not found
% 20.41/11.88 Conjecture not found
% 20.41/11.90 Conjecture not found
% 20.49/11.96 Conjecture not found
% 20.49/11.96 Conjecture not found
% 20.49/11.97 Conjecture not found
% 20.49/11.97 Conjecture not found
% 20.56/11.98 Conjecture not found
% 20.77/12.07 Conjecture not found
% 20.77/12.08 Conjecture not found
% 20.77/12.10 Conjecture not found
% 20.88/12.16 Conjecture not found
% 20.96/12.23 Conjecture not found
% 21.28/12.34 Conjecture not found
% 21.28/12.35 Conjecture not found
% 21.39/12.48 Conjecture not found
% 21.75/12.63 Conjecture not found
% 21.75/12.67 Conjecture not found
% 22.07/12.72 Conjecture not found
% 22.07/12.74 Conjecture not found
% 22.07/12.75 Conjecture not found
% 22.16/12.82 Conjecture not found
% 22.44/12.92 Conjecture not found
% 22.44/12.98 Conjecture not found
% 22.54/13.00 Conjecture not found
% 22.58/13.11 Conjecture not found
% 22.87/13.16 Conjecture not found
% 22.87/13.19 Conjecture not found
% 22.94/13.23 Conjecture not found
% 23.02/13.28 Conjecture not found
% 23.02/13.28 Conjecture not found
% 23.24/13.35 Conjecture not found
% 23.37/13.45 Conjecture not found
% 23.37/13.48 Conjecture not found
% 23.44/13.49 Conjecture not found
% 23.44/13.54 Conjecture not found
% 23.75/13.61 Conjecture not found
% 23.75/13.62 Conjecture not found
% 23.81/13.67 Conjecture not found
% 23.81/13.71 Conjecture not found
% 23.88/13.74 Conjecture not found
% 24.05/13.80 Conjecture not found
% 24.25/13.88 Conjecture not found
% 24.25/13.90 Conjecture not found
% 24.31/13.95 Conjecture not found
% 24.31/14.01 Conjecture not found
% 24.68/14.13 Conjecture not found
% 24.68/14.15 Conjecture not found
% 24.79/14.21 Conjecture not found
% 24.82/14.23 Conjecture not found
% 24.83/14.24 Conjecture not found
% 24.83/14.24 Conjecture not found
% 24.83/14.26 Conjecture not found
% 24.83/14.30 Conjecture not found
% 25.12/14.31 Conjecture not found
% 25.18/14.39 Conjecture not found
% 25.18/14.45 Conjecture not found
% 25.49/14.51 Conjecture not found
% 25.60/14.54 Conjecture not found
% 25.60/14.55 Conjecture not found
% 25.67/14.64 Conjecture not found
% 25.67/14.66 Conjecture not found
% 25.67/14.66 Conjecture not found
% 25.87/14.79 Conjecture not found
% 26.09/14.81 Conjecture not found
% 26.13/14.85 Conjecture not found
% 26.13/14.91 Conjecture not found
% 26.22/14.93 Conjecture not found
% 26.22/14.96 Conjecture not found
% 26.66/15.20 Conjecture not found
% 26.76/15.28 Conjecture not found
% 26.76/15.30 Conjecture not found
% 27.18/15.40 Conjecture not found
% 27.20/15.41 Conjecture not found
% 27.20/15.46 Conjecture not found
% 27.20/15.50 Conjecture not found
% 27.62/15.62 Conjecture not found
% 27.62/15.65 Conjecture not found
% 27.62/15.66 Conjecture not found
% 27.62/15.68 Conjecture not found
% 27.73/15.71 Conjecture not found
% 27.74/15.76 Conjecture not found
% 28.09/15.88 Conjecture not found
% 28.09/15.89 Conjecture not found
% 28.09/15.90 Conjecture not found
% 28.18/15.90 Conjecture not found
% 28.18/15.94 Conjecture not found
% 28.18/15.95 Conjecture not found
% 28.27/16.01 Conjecture not found
% 28.63/16.15 Conjecture not found
% 28.73/16.20 Conjecture not found
% 28.73/16.23 Conjecture not found
% 28.73/16.24 Conjecture not found
% 28.73/16.26 Conjecture not found
% 28.86/16.31 Conjecture not found
% 28.86/16.35 Conjecture not found
% 28.86/16.36 Conjecture not found
% 29.19/16.40 Conjecture not found
% 29.22/16.44 Conjecture not found
% 29.22/16.48 Conjecture not found
% 29.22/16.51 Conjecture not found
% 29.33/16.53 Conjecture not found
% 29.74/16.68 Conjecture not found
% 29.78/16.71 Conjecture not found
% 29.78/16.72 Conjecture not found
% 29.80/16.79 Conjecture not found
% 29.80/16.81 Conjecture not found
% 29.90/16.84 Conjecture not found
% 29.90/16.86 Conjecture not found
% 29.90/16.87 Conjecture not found
% 29.90/16.88 Conjecture not found
% 29.98/16.91 Conjecture not found
% 29.98/16.93 Conjecture not found
% 30.41/17.06 Conjecture not found
% 30.41/17.07 Conjecture not found
% 30.41/17.07 Conjecture not found
% 30.41/17.11 Conjecture not found
% 30.48/17.14 Conjecture not found
% 30.67/17.20 Conjecture not found
% 30.67/17.23 Conjecture not found
% 30.90/17.27 Conjecture not found
% 30.93/17.30 Conjecture not found
% 30.98/17.34 Conjecture not found
% 31.00/17.37 Conjecture not found
% 31.00/17.40 Conjecture not found
% 31.07/17.42 Conjecture not found
% 31.07/17.44 Conjecture not found
% 31.07/17.45 Conjecture not found
% 31.17/17.49 Conjecture not found
% 31.52/17.56 Conjecture not found
% 31.54/17.61 Conjecture not found
% 31.60/17.66 Conjecture not found
% 31.60/17.67 Conjecture not found
% 31.66/17.72 Conjecture not found
% 31.71/17.77 Conjecture not found
% 31.71/17.82 Conjecture not found
% 32.09/17.86 Conjecture not found
% 32.13/17.90 Conjecture not found
% 32.13/17.93 Conjecture not found
% 32.18/17.94 Conjecture not found
% 32.19/17.96 Conjecture not found
% 32.19/17.99 Conjecture not found
% 32.25/18.01 Conjecture not found
% 32.25/18.03 Conjecture not found
% 32.31/18.08 Conjecture not found
% 32.31/18.15 Conjecture not found
% 32.77/18.28 Conjecture not found
% 32.77/18.31 Conjecture not found
% 32.86/18.35 Conjecture not found
% 32.92/18.43 Conjecture not found
% 33.36/18.53 Conjecture not found
% 33.39/18.56 Conjecture not found
% 33.39/18.60 Conjecture not found
% 33.39/18.62 Conjecture not found
% 33.39/18.62 Conjecture not found
% 33.48/18.63 Conjecture not found
% 33.48/18.65 Conjecture not found
% 33.48/18.70 Conjecture not found
% 33.85/18.74 Conjecture not found
% 33.85/18.75 Conjecture not found
% 33.94/18.79 Conjecture not found
% 33.97/18.81 Conjecture not found
% 33.98/18.85 Conjecture not found
% 34.07/18.92 Conjecture not found
% 34.07/18.95 Conjecture not found
% 34.07/18.98 Conjecture not found
% 34.15/19.00 Conjecture not found
% 34.15/19.01 Conjecture not found
% 34.60/19.13 Conjecture not found
% 34.60/19.21 Conjecture not found
% 34.71/19.23 Conjecture not found
% 34.71/19.24 Conjecture not found
% 34.91/19.32 Conjecture not found
% 35.21/19.40 Conjecture not found
% 35.21/19.43 Conjecture not found
% 35.21/19.46 Conjecture not found
% 35.21/19.47 Conjecture not found
% 35.33/19.53 Conjecture not found
% 35.33/19.55 Conjecture not found
% 35.33/19.56 Conjecture not found
% 35.33/19.59 Conjecture not found
% 35.44/19.62 Conjecture not found
% 35.44/19.64 Conjecture not found
% 35.44/19.68 Conjecture not found
% 35.86/19.69 Conjecture not found
% 35.86/19.74 Conjecture not found
% 35.95/19.79 Conjecture not found
% 36.00/19.84 Conjecture not found
% 36.00/19.88 Conjecture not found
% 36.45/20.04 Conjecture not found
% 36.45/20.05 Conjecture not found
% 36.59/20.07 Conjecture not found
% 36.59/20.09 Conjecture not found
% 36.62/20.11 Conjecture not found
% 36.62/20.12 Conjecture not found
% 36.64/20.13 Conjecture not found
% 36.64/20.21 Conjecture not found
% 36.74/20.23 Conjecture not found
% 36.74/20.25 Conjecture not found
% 36.89/20.29 Conjecture not found
% 36.89/20.31 Conjecture not found
% 36.89/20.34 Conjecture not found
% 37.27/20.40 Conjecture not found
% 37.27/20.41 Conjecture not found
% 37.30/20.44 Conjecture not found
% 37.33/20.48 Conjecture not found
% 37.33/20.50 Conjecture not found
% 37.40/20.54 Conjecture not found
% 37.40/20.55 Conjecture not found
% 37.40/20.57 Conjecture not found
% 37.45/20.58 Conjecture not found
% 37.45/20.65 Conjecture not found
% 37.98/20.73 Conjecture not found
% 38.01/20.75 Conjecture not found
% 38.01/20.80 Conjecture not found
% 38.08/20.83 Conjecture not found
% 38.08/20.83 Conjecture not found
% 38.08/20.85 Conjecture not found
% 38.14/20.93 Conjecture not found
% 38.60/21.01 Conjecture not found
% 38.65/21.05 Conjecture not found
% 38.65/21.08 Conjecture not found
% 38.71/21.11 Conjecture not found
% 38.71/21.15 Conjecture not found
% 38.76/21.19 Conjecture not found
% 38.76/21.21 Conjecture not found
% 38.76/21.24 Conjecture not found
% 38.86/21.28 Conjecture not found
% 38.90/21.31 Conjecture not found
% 39.31/21.36 Conjecture not found
% 39.31/21.40 Conjecture not found
% 39.37/21.42 Conjecture not found
% 39.37/21.46 Conjecture not found
% 39.43/21.52 Conjecture not found
% 39.53/21.57 Conjecture not found
% 39.53/21.58 Conjecture not found
% 39.57/21.62 Conjecture not found
% 39.60/21.65 Conjecture not found
% 39.60/21.67 Conjecture not found
% 39.60/21.70 Conjecture not found
% 40.07/21.76 Conjecture not found
% 40.07/21.77 Conjecture not found
% 40.15/21.80 Conjecture not found
% 40.21/21.86 Conjecture not found
% 40.21/21.87 Conjecture not found
% 40.21/21.90 Conjecture not found
% 40.29/21.94 Conjecture not found
% 40.29/21.95 Conjecture not found
% 40.29/22.02 Conjecture not found
% 40.29/22.03 Conjecture not found
% 40.39/22.04 Conjecture not found
% 40.39/22.06 Conjecture not found
% 40.39/22.10 Conjecture not found
% 40.55/22.14 Conjecture not found
% 40.96/22.19 Conjecture not found
% 40.98/22.22 Conjecture not found
% 41.00/22.24 Conjecture not found
% 41.00/22.28 Conjecture not found
% 41.10/22.33 Conjecture not found
% 41.17/22.41 Conjecture not found
% 41.17/22.42 Conjecture not found
% 41.17/22.43 Conjecture not found
% 41.17/22.44 Conjecture not found
% 41.70/22.55 Conjecture not found
% 41.70/22.56 Conjecture not found
% 41.70/22.58 Conjecture not found
% 41.70/22.60 Conjecture not found
% 41.81/22.67 Conjecture not found
% 41.81/22.69 Conjecture not found
% 42.12/22.82 Conjecture not found
% 42.12/22.85 Conjecture not found
% 42.52/22.92 Conjecture not found
% 42.52/22.92 Conjecture not found
% 42.52/22.93 Conjecture not found
% 42.52/22.94 Conjecture not found
% 42.52/22.98 Conjecture not found
% 42.62/23.02 Conjecture not found
% 42.62/23.04 Conjecture not found
% 42.62/23.06 Conjecture not found
% 42.70/23.09 Conjecture not found
% 42.95/23.18 Conjecture not found
% 43.01/23.21 Conjecture not found
% 43.26/23.26 Conjecture not found
% 43.26/23.31 Conjecture not found
% 43.35/23.33 Conjecture not found
% 43.35/23.39 Conjecture not found
% 43.42/23.42 Conjecture not found
% 43.49/23.46 Conjecture not found
% 43.49/23.48 Conjecture not found
% 43.56/23.58 Conjecture not found
% 43.56/23.62 Conjecture not found
% 43.65/23.64 Conjecture not found
% 43.65/23.69 Conjecture not found
% 44.21/23.77 Conjecture not found
% 44.23/23.78 Conjecture not found
% 44.23/23.79 Conjecture not found
% 44.23/23.81 Conjecture not found
% 44.29/23.88 Conjecture not found
% 44.29/23.91 Conjecture not found
% 44.29/23.92 Conjecture not found
% 44.38/23.95 Conjecture not found
% 44.38/23.95 Conjecture not found
% 44.38/23.97 Conjecture not found
% 44.43/24.02 Conjecture not found
% 44.92/24.06 Conjecture not found
% 44.96/24.09 Conjecture not found
% 45.01/24.14 Conjecture not found
% 45.03/24.18 Conjecture not found
% 45.03/24.21 Conjecture not found
% 45.12/24.23 Conjecture not found
% 45.12/24.23 Conjecture not found
% 45.12/24.25 Conjecture not found
% 45.12/24.26 Conjecture not found
% 45.12/24.27 Conjecture not found
% 45.17/24.32 Conjecture not found
% 45.17/24.33 Conjecture not found
% 45.17/24.33 Conjecture not found
% 45.17/24.34 Conjecture not found
% 45.17/24.35 Conjecture not found
% 45.26/24.37 Conjecture not found
% 45.26/24.38 Conjecture not found
% 45.28/24.40 Conjecture not found
% 45.28/24.41 Conjecture not found
% 45.42/24.43 Conjecture not found
% 45.51/24.50 Conjecture not found
% 45.88/24.52 Conjecture not found
% 45.88/24.54 Conjecture not found
% 45.88/24.55 Conjecture not found
% 45.93/24.60 Conjecture not found
% 45.93/24.61 Conjecture not found
% 46.06/24.71 Conjecture not found
% 46.06/24.72 Conjecture not found
% 46.06/24.73 Conjecture not found
% 46.51/24.92 Conjecture not found
% 46.51/24.95 Conjecture not found
% 46.81/24.98 Conjecture not found
% 46.81/24.99 Conjecture not found
% 46.87/25.04 Conjecture not found
% 46.87/25.07 Conjecture not found
% 46.87/25.12 Conjecture not found
% 46.97/25.15 Conjecture not found
% 46.97/25.19 Conjecture not found
% 47.11/25.29 Conjecture not found
% 47.11/25.29 Conjecture not found
% 47.34/25.39 Conjecture not found
% 47.34/25.42 Conjecture not found
% 47.77/25.45 Conjecture not found
% 47.77/25.46 Conjecture not found
% 47.77/25.47 Conjecture not found
% 47.77/25.48 Conjecture not found
% 47.85/25.51 Conjecture not found
% 47.85/25.53 Conjecture not found
% 47.85/25.54 Conjecture not found
% 47.85/25.56 Conjecture not found
% 47.93/25.59 Conjecture not found
% 47.95/25.60 Conjecture not found
% 47.96/25.64 Conjecture not found
% 47.96/25.66 Conjecture not found
% 48.05/25.76 Conjecture not found
% 48.48/25.83 Conjecture not found
% 48.48/25.87 Conjecture not found
% 48.73/25.91 Conjecture not found
% 48.74/25.95 Conjecture not found
% 48.74/25.99 Conjecture not found
% 48.74/26.02 Conjecture not found
% 48.85/26.03 Conjecture not found
% 48.85/26.07 Conjecture not found
% 48.93/26.14 Conjecture not found
% 49.82/26.55 Conjecture not found
% 49.82/26.56 Conjecture not found
% 49.91/26.60 Conjecture not found
% 49.95/26.64 Conjecture not found
% 49.95/26.66 Conjecture not found
% 49.95/26.67 Conjecture not found
% 49.95/26.69 Conjecture not found
% 50.37/26.73 Conjecture not found
% 50.37/26.77 Conjecture not found
% 50.37/26.79 Conjecture not found
% 50.61/26.81 Conjecture not found
% 50.61/26.86 Conjecture not found
% 50.74/26.96 Conjecture not found
% 50.74/27.02 Conjecture not found
% 50.84/27.06 Conjecture not found
% 50.91/27.11 Conjecture not found
% 50.91/27.12 Conjecture not found
% 50.91/27.14 Conjecture not found
% 50.99/27.18 Conjecture not found
% 51.00/27.19 Conjecture not found
% 51.00/27.20 Conjecture not found
% 51.17/27.23 Conjecture not found
% 51.38/27.26 Conjecture not found
% 51.69/27.35 Conjecture not found
% 51.69/27.38 Conjecture not found
% 51.74/27.41 Conjecture not found
% 51.82/27.46 Conjecture not found
% 51.82/27.47 Conjecture not found
% 51.88/27.53 Conjecture not found
% 51.91/27.56 Conjecture not found
% 51.91/27.58 Conjecture not found
% 51.91/27.58 Conjecture not found
% 51.91/27.62 Conjecture not found
% 51.99/27.64 Conjecture not found
% 51.99/27.65 Conjecture not found
% 52.65/27.78 Conjecture not found
% 52.65/27.79 Conjecture not found
% 52.67/27.80 Conjecture not found
% 52.67/27.82 Conjecture not found
% 52.72/27.83 Conjecture not found
% 52.73/27.86 Conjecture not found
% 52.73/27.88 Conjecture not found
% 52.73/27.90 Conjecture not found
% 52.85/27.97 Conjecture not found
% 52.85/28.01 Conjecture not found
% 52.85/28.02 Conjecture not found
% 52.85/28.04 Conjecture not found
% 52.97/28.12 Conjecture not found
% 53.02/28.13 Conjecture not found
% 53.03/28.16 Conjecture not found
% 53.03/28.18 Conjecture not found
% 53.61/28.35 Conjecture not found
% 53.76/28.38 Conjecture not found
% 53.80/28.41 Conjecture not found
% 53.82/28.44 Conjecture not found
% 53.82/28.48 Conjecture not found
% 53.82/28.50 Conjecture not found
% 53.91/28.55 Conjecture not found
% 53.98/28.62 Conjecture not found
% 54.06/28.69 Conjecture not found
% 54.28/28.72 Conjecture not found
% 54.49/28.75 Conjecture not found
% 54.81/28.86 Conjecture not found
% 54.89/28.91 Conjecture not found
% 54.97/28.99 Conjecture not found
% 55.00/29.02 Conjecture not found
% 55.00/29.03 Conjecture not found
% 55.00/29.05 Conjecture not found
% 55.00/29.07 Conjecture not found
% 55.09/29.11 Conjecture not found
% 55.09/29.12 Conjecture not found
% 55.09/29.13 Conjecture not found
% 55.09/29.15 Conjecture not found
% 55.17/29.19 Conjecture not found
% 55.17/29.20 Conjecture not found
% 55.17/29.23 Conjecture not found
% 55.74/29.29 Conjecture not found
% 55.87/29.31 Conjecture not found
% 56.00/29.45 Conjecture not found
% 56.00/29.46 Conjecture not found
% 56.00/29.48 Conjecture not found
% 56.00/29.49 Conjecture not found
% 56.09/29.53 Conjecture not found
% 56.19/29.65 Conjecture not found
% 56.28/29.69 Conjecture not found
% 56.30/29.72 Conjecture not found
% 56.30/29.72 Conjecture not found
% 56.30/29.73 Conjecture not found
% 56.30/29.78 Conjecture not found
% 56.30/29.79 Conjecture not found
% 57.02/29.99 Conjecture not found
% 57.02/30.01 Conjecture not found
% 57.05/30.11 Conjecture not found
% 57.15/30.18 Conjecture not found
% 57.22/30.21 Conjecture not found
% 57.22/30.23 Conjecture not found
% 57.22/30.24 Conjecture not found
% 57.22/30.25 Conjecture not found
% 57.22/30.26 Conjecture not found
% 57.22/30.27 Conjecture not found
% 57.32/30.30 Conjecture not found
% 57.35/30.33 Conjecture not found
% 57.35/30.34 Conjecture not found
% 57.35/30.39 Conjecture not found
% 57.61/30.55 Conjecture not found
% 58.05/30.65 Conjecture not found
% 58.05/30.68 Conjecture not found
% 58.05/30.70 Conjecture not found
% 58.05/30.72 Conjecture not found
% 58.17/30.74 Conjecture not found
% 58.23/30.78 Conjecture not found
% 58.23/30.80 Conjecture not found
% 58.32/30.91 Conjecture not found
% 59.22/31.23 Conjecture not found
% 59.40/31.39 Conjecture not found
% 59.40/31.40 Conjecture not found
% 59.40/31.45 Conjecture not found
% 59.58/31.56 Conjecture not found
% 59.58/31.58 Conjecture not found
% 59.58/31.59 Conjecture not found
% 59.64/31.60 Conjecture not found
% 59.64/31.64 Conjecture not found
% 60.01/31.71 Conjecture not found
% 60.43/31.81 Conjecture not found
% 60.49/31.84 Conjecture not found
% 60.49/31.85 Conjecture not found
% 60.49/31.87 Conjecture not found
% 60.49/31.90 Conjecture not found
% 60.49/31.91 Conjecture not found
% 60.57/31.93 Conjecture not found
% 60.57/31.94 Conjecture not found
% 60.71/32.06 Conjecture not found
% 60.73/32.08 Conjecture not found
% 60.77/32.12 Conjecture not found
% 60.79/32.17 Conjecture not found
% 60.79/32.17 Conjecture not found
% 60.79/32.18 Conjecture not found
% 60.79/32.19 Conjecture not found
% 60.79/32.19 Conjecture not found
% 60.94/32.22 Conjecture not found
% 61.53/32.31 Conjecture not found
% 61.53/32.31 Conjecture not found
% 61.53/32.36 Conjecture not found
% 61.68/32.43 Conjecture not found
% 61.68/32.44 Conjecture not found
% 61.68/32.45 Conjecture not found
% 61.68/32.46 Conjecture not found
% 61.68/32.48 Conjecture not found
% 61.76/32.50 Conjecture not found
% 61.76/32.54 Conjecture not found
% 61.76/32.56 Conjecture not found
% 61.76/32.56 Conjecture not found
% 61.76/32.57 Conjecture not found
% 61.84/32.61 Conjecture not found
% 61.84/32.63 Conjecture not found
% 61.84/32.67 Conjecture not found
% 61.94/32.70 Conjecture not found
% 62.26/32.73 Conjecture not found
% 62.26/32.78 Conjecture not found
% 62.74/32.83 Conjecture not found
% 62.74/32.84 Conjecture not found
% 62.74/32.85 Conjecture not found
% 62.74/32.87 Conjecture not found
% 62.74/32.89 Conjecture not found
% 62.82/32.91 Conjecture not found
% 62.82/32.95 Conjecture not found
% 62.82/32.98 Conjecture not found
% 62.92/33.05 Conjecture not found
% 63.02/33.11 Conjecture not found
% 63.02/33.14 Conjecture not found
% 63.02/33.16 Conjecture not found
% 63.11/33.20 Conjecture not found
% 63.11/33.24 Conjecture not found
% 63.38/33.30 Conjecture not found
% 63.42/33.39 Conjecture not found
% 64.02/33.46 Conjecture not found
% 64.12/33.52 Conjecture not found
% 64.12/33.54 Conjecture not found
% 64.12/33.60 Conjecture not found
% 64.22/33.61 Conjecture not found
% 64.22/33.63 Conjecture not found
% 64.31/33.71 Conjecture not found
% 64.31/33.78 Conjecture not found
% 64.40/33.79 Conjecture not found
% 64.40/33.83 Conjecture not found
% 64.40/33.85 Conjecture not found
% 64.40/33.86 Conjecture not found
% 64.40/33.87 Conjecture not found
% 64.51/33.90 Conjecture not found
% 65.26/34.04 Conjecture not found
% 65.26/34.08 Conjecture not found
% 65.37/34.09 Conjecture not found
% 65.37/34.13 Conjecture not found
% 65.37/34.17 Conjecture not found
% 65.50/34.23 Conjecture not found
% 65.51/34.23 Conjecture not found
% 65.51/34.25 Conjecture not found
% 65.51/34.31 Conjecture not found
% 65.67/34.38 Conjecture not found
% 65.67/34.43 Conjecture not found
% 65.67/34.45 Conjecture not found
% 65.77/34.50 Conjecture not found
% 65.79/34.52 Conjecture not found
% 65.81/34.54 Conjecture not found
% 66.36/34.64 Conjecture not found
% 66.36/34.66 Conjecture not found
% 66.65/34.68 Conjecture not found
% 66.65/34.75 Conjecture not found
% 66.65/34.76 Conjecture not found
% 66.65/34.77 Conjecture not found
% 66.77/34.80 Conjecture not found
% 66.77/34.81 Conjecture not found
% 66.77/34.81 Conjecture not found
% 66.80/34.83 Conjecture not found
% 66.80/34.92 Conjecture not found
% 66.90/34.98 Conjecture not found
% 66.97/34.99 Conjecture not found
% 66.97/35.00 Conjecture not found
% 66.97/35.03 Conjecture not found
% 66.97/35.06 Conjecture not found
% 67.08/35.11 Conjecture not found
% 67.96/35.37 Conjecture not found
% 68.10/35.47 Conjecture not found
% 68.10/35.49 Conjecture not found
% 68.18/35.53 Conjecture not found
% 68.25/35.61 Conjecture not found
% 68.25/35.62 Conjecture not found
% 68.33/35.67 Conjecture not found
% 68.33/35.67 Conjecture not found
% 68.33/35.68 Conjecture not found
% 68.35/35.69 Conjecture not found
% 68.35/35.71 Conjecture not found
% 68.38/35.72 Conjecture not found
% 68.40/35.73 Conjecture not found
% 68.40/35.74 Conjecture not found
% 68.40/35.75 Conjecture not found
% 68.40/35.77 Conjecture not found
% 68.40/35.77 Conjecture not found
% 68.40/35.80 Conjecture not found
% 69.21/35.94 Conjecture not found
% 69.21/35.97 Conjecture not found
% 69.33/35.99 Conjecture not found
% 69.36/36.04 Conjecture not found
% 69.36/36.09 Conjecture not found
% 69.36/36.11 Conjecture not found
% 69.54/36.22 Conjecture not found
% 69.54/36.23 Conjecture not found
% 69.54/36.25 Conjecture not found
% 69.54/36.26 Conjecture not found
% 69.63/36.29 Conjecture not found
% 69.66/36.31 Conjecture not found
% 70.92/36.81 Conjecture not found
% 70.92/36.84 Conjecture not found
% 70.92/36.86 Conjecture not found
% 71.02/36.91 Conjecture not found
% 71.02/36.98 Conjecture not found
% 71.18/37.00 Conjecture not found
% 72.01/37.12 Conjecture not found
% 72.01/37.15 Conjecture not found
% 72.01/37.20 Conjecture not found
% 72.13/37.23 Conjecture not found
% 72.13/37.26 Conjecture not found
% 72.13/37.29 Conjecture not found
% 72.21/37.34 Conjecture not found
% 72.21/37.37 Conjecture not found
% 72.30/37.39 Conjecture not found
% 72.30/37.40 Start search
% 172.29/61.32 nb_step : 1 - limit : 175715
% 174.06/62.17 Launch Gotab with destructive = true
%------------------------------------------------------------------------------