TSTP Solution File: SEU438+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : SEU438+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n022.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:13 EDT 2022
% Result : Timeout 300.37s 90.71s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.12 % Problem : SEU438+4 : TPTP v8.1.0. Released v3.4.0.
% 0.04/0.13 % Command : goeland -dmt -presko -proof %s
% 0.13/0.34 % Computer : n022.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:37:19 EDT 2022
% 0.13/0.34 % CPUTime :
% 0.13/0.34 [DMT] DMT loaded with preskolemization
% 0.13/0.34 [EQ] equality loaded.
% 0.13/0.34 [0.000035s][1][MAIN] Problem : theBenchmark.p
% 0.19/0.39 Conjecture not found
% 0.19/0.40 Conjecture not found
% 0.19/0.40 Conjecture not found
% 0.19/0.40 Conjecture not found
% 0.19/0.41 Conjecture not found
% 0.19/0.43 Conjecture not found
% 0.19/0.46 Conjecture not found
% 0.19/0.48 Conjecture not found
% 0.19/0.49 Conjecture not found
% 0.19/0.49 Conjecture not found
% 0.19/0.52 Conjecture not found
% 0.48/0.56 Conjecture not found
% 0.51/0.57 Conjecture not found
% 0.51/0.58 Conjecture not found
% 0.51/0.59 Conjecture not found
% 0.51/0.61 Conjecture not found
% 0.51/0.63 Conjecture not found
% 0.69/0.67 Conjecture not found
% 0.79/0.74 Conjecture not found
% 0.79/0.75 Conjecture not found
% 0.95/0.83 Conjecture not found
% 1.01/0.88 Conjecture not found
% 1.13/0.96 Conjecture not found
% 1.19/0.99 Conjecture not found
% 1.29/1.07 Conjecture not found
% 1.37/1.11 Conjecture not found
% 1.47/1.16 Conjecture not found
% 1.54/1.19 Conjecture not found
% 1.54/1.23 Conjecture not found
% 1.61/1.24 Conjecture not found
% 1.64/1.25 Conjecture not found
% 1.64/1.26 Conjecture not found
% 1.64/1.27 Conjecture not found
% 1.85/1.37 Conjecture not found
% 1.85/1.40 Conjecture not found
% 1.85/1.40 Conjecture not found
% 1.85/1.42 Conjecture not found
% 1.85/1.42 Conjecture not found
% 1.85/1.42 Conjecture not found
% 1.85/1.42 Conjecture not found
% 1.85/1.43 Conjecture not found
% 1.85/1.44 Conjecture not found
% 2.05/1.49 Conjecture not found
% 2.13/1.54 Conjecture not found
% 2.13/1.54 Conjecture not found
% 2.16/1.55 Conjecture not found
% 2.16/1.56 Conjecture not found
% 2.16/1.58 Conjecture not found
% 2.16/1.60 Conjecture not found
% 2.16/1.61 Conjecture not found
% 2.30/1.64 Conjecture not found
% 2.30/1.65 Conjecture not found
% 2.30/1.67 Conjecture not found
% 2.40/1.68 Conjecture not found
% 2.40/1.69 Conjecture not found
% 2.40/1.73 Conjecture not found
% 2.56/1.78 Conjecture not found
% 2.65/1.84 Conjecture not found
% 2.65/1.85 Conjecture not found
% 2.65/1.87 Conjecture not found
% 2.65/1.90 Conjecture not found
% 2.79/1.93 Conjecture not found
% 2.79/1.94 Conjecture not found
% 2.79/1.97 Conjecture not found
% 2.88/2.06 Conjecture not found
% 3.06/2.09 Conjecture not found
% 3.06/2.11 Conjecture not found
% 3.14/2.12 Conjecture not found
% 3.14/2.14 Conjecture not found
% 3.17/2.16 Conjecture not found
% 3.44/2.33 Conjecture not found
% 3.55/2.36 Conjecture not found
% 3.55/2.39 Conjecture not found
% 3.66/2.50 Conjecture not found
% 3.66/2.51 Conjecture not found
% 3.66/2.53 Conjecture not found
% 3.84/2.55 Conjecture not found
% 3.95/2.59 Conjecture not found
% 4.07/2.66 Conjecture not found
% 4.16/2.74 Conjecture not found
% 4.20/2.82 Conjecture not found
% 4.39/2.87 Conjecture not found
% 4.39/2.88 Conjecture not found
% 4.47/2.92 Conjecture not found
% 4.47/2.93 Conjecture not found
% 4.55/2.97 Conjecture not found
% 4.55/2.99 Conjecture not found
% 4.66/3.00 Conjecture not found
% 4.66/3.01 Conjecture not found
% 4.75/3.06 Conjecture not found
% 4.75/3.07 Conjecture not found
% 4.75/3.10 Conjecture not found
% 4.95/3.17 Conjecture not found
% 5.11/3.27 Conjecture not found
% 5.33/3.42 Conjecture not found
% 5.80/3.63 Conjecture not found
% 6.35/3.95 Conjecture not found
% 6.44/3.97 Conjecture not found
% 6.44/4.00 Conjecture not found
% 6.60/4.12 Conjecture not found
% 6.73/4.16 Conjecture not found
% 6.76/4.18 Conjecture not found
% 6.89/4.25 Conjecture not found
% 6.93/4.31 Conjecture not found
% 7.07/4.36 Conjecture not found
% 7.17/4.39 Conjecture not found
% 7.17/4.41 Conjecture not found
% 7.17/4.41 Conjecture not found
% 7.30/4.45 Conjecture not found
% 7.30/4.46 Conjecture not found
% 7.46/4.54 Conjecture not found
% 7.47/4.61 Conjecture not found
% 7.65/4.67 Conjecture not found
% 7.81/4.77 Conjecture not found
% 7.84/4.80 Conjecture not found
% 7.97/4.84 Conjecture not found
% 7.99/4.87 Conjecture not found
% 7.99/4.88 Conjecture not found
% 7.99/4.91 Conjecture not found
% 8.12/4.94 Conjecture not found
% 8.12/4.95 Conjecture not found
% 8.20/4.99 Conjecture not found
% 8.20/4.99 Conjecture not found
% 8.20/5.00 Conjecture not found
% 8.20/5.01 Conjecture not found
% 8.20/5.03 Conjecture not found
% 8.20/5.04 Conjecture not found
% 8.36/5.07 Conjecture not found
% 8.50/5.12 Conjecture not found
% 8.74/5.31 Conjecture not found
% 8.74/5.35 Conjecture not found
% 8.91/5.36 Conjecture not found
% 8.93/5.39 Conjecture not found
% 8.93/5.41 Conjecture not found
% 8.96/5.44 Conjecture not found
% 9.08/5.49 Conjecture not found
% 9.08/5.50 Conjecture not found
% 9.16/5.53 Conjecture not found
% 9.16/5.55 Conjecture not found
% 9.31/5.61 Conjecture not found
% 10.10/6.11 Conjecture not found
% 10.96/6.57 Conjecture not found
% 11.14/6.69 Conjecture not found
% 11.31/6.75 Conjecture not found
% 11.31/6.77 Conjecture not found
% 11.35/6.78 Conjecture not found
% 11.35/6.82 Conjecture not found
% 11.51/6.84 Conjecture not found
% 11.51/6.86 Conjecture not found
% 11.53/6.91 Conjecture not found
% 11.71/6.98 Conjecture not found
% 11.71/7.02 Conjecture not found
% 11.79/7.04 Conjecture not found
% 11.79/7.05 Conjecture not found
% 11.89/7.08 Conjecture not found
% 11.89/7.14 Conjecture not found
% 12.02/7.18 Conjecture not found
% 12.18/7.23 Conjecture not found
% 12.20/7.27 Conjecture not found
% 12.20/7.28 Conjecture not found
% 12.20/7.30 Conjecture not found
% 12.37/7.34 Conjecture not found
% 12.41/7.37 Conjecture not found
% 12.41/7.41 Conjecture not found
% 12.41/7.44 Conjecture not found
% 12.59/7.47 Conjecture not found
% 12.67/7.53 Conjecture not found
% 12.70/7.56 Conjecture not found
% 12.70/7.57 Conjecture not found
% 12.70/7.60 Conjecture not found
% 12.88/7.63 Conjecture not found
% 12.88/7.64 Conjecture not found
% 12.88/7.66 Conjecture not found
% 12.93/7.69 Conjecture not found
% 12.93/7.71 Conjecture not found
% 12.93/7.73 Conjecture not found
% 12.93/7.74 Conjecture not found
% 13.15/7.79 Conjecture not found
% 13.15/7.81 Conjecture not found
% 13.15/7.83 Conjecture not found
% 13.20/7.85 Conjecture not found
% 13.20/7.88 Conjecture not found
% 13.20/7.90 Conjecture not found
% 13.39/7.92 Conjecture not found
% 13.39/7.95 Conjecture not found
% 13.45/7.98 Conjecture not found
% 13.45/7.99 Conjecture not found
% 13.45/8.02 Conjecture not found
% 13.64/8.06 Conjecture not found
% 13.64/8.08 Conjecture not found
% 13.67/8.11 Conjecture not found
% 13.67/8.11 Conjecture not found
% 13.67/8.12 Conjecture not found
% 13.78/8.17 Conjecture not found
% 13.78/8.18 Conjecture not found
% 13.78/8.21 Conjecture not found
% 13.78/8.22 Conjecture not found
% 13.93/8.23 Conjecture not found
% 13.93/8.24 Conjecture not found
% 13.93/8.24 Conjecture not found
% 13.93/8.24 Conjecture not found
% 13.93/8.28 Conjecture not found
% 14.09/8.36 Conjecture not found
% 14.09/8.37 Conjecture not found
% 14.22/8.38 Conjecture not found
% 14.38/8.41 Conjecture not found
% 14.40/8.43 Conjecture not found
% 14.40/8.46 Conjecture not found
% 14.40/8.49 Conjecture not found
% 14.48/8.51 Conjecture not found
% 14.48/8.55 Conjecture not found
% 14.64/8.62 Conjecture not found
% 14.64/8.66 Conjecture not found
% 14.82/8.72 Conjecture not found
% 15.07/8.87 Conjecture not found
% 15.15/8.92 Conjecture not found
% 15.35/9.00 Conjecture not found
% 15.35/9.01 Conjecture not found
% 15.35/9.05 Conjecture not found
% 15.44/9.08 Conjecture not found
% 15.63/9.13 Conjecture not found
% 15.63/9.15 Conjecture not found
% 15.70/9.24 Conjecture not found
% 15.85/9.31 Conjecture not found
% 15.85/9.36 Conjecture not found
% 16.01/9.39 Conjecture not found
% 16.22/9.45 Conjecture not found
% 16.22/9.47 Conjecture not found
% 16.29/9.53 Conjecture not found
% 16.34/9.57 Conjecture not found
% 16.59/9.67 Conjecture not found
% 16.67/9.76 Conjecture not found
% 16.67/9.77 Conjecture not found
% 16.79/9.82 Conjecture not found
% 16.79/9.85 Conjecture not found
% 16.90/9.88 Conjecture not found
% 16.90/9.95 Conjecture not found
% 17.21/10.02 Conjecture not found
% 17.21/10.04 Conjecture not found
% 17.26/10.09 Conjecture not found
% 17.62/10.28 Conjecture not found
% 17.88/10.36 Conjecture not found
% 17.88/10.42 Conjecture not found
% 17.88/10.44 Conjecture not found
% 17.97/10.45 Conjecture not found
% 17.97/10.46 Conjecture not found
% 18.01/10.52 Conjecture not found
% 18.27/10.60 Conjecture not found
% 18.35/10.67 Conjecture not found
% 18.63/10.76 Conjecture not found
% 18.63/10.81 Conjecture not found
% 18.73/10.90 Conjecture not found
% 19.01/10.99 Conjecture not found
% 19.07/11.03 Conjecture not found
% 19.07/11.07 Conjecture not found
% 19.14/11.11 Conjecture not found
% 19.14/11.13 Conjecture not found
% 19.36/11.17 Conjecture not found
% 19.36/11.18 Conjecture not found
% 19.41/11.21 Conjecture not found
% 19.46/11.24 Conjecture not found
% 19.46/11.27 Conjecture not found
% 19.46/11.28 Conjecture not found
% 19.46/11.30 Conjecture not found
% 19.53/11.35 Conjecture not found
% 19.76/11.37 Conjecture not found
% 19.76/11.40 Conjecture not found
% 19.76/11.44 Conjecture not found
% 19.97/11.55 Conjecture not found
% 19.97/11.57 Conjecture not found
% 19.97/11.60 Conjecture not found
% 19.97/11.60 Conjecture not found
% 19.97/11.60 Conjecture not found
% 19.97/11.61 Conjecture not found
% 19.97/11.62 Conjecture not found
% 20.23/11.66 Conjecture not found
% 20.23/11.66 Conjecture not found
% 20.23/11.67 Conjecture not found
% 20.29/11.74 Conjecture not found
% 20.57/11.79 Conjecture not found
% 20.61/11.86 Conjecture not found
% 20.61/11.89 Conjecture not found
% 20.96/12.00 Conjecture not found
% 21.26/12.11 Conjecture not found
% 21.28/12.12 Conjecture not found
% 21.30/12.16 Conjecture not found
% 21.30/12.19 Conjecture not found
% 21.30/12.21 Conjecture not found
% 21.66/12.30 Conjecture not found
% 21.66/12.35 Conjecture not found
% 21.73/12.39 Conjecture not found
% 21.73/12.43 Conjecture not found
% 22.08/12.52 Conjecture not found
% 22.08/12.55 Conjecture not found
% 22.08/12.58 Conjecture not found
% 22.37/12.66 Conjecture not found
% 22.44/12.71 Conjecture not found
% 22.44/12.72 Conjecture not found
% 22.44/12.75 Conjecture not found
% 22.81/12.85 Conjecture not found
% 22.81/12.87 Conjecture not found
% 22.81/12.88 Conjecture not found
% 22.88/12.91 Conjecture not found
% 22.88/12.95 Conjecture not found
% 22.88/12.95 Conjecture not found
% 22.94/13.02 Conjecture not found
% 23.24/13.07 Conjecture not found
% 23.28/13.10 Conjecture not found
% 23.32/13.14 Conjecture not found
% 23.32/13.20 Conjecture not found
% 23.38/13.21 Conjecture not found
% 23.66/13.30 Conjecture not found
% 23.66/13.36 Conjecture not found
% 23.83/13.50 Conjecture not found
% 23.83/13.53 Conjecture not found
% 24.20/13.61 Conjecture not found
% 24.20/13.64 Conjecture not found
% 24.27/13.66 Conjecture not found
% 24.27/13.66 Conjecture not found
% 24.27/13.68 Conjecture not found
% 24.27/13.70 Conjecture not found
% 24.32/13.71 Conjecture not found
% 24.36/13.83 Conjecture not found
% 24.75/13.89 Conjecture not found
% 24.75/13.94 Conjecture not found
% 24.75/13.96 Conjecture not found
% 24.75/13.96 Conjecture not found
% 24.98/14.04 Conjecture not found
% 25.04/14.06 Conjecture not found
% 25.04/14.08 Conjecture not found
% 25.23/14.19 Conjecture not found
% 25.23/14.20 Conjecture not found
% 25.23/14.24 Conjecture not found
% 25.34/14.31 Conjecture not found
% 25.38/14.33 Conjecture not found
% 25.40/14.40 Conjecture not found
% 25.99/14.63 Conjecture not found
% 26.18/14.72 Conjecture not found
% 26.27/14.73 Conjecture not found
% 26.33/14.83 Conjecture not found
% 26.33/14.84 Conjecture not found
% 26.74/14.93 Conjecture not found
% 26.74/14.98 Conjecture not found
% 26.84/15.05 Conjecture not found
% 26.84/15.08 Conjecture not found
% 26.84/15.08 Conjecture not found
% 26.84/15.10 Conjecture not found
% 26.93/15.14 Conjecture not found
% 27.26/15.20 Conjecture not found
% 27.28/15.28 Conjecture not found
% 27.28/15.29 Conjecture not found
% 27.28/15.29 Conjecture not found
% 27.28/15.30 Conjecture not found
% 27.38/15.33 Conjecture not found
% 27.38/15.34 Conjecture not found
% 27.74/15.42 Conjecture not found
% 27.87/15.52 Conjecture not found
% 27.87/15.58 Conjecture not found
% 27.87/15.60 Conjecture not found
% 27.87/15.62 Conjecture not found
% 28.10/15.66 Conjecture not found
% 28.33/15.73 Conjecture not found
% 28.33/15.75 Conjecture not found
% 28.33/15.76 Conjecture not found
% 28.33/15.79 Conjecture not found
% 28.41/15.82 Conjecture not found
% 28.41/15.86 Conjecture not found
% 28.50/15.90 Conjecture not found
% 28.54/15.94 Conjecture not found
% 28.90/16.06 Conjecture not found
% 28.90/16.08 Conjecture not found
% 28.98/16.10 Conjecture not found
% 28.98/16.17 Conjecture not found
% 29.37/16.22 Conjecture not found
% 29.39/16.29 Conjecture not found
% 29.39/16.32 Conjecture not found
% 29.49/16.35 Conjecture not found
% 29.49/16.37 Conjecture not found
% 29.55/16.41 Conjecture not found
% 29.55/16.43 Conjecture not found
% 29.69/16.60 Conjecture not found
% 29.69/16.61 Conjecture not found
% 29.69/16.62 Conjecture not found
% 30.08/16.68 Conjecture not found
% 30.14/16.71 Conjecture not found
% 30.14/16.74 Conjecture not found
% 30.14/16.76 Conjecture not found
% 30.22/16.79 Conjecture not found
% 30.26/16.82 Conjecture not found
% 30.45/16.91 Conjecture not found
% 30.45/16.94 Conjecture not found
% 30.68/16.96 Conjecture not found
% 30.72/16.99 Conjecture not found
% 30.72/17.00 Conjecture not found
% 30.72/17.00 Conjecture not found
% 30.72/17.03 Conjecture not found
% 30.79/17.06 Conjecture not found
% 30.79/17.09 Conjecture not found
% 30.89/17.14 Conjecture not found
% 31.17/17.16 Conjecture not found
% 31.26/17.24 Conjecture not found
% 31.30/17.29 Conjecture not found
% 31.30/17.31 Conjecture not found
% 31.30/17.33 Conjecture not found
% 31.37/17.36 Conjecture not found
% 31.39/17.39 Conjecture not found
% 31.39/17.40 Conjecture not found
% 31.39/17.43 Conjecture not found
% 31.78/17.49 Conjecture not found
% 31.78/17.52 Conjecture not found
% 31.85/17.54 Conjecture not found
% 31.89/17.59 Conjecture not found
% 31.97/17.64 Conjecture not found
% 32.39/17.78 Conjecture not found
% 32.46/17.82 Conjecture not found
% 32.51/17.89 Conjecture not found
% 32.62/18.00 Conjecture not found
% 32.74/18.15 Conjecture not found
% 32.90/18.22 Conjecture not found
% 33.27/18.31 Conjecture not found
% 33.31/18.33 Conjecture not found
% 33.31/18.34 Conjecture not found
% 33.31/18.35 Conjecture not found
% 33.31/18.37 Conjecture not found
% 33.31/18.39 Conjecture not found
% 33.31/18.41 Conjecture not found
% 33.31/18.42 Conjecture not found
% 33.40/18.44 Conjecture not found
% 33.40/18.46 Conjecture not found
% 33.51/18.53 Conjecture not found
% 33.92/18.62 Conjecture not found
% 33.92/18.66 Conjecture not found
% 33.92/18.69 Conjecture not found
% 34.01/18.71 Conjecture not found
% 34.01/18.72 Conjecture not found
% 34.10/18.79 Conjecture not found
% 34.55/18.91 Conjecture not found
% 34.57/18.95 Conjecture not found
% 34.57/18.97 Conjecture not found
% 34.66/19.10 Conjecture not found
% 34.75/19.16 Conjecture not found
% 34.83/19.21 Conjecture not found
% 34.83/19.27 Conjecture not found
% 35.28/19.30 Conjecture not found
% 35.40/19.42 Conjecture not found
% 35.40/19.44 Conjecture not found
% 35.40/19.45 Conjecture not found
% 35.48/19.50 Conjecture not found
% 35.48/19.53 Conjecture not found
% 35.48/19.55 Conjecture not found
% 35.59/19.58 Conjecture not found
% 35.59/19.59 Conjecture not found
% 35.62/19.63 Conjecture not found
% 35.65/19.66 Conjecture not found
% 35.83/19.72 Conjecture not found
% 36.13/19.80 Conjecture not found
% 36.26/19.89 Conjecture not found
% 36.26/19.90 Conjecture not found
% 36.26/19.92 Conjecture not found
% 36.29/19.93 Conjecture not found
% 36.30/19.95 Conjecture not found
% 36.30/19.96 Conjecture not found
% 36.30/19.96 Conjecture not found
% 36.78/20.10 Conjecture not found
% 36.78/20.11 Conjecture not found
% 36.78/20.13 Conjecture not found
% 36.78/20.17 Conjecture not found
% 36.89/20.18 Conjecture not found
% 36.89/20.20 Conjecture not found
% 36.92/20.23 Conjecture not found
% 36.92/20.24 Conjecture not found
% 36.96/20.30 Conjecture not found
% 37.40/20.36 Conjecture not found
% 37.45/20.39 Conjecture not found
% 37.45/20.43 Conjecture not found
% 37.45/20.44 Conjecture not found
% 37.51/20.45 Conjecture not found
% 37.53/20.47 Conjecture not found
% 37.57/20.52 Conjecture not found
% 37.61/20.61 Conjecture not found
% 38.06/20.66 Conjecture not found
% 38.11/20.70 Conjecture not found
% 38.11/20.73 Conjecture not found
% 38.11/20.74 Conjecture not found
% 38.19/20.76 Conjecture not found
% 38.21/20.82 Conjecture not found
% 38.28/20.85 Conjecture not found
% 38.28/20.87 Conjecture not found
% 38.28/20.90 Conjecture not found
% 38.52/20.94 Conjecture not found
% 38.79/21.01 Conjecture not found
% 38.87/21.05 Conjecture not found
% 38.89/21.07 Conjecture not found
% 38.89/21.11 Conjecture not found
% 38.94/21.14 Conjecture not found
% 38.96/21.16 Conjecture not found
% 38.96/21.19 Conjecture not found
% 38.96/21.22 Conjecture not found
% 39.04/21.23 Conjecture not found
% 39.04/21.28 Conjecture not found
% 39.26/21.34 Conjecture not found
% 39.65/21.41 Conjecture not found
% 39.65/21.42 Conjecture not found
% 39.69/21.45 Conjecture not found
% 39.69/21.49 Conjecture not found
% 39.76/21.52 Conjecture not found
% 39.76/21.54 Conjecture not found
% 39.76/21.57 Conjecture not found
% 39.82/21.58 Conjecture not found
% 39.82/21.60 Conjecture not found
% 39.82/21.64 Conjecture not found
% 39.82/21.65 Conjecture not found
% 40.16/21.71 Conjecture not found
% 40.37/21.78 Conjecture not found
% 40.37/21.78 Conjecture not found
% 40.47/21.84 Conjecture not found
% 40.47/21.84 Conjecture not found
% 40.47/21.86 Conjecture not found
% 40.47/21.87 Conjecture not found
% 40.54/21.90 Conjecture not found
% 40.54/21.92 Conjecture not found
% 40.54/21.94 Conjecture not found
% 40.54/21.97 Conjecture not found
% 40.54/21.98 Conjecture not found
% 40.80/22.03 Conjecture not found
% 41.18/22.11 Conjecture not found
% 41.25/22.21 Conjecture not found
% 41.25/22.23 Conjecture not found
% 41.25/22.24 Conjecture not found
% 41.25/22.25 Conjecture not found
% 41.41/22.34 Conjecture not found
% 41.41/22.35 Conjecture not found
% 41.41/22.38 Conjecture not found
% 41.82/22.44 Conjecture not found
% 41.99/22.53 Conjecture not found
% 41.99/22.56 Conjecture not found
% 42.17/22.69 Conjecture not found
% 42.19/22.70 Conjecture not found
% 42.22/22.76 Conjecture not found
% 42.22/22.76 Conjecture not found
% 42.22/22.78 Conjecture not found
% 42.22/22.81 Conjecture not found
% 42.69/22.87 Conjecture not found
% 42.82/22.91 Conjecture not found
% 42.82/22.93 Conjecture not found
% 42.82/22.95 Conjecture not found
% 42.90/22.98 Conjecture not found
% 42.90/23.04 Conjecture not found
% 42.90/23.05 Conjecture not found
% 42.90/23.07 Conjecture not found
% 43.00/23.11 Conjecture not found
% 43.03/23.13 Conjecture not found
% 43.16/23.21 Conjecture not found
% 43.63/23.27 Conjecture not found
% 43.68/23.33 Conjecture not found
% 43.74/23.37 Conjecture not found
% 43.84/23.47 Conjecture not found
% 43.88/23.50 Conjecture not found
% 43.88/23.52 Conjecture not found
% 43.93/23.55 Conjecture not found
% 43.93/23.59 Conjecture not found
% 43.93/23.61 Conjecture not found
% 43.93/23.63 Conjecture not found
% 44.47/23.68 Conjecture not found
% 44.59/23.78 Conjecture not found
% 44.59/23.81 Conjecture not found
% 44.59/23.83 Conjecture not found
% 44.59/23.86 Conjecture not found
% 44.71/23.88 Conjecture not found
% 44.71/23.90 Conjecture not found
% 44.76/23.93 Conjecture not found
% 44.76/23.95 Conjecture not found
% 44.80/23.96 Conjecture not found
% 44.80/24.00 Conjecture not found
% 44.80/24.04 Conjecture not found
% 45.35/24.10 Conjecture not found
% 45.35/24.12 Conjecture not found
% 45.35/24.12 Conjecture not found
% 45.42/24.15 Conjecture not found
% 45.44/24.15 Conjecture not found
% 45.44/24.17 Conjecture not found
% 45.50/24.22 Conjecture not found
% 45.50/24.23 Conjecture not found
% 45.50/24.23 Conjecture not found
% 45.50/24.24 Conjecture not found
% 45.50/24.26 Conjecture not found
% 45.56/24.28 Conjecture not found
% 45.56/24.29 Conjecture not found
% 45.56/24.31 Conjecture not found
% 45.56/24.32 Conjecture not found
% 45.56/24.34 Conjecture not found
% 45.64/24.37 Conjecture not found
% 45.68/24.38 Conjecture not found
% 45.68/24.41 Conjecture not found
% 46.09/24.46 Conjecture not found
% 46.29/24.54 Conjecture not found
% 46.29/24.55 Conjecture not found
% 46.38/24.63 Conjecture not found
% 46.38/24.64 Conjecture not found
% 46.38/24.65 Conjecture not found
% 46.52/24.77 Conjecture not found
% 46.52/24.80 Conjecture not found
% 46.92/24.84 Conjecture not found
% 47.10/24.86 Conjecture not found
% 47.10/24.90 Conjecture not found
% 47.18/24.93 Conjecture not found
% 47.18/24.96 Conjecture not found
% 47.23/25.00 Conjecture not found
% 47.23/25.03 Conjecture not found
% 47.34/25.10 Conjecture not found
% 47.34/25.11 Conjecture not found
% 47.48/25.20 Conjecture not found
% 47.95/25.24 Conjecture not found
% 48.02/25.30 Conjecture not found
% 48.02/25.33 Conjecture not found
% 48.11/25.35 Conjecture not found
% 48.11/25.37 Conjecture not found
% 48.14/25.42 Conjecture not found
% 48.19/25.44 Conjecture not found
% 48.20/25.45 Conjecture not found
% 48.20/25.47 Conjecture not found
% 48.20/25.49 Conjecture not found
% 48.20/25.50 Conjecture not found
% 48.28/25.53 Conjecture not found
% 48.28/25.55 Conjecture not found
% 48.34/25.62 Conjecture not found
% 48.34/25.65 Conjecture not found
% 48.74/25.70 Conjecture not found
% 48.99/25.75 Conjecture not found
% 48.99/25.78 Conjecture not found
% 49.08/25.82 Conjecture not found
% 49.08/25.84 Conjecture not found
% 49.08/25.85 Conjecture not found
% 49.15/25.88 Conjecture not found
% 49.15/25.95 Conjecture not found
% 49.98/26.28 Conjecture not found
% 49.98/26.29 Conjecture not found
% 49.98/26.32 Conjecture not found
% 49.98/26.35 Conjecture not found
% 50.07/26.36 Conjecture not found
% 50.07/26.37 Conjecture not found
% 50.07/26.38 Conjecture not found
% 50.11/26.39 Conjecture not found
% 50.11/26.42 Conjecture not found
% 50.40/26.45 Conjecture not found
% 50.40/26.50 Conjecture not found
% 50.78/26.57 Conjecture not found
% 50.88/26.67 Conjecture not found
% 50.92/26.73 Conjecture not found
% 50.97/26.77 Conjecture not found
% 51.02/26.81 Conjecture not found
% 51.02/26.82 Conjecture not found
% 51.02/26.83 Conjecture not found
% 51.07/26.93 Conjecture not found
% 51.65/26.95 Conjecture not found
% 51.65/26.96 Conjecture not found
% 51.65/26.98 Conjecture not found
% 51.70/26.99 Conjecture not found
% 51.70/27.04 Conjecture not found
% 51.76/27.06 Conjecture not found
% 51.76/27.10 Conjecture not found
% 51.81/27.13 Conjecture not found
% 51.81/27.14 Conjecture not found
% 51.86/27.19 Conjecture not found
% 51.86/27.22 Conjecture not found
% 51.86/27.23 Conjecture not found
% 51.86/27.23 Conjecture not found
% 51.97/27.26 Conjecture not found
% 51.97/27.28 Conjecture not found
% 52.08/27.31 Conjecture not found
% 52.52/27.47 Conjecture not found
% 52.52/27.47 Conjecture not found
% 52.61/27.52 Conjecture not found
% 52.67/27.57 Conjecture not found
% 52.67/27.58 Conjecture not found
% 52.67/27.61 Conjecture not found
% 52.73/27.63 Conjecture not found
% 52.73/27.65 Conjecture not found
% 52.78/27.72 Conjecture not found
% 52.87/27.76 Conjecture not found
% 52.87/27.77 Conjecture not found
% 52.91/27.79 Conjecture not found
% 52.98/27.88 Conjecture not found
% 52.98/27.89 Conjecture not found
% 53.05/27.92 Conjecture not found
% 53.05/27.95 Conjecture not found
% 53.77/28.08 Conjecture not found
% 53.77/28.09 Conjecture not found
% 53.77/28.12 Conjecture not found
% 53.86/28.15 Conjecture not found
% 53.89/28.18 Conjecture not found
% 53.89/28.19 Conjecture not found
% 53.96/28.23 Conjecture not found
% 53.99/28.30 Conjecture not found
% 54.07/28.35 Conjecture not found
% 54.07/28.36 Conjecture not found
% 54.07/28.38 Conjecture not found
% 54.77/28.49 Conjecture not found
% 54.91/28.57 Conjecture not found
% 55.04/28.69 Conjecture not found
% 55.04/28.73 Conjecture not found
% 55.04/28.74 Conjecture not found
% 55.11/28.77 Conjecture not found
% 55.14/28.78 Conjecture not found
% 55.14/28.82 Conjecture not found
% 55.19/28.82 Conjecture not found
% 55.19/28.83 Conjecture not found
% 55.21/28.85 Conjecture not found
% 55.21/28.89 Conjecture not found
% 55.21/28.90 Conjecture not found
% 55.21/28.93 Conjecture not found
% 55.29/28.97 Conjecture not found
% 55.41/29.00 Conjecture not found
% 56.11/29.23 Conjecture not found
% 56.11/29.24 Conjecture not found
% 56.11/29.26 Conjecture not found
% 56.11/29.28 Conjecture not found
% 56.20/29.31 Conjecture not found
% 56.33/29.43 Conjecture not found
% 56.36/29.48 Conjecture not found
% 56.36/29.51 Conjecture not found
% 56.36/29.51 Conjecture not found
% 56.36/29.52 Conjecture not found
% 56.45/29.54 Conjecture not found
% 56.45/29.55 Conjecture not found
% 56.52/29.64 Conjecture not found
% 56.52/29.66 Conjecture not found
% 56.95/29.76 Conjecture not found
% 57.39/29.88 Conjecture not found
% 57.39/29.90 Conjecture not found
% 57.48/29.92 Conjecture not found
% 57.48/29.93 Conjecture not found
% 57.48/29.95 Conjecture not found
% 57.48/29.96 Conjecture not found
% 57.54/29.97 Conjecture not found
% 57.54/30.01 Conjecture not found
% 57.54/30.05 Conjecture not found
% 57.63/30.06 Conjecture not found
% 57.68/30.14 Conjecture not found
% 57.78/30.24 Conjecture not found
% 57.92/30.32 Conjecture not found
% 58.51/30.37 Conjecture not found
% 58.55/30.39 Conjecture not found
% 58.55/30.41 Conjecture not found
% 58.55/30.43 Conjecture not found
% 58.60/30.47 Conjecture not found
% 58.60/30.49 Conjecture not found
% 58.72/30.59 Conjecture not found
% 59.38/30.99 Conjecture not found
% 59.83/31.22 Conjecture not found
% 59.83/31.23 Conjecture not found
% 59.91/31.28 Conjecture not found
% 59.99/31.39 Conjecture not found
% 60.07/31.42 Conjecture not found
% 60.07/31.43 Conjecture not found
% 60.07/31.44 Conjecture not found
% 60.11/31.49 Conjecture not found
% 60.11/31.51 Conjecture not found
% 60.60/31.62 Conjecture not found
% 60.95/31.66 Conjecture not found
% 60.95/31.67 Conjecture not found
% 60.95/31.69 Conjecture not found
% 60.95/31.72 Conjecture not found
% 61.03/31.74 Conjecture not found
% 61.03/31.75 Conjecture not found
% 61.03/31.76 Conjecture not found
% 61.17/31.88 Conjecture not found
% 61.19/31.89 Conjecture not found
% 61.23/31.93 Conjecture not found
% 61.24/31.99 Conjecture not found
% 61.24/32.00 Conjecture not found
% 61.24/32.00 Conjecture not found
% 61.31/32.01 Conjecture not found
% 61.31/32.02 Conjecture not found
% 61.31/32.03 Conjecture not found
% 61.47/32.11 Conjecture not found
% 61.47/32.12 Conjecture not found
% 62.20/32.23 Conjecture not found
% 62.20/32.32 Conjecture not found
% 62.29/32.34 Conjecture not found
% 62.29/32.35 Conjecture not found
% 62.29/32.36 Conjecture not found
% 62.29/32.38 Conjecture not found
% 62.36/32.41 Conjecture not found
% 62.36/32.46 Conjecture not found
% 62.45/32.49 Conjecture not found
% 62.46/32.49 Conjecture not found
% 62.47/32.50 Conjecture not found
% 62.48/32.55 Conjecture not found
% 62.48/32.56 Conjecture not found
% 62.48/32.60 Conjecture not found
% 62.57/32.62 Conjecture not found
% 62.57/32.63 Conjecture not found
% 62.57/32.65 Conjecture not found
% 62.57/32.68 Conjecture not found
% 62.78/32.71 Conjecture not found
% 62.78/32.74 Conjecture not found
% 62.78/32.77 Conjecture not found
% 63.39/32.79 Conjecture not found
% 63.41/32.81 Conjecture not found
% 63.43/32.85 Conjecture not found
% 63.43/32.87 Conjecture not found
% 63.54/32.92 Conjecture not found
% 63.54/32.97 Conjecture not found
% 63.54/32.99 Conjecture not found
% 63.62/33.01 Conjecture not found
% 63.62/33.04 Conjecture not found
% 63.69/33.08 Conjecture not found
% 63.69/33.14 Conjecture not found
% 64.51/33.22 Conjecture not found
% 64.51/33.27 Conjecture not found
% 64.51/33.30 Conjecture not found
% 64.62/33.31 Conjecture not found
% 64.62/33.37 Conjecture not found
% 64.62/33.37 Conjecture not found
% 64.69/33.38 Conjecture not found
% 64.69/33.44 Conjecture not found
% 64.79/33.50 Conjecture not found
% 64.82/33.51 Conjecture not found
% 64.85/33.54 Conjecture not found
% 64.85/33.56 Conjecture not found
% 64.85/33.57 Conjecture not found
% 64.85/33.57 Conjecture not found
% 64.85/33.60 Conjecture not found
% 65.28/33.73 Conjecture not found
% 65.73/33.77 Conjecture not found
% 65.73/33.78 Conjecture not found
% 65.76/33.82 Conjecture not found
% 65.81/33.86 Conjecture not found
% 65.88/33.91 Conjecture not found
% 65.88/33.92 Conjecture not found
% 65.88/33.94 Conjecture not found
% 65.94/33.99 Conjecture not found
% 66.04/34.07 Conjecture not found
% 66.08/34.13 Conjecture not found
% 66.08/34.15 Conjecture not found
% 66.12/34.20 Conjecture not found
% 66.12/34.23 Conjecture not found
% 66.34/34.29 Conjecture not found
% 67.01/34.35 Conjecture not found
% 67.03/34.36 Conjecture not found
% 67.03/34.37 Conjecture not found
% 67.08/34.42 Conjecture not found
% 67.08/34.43 Conjecture not found
% 67.08/34.44 Conjecture not found
% 67.12/34.46 Conjecture not found
% 67.12/34.47 Conjecture not found
% 67.12/34.48 Conjecture not found
% 67.12/34.49 Conjecture not found
% 67.21/34.56 Conjecture not found
% 67.26/34.61 Conjecture not found
% 67.26/34.62 Conjecture not found
% 67.26/34.63 Conjecture not found
% 67.26/34.65 Conjecture not found
% 67.34/34.69 Conjecture not found
% 67.39/34.73 Conjecture not found
% 68.30/34.95 Conjecture not found
% 68.37/35.04 Conjecture not found
% 68.40/35.05 Conjecture not found
% 68.40/35.08 Conjecture not found
% 68.47/35.15 Conjecture not found
% 68.47/35.16 Conjecture not found
% 68.54/35.20 Conjecture not found
% 68.54/35.21 Conjecture not found
% 68.54/35.22 Conjecture not found
% 68.54/35.23 Conjecture not found
% 68.54/35.25 Conjecture not found
% 68.54/35.26 Conjecture not found
% 68.61/35.27 Conjecture not found
% 68.61/35.28 Conjecture not found
% 68.64/35.29 Conjecture not found
% 68.64/35.32 Conjecture not found
% 68.64/35.32 Conjecture not found
% 68.82/35.39 Conjecture not found
% 69.41/35.46 Conjecture not found
% 69.57/35.49 Conjecture not found
% 69.57/35.51 Conjecture not found
% 69.57/35.55 Conjecture not found
% 69.66/35.59 Conjecture not found
% 69.68/35.60 Conjecture not found
% 69.73/35.69 Conjecture not found
% 69.73/35.70 Conjecture not found
% 69.73/35.71 Conjecture not found
% 69.82/35.73 Conjecture not found
% 69.82/35.76 Conjecture not found
% 69.82/35.79 Conjecture not found
% 71.19/36.34 Conjecture not found
% 71.19/36.37 Conjecture not found
% 71.19/36.39 Conjecture not found
% 71.27/36.44 Conjecture not found
% 71.35/36.54 Conjecture not found
% 71.35/36.55 Conjecture not found
% 71.84/36.67 Conjecture not found
% 72.34/36.71 Conjecture not found
% 72.42/36.78 Conjecture not found
% 72.42/36.83 Conjecture not found
% 72.42/36.85 Conjecture not found
% 72.42/36.87 Conjecture not found
% 72.52/36.91 Conjecture not found
% 72.58/36.94 Conjecture not found
% 72.58/36.96 Conjecture not found
% 72.58/36.97 Start search
% 174.84/61.06 nb_step : 1 - limit : 175739
% 176.04/61.79 Launch Gotab with destructive = true
%------------------------------------------------------------------------------