TSTP Solution File: LAT372+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : LAT372+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n017.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 300s
% DateTime : Sat Sep 17 18:05:24 EDT 2022
% Result : Timeout 300.06s 104.68s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12 % Problem : LAT372+4 : TPTP v8.1.0. Released v3.4.0.
% 0.11/0.13 % Command : goeland -dmt -presko -proof %s
% 0.12/0.34 % Computer : n017.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 300
% 0.12/0.34 % DateTime : Thu Sep 1 15:50:17 EDT 2022
% 0.12/0.34 % CPUTime :
% 0.12/0.35 [DMT] DMT loaded with preskolemization
% 0.12/0.35 [EQ] equality loaded.
% 0.12/0.35 [0.000053s][1][MAIN] Problem : theBenchmark.p
% 0.19/0.43 Conjecture not found
% 0.19/0.44 Conjecture not found
% 0.19/0.44 Conjecture not found
% 0.19/0.44 Conjecture not found
% 0.19/0.45 Conjecture not found
% 0.19/0.47 Conjecture not found
% 0.19/0.49 Conjecture not found
% 0.19/0.51 Conjecture not found
% 0.19/0.52 Conjecture not found
% 0.19/0.53 Conjecture not found
% 0.19/0.56 Conjecture not found
% 0.57/0.59 Conjecture not found
% 0.57/0.60 Conjecture not found
% 0.61/0.61 Conjecture not found
% 0.61/0.62 Conjecture not found
% 0.66/0.64 Conjecture not found
% 0.66/0.66 Conjecture not found
% 0.66/0.70 Conjecture not found
% 0.81/0.77 Conjecture not found
% 0.81/0.78 Conjecture not found
% 1.05/0.86 Conjecture not found
% 1.13/0.91 Conjecture not found
% 1.18/0.99 Conjecture not found
% 1.18/1.02 Conjecture not found
% 1.46/1.09 Conjecture not found
% 1.46/1.13 Conjecture not found
% 1.59/1.18 Conjecture not found
% 1.62/1.20 Conjecture not found
% 1.68/1.23 Conjecture not found
% 1.72/1.24 Conjecture not found
% 1.72/1.25 Conjecture not found
% 1.72/1.26 Conjecture not found
% 1.72/1.27 Conjecture not found
% 1.85/1.37 Conjecture not found
% 1.95/1.39 Conjecture not found
% 1.95/1.39 Conjecture not found
% 1.95/1.41 Conjecture not found
% 1.95/1.41 Conjecture not found
% 1.95/1.42 Conjecture not found
% 1.95/1.42 Conjecture not found
% 1.95/1.43 Conjecture not found
% 1.95/1.43 Conjecture not found
% 2.17/1.48 Conjecture not found
% 2.27/1.53 Conjecture not found
% 2.31/1.54 Conjecture not found
% 2.31/1.54 Conjecture not found
% 2.31/1.55 Conjecture not found
% 2.31/1.57 Conjecture not found
% 2.31/1.59 Conjecture not found
% 2.31/1.60 Conjecture not found
% 2.47/1.62 Conjecture not found
% 2.47/1.64 Conjecture not found
% 2.47/1.66 Conjecture not found
% 2.47/1.67 Conjecture not found
% 2.47/1.68 Conjecture not found
% 2.64/1.71 Conjecture not found
% 2.83/1.78 Conjecture not found
% 2.95/1.83 Conjecture not found
% 2.95/1.84 Conjecture not found
% 2.95/1.86 Conjecture not found
% 2.95/1.89 Conjecture not found
% 2.95/1.92 Conjecture not found
% 3.14/1.94 Conjecture not found
% 3.14/1.96 Conjecture not found
% 3.31/2.03 Conjecture not found
% 3.31/2.06 Conjecture not found
% 3.50/2.09 Conjecture not found
% 3.50/2.10 Conjecture not found
% 3.50/2.11 Conjecture not found
% 3.50/2.12 Conjecture not found
% 3.82/2.30 Conjecture not found
% 4.04/2.33 Conjecture not found
% 4.04/2.35 Conjecture not found
% 4.24/2.46 Conjecture not found
% 4.24/2.47 Conjecture not found
% 4.24/2.48 Conjecture not found
% 4.40/2.50 Conjecture not found
% 4.40/2.54 Conjecture not found
% 4.64/2.60 Conjecture not found
% 4.65/2.68 Conjecture not found
% 4.89/2.75 Conjecture not found
% 5.04/2.80 Conjecture not found
% 5.04/2.82 Conjecture not found
% 5.04/2.86 Conjecture not found
% 5.04/2.86 Conjecture not found
% 5.22/2.90 Conjecture not found
% 5.22/2.93 Conjecture not found
% 5.22/2.95 Conjecture not found
% 5.22/2.96 Conjecture not found
% 5.48/3.03 Conjecture not found
% 5.48/3.04 Conjecture not found
% 5.48/3.08 Conjecture not found
% 5.73/3.15 Conjecture not found
% 5.97/3.22 Conjecture not found
% 6.14/3.38 Conjecture not found
% 6.74/3.60 Conjecture not found
% 7.30/3.90 Conjecture not found
% 7.44/3.92 Conjecture not found
% 7.44/3.93 Conjecture not found
% 7.59/4.04 Conjecture not found
% 7.59/4.06 Conjecture not found
% 7.89/4.10 Conjecture not found
% 7.93/4.17 Conjecture not found
% 8.06/4.22 Conjecture not found
% 8.18/4.28 Conjecture not found
% 8.18/4.33 Conjecture not found
% 8.18/4.35 Conjecture not found
% 8.18/4.36 Conjecture not found
% 8.42/4.40 Conjecture not found
% 8.45/4.41 Conjecture not found
% 8.48/4.49 Conjecture not found
% 8.71/4.56 Conjecture not found
% 8.82/4.61 Conjecture not found
% 9.00/4.70 Conjecture not found
% 9.00/4.73 Conjecture not found
% 9.10/4.77 Conjecture not found
% 9.10/4.80 Conjecture not found
% 9.10/4.81 Conjecture not found
% 9.22/4.84 Conjecture not found
% 9.22/4.85 Conjecture not found
% 9.22/4.86 Conjecture not found
% 9.22/4.89 Conjecture not found
% 9.22/4.89 Conjecture not found
% 9.39/4.90 Conjecture not found
% 9.39/4.92 Conjecture not found
% 9.39/4.96 Conjecture not found
% 9.58/4.99 Conjecture not found
% 9.70/5.02 Conjecture not found
% 9.74/5.06 Conjecture not found
% 9.96/5.21 Conjecture not found
% 9.96/5.25 Conjecture not found
% 9.96/5.26 Conjecture not found
% 10.12/5.27 Conjecture not found
% 10.15/5.30 Conjecture not found
% 10.15/5.32 Conjecture not found
% 10.28/5.35 Conjecture not found
% 10.28/5.36 Conjecture not found
% 10.28/5.38 Conjecture not found
% 10.28/5.40 Conjecture not found
% 10.45/5.48 Conjecture not found
% 11.69/6.20 Conjecture not found
% 12.86/7.05 Conjecture not found
% 13.21/7.21 Conjecture not found
% 13.26/7.29 Conjecture not found
% 13.32/7.31 Conjecture not found
% 13.32/7.34 Conjecture not found
% 13.47/7.40 Conjecture not found
% 13.47/7.42 Conjecture not found
% 13.47/7.44 Conjecture not found
% 13.67/7.50 Conjecture not found
% 13.75/7.57 Conjecture not found
% 13.81/7.63 Conjecture not found
% 13.94/7.67 Conjecture not found
% 13.94/7.69 Conjecture not found
% 13.94/7.73 Conjecture not found
% 14.05/7.79 Conjecture not found
% 14.20/7.87 Conjecture not found
% 14.20/7.93 Conjecture not found
% 14.35/8.00 Conjecture not found
% 14.35/8.03 Conjecture not found
% 14.52/8.06 Conjecture not found
% 14.52/8.09 Conjecture not found
% 14.58/8.13 Conjecture not found
% 14.63/8.18 Conjecture not found
% 14.81/8.25 Conjecture not found
% 14.81/8.27 Conjecture not found
% 14.87/8.35 Conjecture not found
% 15.07/8.43 Conjecture not found
% 15.07/8.45 Conjecture not found
% 15.13/8.47 Conjecture not found
% 15.13/8.50 Conjecture not found
% 15.13/8.52 Conjecture not found
% 15.20/8.54 Conjecture not found
% 15.20/8.57 Conjecture not found
% 15.24/8.60 Conjecture not found
% 15.40/8.65 Conjecture not found
% 15.40/8.66 Conjecture not found
% 15.43/8.72 Conjecture not found
% 15.50/8.75 Conjecture not found
% 15.53/8.78 Conjecture not found
% 15.70/8.84 Conjecture not found
% 15.70/8.87 Conjecture not found
% 15.78/8.89 Conjecture not found
% 15.78/8.92 Conjecture not found
% 15.78/8.95 Conjecture not found
% 15.88/8.98 Conjecture not found
% 15.88/9.00 Conjecture not found
% 16.04/9.06 Conjecture not found
% 16.04/9.10 Conjecture not found
% 16.12/9.13 Conjecture not found
% 16.17/9.18 Conjecture not found
% 16.17/9.19 Conjecture not found
% 16.17/9.22 Conjecture not found
% 16.39/9.28 Conjecture not found
% 16.39/9.30 Conjecture not found
% 16.44/9.32 Conjecture not found
% 16.44/9.34 Conjecture not found
% 16.46/9.36 Conjecture not found
% 16.46/9.37 Conjecture not found
% 16.46/9.38 Conjecture not found
% 16.46/9.38 Conjecture not found
% 16.54/9.45 Conjecture not found
% 16.83/9.58 Conjecture not found
% 16.83/9.60 Conjecture not found
% 16.88/9.63 Conjecture not found
% 16.88/9.68 Conjecture not found
% 16.88/9.70 Conjecture not found
% 17.14/9.73 Conjecture not found
% 17.14/9.76 Conjecture not found
% 17.20/9.80 Conjecture not found
% 17.20/9.86 Conjecture not found
% 17.47/9.94 Conjecture not found
% 17.50/9.98 Conjecture not found
% 17.59/10.05 Conjecture not found
% 17.85/10.25 Conjecture not found
% 18.01/10.37 Conjecture not found
% 18.22/10.45 Conjecture not found
% 18.22/10.46 Conjecture not found
% 18.29/10.50 Conjecture not found
% 18.39/10.57 Conjecture not found
% 18.58/10.65 Conjecture not found
% 18.58/10.68 Conjecture not found
% 18.68/10.79 Conjecture not found
% 18.95/10.91 Conjecture not found
% 19.00/10.98 Conjecture not found
% 19.05/11.04 Conjecture not found
% 19.11/11.12 Conjecture not found
% 19.11/11.16 Conjecture not found
% 19.41/11.23 Conjecture not found
% 19.46/11.30 Conjecture not found
% 19.68/11.42 Conjecture not found
% 19.93/11.56 Conjecture not found
% 19.93/11.58 Conjecture not found
% 19.93/11.62 Conjecture not found
% 20.01/11.67 Conjecture not found
% 20.18/11.74 Conjecture not found
% 20.38/11.86 Conjecture not found
% 20.61/12.03 Conjecture not found
% 20.68/12.05 Conjecture not found
% 20.71/12.10 Conjecture not found
% 21.26/12.47 Conjecture not found
% 21.45/12.59 Conjecture not found
% 21.63/12.66 Conjecture not found
% 21.66/12.69 Conjecture not found
% 21.66/12.71 Conjecture not found
% 21.71/12.73 Conjecture not found
% 21.73/12.82 Conjecture not found
% 21.94/12.96 Conjecture not found
% 22.17/13.08 Conjecture not found
% 22.25/13.16 Conjecture not found
% 22.40/13.23 Conjecture not found
% 22.63/13.40 Conjecture not found
% 22.92/13.51 Conjecture not found
% 23.00/13.58 Conjecture not found
% 23.00/13.65 Conjecture not found
% 23.13/13.70 Conjecture not found
% 23.13/13.72 Conjecture not found
% 23.17/13.77 Conjecture not found
% 23.17/13.78 Conjecture not found
% 23.24/13.82 Conjecture not found
% 23.47/13.89 Conjecture not found
% 23.47/13.94 Conjecture not found
% 23.57/13.98 Conjecture not found
% 23.61/14.02 Conjecture not found
% 23.71/14.14 Conjecture not found
% 23.91/14.16 Conjecture not found
% 23.91/14.19 Conjecture not found
% 23.91/14.23 Conjecture not found
% 24.16/14.42 Conjecture not found
% 24.24/14.47 Conjecture not found
% 24.24/14.53 Conjecture not found
% 24.24/14.55 Conjecture not found
% 24.24/14.55 Conjecture not found
% 24.24/14.56 Conjecture not found
% 24.48/14.58 Conjecture not found
% 24.58/14.67 Conjecture not found
% 24.58/14.68 Conjecture not found
% 24.58/14.71 Conjecture not found
% 24.95/14.83 Conjecture not found
% 25.03/14.93 Conjecture not found
% 25.16/15.07 Conjecture not found
% 25.22/15.12 Conjecture not found
% 25.56/15.31 Conjecture not found
% 26.01/15.55 Conjecture not found
% 26.04/15.58 Conjecture not found
% 26.11/15.66 Conjecture not found
% 26.16/15.69 Conjecture not found
% 26.16/15.71 Conjecture not found
% 26.52/15.86 Conjecture not found
% 26.59/15.97 Conjecture not found
% 26.64/16.04 Conjecture not found
% 26.72/16.07 Conjecture not found
% 27.12/16.25 Conjecture not found
% 27.18/16.31 Conjecture not found
% 27.18/16.34 Conjecture not found
% 27.31/16.42 Conjecture not found
% 27.60/16.53 Conjecture not found
% 27.60/16.54 Conjecture not found
% 27.66/16.61 Conjecture not found
% 27.79/16.73 Conjecture not found
% 27.82/16.77 Conjecture not found
% 27.82/16.81 Conjecture not found
% 28.15/16.89 Conjecture not found
% 28.28/16.97 Conjecture not found
% 28.28/16.97 Conjecture not found
% 28.28/17.05 Conjecture not found
% 28.41/17.12 Conjecture not found
% 28.45/17.21 Conjecture not found
% 28.78/17.27 Conjecture not found
% 28.92/17.38 Conjecture not found
% 28.92/17.40 Conjecture not found
% 29.01/17.50 Conjecture not found
% 29.51/17.72 Conjecture not found
% 29.75/18.00 Conjecture not found
% 29.85/18.06 Conjecture not found
% 30.06/18.28 Conjecture not found
% 30.40/18.36 Conjecture not found
% 30.40/18.40 Conjecture not found
% 30.40/18.41 Conjecture not found
% 30.49/18.45 Conjecture not found
% 30.52/18.52 Conjecture not found
% 30.57/18.55 Conjecture not found
% 30.82/18.83 Conjecture not found
% 31.29/19.03 Conjecture not found
% 31.33/19.12 Conjecture not found
% 31.39/19.15 Conjecture not found
% 31.39/19.16 Conjecture not found
% 31.48/19.26 Conjecture not found
% 31.53/19.29 Conjecture not found
% 31.53/19.30 Conjecture not found
% 31.93/19.47 Conjecture not found
% 31.96/19.49 Conjecture not found
% 32.02/19.56 Conjecture not found
% 32.14/19.67 Conjecture not found
% 32.14/19.72 Conjecture not found
% 32.22/19.78 Conjecture not found
% 32.85/20.17 Conjecture not found
% 33.21/20.32 Conjecture not found
% 33.21/20.34 Conjecture not found
% 33.39/20.49 Conjecture not found
% 33.39/20.52 Conjecture not found
% 33.55/20.60 Conjecture not found
% 33.69/20.69 Conjecture not found
% 34.03/20.84 Conjecture not found
% 34.03/20.90 Conjecture not found
% 34.03/20.92 Conjecture not found
% 34.13/20.96 Conjecture not found
% 34.19/21.01 Conjecture not found
% 34.26/21.08 Conjecture not found
% 34.68/21.25 Conjecture not found
% 34.68/21.28 Conjecture not found
% 34.68/21.28 Conjecture not found
% 34.68/21.29 Conjecture not found
% 34.78/21.37 Conjecture not found
% 34.78/21.39 Conjecture not found
% 34.89/21.49 Conjecture not found
% 35.33/21.69 Conjecture not found
% 35.43/21.79 Conjecture not found
% 35.48/21.84 Conjecture not found
% 35.53/21.86 Conjecture not found
% 35.53/21.89 Conjecture not found
% 35.64/21.97 Conjecture not found
% 35.64/22.01 Conjecture not found
% 35.70/22.02 Conjecture not found
% 35.79/22.10 Conjecture not found
% 36.09/22.16 Conjecture not found
% 36.18/22.24 Conjecture not found
% 36.20/22.30 Conjecture not found
% 36.26/22.34 Conjecture not found
% 36.43/22.49 Conjecture not found
% 36.63/22.60 Conjecture not found
% 36.63/22.62 Conjecture not found
% 36.94/22.75 Conjecture not found
% 36.98/22.79 Conjecture not found
% 37.08/22.87 Conjecture not found
% 37.08/22.92 Conjecture not found
% 37.14/22.95 Conjecture not found
% 37.17/22.98 Conjecture not found
% 37.17/23.03 Conjecture not found
% 37.25/23.06 Conjecture not found
% 37.72/23.28 Conjecture not found
% 37.72/23.30 Conjecture not found
% 37.72/23.31 Conjecture not found
% 37.86/23.38 Conjecture not found
% 37.86/23.44 Conjecture not found
% 37.97/23.49 Conjecture not found
% 38.01/23.53 Conjecture not found
% 38.09/23.61 Conjecture not found
% 38.41/23.67 Conjecture not found
% 38.46/23.75 Conjecture not found
% 38.56/23.79 Conjecture not found
% 38.61/23.85 Conjecture not found
% 38.61/23.90 Conjecture not found
% 38.69/23.92 Conjecture not found
% 38.69/23.94 Conjecture not found
% 38.76/24.00 Conjecture not found
% 39.13/24.10 Conjecture not found
% 39.23/24.16 Conjecture not found
% 39.23/24.22 Conjecture not found
% 39.34/24.24 Conjecture not found
% 39.41/24.33 Conjecture not found
% 39.48/24.42 Conjecture not found
% 39.58/24.47 Conjecture not found
% 39.61/24.51 Conjecture not found
% 39.64/24.57 Conjecture not found
% 40.05/24.72 Conjecture not found
% 40.05/24.76 Conjecture not found
% 40.18/24.81 Conjecture not found
% 40.28/24.94 Conjecture not found
% 40.33/25.02 Conjecture not found
% 40.44/25.09 Conjecture not found
% 40.64/25.28 Conjecture not found
% 40.84/25.47 Conjecture not found
% 41.43/25.82 Conjecture not found
% 41.54/25.87 Conjecture not found
% 41.58/25.94 Conjecture not found
% 41.75/26.08 Conjecture not found
% 42.26/26.30 Conjecture not found
% 42.38/26.38 Conjecture not found
% 42.51/26.49 Conjecture not found
% 42.51/26.52 Conjecture not found
% 42.51/26.54 Conjecture not found
% 42.58/26.56 Conjecture not found
% 42.61/26.59 Conjecture not found
% 42.61/26.62 Conjecture not found
% 42.67/26.67 Conjecture not found
% 42.67/26.68 Conjecture not found
% 42.74/26.72 Conjecture not found
% 42.74/26.75 Conjecture not found
% 43.12/26.86 Conjecture not found
% 43.29/26.99 Conjecture not found
% 43.37/27.04 Conjecture not found
% 43.43/27.10 Conjecture not found
% 43.43/27.13 Conjecture not found
% 43.43/27.16 Conjecture not found
% 43.58/27.29 Conjecture not found
% 44.17/27.51 Conjecture not found
% 44.20/27.56 Conjecture not found
% 44.20/27.59 Conjecture not found
% 44.36/27.74 Conjecture not found
% 44.43/27.82 Conjecture not found
% 44.53/27.88 Conjecture not found
% 44.59/27.93 Conjecture not found
% 44.59/27.96 Conjecture not found
% 45.15/28.18 Conjecture not found
% 45.19/28.23 Conjecture not found
% 45.24/28.26 Conjecture not found
% 45.34/28.39 Conjecture not found
% 45.44/28.47 Conjecture not found
% 45.48/28.53 Conjecture not found
% 45.59/28.61 Conjecture not found
% 45.59/28.64 Conjecture not found
% 45.80/28.82 Conjecture not found
% 45.94/28.98 Conjecture not found
% 46.31/29.14 Conjecture not found
% 46.52/29.22 Conjecture not found
% 46.73/29.42 Conjecture not found
% 46.79/29.44 Conjecture not found
% 46.82/29.48 Conjecture not found
% 46.82/29.51 Conjecture not found
% 46.90/29.54 Conjecture not found
% 46.94/29.58 Conjecture not found
% 46.94/29.59 Conjecture not found
% 47.45/29.77 Conjecture not found
% 47.45/29.80 Conjecture not found
% 47.52/29.83 Conjecture not found
% 47.57/29.90 Conjecture not found
% 47.57/29.92 Conjecture not found
% 47.64/29.96 Conjecture not found
% 47.67/30.02 Conjecture not found
% 47.73/30.05 Conjecture not found
% 47.73/30.10 Conjecture not found
% 47.86/30.17 Conjecture not found
% 47.86/30.22 Conjecture not found
% 48.37/30.34 Conjecture not found
% 48.37/30.36 Conjecture not found
% 48.37/30.39 Conjecture not found
% 48.37/30.41 Conjecture not found
% 48.51/30.51 Conjecture not found
% 48.65/30.64 Conjecture not found
% 48.65/30.70 Conjecture not found
% 48.81/30.81 Conjecture not found
% 48.96/30.90 Conjecture not found
% 49.14/30.93 Conjecture not found
% 49.30/31.00 Conjecture not found
% 49.49/31.13 Conjecture not found
% 49.56/31.20 Conjecture not found
% 49.56/31.25 Conjecture not found
% 49.68/31.32 Conjecture not found
% 49.72/31.36 Conjecture not found
% 49.79/31.44 Conjecture not found
% 49.86/31.50 Conjecture not found
% 50.20/31.57 Conjecture not found
% 50.42/31.65 Conjecture not found
% 50.48/31.71 Conjecture not found
% 50.48/31.75 Conjecture not found
% 50.53/31.79 Conjecture not found
% 50.53/31.83 Conjecture not found
% 50.63/31.86 Conjecture not found
% 50.68/31.92 Conjecture not found
% 50.72/31.99 Conjecture not found
% 50.83/32.08 Conjecture not found
% 50.83/32.09 Conjecture not found
% 50.83/32.15 Conjecture not found
% 51.24/32.25 Conjecture not found
% 51.45/32.30 Conjecture not found
% 51.45/32.34 Conjecture not found
% 51.58/32.39 Conjecture not found
% 51.58/32.41 Conjecture not found
% 51.63/32.44 Conjecture not found
% 51.70/32.51 Conjecture not found
% 51.70/32.54 Conjecture not found
% 51.75/32.59 Conjecture not found
% 51.84/32.67 Conjecture not found
% 51.84/32.68 Conjecture not found
% 52.16/32.83 Conjecture not found
% 52.36/32.87 Conjecture not found
% 52.36/32.90 Conjecture not found
% 52.51/32.93 Conjecture not found
% 52.55/33.00 Conjecture not found
% 52.55/33.03 Conjecture not found
% 52.64/33.09 Conjecture not found
% 52.70/33.14 Conjecture not found
% 52.73/33.17 Conjecture not found
% 52.81/33.25 Conjecture not found
% 52.93/33.35 Conjecture not found
% 53.09/33.52 Conjecture not found
% 53.09/33.56 Conjecture not found
% 53.24/33.60 Conjecture not found
% 53.24/33.62 Conjecture not found
% 53.75/33.80 Conjecture not found
% 53.75/33.82 Conjecture not found
% 53.83/33.86 Conjecture not found
% 53.89/33.92 Conjecture not found
% 54.04/34.06 Conjecture not found
% 54.12/34.13 Conjecture not found
% 54.77/34.40 Conjecture not found
% 54.77/34.42 Conjecture not found
% 54.93/34.53 Conjecture not found
% 54.93/34.54 Conjecture not found
% 54.93/34.55 Conjecture not found
% 55.00/34.57 Conjecture not found
% 55.00/34.63 Conjecture not found
% 55.13/34.71 Conjecture not found
% 55.16/34.75 Conjecture not found
% 55.16/34.78 Conjecture not found
% 55.23/34.83 Conjecture not found
% 55.58/34.97 Conjecture not found
% 55.58/35.01 Conjecture not found
% 55.90/35.08 Conjecture not found
% 56.02/35.16 Conjecture not found
% 56.02/35.20 Conjecture not found
% 56.16/35.30 Conjecture not found
% 56.21/35.37 Conjecture not found
% 56.26/35.44 Conjecture not found
% 56.32/35.48 Conjecture not found
% 56.53/35.66 Conjecture not found
% 56.71/35.75 Conjecture not found
% 57.12/35.84 Conjecture not found
% 57.14/35.90 Conjecture not found
% 57.24/35.97 Conjecture not found
% 57.24/35.99 Conjecture not found
% 57.24/36.02 Conjecture not found
% 57.33/36.07 Conjecture not found
% 57.51/36.25 Conjecture not found
% 57.54/36.31 Conjecture not found
% 57.61/36.33 Conjecture not found
% 57.65/36.40 Conjecture not found
% 57.65/36.42 Conjecture not found
% 57.75/36.47 Conjecture not found
% 57.75/36.52 Conjecture not found
% 58.03/36.57 Conjecture not found
% 58.03/36.60 Conjecture not found
% 58.36/36.67 Conjecture not found
% 58.41/36.73 Conjecture not found
% 58.51/36.80 Conjecture not found
% 58.56/36.84 Conjecture not found
% 58.58/36.85 Conjecture not found
% 58.58/36.90 Conjecture not found
% 58.65/36.92 Conjecture not found
% 58.65/36.96 Conjecture not found
% 58.78/37.06 Conjecture not found
% 58.82/37.09 Conjecture not found
% 58.82/37.10 Conjecture not found
% 58.82/37.12 Conjecture not found
% 58.89/37.15 Conjecture not found
% 58.89/37.19 Conjecture not found
% 58.89/37.22 Conjecture not found
% 58.97/37.26 Conjecture not found
% 59.09/37.32 Conjecture not found
% 59.53/37.41 Conjecture not found
% 59.59/37.48 Conjecture not found
% 59.59/37.50 Conjecture not found
% 59.67/37.52 Conjecture not found
% 59.67/37.55 Conjecture not found
% 59.74/37.65 Conjecture not found
% 59.82/37.67 Conjecture not found
% 59.99/37.84 Conjecture not found
% 59.99/37.85 Conjecture not found
% 59.99/37.87 Conjecture not found
% 60.35/38.21 Conjecture not found
% 60.84/38.26 Conjecture not found
% 60.93/38.30 Conjecture not found
% 60.93/38.33 Conjecture not found
% 61.00/38.41 Conjecture not found
% 61.10/38.48 Conjecture not found
% 61.17/38.56 Conjecture not found
% 61.17/38.63 Conjecture not found
% 61.27/38.69 Conjecture not found
% 61.67/38.92 Conjecture not found
% 61.94/38.96 Conjecture not found
% 62.12/39.09 Conjecture not found
% 62.18/39.12 Conjecture not found
% 62.23/39.18 Conjecture not found
% 62.23/39.20 Conjecture not found
% 62.23/39.22 Conjecture not found
% 62.23/39.24 Conjecture not found
% 62.34/39.30 Conjecture not found
% 62.39/39.33 Conjecture not found
% 62.39/39.35 Conjecture not found
% 62.43/39.38 Conjecture not found
% 62.43/39.44 Conjecture not found
% 62.52/39.46 Conjecture not found
% 62.56/39.53 Conjecture not found
% 62.63/39.57 Conjecture not found
% 62.73/39.72 Conjecture not found
% 62.82/39.78 Conjecture not found
% 63.42/39.88 Conjecture not found
% 63.52/39.96 Conjecture not found
% 63.55/40.02 Conjecture not found
% 63.67/40.10 Conjecture not found
% 63.74/40.14 Conjecture not found
% 63.76/40.17 Conjecture not found
% 63.82/40.24 Conjecture not found
% 63.92/40.38 Conjecture not found
% 65.18/41.10 Conjecture not found
% 65.23/41.13 Conjecture not found
% 65.23/41.20 Conjecture not found
% 65.31/41.27 Conjecture not found
% 65.38/41.30 Conjecture not found
% 65.38/41.31 Conjecture not found
% 65.38/41.33 Conjecture not found
% 65.38/41.36 Conjecture not found
% 65.48/41.39 Conjecture not found
% 65.54/41.41 Conjecture not found
% 65.71/41.46 Conjecture not found
% 66.16/41.59 Conjecture not found
% 66.30/41.76 Conjecture not found
% 66.46/41.88 Conjecture not found
% 66.56/41.96 Conjecture not found
% 66.63/42.04 Conjecture not found
% 66.70/42.07 Conjecture not found
% 66.70/42.10 Conjecture not found
% 66.80/42.19 Conjecture not found
% 66.84/42.22 Conjecture not found
% 67.01/42.31 Conjecture not found
% 67.45/42.35 Conjecture not found
% 67.45/42.38 Conjecture not found
% 67.56/42.49 Conjecture not found
% 67.56/42.54 Conjecture not found
% 67.71/42.62 Conjecture not found
% 67.75/42.70 Conjecture not found
% 67.75/42.71 Conjecture not found
% 67.91/42.83 Conjecture not found
% 67.96/42.87 Conjecture not found
% 67.96/42.88 Conjecture not found
% 67.96/42.89 Conjecture not found
% 67.96/42.92 Conjecture not found
% 67.96/42.93 Conjecture not found
% 67.96/42.94 Conjecture not found
% 68.07/42.99 Conjecture not found
% 68.07/43.00 Conjecture not found
% 68.26/43.02 Conjecture not found
% 68.26/43.05 Conjecture not found
% 68.56/43.06 Conjecture not found
% 68.56/43.07 Conjecture not found
% 68.56/43.09 Conjecture not found
% 68.56/43.10 Conjecture not found
% 68.66/43.16 Conjecture not found
% 68.70/43.19 Conjecture not found
% 68.70/43.20 Conjecture not found
% 68.70/43.21 Conjecture not found
% 68.77/43.28 Conjecture not found
% 68.77/43.28 Conjecture not found
% 68.82/43.31 Conjecture not found
% 69.04/43.36 Conjecture not found
% 69.50/43.48 Conjecture not found
% 69.55/43.49 Conjecture not found
% 69.55/43.51 Conjecture not found
% 69.55/43.54 Conjecture not found
% 69.63/43.57 Conjecture not found
% 69.63/43.58 Conjecture not found
% 69.68/43.62 Conjecture not found
% 69.71/43.67 Conjecture not found
% 69.71/43.72 Conjecture not found
% 69.79/43.73 Conjecture not found
% 69.79/43.75 Conjecture not found
% 70.47/43.89 Conjecture not found
% 70.52/43.93 Conjecture not found
% 70.55/43.97 Start search
% 153.38/64.94 nb_step : 1 - limit : 133989
% 155.05/65.94 Launch Gotab with destructive = true
%------------------------------------------------------------------------------