TSTP Solution File: SEU423+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : SEU423+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n005.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:04 EDT 2022
% Result : Timeout 300.41s 102.92s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : SEU423+4 : TPTP v8.1.0. Released v3.4.0.
% 0.07/0.13 % Command : goeland -dmt -presko -proof %s
% 0.13/0.34 % Computer : n005.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:02:00 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.000040s][1][MAIN] Problem : theBenchmark.p
% 0.20/0.40 Conjecture not found
% 0.20/0.40 Conjecture not found
% 0.20/0.41 Conjecture not found
% 0.20/0.41 Conjecture not found
% 0.20/0.42 Conjecture not found
% 0.20/0.44 Conjecture not found
% 0.20/0.46 Conjecture not found
% 0.20/0.48 Conjecture not found
% 0.20/0.50 Conjecture not found
% 0.20/0.50 Conjecture not found
% 0.46/0.53 Conjecture not found
% 0.50/0.58 Conjecture not found
% 0.50/0.59 Conjecture not found
% 0.50/0.60 Conjecture not found
% 0.50/0.60 Conjecture not found
% 0.50/0.63 Conjecture not found
% 0.63/0.65 Conjecture not found
% 0.71/0.70 Conjecture not found
% 0.84/0.77 Conjecture not found
% 0.84/0.78 Conjecture not found
% 0.99/0.86 Conjecture not found
% 0.99/0.91 Conjecture not found
% 1.23/0.99 Conjecture not found
% 1.23/1.03 Conjecture not found
% 1.36/1.10 Conjecture not found
% 1.45/1.14 Conjecture not found
% 1.52/1.19 Conjecture not found
% 1.52/1.22 Conjecture not found
% 1.64/1.25 Conjecture not found
% 1.64/1.26 Conjecture not found
% 1.69/1.27 Conjecture not found
% 1.69/1.28 Conjecture not found
% 1.69/1.29 Conjecture not found
% 1.84/1.37 Conjecture not found
% 1.84/1.40 Conjecture not found
% 1.84/1.40 Conjecture not found
% 1.84/1.42 Conjecture not found
% 1.84/1.42 Conjecture not found
% 1.96/1.42 Conjecture not found
% 1.96/1.43 Conjecture not found
% 1.96/1.44 Conjecture not found
% 1.96/1.44 Conjecture not found
% 2.04/1.49 Conjecture not found
% 2.15/1.55 Conjecture not found
% 2.15/1.55 Conjecture not found
% 2.15/1.55 Conjecture not found
% 2.15/1.56 Conjecture not found
% 2.22/1.58 Conjecture not found
% 2.22/1.60 Conjecture not found
% 2.22/1.61 Conjecture not found
% 2.22/1.64 Conjecture not found
% 2.34/1.66 Conjecture not found
% 2.34/1.67 Conjecture not found
% 2.37/1.68 Conjecture not found
% 2.37/1.70 Conjecture not found
% 2.37/1.74 Conjecture not found
% 2.51/1.80 Conjecture not found
% 2.66/1.86 Conjecture not found
% 2.66/1.87 Conjecture not found
% 2.66/1.89 Conjecture not found
% 2.66/1.92 Conjecture not found
% 2.81/1.95 Conjecture not found
% 2.81/1.97 Conjecture not found
% 2.86/1.99 Conjecture not found
% 3.02/2.07 Conjecture not found
% 3.02/2.10 Conjecture not found
% 3.11/2.13 Conjecture not found
% 3.11/2.14 Conjecture not found
% 3.11/2.16 Conjecture not found
% 3.20/2.19 Conjecture not found
% 3.54/2.35 Conjecture not found
% 3.54/2.38 Conjecture not found
% 3.63/2.41 Conjecture not found
% 3.69/2.50 Conjecture not found
% 3.69/2.52 Conjecture not found
% 3.69/2.53 Conjecture not found
% 3.87/2.56 Conjecture not found
% 3.87/2.59 Conjecture not found
% 3.95/2.64 Conjecture not found
% 4.04/2.70 Conjecture not found
% 4.20/2.75 Conjecture not found
% 4.30/2.80 Conjecture not found
% 4.30/2.82 Conjecture not found
% 4.30/2.86 Conjecture not found
% 4.30/2.86 Conjecture not found
% 4.48/2.90 Conjecture not found
% 4.56/2.93 Conjecture not found
% 4.56/2.95 Conjecture not found
% 4.56/2.95 Conjecture not found
% 4.69/3.02 Conjecture not found
% 4.69/3.03 Conjecture not found
% 4.83/3.09 Conjecture not found
% 4.83/3.14 Conjecture not found
% 5.09/3.23 Conjecture not found
% 5.29/3.38 Conjecture not found
% 5.84/3.63 Conjecture not found
% 6.38/3.94 Conjecture not found
% 6.38/3.97 Conjecture not found
% 6.50/3.99 Conjecture not found
% 6.64/4.10 Conjecture not found
% 6.77/4.14 Conjecture not found
% 6.77/4.19 Conjecture not found
% 6.92/4.26 Conjecture not found
% 6.97/4.32 Conjecture not found
% 7.10/4.37 Conjecture not found
% 7.20/4.42 Conjecture not found
% 7.25/4.44 Conjecture not found
% 7.25/4.45 Conjecture not found
% 7.31/4.47 Conjecture not found
% 7.31/4.48 Conjecture not found
% 7.43/4.53 Conjecture not found
% 7.50/4.58 Conjecture not found
% 7.63/4.64 Conjecture not found
% 7.67/4.73 Conjecture not found
% 7.81/4.76 Conjecture not found
% 7.84/4.81 Conjecture not found
% 7.98/4.84 Conjecture not found
% 7.98/4.85 Conjecture not found
% 8.01/4.87 Conjecture not found
% 8.01/4.89 Conjecture not found
% 8.01/4.90 Conjecture not found
% 8.01/4.94 Conjecture not found
% 8.01/4.94 Conjecture not found
% 8.16/4.95 Conjecture not found
% 8.16/4.96 Conjecture not found
% 8.27/5.00 Conjecture not found
% 8.27/5.03 Conjecture not found
% 8.36/5.09 Conjecture not found
% 8.51/5.15 Conjecture not found
% 8.81/5.39 Conjecture not found
% 8.87/5.46 Conjecture not found
% 8.97/5.47 Conjecture not found
% 8.97/5.49 Conjecture not found
% 8.97/5.53 Conjecture not found
% 9.06/5.57 Conjecture not found
% 9.17/5.64 Conjecture not found
% 9.23/5.66 Conjecture not found
% 9.23/5.69 Conjecture not found
% 9.23/5.71 Conjecture not found
% 9.45/5.82 Conjecture not found
% 10.42/6.48 Conjecture not found
% 11.51/7.20 Conjecture not found
% 11.74/7.37 Conjecture not found
% 11.85/7.44 Conjecture not found
% 11.92/7.46 Conjecture not found
% 11.94/7.50 Conjecture not found
% 12.11/7.56 Conjecture not found
% 12.11/7.58 Conjecture not found
% 12.11/7.60 Conjecture not found
% 12.21/7.67 Conjecture not found
% 12.31/7.73 Conjecture not found
% 12.42/7.79 Conjecture not found
% 12.42/7.83 Conjecture not found
% 12.42/7.84 Conjecture not found
% 12.59/7.91 Conjecture not found
% 12.68/7.97 Conjecture not found
% 12.75/8.02 Conjecture not found
% 12.89/8.09 Conjecture not found
% 12.97/8.16 Conjecture not found
% 13.00/8.18 Conjecture not found
% 13.00/8.21 Conjecture not found
% 13.10/8.25 Conjecture not found
% 13.17/8.27 Conjecture not found
% 13.17/8.32 Conjecture not found
% 13.26/8.36 Conjecture not found
% 13.26/8.38 Conjecture not found
% 13.39/8.46 Conjecture not found
% 13.55/8.53 Conjecture not found
% 13.55/8.56 Conjecture not found
% 13.55/8.58 Conjecture not found
% 13.55/8.62 Conjecture not found
% 13.74/8.64 Conjecture not found
% 13.74/8.66 Conjecture not found
% 13.74/8.69 Conjecture not found
% 13.81/8.72 Conjecture not found
% 13.81/8.75 Conjecture not found
% 13.99/8.77 Conjecture not found
% 14.05/8.85 Conjecture not found
% 14.05/8.87 Conjecture not found
% 14.05/8.91 Conjecture not found
% 14.15/8.95 Conjecture not found
% 14.15/9.00 Conjecture not found
% 14.31/9.02 Conjecture not found
% 14.31/9.05 Conjecture not found
% 14.37/9.08 Conjecture not found
% 14.37/9.12 Conjecture not found
% 14.37/9.13 Conjecture not found
% 14.51/9.19 Conjecture not found
% 14.65/9.24 Conjecture not found
% 14.65/9.27 Conjecture not found
% 14.73/9.32 Conjecture not found
% 14.73/9.33 Conjecture not found
% 14.73/9.36 Conjecture not found
% 14.78/9.43 Conjecture not found
% 14.78/9.44 Conjecture not found
% 14.99/9.47 Conjecture not found
% 14.99/9.49 Conjecture not found
% 15.03/9.51 Conjecture not found
% 15.03/9.52 Conjecture not found
% 15.03/9.53 Conjecture not found
% 15.03/9.53 Conjecture not found
% 15.08/9.60 Conjecture not found
% 15.37/9.75 Conjecture not found
% 15.37/9.76 Conjecture not found
% 15.41/9.82 Conjecture not found
% 15.58/9.85 Conjecture not found
% 15.58/9.87 Conjecture not found
% 15.64/9.91 Conjecture not found
% 15.64/9.94 Conjecture not found
% 15.68/9.98 Conjecture not found
% 15.85/10.07 Conjecture not found
% 15.95/10.12 Conjecture not found
% 16.01/10.17 Conjecture not found
% 16.01/10.22 Conjecture not found
% 16.37/10.40 Conjecture not found
% 16.43/10.51 Conjecture not found
% 16.68/10.59 Conjecture not found
% 16.68/10.61 Conjecture not found
% 16.68/10.65 Conjecture not found
% 16.75/10.70 Conjecture not found
% 16.92/10.78 Conjecture not found
% 16.92/10.81 Conjecture not found
% 17.10/10.92 Conjecture not found
% 17.18/11.01 Conjecture not found
% 17.36/11.10 Conjecture not found
% 17.49/11.15 Conjecture not found
% 17.54/11.22 Conjecture not found
% 17.54/11.24 Conjecture not found
% 17.74/11.32 Conjecture not found
% 17.84/11.38 Conjecture not found
% 17.96/11.49 Conjecture not found
% 18.27/11.67 Conjecture not found
% 18.27/11.69 Conjecture not found
% 18.34/11.74 Conjecture not found
% 18.34/11.77 Conjecture not found
% 18.40/11.81 Conjecture not found
% 18.66/11.97 Conjecture not found
% 18.75/12.08 Conjecture not found
% 18.83/12.11 Conjecture not found
% 19.06/12.19 Conjecture not found
% 19.58/12.57 Conjecture not found
% 19.64/12.67 Conjecture not found
% 19.73/12.75 Conjecture not found
% 19.92/12.78 Conjecture not found
% 19.92/12.81 Conjecture not found
% 19.92/12.82 Conjecture not found
% 20.05/12.92 Conjecture not found
% 20.15/13.05 Conjecture not found
% 20.44/13.16 Conjecture not found
% 20.48/13.23 Conjecture not found
% 20.54/13.26 Conjecture not found
% 20.81/13.44 Conjecture not found
% 20.96/13.53 Conjecture not found
% 21.01/13.61 Conjecture not found
% 21.27/13.68 Conjecture not found
% 21.31/13.73 Conjecture not found
% 21.37/13.75 Conjecture not found
% 21.37/13.79 Conjecture not found
% 21.42/13.80 Conjecture not found
% 21.42/13.83 Conjecture not found
% 21.64/13.91 Conjecture not found
% 21.74/13.96 Conjecture not found
% 21.78/14.00 Conjecture not found
% 21.78/14.04 Conjecture not found
% 21.92/14.15 Conjecture not found
% 21.95/14.16 Conjecture not found
% 21.95/14.21 Conjecture not found
% 22.19/14.25 Conjecture not found
% 22.38/14.45 Conjecture not found
% 22.41/14.47 Conjecture not found
% 22.67/14.54 Conjecture not found
% 22.67/14.55 Conjecture not found
% 22.67/14.56 Conjecture not found
% 22.67/14.56 Conjecture not found
% 22.67/14.59 Conjecture not found
% 22.79/14.67 Conjecture not found
% 22.79/14.68 Conjecture not found
% 22.82/14.70 Conjecture not found
% 23.12/14.82 Conjecture not found
% 23.18/14.92 Conjecture not found
% 23.34/15.05 Conjecture not found
% 23.34/15.08 Conjecture not found
% 23.77/15.29 Conjecture not found
% 24.16/15.53 Conjecture not found
% 24.16/15.55 Conjecture not found
% 24.27/15.62 Conjecture not found
% 24.30/15.65 Conjecture not found
% 24.30/15.67 Conjecture not found
% 24.65/15.82 Conjecture not found
% 24.72/15.93 Conjecture not found
% 24.83/16.01 Conjecture not found
% 24.87/16.04 Conjecture not found
% 25.21/16.21 Conjecture not found
% 25.30/16.27 Conjecture not found
% 25.34/16.31 Conjecture not found
% 25.38/16.40 Conjecture not found
% 25.59/16.52 Conjecture not found
% 25.59/16.53 Conjecture not found
% 25.84/16.60 Conjecture not found
% 25.95/16.72 Conjecture not found
% 26.01/16.76 Conjecture not found
% 26.01/16.78 Conjecture not found
% 26.11/16.87 Conjecture not found
% 26.41/16.96 Conjecture not found
% 26.41/16.96 Conjecture not found
% 26.41/17.04 Conjecture not found
% 26.54/17.12 Conjecture not found
% 26.60/17.18 Conjecture not found
% 26.66/17.25 Conjecture not found
% 27.01/17.37 Conjecture not found
% 27.05/17.39 Conjecture not found
% 27.13/17.49 Conjecture not found
% 27.22/17.60 Conjecture not found
% 27.62/17.75 Conjecture not found
% 27.64/17.78 Conjecture not found
% 27.73/17.90 Conjecture not found
% 27.80/17.93 Conjecture not found
% 27.80/17.95 Conjecture not found
% 27.80/17.96 Conjecture not found
% 27.80/17.97 Conjecture not found
% 27.87/18.02 Conjecture not found
% 27.87/18.03 Conjecture not found
% 28.23/18.15 Conjecture not found
% 28.30/18.26 Conjecture not found
% 28.36/18.35 Conjecture not found
% 28.64/18.40 Conjecture not found
% 28.64/18.41 Conjecture not found
% 28.75/18.50 Conjecture not found
% 28.84/18.53 Conjecture not found
% 28.84/18.55 Conjecture not found
% 28.99/18.68 Conjecture not found
% 29.02/18.71 Conjecture not found
% 29.03/18.79 Conjecture not found
% 29.42/18.90 Conjecture not found
% 29.42/18.95 Conjecture not found
% 29.55/19.01 Conjecture not found
% 30.16/19.38 Conjecture not found
% 30.22/19.50 Conjecture not found
% 30.30/19.52 Conjecture not found
% 30.68/19.69 Conjecture not found
% 30.71/19.72 Conjecture not found
% 30.77/19.80 Conjecture not found
% 30.88/19.86 Conjecture not found
% 31.20/20.02 Conjecture not found
% 31.31/20.09 Conjecture not found
% 31.31/20.10 Conjecture not found
% 31.37/20.14 Conjecture not found
% 31.42/20.19 Conjecture not found
% 31.52/20.27 Conjecture not found
% 31.89/20.41 Conjecture not found
% 31.93/20.44 Conjecture not found
% 31.93/20.44 Conjecture not found
% 31.93/20.45 Conjecture not found
% 31.93/20.53 Conjecture not found
% 32.03/20.55 Conjecture not found
% 32.09/20.65 Conjecture not found
% 32.25/20.82 Conjecture not found
% 32.65/20.93 Conjecture not found
% 32.69/20.98 Conjecture not found
% 32.69/21.00 Conjecture not found
% 32.69/21.03 Conjecture not found
% 32.81/21.11 Conjecture not found
% 32.87/21.15 Conjecture not found
% 32.89/21.16 Conjecture not found
% 32.95/21.21 Conjecture not found
% 33.17/21.29 Conjecture not found
% 33.34/21.37 Conjecture not found
% 33.39/21.42 Conjecture not found
% 33.47/21.47 Conjecture not found
% 33.62/21.62 Conjecture not found
% 33.74/21.69 Conjecture not found
% 33.74/21.73 Conjecture not found
% 34.07/21.84 Conjecture not found
% 34.07/21.87 Conjecture not found
% 34.17/21.95 Conjecture not found
% 34.17/21.98 Conjecture not found
% 34.23/22.01 Conjecture not found
% 34.23/22.04 Conjecture not found
% 34.31/22.08 Conjecture not found
% 34.31/22.10 Conjecture not found
% 34.76/22.34 Conjecture not found
% 34.76/22.35 Conjecture not found
% 34.76/22.37 Conjecture not found
% 34.83/22.44 Conjecture not found
% 34.96/22.50 Conjecture not found
% 35.01/22.56 Conjecture not found
% 35.01/22.59 Conjecture not found
% 35.40/22.69 Conjecture not found
% 35.40/22.74 Conjecture not found
% 35.55/22.82 Conjecture not found
% 35.57/22.86 Conjecture not found
% 35.65/22.92 Conjecture not found
% 35.65/22.97 Conjecture not found
% 35.70/22.99 Conjecture not found
% 35.70/23.01 Conjecture not found
% 35.78/23.07 Conjecture not found
% 36.14/23.17 Conjecture not found
% 36.20/23.23 Conjecture not found
% 36.24/23.28 Conjecture not found
% 36.24/23.30 Conjecture not found
% 36.36/23.39 Conjecture not found
% 36.44/23.48 Conjecture not found
% 36.50/23.52 Conjecture not found
% 36.54/23.56 Conjecture not found
% 36.54/23.64 Conjecture not found
% 36.95/23.70 Conjecture not found
% 36.95/23.72 Conjecture not found
% 36.95/23.75 Conjecture not found
% 37.05/23.82 Conjecture not found
% 37.09/23.85 Conjecture not found
% 37.09/23.89 Conjecture not found
% 37.19/23.98 Conjecture not found
% 37.31/24.07 Conjecture not found
% 37.83/24.28 Conjecture not found
% 37.89/24.33 Conjecture not found
% 37.93/24.40 Conjecture not found
% 38.04/24.53 Conjecture not found
% 38.44/24.72 Conjecture not found
% 38.63/24.80 Conjecture not found
% 38.76/24.92 Conjecture not found
% 38.78/24.95 Conjecture not found
% 38.78/24.97 Conjecture not found
% 38.78/25.00 Conjecture not found
% 38.86/25.02 Conjecture not found
% 38.86/25.05 Conjecture not found
% 38.92/25.08 Conjecture not found
% 38.92/25.09 Conjecture not found
% 38.92/25.13 Conjecture not found
% 39.00/25.16 Conjecture not found
% 39.35/25.27 Conjecture not found
% 39.54/25.39 Conjecture not found
% 39.54/25.45 Conjecture not found
% 39.65/25.51 Conjecture not found
% 39.67/25.54 Conjecture not found
% 39.67/25.57 Conjecture not found
% 39.83/25.73 Conjecture not found
% 40.27/25.91 Conjecture not found
% 40.36/25.96 Conjecture not found
% 40.36/25.99 Conjecture not found
% 40.50/26.15 Conjecture not found
% 40.65/26.22 Conjecture not found
% 40.66/26.28 Conjecture not found
% 41.08/26.39 Conjecture not found
% 41.08/26.41 Conjecture not found
% 41.18/26.50 Conjecture not found
% 41.22/26.52 Conjecture not found
% 41.22/26.54 Conjecture not found
% 41.26/26.60 Conjecture not found
% 41.32/26.63 Conjecture not found
% 41.32/26.65 Conjecture not found
% 41.37/26.68 Conjecture not found
% 41.37/26.70 Conjecture not found
% 41.46/26.78 Conjecture not found
% 41.79/26.88 Conjecture not found
% 42.01/26.96 Conjecture not found
% 42.01/27.05 Conjecture not found
% 42.32/27.26 Conjecture not found
% 42.32/27.28 Conjecture not found
% 42.36/27.32 Conjecture not found
% 42.41/27.34 Conjecture not found
% 42.41/27.40 Conjecture not found
% 42.67/27.45 Conjecture not found
% 42.67/27.45 Conjecture not found
% 43.00/27.60 Conjecture not found
% 43.00/27.63 Conjecture not found
% 43.07/27.67 Conjecture not found
% 43.13/27.73 Conjecture not found
% 43.13/27.75 Conjecture not found
% 43.17/27.80 Conjecture not found
% 43.24/27.86 Conjecture not found
% 43.28/27.88 Conjecture not found
% 43.28/27.92 Conjecture not found
% 43.71/28.02 Conjecture not found
% 43.81/28.07 Conjecture not found
% 43.81/28.13 Conjecture not found
% 43.88/28.15 Conjecture not found
% 43.88/28.17 Conjecture not found
% 43.94/28.20 Conjecture not found
% 44.03/28.30 Conjecture not found
% 44.16/28.44 Conjecture not found
% 44.22/28.50 Conjecture not found
% 44.73/28.65 Conjecture not found
% 44.73/28.71 Conjecture not found
% 44.80/28.74 Conjecture not found
% 44.80/28.79 Conjecture not found
% 44.98/28.92 Conjecture not found
% 45.00/28.99 Conjecture not found
% 45.09/29.05 Conjecture not found
% 45.16/29.11 Conjecture not found
% 45.16/29.16 Conjecture not found
% 45.33/29.25 Conjecture not found
% 45.75/29.35 Conjecture not found
% 45.75/29.38 Conjecture not found
% 45.82/29.45 Conjecture not found
% 45.89/29.50 Conjecture not found
% 45.89/29.53 Conjecture not found
% 45.98/29.57 Conjecture not found
% 46.00/29.60 Conjecture not found
% 46.05/29.63 Conjecture not found
% 46.06/29.69 Conjecture not found
% 46.13/29.75 Conjecture not found
% 46.19/29.85 Conjecture not found
% 46.66/29.87 Conjecture not found
% 46.71/29.93 Conjecture not found
% 46.76/30.00 Conjecture not found
% 46.81/30.05 Conjecture not found
% 46.86/30.09 Conjecture not found
% 46.95/30.14 Conjecture not found
% 46.95/30.16 Conjecture not found
% 46.99/30.19 Conjecture not found
% 47.06/30.27 Conjecture not found
% 47.06/30.29 Conjecture not found
% 47.11/30.34 Conjecture not found
% 47.16/30.42 Conjecture not found
% 47.16/30.43 Conjecture not found
% 47.75/30.61 Conjecture not found
% 47.75/30.63 Conjecture not found
% 47.82/30.66 Conjecture not found
% 47.85/30.69 Conjecture not found
% 47.92/30.76 Conjecture not found
% 47.92/30.79 Conjecture not found
% 48.01/30.85 Conjecture not found
% 48.06/30.90 Conjecture not found
% 48.06/30.93 Conjecture not found
% 48.15/31.02 Conjecture not found
% 48.24/31.12 Conjecture not found
% 48.87/31.33 Conjecture not found
% 48.92/31.36 Conjecture not found
% 48.92/31.38 Conjecture not found
% 48.92/31.40 Conjecture not found
% 49.09/31.55 Conjecture not found
% 49.09/31.57 Conjecture not found
% 49.12/31.61 Conjecture not found
% 49.19/31.67 Conjecture not found
% 49.31/31.81 Conjecture not found
% 49.54/31.93 Conjecture not found
% 50.07/32.14 Conjecture not found
% 50.07/32.16 Conjecture not found
% 50.12/32.25 Conjecture not found
% 50.12/32.26 Conjecture not found
% 50.20/32.28 Conjecture not found
% 50.21/32.29 Conjecture not found
% 50.27/32.35 Conjecture not found
% 50.27/32.41 Conjecture not found
% 50.36/32.45 Conjecture not found
% 50.36/32.47 Conjecture not found
% 50.43/32.54 Conjecture not found
% 51.02/32.68 Conjecture not found
% 51.02/32.69 Conjecture not found
% 51.11/32.73 Conjecture not found
% 51.18/32.81 Conjecture not found
% 51.18/32.85 Conjecture not found
% 51.25/32.94 Conjecture not found
% 51.34/32.99 Conjecture not found
% 51.40/33.06 Conjecture not found
% 51.40/33.10 Conjecture not found
% 52.10/33.29 Conjecture not found
% 52.17/33.35 Conjecture not found
% 52.17/33.39 Conjecture not found
% 52.28/33.46 Conjecture not found
% 52.28/33.53 Conjecture not found
% 52.38/33.55 Conjecture not found
% 52.38/33.58 Conjecture not found
% 52.42/33.63 Conjecture not found
% 52.58/33.80 Conjecture not found
% 52.58/33.86 Conjecture not found
% 52.69/33.88 Conjecture not found
% 53.12/33.99 Conjecture not found
% 53.12/34.01 Conjecture not found
% 53.30/34.05 Conjecture not found
% 53.33/34.09 Conjecture not found
% 53.33/34.12 Conjecture not found
% 53.38/34.14 Conjecture not found
% 53.41/34.19 Conjecture not found
% 53.48/34.24 Conjecture not found
% 53.53/34.30 Conjecture not found
% 53.53/34.34 Conjecture not found
% 53.60/34.35 Conjecture not found
% 53.63/34.39 Conjecture not found
% 53.63/34.41 Conjecture not found
% 53.70/34.44 Conjecture not found
% 53.80/34.54 Conjecture not found
% 53.83/34.57 Conjecture not found
% 53.83/34.58 Conjecture not found
% 53.83/34.59 Conjecture not found
% 53.97/34.65 Conjecture not found
% 54.15/34.70 Conjecture not found
% 54.43/34.73 Conjecture not found
% 54.47/34.77 Conjecture not found
% 54.47/34.79 Conjecture not found
% 54.47/34.83 Conjecture not found
% 54.57/34.90 Conjecture not found
% 54.63/34.92 Conjecture not found
% 54.63/34.95 Conjecture not found
% 54.67/34.98 Conjecture not found
% 54.74/35.08 Conjecture not found
% 54.78/35.09 Conjecture not found
% 54.95/35.26 Conjecture not found
% 54.95/35.27 Conjecture not found
% 54.95/35.29 Conjecture not found
% 55.71/35.59 Conjecture not found
% 55.71/35.63 Conjecture not found
% 55.80/35.67 Conjecture not found
% 55.83/35.69 Conjecture not found
% 55.88/35.77 Conjecture not found
% 55.95/35.83 Conjecture not found
% 56.01/35.90 Conjecture not found
% 56.10/35.96 Conjecture not found
% 56.13/36.02 Conjecture not found
% 56.76/36.25 Conjecture not found
% 56.83/36.26 Conjecture not found
% 56.91/36.38 Conjecture not found
% 56.91/36.41 Conjecture not found
% 57.00/36.46 Conjecture not found
% 57.00/36.48 Conjecture not found
% 57.06/36.50 Conjecture not found
% 57.06/36.52 Conjecture not found
% 57.14/36.57 Conjecture not found
% 57.14/36.61 Conjecture not found
% 57.14/36.62 Conjecture not found
% 57.23/36.65 Conjecture not found
% 57.23/36.71 Conjecture not found
% 57.23/36.73 Conjecture not found
% 57.36/36.79 Conjecture not found
% 57.36/36.83 Conjecture not found
% 57.93/37.02 Conjecture not found
% 58.09/37.08 Conjecture not found
% 58.13/37.14 Conjecture not found
% 58.21/37.22 Conjecture not found
% 58.31/37.28 Conjecture not found
% 58.38/37.37 Conjecture not found
% 58.41/37.41 Conjecture not found
% 58.47/37.44 Conjecture not found
% 58.50/37.51 Conjecture not found
% 58.69/37.65 Conjecture not found
% 59.83/38.32 Conjecture not found
% 59.83/38.35 Conjecture not found
% 59.94/38.42 Conjecture not found
% 60.00/38.49 Conjecture not found
% 60.40/38.53 Conjecture not found
% 60.40/38.55 Conjecture not found
% 60.62/38.56 Conjecture not found
% 60.62/38.59 Conjecture not found
% 60.62/38.61 Conjecture not found
% 60.62/38.63 Conjecture not found
% 60.71/38.66 Conjecture not found
% 60.80/38.75 Conjecture not found
% 60.94/38.90 Conjecture not found
% 61.05/39.01 Conjecture not found
% 61.09/39.08 Conjecture not found
% 61.17/39.15 Conjecture not found
% 61.17/39.17 Conjecture not found
% 61.26/39.21 Conjecture not found
% 61.89/39.32 Conjecture not found
% 61.92/39.34 Conjecture not found
% 61.92/39.38 Conjecture not found
% 61.92/39.41 Conjecture not found
% 62.00/39.43 Conjecture not found
% 62.08/39.54 Conjecture not found
% 62.15/39.59 Conjecture not found
% 62.15/39.67 Conjecture not found
% 62.31/39.75 Conjecture not found
% 62.31/39.76 Conjecture not found
% 62.41/39.87 Conjecture not found
% 62.48/39.94 Conjecture not found
% 62.48/39.96 Conjecture not found
% 62.55/39.97 Conjecture not found
% 62.55/40.06 Conjecture not found
% 63.19/40.15 Conjecture not found
% 63.19/40.16 Conjecture not found
% 63.30/40.28 Conjecture not found
% 63.30/40.28 Conjecture not found
% 63.35/40.31 Conjecture not found
% 63.35/40.35 Conjecture not found
% 63.40/40.37 Conjecture not found
% 63.40/40.41 Conjecture not found
% 63.50/40.45 Conjecture not found
% 63.50/40.48 Conjecture not found
% 63.60/40.62 Conjecture not found
% 63.70/40.69 Conjecture not found
% 63.75/40.71 Conjecture not found
% 63.75/40.74 Conjecture not found
% 63.91/40.91 Conjecture not found
% 63.96/40.92 Conjecture not found
% 64.08/41.03 Conjecture not found
% 64.66/41.08 Conjecture not found
% 64.80/41.26 Conjecture not found
% 64.86/41.29 Conjecture not found
% 64.86/41.35 Conjecture not found
% 64.97/41.41 Conjecture not found
% 65.03/41.47 Conjecture not found
% 65.03/41.50 Conjecture not found
% 65.16/41.60 Conjecture not found
% 65.25/41.67 Conjecture not found
% 65.48/41.74 Conjecture not found
% 65.72/41.76 Conjecture not found
% 65.72/41.77 Conjecture not found
% 65.72/41.83 Conjecture not found
% 65.81/41.87 Conjecture not found
% 65.86/41.93 Conjecture not found
% 65.93/41.95 Conjecture not found
% 65.93/41.96 Conjecture not found
% 65.93/41.97 Conjecture not found
% 65.97/41.99 Conjecture not found
% 65.97/42.02 Conjecture not found
% 65.97/42.02 Conjecture not found
% 66.02/42.03 Conjecture not found
% 66.02/42.05 Conjecture not found
% 66.05/42.09 Conjecture not found
% 66.05/42.11 Conjecture not found
% 66.52/42.19 Conjecture not found
% 66.77/42.24 Conjecture not found
% 66.77/42.24 Conjecture not found
% 66.80/42.33 Conjecture not found
% 66.80/42.33 Conjecture not found
% 66.87/42.35 Conjecture not found
% 66.87/42.36 Conjecture not found
% 66.90/42.38 Conjecture not found
% 67.00/42.46 Conjecture not found
% 67.00/42.50 Conjecture not found
% 67.00/42.52 Conjecture not found
% 67.00/42.53 Conjecture not found
% 67.10/42.54 Conjecture not found
% 67.34/42.61 Conjecture not found
% 67.34/42.62 Conjecture not found
% 67.87/42.73 Conjecture not found
% 67.87/42.74 Conjecture not found
% 67.90/42.82 Conjecture not found
% 67.98/42.86 Conjecture not found
% 68.03/42.88 Conjecture not found
% 68.03/42.89 Conjecture not found
% 68.03/42.90 Conjecture not found
% 68.03/42.91 Conjecture not found
% 68.03/42.92 Conjecture not found
% 68.03/42.93 Conjecture not found
% 68.10/42.96 Conjecture not found
% 68.12/43.01 Conjecture not found
% 68.45/43.03 Conjecture not found
% 68.81/43.12 Conjecture not found
% 68.98/43.19 Conjecture not found
% 68.98/43.21 Conjecture not found
% 68.98/43.24 Conjecture not found
% 69.04/43.25 Conjecture not found
% 69.04/43.27 Conjecture not found
% 69.04/43.28 Conjecture not found
% 69.09/43.31 Conjecture not found
% 69.09/43.33 Conjecture not found
% 69.14/43.42 Conjecture not found
% 70.20/43.77 Conjecture not found
% 70.34/43.93 Conjecture not found
% 70.34/43.93 Conjecture not found
% 70.40/43.99 Conjecture not found
% 71.19/44.15 Conjecture not found
% 71.21/44.19 Conjecture not found
% 71.21/44.20 Conjecture not found
% 71.21/44.21 Conjecture not found
% 71.28/44.25 Conjecture not found
% 71.28/44.27 Conjecture not found
% 71.33/44.32 Conjecture not found
% 71.33/44.34 Conjecture not found
% 71.33/44.34 Conjecture not found
% 71.41/44.36 Conjecture not found
% 71.43/44.38 Conjecture not found
% 71.43/44.40 Conjecture not found
% 71.43/44.41 Conjecture not found
% 71.43/44.42 Conjecture not found
% 71.98/44.54 Conjecture not found
% 71.98/44.56 Conjecture not found
% 72.30/44.61 Conjecture not found
% 72.38/44.67 Conjecture not found
% 72.38/44.67 Conjecture not found
% 72.40/44.68 Conjecture not found
% 72.40/44.69 Conjecture not found
% 72.40/44.69 Conjecture not found
% 72.40/44.71 Conjecture not found
% 72.46/44.75 Conjecture not found
% 72.46/44.75 Conjecture not found
% 72.49/44.82 Conjecture not found
% 72.61/44.91 Conjecture not found
% 72.61/44.93 Conjecture not found
% 72.67/44.94 Conjecture not found
% 72.67/44.95 Conjecture not found
% 72.69/44.97 Conjecture not found
% 72.69/44.99 Conjecture not found
% 73.26/45.12 Conjecture not found
% 73.50/45.14 Conjecture not found
% 73.50/45.14 Conjecture not found
% 73.50/45.15 Conjecture not found
% 73.54/45.21 Conjecture not found
% 73.54/45.23 Conjecture not found
% 73.60/45.27 Conjecture not found
% 73.64/45.30 Conjecture not found
% 73.64/45.31 Conjecture not found
% 73.64/45.33 Conjecture not found
% 73.70/45.36 Conjecture not found
% 73.70/45.37 Conjecture not found
% 73.74/45.38 Conjecture not found
% 73.74/45.40 Conjecture not found
% 73.74/45.42 Conjecture not found
% 73.80/45.44 Conjecture not found
% 73.82/45.48 Conjecture not found
% 73.82/45.50 Conjecture not found
% 73.88/45.55 Conjecture not found
% 73.92/45.59 Conjecture not found
% 73.92/45.61 Conjecture not found
% 74.10/45.67 Conjecture not found
% 74.42/45.73 Conjecture not found
% 74.77/45.76 Conjecture not found
% 74.77/45.81 Conjecture not found
% 74.84/45.85 Conjecture not found
% 74.88/45.88 Conjecture not found
% 74.88/45.91 Conjecture not found
% 74.88/45.93 Conjecture not found
% 74.96/45.97 Conjecture not found
% 74.98/45.98 Conjecture not found
% 74.98/45.99 Conjecture not found
% 75.09/46.10 Conjecture not found
% 75.85/46.20 Conjecture not found
% 75.85/46.22 Conjecture not found
% 75.93/46.26 Conjecture not found
% 75.95/46.27 Conjecture not found
% 75.95/46.28 Conjecture not found
% 75.95/46.29 Conjecture not found
% 76.00/46.32 Conjecture not found
% 76.04/46.39 Conjecture not found
% 76.04/46.42 Conjecture not found
% 76.12/46.44 Conjecture not found
% 76.12/46.47 Conjecture not found
% 76.17/46.51 Conjecture not found
% 76.23/46.56 Conjecture not found
% 76.23/46.56 Conjecture not found
% 76.23/46.58 Conjecture not found
% 76.28/46.61 Conjecture not found
% 76.32/46.70 Conjecture not found
% 77.16/46.83 Conjecture not found
% 77.16/46.84 Conjecture not found
% 77.23/46.91 Conjecture not found
% 77.29/46.95 Conjecture not found
% 77.33/46.96 Conjecture not found
% 77.33/47.01 Conjecture not found
% 77.33/47.02 Conjecture not found
% 77.33/47.03 Conjecture not found
% 77.46/47.10 Conjecture not found
% 77.46/47.11 Conjecture not found
% 77.46/47.13 Conjecture not found
% 77.51/47.15 Conjecture not found
% 77.51/47.17 Conjecture not found
% 77.51/47.17 Conjecture not found
% 77.51/47.19 Conjecture not found
% 77.74/47.27 Conjecture not found
% 78.44/47.39 Conjecture not found
% 78.47/47.41 Conjecture not found
% 78.47/47.42 Conjecture not found
% 78.50/47.44 Conjecture not found
% 78.53/47.49 Conjecture not found
% 78.61/47.54 Conjecture not found
% 78.74/47.70 Conjecture not found
% 78.84/47.79 Conjecture not found
% 78.87/47.81 Conjecture not found
% 78.90/47.84 Conjecture not found
% 79.02/47.94 Conjecture not found
% 79.57/47.99 Conjecture not found
% 79.57/48.05 Conjecture not found
% 79.57/48.06 Conjecture not found
% 79.57/48.06 Conjecture not found
% 79.86/48.08 Conjecture not found
% 79.86/48.10 Conjecture not found
% 79.91/48.12 Conjecture not found
% 79.91/48.13 Conjecture not found
% 79.94/48.15 Conjecture not found
% 79.94/48.16 Conjecture not found
% 79.94/48.18 Conjecture not found
% 79.94/48.18 Conjecture not found
% 79.94/48.22 Conjecture not found
% 80.04/48.26 Conjecture not found
% 80.04/48.29 Conjecture not found
% 80.09/48.32 Conjecture not found
% 80.14/48.37 Conjecture not found
% 80.14/48.41 Conjecture not found
% 80.14/48.42 Conjecture not found
% 80.29/48.52 Conjecture not found
% 80.29/48.54 Conjecture not found
% 80.67/48.56 Conjecture not found
% 80.67/48.59 Conjecture not found
% 80.67/48.64 Conjecture not found
% 81.22/48.67 Conjecture not found
% 81.76/49.14 Conjecture not found
% 82.50/49.21 Conjecture not found
% 82.50/49.23 Conjecture not found
% 82.56/49.28 Conjecture not found
% 82.66/49.37 Conjecture not found
% 82.66/49.39 Conjecture not found
% 82.71/49.46 Conjecture not found
% 82.78/49.49 Conjecture not found
% 82.83/49.54 Conjecture not found
% 82.86/49.57 Conjecture not found
% 82.86/49.59 Conjecture not found
% 82.86/49.61 Conjecture not found
% 82.94/49.64 Conjecture not found
% 82.94/49.67 Conjecture not found
% 82.99/49.68 Conjecture not found
% 82.99/49.69 Start search
% 182.47/73.32 nb_step : 1 - limit : 175678
% 184.46/74.14 Launch Gotab with destructive = true
%------------------------------------------------------------------------------