TSTP Solution File: SEU417+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : SEU417+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n027.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:00 EDT 2022
% Result : Timeout 300.15s 91.91s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : SEU417+4 : TPTP v8.1.0. Released v3.4.0.
% 0.07/0.12 % Command : goeland -dmt -presko -proof %s
% 0.12/0.33 % Computer : n027.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:03:30 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.000036s][1][MAIN] Problem : theBenchmark.p
% 0.12/0.38 Conjecture not found
% 0.12/0.38 Conjecture not found
% 0.12/0.39 Conjecture not found
% 0.12/0.39 Conjecture not found
% 0.18/0.40 Conjecture not found
% 0.18/0.42 Conjecture not found
% 0.18/0.44 Conjecture not found
% 0.18/0.46 Conjecture not found
% 0.18/0.47 Conjecture not found
% 0.18/0.47 Conjecture not found
% 0.18/0.51 Conjecture not found
% 0.18/0.54 Conjecture not found
% 0.18/0.55 Conjecture not found
% 0.18/0.56 Conjecture not found
% 0.18/0.57 Conjecture not found
% 0.18/0.59 Conjecture not found
% 0.18/0.61 Conjecture not found
% 0.63/0.65 Conjecture not found
% 0.73/0.73 Conjecture not found
% 0.73/0.73 Conjecture not found
% 0.84/0.83 Conjecture not found
% 1.00/0.88 Conjecture not found
% 1.12/0.96 Conjecture not found
% 1.12/0.99 Conjecture not found
% 1.29/1.06 Conjecture not found
% 1.39/1.10 Conjecture not found
% 1.39/1.16 Conjecture not found
% 1.51/1.18 Conjecture not found
% 1.51/1.21 Conjecture not found
% 1.51/1.23 Conjecture not found
% 1.51/1.24 Conjecture not found
% 1.51/1.24 Conjecture not found
% 1.51/1.25 Conjecture not found
% 1.83/1.36 Conjecture not found
% 1.83/1.38 Conjecture not found
% 1.83/1.38 Conjecture not found
% 1.83/1.40 Conjecture not found
% 1.83/1.40 Conjecture not found
% 1.83/1.41 Conjecture not found
% 1.83/1.41 Conjecture not found
% 1.83/1.42 Conjecture not found
% 1.83/1.42 Conjecture not found
% 1.97/1.47 Conjecture not found
% 2.04/1.53 Conjecture not found
% 2.04/1.53 Conjecture not found
% 2.04/1.53 Conjecture not found
% 2.16/1.55 Conjecture not found
% 2.20/1.57 Conjecture not found
% 2.20/1.58 Conjecture not found
% 2.20/1.60 Conjecture not found
% 2.28/1.62 Conjecture not found
% 2.28/1.64 Conjecture not found
% 2.34/1.66 Conjecture not found
% 2.34/1.66 Conjecture not found
% 2.34/1.68 Conjecture not found
% 2.34/1.71 Conjecture not found
% 2.48/1.77 Conjecture not found
% 2.55/1.81 Conjecture not found
% 2.55/1.82 Conjecture not found
% 2.55/1.83 Conjecture not found
% 2.69/1.87 Conjecture not found
% 2.71/1.90 Conjecture not found
% 2.71/1.91 Conjecture not found
% 2.82/1.94 Conjecture not found
% 2.94/2.03 Conjecture not found
% 2.94/2.06 Conjecture not found
% 3.03/2.08 Conjecture not found
% 3.03/2.09 Conjecture not found
% 3.03/2.11 Conjecture not found
% 3.03/2.13 Conjecture not found
% 3.36/2.31 Conjecture not found
% 3.47/2.34 Conjecture not found
% 3.47/2.36 Conjecture not found
% 3.70/2.47 Conjecture not found
% 3.70/2.48 Conjecture not found
% 3.78/2.50 Conjecture not found
% 3.78/2.52 Conjecture not found
% 3.84/2.58 Conjecture not found
% 3.93/2.63 Conjecture not found
% 4.06/2.71 Conjecture not found
% 4.23/2.78 Conjecture not found
% 4.31/2.83 Conjecture not found
% 4.35/2.84 Conjecture not found
% 4.35/2.87 Conjecture not found
% 4.35/2.88 Conjecture not found
% 4.35/2.91 Conjecture not found
% 4.48/2.94 Conjecture not found
% 4.48/2.97 Conjecture not found
% 4.48/2.98 Conjecture not found
% 4.60/3.05 Conjecture not found
% 4.60/3.06 Conjecture not found
% 4.80/3.09 Conjecture not found
% 4.83/3.16 Conjecture not found
% 4.98/3.26 Conjecture not found
% 5.32/3.39 Conjecture not found
% 5.57/3.62 Conjecture not found
% 6.32/3.93 Conjecture not found
% 6.32/3.96 Conjecture not found
% 6.32/3.99 Conjecture not found
% 6.62/4.10 Conjecture not found
% 6.62/4.15 Conjecture not found
% 6.76/4.20 Conjecture not found
% 6.83/4.27 Conjecture not found
% 6.83/4.32 Conjecture not found
% 6.98/4.37 Conjecture not found
% 7.11/4.40 Conjecture not found
% 7.11/4.43 Conjecture not found
% 7.11/4.44 Conjecture not found
% 7.24/4.47 Conjecture not found
% 7.24/4.48 Conjecture not found
% 7.24/4.55 Conjecture not found
% 7.50/4.63 Conjecture not found
% 7.53/4.68 Conjecture not found
% 7.70/4.79 Conjecture not found
% 7.84/4.82 Conjecture not found
% 7.84/4.86 Conjecture not found
% 7.93/4.89 Conjecture not found
% 7.93/4.90 Conjecture not found
% 7.93/4.93 Conjecture not found
% 7.93/4.94 Conjecture not found
% 7.93/4.95 Conjecture not found
% 8.16/4.99 Conjecture not found
% 8.16/4.99 Conjecture not found
% 8.16/5.00 Conjecture not found
% 8.16/5.01 Conjecture not found
% 8.20/5.03 Conjecture not found
% 8.24/5.06 Conjecture not found
% 8.24/5.10 Conjecture not found
% 8.24/5.13 Conjecture not found
% 8.62/5.30 Conjecture not found
% 8.74/5.33 Conjecture not found
% 8.74/5.33 Conjecture not found
% 8.74/5.35 Conjecture not found
% 8.77/5.39 Conjecture not found
% 8.77/5.42 Conjecture not found
% 8.93/5.45 Conjecture not found
% 8.93/5.46 Conjecture not found
% 9.06/5.49 Conjecture not found
% 9.06/5.52 Conjecture not found
% 9.15/5.62 Conjecture not found
% 9.94/6.07 Conjecture not found
% 11.00/6.63 Conjecture not found
% 11.17/6.75 Conjecture not found
% 11.36/6.81 Conjecture not found
% 11.38/6.83 Conjecture not found
% 11.38/6.86 Conjecture not found
% 11.38/6.91 Conjecture not found
% 11.47/6.92 Conjecture not found
% 11.47/6.93 Conjecture not found
% 11.62/6.99 Conjecture not found
% 11.62/7.03 Conjecture not found
% 11.81/7.08 Conjecture not found
% 11.84/7.11 Conjecture not found
% 11.84/7.12 Conjecture not found
% 11.86/7.16 Conjecture not found
% 11.86/7.21 Conjecture not found
% 12.04/7.27 Conjecture not found
% 12.11/7.32 Conjecture not found
% 12.27/7.39 Conjecture not found
% 12.30/7.41 Conjecture not found
% 12.32/7.44 Conjecture not found
% 12.32/7.47 Conjecture not found
% 12.32/7.50 Conjecture not found
% 12.42/7.53 Conjecture not found
% 12.42/7.57 Conjecture not found
% 12.42/7.59 Conjecture not found
% 12.60/7.66 Conjecture not found
% 12.81/7.72 Conjecture not found
% 12.85/7.74 Conjecture not found
% 12.85/7.76 Conjecture not found
% 12.85/7.77 Conjecture not found
% 12.85/7.79 Conjecture not found
% 12.85/7.80 Conjecture not found
% 12.85/7.83 Conjecture not found
% 13.05/7.85 Conjecture not found
% 13.05/7.88 Conjecture not found
% 13.05/7.89 Conjecture not found
% 13.13/7.93 Conjecture not found
% 13.13/7.95 Conjecture not found
% 13.31/7.99 Conjecture not found
% 13.31/8.03 Conjecture not found
% 13.31/8.05 Conjecture not found
% 13.31/8.06 Conjecture not found
% 13.40/8.07 Conjecture not found
% 13.42/8.09 Conjecture not found
% 13.55/8.14 Conjecture not found
% 13.55/8.15 Conjecture not found
% 13.55/8.17 Conjecture not found
% 13.55/8.19 Conjecture not found
% 13.55/8.20 Conjecture not found
% 13.66/8.22 Conjecture not found
% 13.66/8.22 Conjecture not found
% 13.66/8.25 Conjecture not found
% 13.85/8.30 Conjecture not found
% 13.85/8.32 Conjecture not found
% 13.85/8.34 Conjecture not found
% 13.85/8.35 Conjecture not found
% 13.94/8.37 Conjecture not found
% 13.94/8.37 Conjecture not found
% 13.94/8.38 Conjecture not found
% 13.94/8.38 Conjecture not found
% 14.15/8.44 Conjecture not found
% 14.22/8.52 Conjecture not found
% 14.22/8.53 Conjecture not found
% 14.40/8.56 Conjecture not found
% 14.40/8.59 Conjecture not found
% 14.40/8.61 Conjecture not found
% 14.40/8.63 Conjecture not found
% 14.40/8.64 Conjecture not found
% 14.49/8.66 Conjecture not found
% 14.64/8.72 Conjecture not found
% 14.74/8.76 Conjecture not found
% 14.74/8.79 Conjecture not found
% 14.80/8.82 Conjecture not found
% 15.07/8.96 Conjecture not found
% 15.28/9.06 Conjecture not found
% 15.28/9.10 Conjecture not found
% 15.28/9.10 Conjecture not found
% 15.28/9.12 Conjecture not found
% 15.50/9.19 Conjecture not found
% 15.55/9.24 Conjecture not found
% 15.61/9.25 Conjecture not found
% 15.69/9.32 Conjecture not found
% 15.86/9.40 Conjecture not found
% 15.96/9.45 Conjecture not found
% 16.14/9.50 Conjecture not found
% 16.14/9.54 Conjecture not found
% 16.14/9.55 Conjecture not found
% 16.22/9.59 Conjecture not found
% 16.35/9.64 Conjecture not found
% 16.53/9.73 Conjecture not found
% 16.58/9.83 Conjecture not found
% 16.79/9.85 Conjecture not found
% 16.81/9.89 Conjecture not found
% 16.81/9.91 Conjecture not found
% 16.87/9.93 Conjecture not found
% 16.90/10.03 Conjecture not found
% 17.13/10.08 Conjecture not found
% 17.19/10.09 Conjecture not found
% 17.19/10.12 Conjecture not found
% 17.65/10.37 Conjecture not found
% 17.79/10.44 Conjecture not found
% 17.87/10.47 Conjecture not found
% 17.89/10.49 Conjecture not found
% 18.09/10.52 Conjecture not found
% 18.11/10.54 Conjecture not found
% 18.11/10.59 Conjecture not found
% 18.20/10.66 Conjecture not found
% 18.43/10.77 Conjecture not found
% 18.56/10.83 Conjecture not found
% 18.56/10.85 Conjecture not found
% 18.83/10.98 Conjecture not found
% 18.91/11.03 Conjecture not found
% 18.91/11.07 Conjecture not found
% 19.23/11.13 Conjecture not found
% 19.23/11.18 Conjecture not found
% 19.23/11.19 Conjecture not found
% 19.23/11.21 Conjecture not found
% 19.23/11.22 Conjecture not found
% 19.32/11.23 Conjecture not found
% 19.32/11.28 Conjecture not found
% 19.58/11.33 Conjecture not found
% 19.58/11.36 Conjecture not found
% 19.65/11.39 Conjecture not found
% 19.65/11.44 Conjecture not found
% 19.65/11.45 Conjecture not found
% 19.80/11.49 Conjecture not found
% 19.95/11.52 Conjecture not found
% 20.06/11.64 Conjecture not found
% 20.06/11.65 Conjecture not found
% 20.19/11.72 Conjecture not found
% 20.19/11.73 Conjecture not found
% 20.19/11.73 Conjecture not found
% 20.19/11.74 Conjecture not found
% 20.19/11.76 Conjecture not found
% 20.44/11.83 Conjecture not found
% 20.47/11.84 Conjecture not found
% 20.47/11.86 Conjecture not found
% 20.54/11.96 Conjecture not found
% 20.79/12.04 Conjecture not found
% 20.92/12.11 Conjecture not found
% 20.92/12.13 Conjecture not found
% 21.28/12.29 Conjecture not found
% 21.63/12.48 Conjecture not found
% 21.63/12.50 Conjecture not found
% 21.71/12.54 Conjecture not found
% 21.71/12.56 Conjecture not found
% 21.71/12.57 Conjecture not found
% 22.03/12.69 Conjecture not found
% 22.12/12.75 Conjecture not found
% 22.12/12.79 Conjecture not found
% 22.12/12.81 Conjecture not found
% 22.46/12.95 Conjecture not found
% 22.54/12.98 Conjecture not found
% 22.54/13.00 Conjecture not found
% 22.59/13.04 Conjecture not found
% 22.72/13.10 Conjecture not found
% 22.72/13.11 Conjecture not found
% 22.92/13.14 Conjecture not found
% 22.96/13.18 Conjecture not found
% 22.96/13.21 Conjecture not found
% 22.96/13.23 Conjecture not found
% 23.26/13.30 Conjecture not found
% 23.32/13.35 Conjecture not found
% 23.32/13.35 Conjecture not found
% 23.36/13.39 Conjecture not found
% 23.36/13.43 Conjecture not found
% 23.46/13.48 Conjecture not found
% 23.70/13.52 Conjecture not found
% 23.79/13.57 Conjecture not found
% 23.79/13.59 Conjecture not found
% 23.83/13.64 Conjecture not found
% 24.15/13.75 Conjecture not found
% 24.20/13.81 Conjecture not found
% 24.20/13.82 Conjecture not found
% 24.37/13.90 Conjecture not found
% 24.56/13.93 Conjecture not found
% 24.59/13.95 Conjecture not found
% 24.59/13.95 Conjecture not found
% 24.59/13.97 Conjecture not found
% 24.59/14.00 Conjecture not found
% 24.59/14.00 Conjecture not found
% 24.68/14.08 Conjecture not found
% 25.05/14.17 Conjecture not found
% 25.11/14.24 Conjecture not found
% 25.11/14.26 Conjecture not found
% 25.11/14.27 Conjecture not found
% 25.11/14.32 Conjecture not found
% 25.21/14.33 Conjecture not found
% 25.21/14.34 Conjecture not found
% 25.45/14.44 Conjecture not found
% 25.45/14.46 Conjecture not found
% 25.58/14.48 Conjecture not found
% 25.62/14.53 Conjecture not found
% 25.66/14.55 Conjecture not found
% 25.66/14.61 Conjecture not found
% 26.11/14.83 Conjecture not found
% 26.48/14.92 Conjecture not found
% 26.53/14.93 Conjecture not found
% 26.60/15.02 Conjecture not found
% 26.60/15.03 Conjecture not found
% 26.77/15.10 Conjecture not found
% 26.77/15.12 Conjecture not found
% 27.00/15.19 Conjecture not found
% 27.05/15.22 Conjecture not found
% 27.05/15.23 Conjecture not found
% 27.05/15.24 Conjecture not found
% 27.20/15.29 Conjecture not found
% 27.43/15.36 Conjecture not found
% 27.43/15.42 Conjecture not found
% 27.51/15.43 Conjecture not found
% 27.51/15.44 Conjecture not found
% 27.51/15.44 Conjecture not found
% 27.57/15.48 Conjecture not found
% 27.57/15.49 Conjecture not found
% 27.91/15.58 Conjecture not found
% 27.99/15.69 Conjecture not found
% 28.09/15.74 Conjecture not found
% 28.09/15.76 Conjecture not found
% 28.09/15.78 Conjecture not found
% 28.27/15.82 Conjecture not found
% 28.47/15.89 Conjecture not found
% 28.47/15.91 Conjecture not found
% 28.47/15.92 Conjecture not found
% 28.47/15.95 Conjecture not found
% 28.57/15.98 Conjecture not found
% 28.59/16.02 Conjecture not found
% 28.63/16.05 Conjecture not found
% 28.63/16.09 Conjecture not found
% 29.03/16.23 Conjecture not found
% 29.03/16.25 Conjecture not found
% 29.03/16.26 Conjecture not found
% 29.16/16.34 Conjecture not found
% 29.21/16.36 Conjecture not found
% 29.55/16.45 Conjecture not found
% 29.60/16.48 Conjecture not found
% 29.60/16.50 Conjecture not found
% 29.60/16.51 Conjecture not found
% 29.60/16.54 Conjecture not found
% 29.68/16.55 Conjecture not found
% 29.78/16.67 Conjecture not found
% 29.78/16.69 Conjecture not found
% 29.78/16.70 Conjecture not found
% 30.14/16.75 Conjecture not found
% 30.19/16.78 Conjecture not found
% 30.19/16.81 Conjecture not found
% 30.19/16.83 Conjecture not found
% 30.27/16.86 Conjecture not found
% 30.27/16.89 Conjecture not found
% 30.49/16.95 Conjecture not found
% 30.65/16.99 Conjecture not found
% 30.72/17.05 Conjecture not found
% 30.75/17.08 Conjecture not found
% 30.75/17.09 Conjecture not found
% 30.75/17.10 Conjecture not found
% 30.83/17.14 Conjecture not found
% 30.87/17.18 Conjecture not found
% 30.87/17.21 Conjecture not found
% 30.87/17.24 Conjecture not found
% 30.94/17.26 Conjecture not found
% 31.28/17.37 Conjecture not found
% 31.28/17.42 Conjecture not found
% 31.28/17.44 Conjecture not found
% 31.39/17.47 Conjecture not found
% 31.43/17.49 Conjecture not found
% 31.43/17.52 Conjecture not found
% 31.43/17.53 Conjecture not found
% 31.43/17.55 Conjecture not found
% 31.50/17.59 Conjecture not found
% 31.55/17.61 Conjecture not found
% 31.55/17.63 Conjecture not found
% 31.98/17.73 Conjecture not found
% 32.04/17.79 Conjecture not found
% 32.11/17.90 Conjecture not found
% 32.15/17.92 Conjecture not found
% 32.20/17.97 Conjecture not found
% 32.61/18.09 Conjecture not found
% 32.71/18.18 Conjecture not found
% 32.71/18.22 Conjecture not found
% 32.80/18.28 Conjecture not found
% 32.89/18.33 Conjecture not found
% 33.22/18.35 Conjecture not found
% 33.22/18.37 Conjecture not found
% 33.22/18.39 Conjecture not found
% 33.28/18.41 Conjecture not found
% 33.28/18.42 Conjecture not found
% 33.28/18.43 Conjecture not found
% 33.28/18.45 Conjecture not found
% 33.33/18.46 Conjecture not found
% 33.33/18.49 Conjecture not found
% 33.33/18.54 Conjecture not found
% 33.42/18.59 Conjecture not found
% 33.85/18.66 Conjecture not found
% 33.86/18.68 Conjecture not found
% 33.86/18.70 Conjecture not found
% 33.93/18.77 Conjecture not found
% 34.02/18.86 Conjecture not found
% 34.08/18.89 Conjecture not found
% 34.08/18.90 Conjecture not found
% 34.54/19.01 Conjecture not found
% 34.57/19.04 Conjecture not found
% 34.57/19.06 Conjecture not found
% 34.57/19.09 Conjecture not found
% 34.57/19.10 Conjecture not found
% 34.68/19.15 Conjecture not found
% 34.68/19.16 Conjecture not found
% 34.68/19.17 Conjecture not found
% 35.02/19.22 Conjecture not found
% 35.02/19.26 Conjecture not found
% 35.16/19.28 Conjecture not found
% 35.16/19.30 Conjecture not found
% 35.16/19.32 Conjecture not found
% 35.16/19.36 Conjecture not found
% 35.28/19.40 Conjecture not found
% 35.32/19.45 Conjecture not found
% 35.32/19.50 Conjecture not found
% 35.82/19.62 Conjecture not found
% 35.82/19.64 Conjecture not found
% 35.82/19.66 Conjecture not found
% 35.93/19.67 Conjecture not found
% 35.93/19.68 Conjecture not found
% 35.95/19.70 Conjecture not found
% 35.95/19.70 Conjecture not found
% 36.01/19.77 Conjecture not found
% 36.01/19.78 Conjecture not found
% 36.30/19.84 Conjecture not found
% 36.47/19.89 Conjecture not found
% 36.47/19.91 Conjecture not found
% 36.47/19.92 Conjecture not found
% 36.47/19.95 Conjecture not found
% 36.55/19.96 Conjecture not found
% 36.58/19.98 Conjecture not found
% 36.58/20.01 Conjecture not found
% 36.62/20.03 Conjecture not found
% 36.65/20.06 Conjecture not found
% 36.65/20.06 Conjecture not found
% 36.65/20.08 Conjecture not found
% 36.65/20.09 Conjecture not found
% 36.78/20.15 Conjecture not found
% 37.14/20.21 Conjecture not found
% 37.14/20.24 Conjecture not found
% 37.22/20.28 Conjecture not found
% 37.26/20.31 Conjecture not found
% 37.26/20.32 Conjecture not found
% 37.26/20.34 Conjecture not found
% 37.43/20.42 Conjecture not found
% 37.82/20.47 Conjecture not found
% 37.82/20.50 Conjecture not found
% 37.89/20.53 Conjecture not found
% 37.89/20.56 Conjecture not found
% 37.94/20.60 Conjecture not found
% 37.94/20.63 Conjecture not found
% 38.01/20.65 Conjecture not found
% 38.04/20.69 Conjecture not found
% 38.04/20.71 Conjecture not found
% 38.23/20.74 Conjecture not found
% 38.43/20.78 Conjecture not found
% 38.43/20.82 Conjecture not found
% 38.43/20.83 Conjecture not found
% 38.62/20.87 Conjecture not found
% 38.66/20.91 Conjecture not found
% 38.66/20.95 Conjecture not found
% 38.74/20.96 Conjecture not found
% 38.75/20.99 Conjecture not found
% 38.79/21.03 Conjecture not found
% 38.81/21.06 Conjecture not found
% 38.81/21.10 Conjecture not found
% 39.32/21.14 Conjecture not found
% 39.32/21.15 Conjecture not found
% 39.32/21.17 Conjecture not found
% 39.39/21.21 Conjecture not found
% 39.39/21.22 Conjecture not found
% 39.39/21.25 Conjecture not found
% 39.47/21.29 Conjecture not found
% 39.47/21.30 Conjecture not found
% 39.55/21.36 Conjecture not found
% 39.55/21.37 Conjecture not found
% 39.55/21.38 Conjecture not found
% 39.55/21.39 Conjecture not found
% 39.55/21.44 Conjecture not found
% 39.83/21.48 Conjecture not found
% 40.12/21.53 Conjecture not found
% 40.12/21.56 Conjecture not found
% 40.18/21.57 Conjecture not found
% 40.18/21.62 Conjecture not found
% 40.27/21.67 Conjecture not found
% 40.36/21.77 Conjecture not found
% 40.36/21.79 Conjecture not found
% 40.36/21.80 Conjecture not found
% 40.43/21.82 Conjecture not found
% 41.01/21.96 Conjecture not found
% 41.01/21.97 Conjecture not found
% 41.01/21.99 Conjecture not found
% 41.06/22.03 Conjecture not found
% 41.15/22.11 Conjecture not found
% 41.15/22.14 Conjecture not found
% 41.78/22.30 Conjecture not found
% 41.78/22.32 Conjecture not found
% 41.85/22.38 Conjecture not found
% 41.85/22.39 Conjecture not found
% 41.85/22.40 Conjecture not found
% 41.90/22.41 Conjecture not found
% 41.90/22.44 Conjecture not found
% 41.94/22.48 Conjecture not found
% 41.94/22.50 Conjecture not found
% 41.94/22.52 Conjecture not found
% 41.94/22.55 Conjecture not found
% 42.19/22.63 Conjecture not found
% 42.19/22.65 Conjecture not found
% 42.60/22.69 Conjecture not found
% 42.60/22.75 Conjecture not found
% 42.70/22.77 Conjecture not found
% 42.73/22.82 Conjecture not found
% 42.78/22.86 Conjecture not found
% 42.78/22.90 Conjecture not found
% 42.85/22.92 Conjecture not found
% 42.91/23.02 Conjecture not found
% 42.91/23.06 Conjecture not found
% 43.19/23.10 Conjecture not found
% 43.55/23.17 Conjecture not found
% 43.55/23.21 Conjecture not found
% 43.55/23.22 Conjecture not found
% 43.62/23.24 Conjecture not found
% 43.62/23.26 Conjecture not found
% 43.73/23.36 Conjecture not found
% 43.76/23.39 Conjecture not found
% 43.76/23.41 Conjecture not found
% 43.82/23.44 Conjecture not found
% 43.82/23.45 Conjecture not found
% 43.85/23.48 Conjecture not found
% 44.27/23.55 Conjecture not found
% 44.42/23.58 Conjecture not found
% 44.42/23.59 Conjecture not found
% 44.42/23.63 Conjecture not found
% 44.49/23.66 Conjecture not found
% 44.54/23.69 Conjecture not found
% 44.54/23.72 Conjecture not found
% 44.54/23.72 Conjecture not found
% 44.59/23.75 Conjecture not found
% 44.59/23.76 Conjecture not found
% 44.62/23.78 Conjecture not found
% 44.67/23.84 Conjecture not found
% 44.70/23.86 Conjecture not found
% 44.70/23.86 Conjecture not found
% 44.70/23.87 Conjecture not found
% 44.70/23.89 Conjecture not found
% 44.70/23.91 Conjecture not found
% 44.77/23.95 Conjecture not found
% 45.11/23.99 Conjecture not found
% 45.11/24.01 Conjecture not found
% 45.11/24.04 Conjecture not found
% 45.38/24.08 Conjecture not found
% 45.38/24.09 Conjecture not found
% 45.38/24.11 Conjecture not found
% 45.43/24.12 Conjecture not found
% 45.46/24.18 Conjecture not found
% 45.46/24.19 Conjecture not found
% 45.55/24.26 Conjecture not found
% 45.55/24.27 Conjecture not found
% 45.55/24.28 Conjecture not found
% 46.24/24.45 Conjecture not found
% 46.24/24.48 Conjecture not found
% 46.24/24.50 Conjecture not found
% 46.24/24.51 Conjecture not found
% 46.34/24.56 Conjecture not found
% 46.41/24.60 Conjecture not found
% 46.41/24.64 Conjecture not found
% 46.49/24.68 Conjecture not found
% 46.52/24.71 Conjecture not found
% 47.13/24.88 Conjecture not found
% 47.13/24.89 Conjecture not found
% 47.21/24.94 Conjecture not found
% 47.21/24.95 Conjecture not found
% 47.27/24.98 Conjecture not found
% 47.27/24.98 Conjecture not found
% 47.27/24.99 Conjecture not found
% 47.27/25.00 Conjecture not found
% 47.27/25.02 Conjecture not found
% 47.27/25.04 Conjecture not found
% 47.27/25.05 Conjecture not found
% 47.36/25.06 Conjecture not found
% 47.38/25.08 Conjecture not found
% 47.38/25.09 Conjecture not found
% 47.38/25.12 Conjecture not found
% 47.43/25.14 Conjecture not found
% 47.73/25.22 Conjecture not found
% 48.09/25.28 Conjecture not found
% 48.09/25.32 Conjecture not found
% 48.19/25.36 Conjecture not found
% 48.19/25.39 Conjecture not found
% 48.27/25.44 Conjecture not found
% 48.28/25.46 Conjecture not found
% 48.28/25.47 Conjecture not found
% 48.28/25.50 Conjecture not found
% 48.38/25.56 Conjecture not found
% 49.28/25.97 Conjecture not found
% 49.28/25.98 Conjecture not found
% 49.33/26.02 Conjecture not found
% 49.33/26.05 Conjecture not found
% 49.38/26.06 Conjecture not found
% 49.38/26.07 Conjecture not found
% 49.38/26.08 Conjecture not found
% 49.38/26.09 Conjecture not found
% 49.38/26.12 Conjecture not found
% 49.38/26.14 Conjecture not found
% 49.89/26.17 Conjecture not found
% 50.03/26.21 Conjecture not found
% 50.08/26.28 Conjecture not found
% 50.14/26.33 Conjecture not found
% 50.20/26.36 Conjecture not found
% 50.20/26.39 Conjecture not found
% 50.20/26.41 Conjecture not found
% 50.20/26.42 Conjecture not found
% 50.75/26.52 Conjecture not found
% 50.75/26.54 Conjecture not found
% 50.92/26.57 Conjecture not found
% 50.92/26.58 Conjecture not found
% 50.92/26.60 Conjecture not found
% 51.02/26.66 Conjecture not found
% 51.02/26.69 Conjecture not found
% 51.09/26.73 Conjecture not found
% 51.13/26.77 Conjecture not found
% 51.13/26.78 Conjecture not found
% 51.20/26.84 Conjecture not found
% 51.23/26.87 Conjecture not found
% 51.23/26.89 Conjecture not found
% 51.23/26.89 Conjecture not found
% 51.29/26.93 Conjecture not found
% 51.29/26.94 Conjecture not found
% 51.29/26.95 Conjecture not found
% 51.77/27.03 Conjecture not found
% 51.77/27.04 Conjecture not found
% 51.77/27.07 Conjecture not found
% 51.99/27.10 Conjecture not found
% 51.99/27.11 Conjecture not found
% 51.99/27.13 Conjecture not found
% 52.05/27.15 Conjecture not found
% 52.05/27.16 Conjecture not found
% 52.08/27.22 Conjecture not found
% 52.13/27.25 Conjecture not found
% 52.16/27.25 Conjecture not found
% 52.16/27.27 Conjecture not found
% 52.23/27.33 Conjecture not found
% 52.23/27.34 Conjecture not found
% 52.23/27.37 Conjecture not found
% 52.37/27.41 Conjecture not found
% 53.01/27.53 Conjecture not found
% 53.04/27.54 Conjecture not found
% 53.04/27.56 Conjecture not found
% 53.04/27.59 Conjecture not found
% 53.04/27.62 Conjecture not found
% 53.04/27.63 Conjecture not found
% 53.13/27.67 Conjecture not found
% 53.19/27.73 Conjecture not found
% 53.27/27.78 Conjecture not found
% 53.27/27.79 Conjecture not found
% 53.30/27.81 Conjecture not found
% 53.97/27.95 Conjecture not found
% 54.04/28.00 Conjecture not found
% 54.11/28.09 Conjecture not found
% 54.14/28.11 Conjecture not found
% 54.14/28.12 Conjecture not found
% 54.19/28.14 Conjecture not found
% 54.19/28.16 Conjecture not found
% 54.19/28.20 Conjecture not found
% 54.19/28.21 Conjecture not found
% 54.19/28.22 Conjecture not found
% 54.29/28.24 Conjecture not found
% 54.29/28.28 Conjecture not found
% 54.29/28.29 Conjecture not found
% 54.46/28.33 Conjecture not found
% 54.90/28.41 Conjecture not found
% 54.90/28.42 Conjecture not found
% 55.17/28.54 Conjecture not found
% 55.19/28.55 Conjecture not found
% 55.19/28.56 Conjecture not found
% 55.19/28.58 Conjecture not found
% 55.26/28.62 Conjecture not found
% 55.32/28.73 Conjecture not found
% 55.40/28.78 Conjecture not found
% 55.45/28.80 Conjecture not found
% 55.45/28.81 Conjecture not found
% 55.45/28.82 Conjecture not found
% 55.84/28.87 Conjecture not found
% 55.84/28.87 Conjecture not found
% 56.23/29.01 Conjecture not found
% 56.23/29.03 Conjecture not found
% 56.36/29.13 Conjecture not found
% 56.44/29.20 Conjecture not found
% 56.49/29.23 Conjecture not found
% 56.49/29.25 Conjecture not found
% 56.53/29.26 Conjecture not found
% 56.53/29.27 Conjecture not found
% 56.53/29.28 Conjecture not found
% 56.53/29.29 Conjecture not found
% 56.53/29.32 Conjecture not found
% 56.78/29.36 Conjecture not found
% 56.78/29.38 Conjecture not found
% 57.38/29.49 Conjecture not found
% 57.51/29.59 Conjecture not found
% 57.51/29.62 Conjecture not found
% 57.55/29.66 Conjecture not found
% 57.55/29.68 Conjecture not found
% 57.55/29.70 Conjecture not found
% 57.62/29.72 Conjecture not found
% 57.62/29.76 Conjecture not found
% 57.68/29.78 Conjecture not found
% 57.96/29.88 Conjecture not found
% 58.70/30.15 Conjecture not found
% 58.80/30.28 Conjecture not found
% 58.80/30.29 Conjecture not found
% 59.56/30.37 Conjecture not found
% 59.65/30.45 Conjecture not found
% 59.65/30.48 Conjecture not found
% 59.65/30.49 Conjecture not found
% 59.70/30.50 Conjecture not found
% 59.70/30.53 Conjecture not found
% 59.75/30.55 Conjecture not found
% 59.77/30.61 Conjecture not found
% 59.82/30.62 Conjecture not found
% 59.82/30.63 Conjecture not found
% 59.85/30.65 Conjecture not found
% 59.85/30.67 Conjecture not found
% 59.85/30.69 Conjecture not found
% 59.85/30.70 Conjecture not found
% 59.85/30.72 Conjecture not found
% 60.71/30.86 Conjecture not found
% 60.73/30.87 Conjecture not found
% 60.73/30.90 Conjecture not found
% 60.81/30.95 Conjecture not found
% 60.81/30.95 Conjecture not found
% 60.81/30.96 Conjecture not found
% 60.81/30.96 Conjecture not found
% 60.81/30.97 Conjecture not found
% 60.81/30.98 Conjecture not found
% 60.81/31.01 Conjecture not found
% 60.81/31.01 Conjecture not found
% 60.91/31.07 Conjecture not found
% 60.96/31.14 Conjecture not found
% 60.96/31.16 Conjecture not found
% 61.03/31.17 Conjecture not found
% 61.03/31.17 Conjecture not found
% 61.03/31.21 Conjecture not found
% 61.03/31.26 Conjecture not found
% 61.83/31.31 Conjecture not found
% 61.83/31.32 Conjecture not found
% 61.87/31.33 Conjecture not found
% 61.87/31.34 Conjecture not found
% 61.87/31.38 Conjecture not found
% 61.87/31.39 Conjecture not found
% 61.97/31.43 Conjecture not found
% 61.97/31.45 Conjecture not found
% 61.97/31.46 Conjecture not found
% 61.97/31.47 Conjecture not found
% 62.04/31.50 Conjecture not found
% 62.04/31.50 Conjecture not found
% 62.04/31.51 Conjecture not found
% 62.04/31.53 Conjecture not found
% 62.04/31.54 Conjecture not found
% 62.04/31.56 Conjecture not found
% 62.11/31.59 Conjecture not found
% 62.11/31.61 Conjecture not found
% 62.81/31.73 Conjecture not found
% 62.99/31.79 Conjecture not found
% 62.99/31.81 Conjecture not found
% 62.99/31.84 Conjecture not found
% 63.09/31.87 Conjecture not found
% 63.16/31.92 Conjecture not found
% 63.21/31.99 Conjecture not found
% 63.21/32.04 Conjecture not found
% 63.32/32.09 Conjecture not found
% 63.37/32.14 Conjecture not found
% 63.39/32.15 Conjecture not found
% 63.69/32.22 Conjecture not found
% 63.69/32.23 Conjecture not found
% 63.69/32.25 Conjecture not found
% 64.30/32.35 Conjecture not found
% 64.35/32.42 Conjecture not found
% 64.35/32.44 Conjecture not found
% 64.42/32.48 Conjecture not found
% 64.42/32.50 Conjecture not found
% 64.42/32.51 Conjecture not found
% 64.47/32.51 Conjecture not found
% 64.47/32.54 Conjecture not found
% 64.50/32.60 Conjecture not found
% 64.50/32.63 Conjecture not found
% 64.59/32.64 Conjecture not found
% 64.59/32.67 Conjecture not found
% 64.63/32.70 Conjecture not found
% 64.99/32.78 Conjecture not found
% 64.99/32.80 Conjecture not found
% 65.39/32.85 Conjecture not found
% 65.49/32.90 Conjecture not found
% 65.59/32.97 Conjecture not found
% 65.64/33.04 Conjecture not found
% 65.64/33.05 Conjecture not found
% 65.70/33.12 Conjecture not found
% 65.70/33.16 Conjecture not found
% 65.80/33.18 Conjecture not found
% 65.83/33.22 Conjecture not found
% 65.83/33.23 Conjecture not found
% 65.87/33.24 Conjecture not found
% 65.87/33.29 Conjecture not found
% 65.94/33.30 Conjecture not found
% 65.94/33.31 Conjecture not found
% 65.94/33.35 Conjecture not found
% 66.32/33.36 Conjecture not found
% 66.32/33.37 Conjecture not found
% 66.32/33.41 Conjecture not found
% 66.83/33.50 Conjecture not found
% 66.88/33.56 Conjecture not found
% 66.88/33.58 Conjecture not found
% 66.88/33.59 Conjecture not found
% 66.94/33.61 Conjecture not found
% 66.94/33.65 Conjecture not found
% 67.00/33.70 Conjecture not found
% 67.18/33.85 Conjecture not found
% 67.90/34.00 Conjecture not found
% 67.90/34.02 Conjecture not found
% 67.90/34.05 Conjecture not found
% 68.20/34.14 Conjecture not found
% 68.25/34.15 Conjecture not found
% 68.26/34.20 Conjecture not found
% 68.31/34.21 Conjecture not found
% 68.31/34.22 Conjecture not found
% 68.31/34.23 Conjecture not found
% 68.35/34.25 Conjecture not found
% 68.35/34.27 Conjecture not found
% 68.35/34.29 Conjecture not found
% 68.35/34.30 Conjecture not found
% 68.35/34.32 Conjecture not found
% 68.35/34.34 Conjecture not found
% 68.44/34.34 Conjecture not found
% 68.44/34.37 Conjecture not found
% 68.49/34.40 Conjecture not found
% 68.49/34.43 Conjecture not found
% 68.49/34.45 Conjecture not found
% 68.92/34.51 Conjecture not found
% 69.23/34.59 Conjecture not found
% 69.23/34.60 Conjecture not found
% 69.57/34.72 Conjecture not found
% 69.57/34.73 Conjecture not found
% 69.57/34.74 Conjecture not found
% 69.57/34.76 Conjecture not found
% 69.63/34.79 Conjecture not found
% 69.63/34.81 Conjecture not found
% 70.89/35.29 Conjecture not found
% 70.95/35.33 Conjecture not found
% 70.95/35.35 Conjecture not found
% 71.00/35.40 Conjecture not found
% 71.11/35.48 Conjecture not found
% 71.11/35.49 Conjecture not found
% 71.16/35.55 Conjecture not found
% 71.19/35.58 Conjecture not found
% 71.19/35.61 Conjecture not found
% 71.69/35.72 Conjecture not found
% 72.12/35.76 Conjecture not found
% 72.12/35.78 Conjecture not found
% 72.16/35.82 Conjecture not found
% 72.22/35.84 Conjecture not found
% 72.22/35.86 Conjecture not found
% 72.22/35.86 Start search
% 168.29/59.86 nb_step : 1 - limit : 175649
% 170.20/60.67 Launch Gotab with destructive = true
%------------------------------------------------------------------------------