TSTP Solution File: SEU419+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : SEU419+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n021.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:01 EDT 2022
% Result : Timeout 300.04s 94.21s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.09 % Problem : SEU419+4 : TPTP v8.1.0. Released v3.4.0.
% 0.08/0.10 % Command : goeland -dmt -presko -proof %s
% 0.09/0.29 % Computer : n021.cluster.edu
% 0.09/0.29 % Model : x86_64 x86_64
% 0.09/0.29 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.09/0.29 % Memory : 8042.1875MB
% 0.09/0.29 % OS : Linux 3.10.0-693.el7.x86_64
% 0.09/0.29 % CPULimit : 300
% 0.09/0.29 % WCLimit : 300
% 0.09/0.29 % DateTime : Sat Sep 3 13:49:39 EDT 2022
% 0.09/0.29 % CPUTime :
% 0.09/0.30 [DMT] DMT loaded with preskolemization
% 0.09/0.30 [EQ] equality loaded.
% 0.09/0.30 [0.000032s][1][MAIN] Problem : theBenchmark.p
% 0.13/0.34 Conjecture not found
% 0.13/0.34 Conjecture not found
% 0.13/0.35 Conjecture not found
% 0.13/0.35 Conjecture not found
% 0.13/0.36 Conjecture not found
% 0.13/0.38 Conjecture not found
% 0.13/0.41 Conjecture not found
% 0.13/0.43 Conjecture not found
% 0.13/0.45 Conjecture not found
% 0.13/0.45 Conjecture not found
% 0.13/0.48 Conjecture not found
% 0.42/0.52 Conjecture not found
% 0.45/0.53 Conjecture not found
% 0.45/0.54 Conjecture not found
% 0.45/0.55 Conjecture not found
% 0.45/0.58 Conjecture not found
% 0.45/0.59 Conjecture not found
% 0.58/0.63 Conjecture not found
% 0.66/0.71 Conjecture not found
% 0.66/0.71 Conjecture not found
% 0.85/0.80 Conjecture not found
% 0.89/0.84 Conjecture not found
% 0.89/0.92 Conjecture not found
% 1.05/0.96 Conjecture not found
% 1.13/1.02 Conjecture not found
% 1.13/1.04 Conjecture not found
% 1.29/1.09 Conjecture not found
% 1.29/1.11 Conjecture not found
% 1.40/1.15 Conjecture not found
% 1.40/1.16 Conjecture not found
% 1.40/1.17 Conjecture not found
% 1.40/1.17 Conjecture not found
% 1.40/1.18 Conjecture not found
% 1.55/1.26 Conjecture not found
% 1.61/1.29 Conjecture not found
% 1.61/1.29 Conjecture not found
% 1.61/1.30 Conjecture not found
% 1.61/1.30 Conjecture not found
% 1.61/1.30 Conjecture not found
% 1.61/1.30 Conjecture not found
% 1.61/1.31 Conjecture not found
% 1.61/1.31 Conjecture not found
% 1.72/1.35 Conjecture not found
% 1.76/1.40 Conjecture not found
% 1.76/1.41 Conjecture not found
% 1.76/1.41 Conjecture not found
% 1.84/1.43 Conjecture not found
% 1.84/1.45 Conjecture not found
% 1.89/1.46 Conjecture not found
% 1.89/1.48 Conjecture not found
% 1.89/1.50 Conjecture not found
% 1.89/1.52 Conjecture not found
% 2.01/1.55 Conjecture not found
% 2.01/1.55 Conjecture not found
% 2.01/1.56 Conjecture not found
% 2.08/1.60 Conjecture not found
% 2.20/1.67 Conjecture not found
% 2.23/1.71 Conjecture not found
% 2.23/1.71 Conjecture not found
% 2.23/1.73 Conjecture not found
% 2.33/1.74 Conjecture not found
% 2.37/1.77 Conjecture not found
% 2.37/1.78 Conjecture not found
% 2.37/1.79 Conjecture not found
% 2.47/1.86 Conjecture not found
% 2.55/1.87 Conjecture not found
% 2.55/1.89 Conjecture not found
% 2.55/1.90 Conjecture not found
% 2.55/1.91 Conjecture not found
% 2.55/1.93 Conjecture not found
% 2.93/2.15 Conjecture not found
% 3.02/2.18 Conjecture not found
% 3.02/2.21 Conjecture not found
% 3.26/2.34 Conjecture not found
% 3.26/2.35 Conjecture not found
% 3.26/2.37 Conjecture not found
% 3.26/2.39 Conjecture not found
% 3.36/2.44 Conjecture not found
% 3.45/2.50 Conjecture not found
% 3.60/2.59 Conjecture not found
% 3.72/2.63 Conjecture not found
% 3.72/2.68 Conjecture not found
% 3.72/2.69 Conjecture not found
% 3.84/2.74 Conjecture not found
% 3.84/2.74 Conjecture not found
% 3.84/2.76 Conjecture not found
% 3.84/2.78 Conjecture not found
% 3.98/2.80 Conjecture not found
% 3.98/2.81 Conjecture not found
% 4.12/2.89 Conjecture not found
% 4.15/2.91 Conjecture not found
% 4.21/2.95 Conjecture not found
% 4.34/3.02 Conjecture not found
% 4.46/3.11 Conjecture not found
% 4.73/3.26 Conjecture not found
% 5.03/3.46 Conjecture not found
% 5.57/3.71 Conjecture not found
% 5.57/3.75 Conjecture not found
% 5.70/3.78 Conjecture not found
% 5.81/3.89 Conjecture not found
% 5.81/3.92 Conjecture not found
% 5.96/3.95 Conjecture not found
% 6.07/4.03 Conjecture not found
% 6.19/4.08 Conjecture not found
% 6.31/4.14 Conjecture not found
% 6.31/4.17 Conjecture not found
% 6.31/4.20 Conjecture not found
% 6.31/4.21 Conjecture not found
% 6.47/4.24 Conjecture not found
% 6.47/4.25 Conjecture not found
% 6.59/4.30 Conjecture not found
% 6.71/4.37 Conjecture not found
% 6.72/4.41 Conjecture not found
% 6.85/4.50 Conjecture not found
% 6.85/4.53 Conjecture not found
% 7.00/4.56 Conjecture not found
% 7.00/4.57 Conjecture not found
% 7.09/4.59 Conjecture not found
% 7.09/4.62 Conjecture not found
% 7.09/4.64 Conjecture not found
% 7.20/4.65 Conjecture not found
% 7.21/4.68 Conjecture not found
% 7.21/4.68 Conjecture not found
% 7.21/4.69 Conjecture not found
% 7.34/4.71 Conjecture not found
% 7.37/4.75 Conjecture not found
% 7.37/4.77 Conjecture not found
% 7.37/4.81 Conjecture not found
% 7.52/4.87 Conjecture not found
% 7.89/5.06 Conjecture not found
% 7.89/5.09 Conjecture not found
% 7.89/5.09 Conjecture not found
% 7.89/5.10 Conjecture not found
% 7.95/5.14 Conjecture not found
% 8.07/5.18 Conjecture not found
% 8.07/5.21 Conjecture not found
% 8.07/5.22 Conjecture not found
% 8.23/5.26 Conjecture not found
% 8.23/5.28 Conjecture not found
% 8.28/5.33 Conjecture not found
% 9.08/5.81 Conjecture not found
% 9.97/6.28 Conjecture not found
% 9.97/6.37 Conjecture not found
% 10.20/6.44 Conjecture not found
% 10.20/6.46 Conjecture not found
% 10.20/6.49 Conjecture not found
% 10.39/6.55 Conjecture not found
% 10.39/6.59 Conjecture not found
% 10.47/6.60 Conjecture not found
% 10.47/6.64 Conjecture not found
% 10.60/6.72 Conjecture not found
% 10.60/6.75 Conjecture not found
% 10.60/6.77 Conjecture not found
% 10.74/6.78 Conjecture not found
% 10.80/6.81 Conjecture not found
% 10.86/6.86 Conjecture not found
% 10.86/6.88 Conjecture not found
% 11.06/6.93 Conjecture not found
% 11.06/6.99 Conjecture not found
% 11.06/7.00 Conjecture not found
% 11.14/7.01 Conjecture not found
% 11.14/7.04 Conjecture not found
% 11.14/7.07 Conjecture not found
% 11.31/7.09 Conjecture not found
% 11.31/7.12 Conjecture not found
% 11.31/7.14 Conjecture not found
% 11.48/7.18 Conjecture not found
% 11.50/7.21 Conjecture not found
% 11.52/7.23 Conjecture not found
% 11.52/7.25 Conjecture not found
% 11.52/7.27 Conjecture not found
% 11.52/7.29 Conjecture not found
% 11.52/7.30 Conjecture not found
% 11.52/7.31 Conjecture not found
% 11.72/7.33 Conjecture not found
% 11.72/7.38 Conjecture not found
% 11.72/7.39 Conjecture not found
% 11.92/7.45 Conjecture not found
% 11.92/7.46 Conjecture not found
% 12.02/7.51 Conjecture not found
% 12.14/7.54 Conjecture not found
% 12.14/7.55 Conjecture not found
% 12.14/7.56 Conjecture not found
% 12.14/7.57 Conjecture not found
% 12.14/7.59 Conjecture not found
% 12.14/7.62 Conjecture not found
% 12.33/7.64 Conjecture not found
% 12.33/7.66 Conjecture not found
% 12.33/7.69 Conjecture not found
% 12.41/7.70 Conjecture not found
% 12.41/7.74 Conjecture not found
% 12.41/7.74 Conjecture not found
% 12.41/7.76 Conjecture not found
% 12.58/7.81 Conjecture not found
% 12.63/7.83 Conjecture not found
% 12.63/7.85 Conjecture not found
% 12.63/7.87 Conjecture not found
% 12.63/7.89 Conjecture not found
% 12.63/7.90 Conjecture not found
% 12.63/7.91 Conjecture not found
% 12.63/7.91 Conjecture not found
% 12.73/7.95 Conjecture not found
% 12.90/8.04 Conjecture not found
% 12.90/8.05 Conjecture not found
% 12.98/8.07 Conjecture not found
% 12.99/8.08 Conjecture not found
% 12.99/8.10 Conjecture not found
% 13.12/8.14 Conjecture not found
% 13.15/8.16 Conjecture not found
% 13.15/8.18 Conjecture not found
% 13.15/8.21 Conjecture not found
% 13.23/8.26 Conjecture not found
% 13.40/8.30 Conjecture not found
% 13.40/8.33 Conjecture not found
% 13.69/8.46 Conjecture not found
% 13.69/8.51 Conjecture not found
% 13.90/8.57 Conjecture not found
% 13.90/8.57 Conjecture not found
% 13.96/8.61 Conjecture not found
% 13.96/8.66 Conjecture not found
% 14.16/8.72 Conjecture not found
% 14.23/8.74 Conjecture not found
% 14.24/8.79 Conjecture not found
% 14.31/8.86 Conjecture not found
% 14.50/8.93 Conjecture not found
% 14.61/8.98 Conjecture not found
% 14.82/9.08 Conjecture not found
% 14.82/9.10 Conjecture not found
% 14.89/9.18 Conjecture not found
% 14.96/9.24 Conjecture not found
% 15.24/9.35 Conjecture not found
% 15.34/9.45 Conjecture not found
% 15.34/9.47 Conjecture not found
% 15.54/9.51 Conjecture not found
% 15.54/9.54 Conjecture not found
% 15.61/9.57 Conjecture not found
% 15.67/9.65 Conjecture not found
% 15.92/9.76 Conjecture not found
% 15.92/9.77 Conjecture not found
% 15.99/9.82 Conjecture not found
% 16.33/10.04 Conjecture not found
% 16.56/10.14 Conjecture not found
% 16.65/10.19 Conjecture not found
% 16.66/10.20 Conjecture not found
% 16.67/10.21 Conjecture not found
% 16.67/10.22 Conjecture not found
% 16.67/10.29 Conjecture not found
% 16.91/10.37 Conjecture not found
% 17.00/10.49 Conjecture not found
% 17.19/10.53 Conjecture not found
% 17.19/10.55 Conjecture not found
% 17.26/10.66 Conjecture not found
% 17.49/10.71 Conjecture not found
% 17.52/10.74 Conjecture not found
% 17.52/10.78 Conjecture not found
% 17.52/10.81 Conjecture not found
% 17.65/10.85 Conjecture not found
% 17.65/10.88 Conjecture not found
% 17.65/10.89 Conjecture not found
% 17.87/10.91 Conjecture not found
% 17.87/10.96 Conjecture not found
% 17.95/11.00 Conjecture not found
% 17.97/11.02 Conjecture not found
% 17.98/11.04 Conjecture not found
% 18.26/11.13 Conjecture not found
% 18.26/11.15 Conjecture not found
% 18.33/11.19 Conjecture not found
% 18.33/11.22 Conjecture not found
% 18.63/11.34 Conjecture not found
% 18.63/11.35 Conjecture not found
% 18.63/11.38 Conjecture not found
% 18.63/11.39 Conjecture not found
% 18.63/11.39 Conjecture not found
% 18.63/11.39 Conjecture not found
% 18.63/11.40 Conjecture not found
% 18.72/11.46 Conjecture not found
% 18.72/11.48 Conjecture not found
% 18.96/11.50 Conjecture not found
% 18.96/11.56 Conjecture not found
% 19.07/11.61 Conjecture not found
% 19.10/11.70 Conjecture not found
% 19.10/11.71 Conjecture not found
% 19.45/11.81 Conjecture not found
% 19.70/11.94 Conjecture not found
% 19.70/11.96 Conjecture not found
% 19.91/12.01 Conjecture not found
% 20.03/12.04 Conjecture not found
% 20.03/12.05 Conjecture not found
% 20.10/12.11 Conjecture not found
% 20.19/12.21 Conjecture not found
% 20.19/12.27 Conjecture not found
% 20.19/12.29 Conjecture not found
% 20.50/12.36 Conjecture not found
% 20.73/12.41 Conjecture not found
% 20.73/12.44 Conjecture not found
% 20.83/12.48 Conjecture not found
% 20.83/12.51 Conjecture not found
% 20.83/12.52 Conjecture not found
% 20.83/12.55 Conjecture not found
% 21.18/12.65 Conjecture not found
% 21.18/12.68 Conjecture not found
% 21.18/12.70 Conjecture not found
% 21.26/12.74 Conjecture not found
% 21.26/12.77 Conjecture not found
% 21.26/12.78 Conjecture not found
% 21.42/12.83 Conjecture not found
% 21.42/12.87 Conjecture not found
% 21.65/12.90 Conjecture not found
% 21.68/12.93 Conjecture not found
% 21.98/13.01 Conjecture not found
% 21.98/13.03 Conjecture not found
% 22.05/13.11 Conjecture not found
% 22.16/13.19 Conjecture not found
% 22.19/13.28 Conjecture not found
% 22.19/13.30 Conjecture not found
% 22.48/13.36 Conjecture not found
% 22.48/13.37 Conjecture not found
% 22.48/13.38 Conjecture not found
% 22.48/13.38 Conjecture not found
% 22.57/13.39 Conjecture not found
% 22.57/13.41 Conjecture not found
% 22.57/13.42 Conjecture not found
% 22.90/13.51 Conjecture not found
% 22.90/13.57 Conjecture not found
% 22.90/13.61 Conjecture not found
% 23.00/13.62 Conjecture not found
% 23.00/13.63 Conjecture not found
% 23.28/13.70 Conjecture not found
% 23.28/13.71 Conjecture not found
% 23.28/13.72 Conjecture not found
% 23.37/13.78 Conjecture not found
% 23.37/13.79 Conjecture not found
% 23.41/13.84 Conjecture not found
% 23.71/13.91 Conjecture not found
% 23.71/13.94 Conjecture not found
% 23.71/13.96 Conjecture not found
% 24.22/14.21 Conjecture not found
% 24.22/14.26 Conjecture not found
% 24.22/14.27 Conjecture not found
% 24.38/14.38 Conjecture not found
% 24.65/14.40 Conjecture not found
% 24.65/14.44 Conjecture not found
% 24.65/14.46 Conjecture not found
% 24.75/14.56 Conjecture not found
% 25.10/14.60 Conjecture not found
% 25.10/14.61 Conjecture not found
% 25.10/14.63 Conjecture not found
% 25.10/14.66 Conjecture not found
% 25.20/14.70 Conjecture not found
% 25.20/14.79 Conjecture not found
% 25.20/14.81 Conjecture not found
% 25.20/14.81 Conjecture not found
% 25.55/14.81 Conjecture not found
% 25.55/14.85 Conjecture not found
% 25.55/14.86 Conjecture not found
% 25.55/14.90 Conjecture not found
% 25.66/14.99 Conjecture not found
% 26.09/15.09 Conjecture not found
% 26.09/15.12 Conjecture not found
% 26.09/15.13 Conjecture not found
% 26.09/15.14 Conjecture not found
% 26.19/15.18 Conjecture not found
% 26.20/15.20 Conjecture not found
% 26.20/15.21 Conjecture not found
% 26.22/15.23 Conjecture not found
% 26.22/15.29 Conjecture not found
% 26.56/15.33 Conjecture not found
% 26.56/15.35 Conjecture not found
% 26.56/15.37 Conjecture not found
% 26.64/15.44 Conjecture not found
% 26.64/15.48 Conjecture not found
% 26.98/15.51 Conjecture not found
% 27.02/15.58 Conjecture not found
% 27.02/15.60 Conjecture not found
% 27.10/15.64 Conjecture not found
% 27.10/15.66 Conjecture not found
% 27.10/15.68 Conjecture not found
% 27.17/15.69 Conjecture not found
% 27.17/15.71 Conjecture not found
% 27.17/15.72 Conjecture not found
% 27.58/15.90 Conjecture not found
% 27.58/15.90 Conjecture not found
% 27.58/15.91 Conjecture not found
% 27.66/15.95 Conjecture not found
% 27.73/15.99 Conjecture not found
% 27.73/16.02 Conjecture not found
% 27.73/16.07 Conjecture not found
% 28.11/16.11 Conjecture not found
% 28.15/16.14 Conjecture not found
% 28.15/16.17 Conjecture not found
% 28.15/16.19 Conjecture not found
% 28.22/16.22 Conjecture not found
% 28.22/16.25 Conjecture not found
% 28.47/16.29 Conjecture not found
% 28.47/16.32 Conjecture not found
% 28.67/16.37 Conjecture not found
% 28.69/16.40 Conjecture not found
% 28.73/16.43 Conjecture not found
% 28.73/16.45 Conjecture not found
% 28.73/16.46 Conjecture not found
% 28.82/16.53 Conjecture not found
% 29.03/16.61 Conjecture not found
% 29.03/16.65 Conjecture not found
% 29.25/16.68 Conjecture not found
% 29.28/16.72 Conjecture not found
% 29.30/16.75 Conjecture not found
% 29.30/16.76 Conjecture not found
% 29.30/16.78 Conjecture not found
% 29.30/16.81 Conjecture not found
% 29.39/16.83 Conjecture not found
% 29.39/16.84 Conjecture not found
% 29.39/16.89 Conjecture not found
% 29.47/16.93 Conjecture not found
% 29.83/17.08 Conjecture not found
% 29.83/17.10 Conjecture not found
% 29.94/17.13 Conjecture not found
% 29.94/17.20 Conjecture not found
% 30.26/17.29 Conjecture not found
% 30.46/17.37 Conjecture not found
% 30.58/17.47 Conjecture not found
% 30.66/17.51 Conjecture not found
% 30.66/17.52 Conjecture not found
% 30.66/17.53 Conjecture not found
% 30.66/17.54 Conjecture not found
% 30.66/17.56 Conjecture not found
% 30.75/17.58 Conjecture not found
% 30.75/17.59 Conjecture not found
% 30.77/17.61 Conjecture not found
% 30.78/17.62 Conjecture not found
% 30.78/17.69 Conjecture not found
% 31.20/17.75 Conjecture not found
% 31.20/17.77 Conjecture not found
% 31.20/17.80 Conjecture not found
% 31.29/17.81 Conjecture not found
% 31.29/17.83 Conjecture not found
% 31.29/17.89 Conjecture not found
% 31.81/18.01 Conjecture not found
% 31.81/18.05 Conjecture not found
% 31.81/18.06 Conjecture not found
% 31.91/18.15 Conjecture not found
% 31.91/18.19 Conjecture not found
% 31.99/18.23 Conjecture not found
% 32.43/18.31 Conjecture not found
% 32.44/18.32 Conjecture not found
% 32.44/18.37 Conjecture not found
% 32.44/18.39 Conjecture not found
% 32.44/18.40 Conjecture not found
% 32.54/18.43 Conjecture not found
% 32.54/18.45 Conjecture not found
% 32.54/18.46 Conjecture not found
% 32.54/18.48 Conjecture not found
% 32.54/18.49 Conjecture not found
% 33.05/18.58 Conjecture not found
% 33.10/18.64 Conjecture not found
% 33.10/18.68 Conjecture not found
% 33.20/18.74 Conjecture not found
% 33.28/18.85 Conjecture not found
% 33.67/18.88 Conjecture not found
% 33.71/18.92 Conjecture not found
% 33.73/18.94 Conjecture not found
% 33.73/18.96 Conjecture not found
% 33.73/18.97 Conjecture not found
% 33.73/18.98 Conjecture not found
% 33.82/19.05 Conjecture not found
% 33.82/19.06 Conjecture not found
% 33.82/19.08 Conjecture not found
% 33.88/19.11 Conjecture not found
% 33.88/19.12 Conjecture not found
% 33.88/19.14 Conjecture not found
% 34.17/19.20 Conjecture not found
% 34.32/19.22 Conjecture not found
% 34.34/19.25 Conjecture not found
% 34.34/19.28 Conjecture not found
% 34.42/19.31 Conjecture not found
% 34.42/19.34 Conjecture not found
% 34.42/19.35 Conjecture not found
% 34.42/19.37 Conjecture not found
% 34.42/19.38 Conjecture not found
% 34.49/19.42 Conjecture not found
% 34.88/19.54 Conjecture not found
% 34.88/19.59 Conjecture not found
% 35.05/19.64 Conjecture not found
% 35.05/19.67 Conjecture not found
% 35.05/19.68 Conjecture not found
% 35.12/19.71 Conjecture not found
% 35.12/19.77 Conjecture not found
% 35.20/19.80 Conjecture not found
% 35.20/19.85 Conjecture not found
% 35.70/19.93 Conjecture not found
% 35.70/19.95 Conjecture not found
% 35.70/19.99 Conjecture not found
% 35.70/20.02 Conjecture not found
% 35.80/20.04 Conjecture not found
% 35.80/20.07 Conjecture not found
% 35.88/20.10 Conjecture not found
% 35.88/20.12 Conjecture not found
% 35.88/20.14 Conjecture not found
% 35.88/20.16 Conjecture not found
% 35.88/20.17 Conjecture not found
% 35.98/20.26 Conjecture not found
% 36.42/20.30 Conjecture not found
% 36.45/20.34 Conjecture not found
% 36.45/20.35 Conjecture not found
% 36.45/20.38 Conjecture not found
% 36.52/20.41 Conjecture not found
% 36.52/20.43 Conjecture not found
% 36.52/20.45 Conjecture not found
% 36.60/20.48 Conjecture not found
% 36.60/20.49 Conjecture not found
% 36.60/20.51 Conjecture not found
% 36.93/20.59 Conjecture not found
% 37.07/20.61 Conjecture not found
% 37.11/20.66 Conjecture not found
% 37.19/20.71 Conjecture not found
% 37.19/20.72 Conjecture not found
% 37.19/20.78 Conjecture not found
% 37.19/20.79 Conjecture not found
% 37.27/20.80 Conjecture not found
% 37.27/20.81 Conjecture not found
% 37.27/20.85 Conjecture not found
% 37.27/20.86 Conjecture not found
% 37.37/20.89 Conjecture not found
% 37.37/20.91 Conjecture not found
% 37.50/20.93 Conjecture not found
% 37.50/21.01 Conjecture not found
% 37.91/21.07 Conjecture not found
% 37.97/21.16 Conjecture not found
% 38.06/21.18 Conjecture not found
% 38.07/21.19 Conjecture not found
% 38.07/21.20 Conjecture not found
% 38.24/21.31 Conjecture not found
% 38.24/21.33 Conjecture not found
% 38.24/21.37 Conjecture not found
% 38.70/21.43 Conjecture not found
% 38.82/21.57 Conjecture not found
% 38.91/21.63 Conjecture not found
% 38.99/21.77 Conjecture not found
% 39.08/21.78 Conjecture not found
% 39.17/21.87 Conjecture not found
% 39.17/21.89 Conjecture not found
% 39.43/21.93 Conjecture not found
% 39.43/21.95 Conjecture not found
% 39.67/22.01 Conjecture not found
% 39.67/22.05 Conjecture not found
% 39.67/22.07 Conjecture not found
% 39.77/22.09 Conjecture not found
% 39.79/22.11 Conjecture not found
% 39.79/22.17 Conjecture not found
% 39.79/22.18 Conjecture not found
% 39.88/22.21 Conjecture not found
% 39.88/22.25 Conjecture not found
% 39.88/22.27 Conjecture not found
% 39.97/22.33 Conjecture not found
% 40.55/22.44 Conjecture not found
% 40.55/22.48 Conjecture not found
% 40.55/22.50 Conjecture not found
% 40.65/22.58 Conjecture not found
% 40.74/22.62 Conjecture not found
% 40.74/22.64 Conjecture not found
% 40.74/22.67 Conjecture not found
% 40.82/22.71 Conjecture not found
% 40.82/22.72 Conjecture not found
% 40.82/22.73 Conjecture not found
% 40.82/22.77 Conjecture not found
% 41.48/22.96 Conjecture not found
% 41.56/22.99 Conjecture not found
% 41.56/23.00 Conjecture not found
% 41.56/23.03 Conjecture not found
% 41.56/23.04 Conjecture not found
% 41.56/23.06 Conjecture not found
% 41.64/23.09 Conjecture not found
% 41.67/23.10 Conjecture not found
% 41.67/23.11 Conjecture not found
% 41.70/23.14 Conjecture not found
% 41.70/23.17 Conjecture not found
% 41.70/23.20 Conjecture not found
% 41.78/23.23 Conjecture not found
% 41.78/23.24 Conjecture not found
% 42.21/23.29 Conjecture not found
% 42.21/23.30 Conjecture not found
% 42.21/23.31 Conjecture not found
% 42.38/23.37 Conjecture not found
% 42.38/23.38 Conjecture not found
% 42.38/23.38 Conjecture not found
% 42.40/23.39 Conjecture not found
% 42.40/23.41 Conjecture not found
% 42.44/23.43 Conjecture not found
% 42.45/23.45 Conjecture not found
% 42.45/23.47 Conjecture not found
% 42.45/23.49 Conjecture not found
% 42.52/23.51 Conjecture not found
% 42.52/23.54 Conjecture not found
% 42.52/23.55 Conjecture not found
% 42.52/23.57 Conjecture not found
% 42.58/23.58 Conjecture not found
% 42.58/23.64 Conjecture not found
% 42.58/23.67 Conjecture not found
% 43.22/23.80 Conjecture not found
% 43.22/23.81 Conjecture not found
% 43.22/23.82 Conjecture not found
% 43.44/23.96 Conjecture not found
% 43.44/24.00 Conjecture not found
% 43.48/24.02 Conjecture not found
% 43.48/24.03 Conjecture not found
% 43.52/24.13 Conjecture not found
% 44.04/24.17 Conjecture not found
% 44.11/24.20 Conjecture not found
% 44.11/24.24 Conjecture not found
% 44.18/24.27 Conjecture not found
% 44.26/24.36 Conjecture not found
% 44.26/24.37 Conjecture not found
% 44.34/24.43 Conjecture not found
% 44.34/24.44 Conjecture not found
% 44.34/24.47 Conjecture not found
% 44.40/24.48 Conjecture not found
% 44.40/24.49 Conjecture not found
% 44.40/24.51 Conjecture not found
% 44.95/24.58 Conjecture not found
% 44.99/24.62 Conjecture not found
% 44.99/24.63 Conjecture not found
% 45.02/24.65 Conjecture not found
% 45.02/24.68 Conjecture not found
% 45.02/24.69 Conjecture not found
% 45.10/24.73 Conjecture not found
% 45.10/24.75 Conjecture not found
% 45.17/24.84 Conjecture not found
% 45.17/24.87 Conjecture not found
% 45.27/24.90 Conjecture not found
% 45.30/24.95 Conjecture not found
% 45.30/25.00 Conjecture not found
% 45.99/25.09 Conjecture not found
% 45.99/25.11 Conjecture not found
% 45.99/25.13 Conjecture not found
% 46.08/25.18 Conjecture not found
% 46.13/25.27 Conjecture not found
% 47.00/25.69 Conjecture not found
% 47.10/25.70 Conjecture not found
% 47.10/25.74 Conjecture not found
% 47.10/25.77 Conjecture not found
% 47.10/25.78 Conjecture not found
% 47.19/25.79 Conjecture not found
% 47.19/25.80 Conjecture not found
% 47.19/25.82 Conjecture not found
% 47.19/25.83 Conjecture not found
% 47.19/25.84 Conjecture not found
% 47.19/25.85 Conjecture not found
% 47.29/25.90 Conjecture not found
% 47.88/26.05 Conjecture not found
% 47.88/26.10 Conjecture not found
% 47.98/26.14 Conjecture not found
% 47.98/26.18 Conjecture not found
% 48.05/26.19 Conjecture not found
% 48.05/26.20 Conjecture not found
% 48.05/26.25 Conjecture not found
% 48.05/26.26 Conjecture not found
% 48.14/26.28 Conjecture not found
% 48.14/26.29 Conjecture not found
% 48.17/26.31 Conjecture not found
% 48.18/26.36 Conjecture not found
% 48.18/26.41 Conjecture not found
% 48.89/26.49 Conjecture not found
% 48.89/26.55 Conjecture not found
% 48.89/26.56 Conjecture not found
% 49.03/26.65 Conjecture not found
% 49.03/26.69 Conjecture not found
% 49.03/26.70 Conjecture not found
% 49.03/26.71 Conjecture not found
% 49.11/26.74 Conjecture not found
% 49.11/26.76 Conjecture not found
% 49.11/26.77 Conjecture not found
% 49.18/26.83 Conjecture not found
% 49.18/26.83 Conjecture not found
% 49.18/26.85 Conjecture not found
% 49.26/26.87 Conjecture not found
% 49.30/26.88 Conjecture not found
% 49.66/26.95 Conjecture not found
% 49.66/26.97 Conjecture not found
% 49.66/26.99 Conjecture not found
% 49.85/27.06 Conjecture not found
% 49.92/27.09 Conjecture not found
% 49.92/27.10 Conjecture not found
% 49.92/27.11 Conjecture not found
% 50.02/27.19 Conjecture not found
% 50.04/27.20 Conjecture not found
% 50.07/27.23 Conjecture not found
% 50.07/27.25 Conjecture not found
% 50.14/27.35 Conjecture not found
% 50.20/27.36 Conjecture not found
% 50.20/27.45 Conjecture not found
% 50.78/27.48 Conjecture not found
% 50.82/27.51 Conjecture not found
% 50.82/27.53 Conjecture not found
% 50.85/27.58 Conjecture not found
% 50.95/27.64 Conjecture not found
% 50.95/27.70 Conjecture not found
% 51.02/27.71 Conjecture not found
% 51.02/27.73 Conjecture not found
% 51.11/27.88 Conjecture not found
% 51.72/27.97 Conjecture not found
% 51.87/28.04 Conjecture not found
% 51.87/28.07 Conjecture not found
% 51.94/28.08 Conjecture not found
% 51.94/28.10 Conjecture not found
% 51.94/28.11 Conjecture not found
% 51.94/28.15 Conjecture not found
% 51.94/28.15 Conjecture not found
% 52.03/28.16 Conjecture not found
% 52.03/28.18 Conjecture not found
% 52.09/28.23 Conjecture not found
% 52.10/28.24 Conjecture not found
% 52.10/28.27 Conjecture not found
% 52.17/28.31 Conjecture not found
% 52.17/28.31 Conjecture not found
% 52.88/28.49 Conjecture not found
% 52.88/28.50 Conjecture not found
% 52.92/28.54 Conjecture not found
% 52.92/28.57 Conjecture not found
% 52.92/28.61 Conjecture not found
% 53.09/28.71 Conjecture not found
% 53.09/28.75 Conjecture not found
% 53.17/28.78 Conjecture not found
% 53.17/28.78 Conjecture not found
% 53.18/28.78 Conjecture not found
% 53.21/28.81 Conjecture not found
% 53.21/28.82 Conjecture not found
% 53.36/28.96 Conjecture not found
% 53.36/28.98 Conjecture not found
% 53.98/29.08 Conjecture not found
% 54.09/29.14 Conjecture not found
% 54.09/29.16 Conjecture not found
% 54.09/29.20 Conjecture not found
% 54.19/29.22 Conjecture not found
% 54.19/29.24 Conjecture not found
% 54.19/29.25 Conjecture not found
% 54.19/29.26 Conjecture not found
% 54.28/29.30 Conjecture not found
% 54.28/29.33 Conjecture not found
% 54.28/29.34 Conjecture not found
% 54.39/29.41 Conjecture not found
% 54.91/29.56 Conjecture not found
% 54.91/29.59 Conjecture not found
% 55.12/29.62 Conjecture not found
% 55.12/29.63 Conjecture not found
% 55.12/29.65 Conjecture not found
% 55.12/29.67 Conjecture not found
% 55.22/29.70 Conjecture not found
% 55.22/29.72 Conjecture not found
% 55.32/29.81 Conjecture not found
% 56.25/30.11 Conjecture not found
% 56.34/30.30 Conjecture not found
% 56.34/30.31 Conjecture not found
% 56.48/30.36 Conjecture not found
% 56.56/30.46 Conjecture not found
% 56.66/30.51 Conjecture not found
% 56.66/30.52 Conjecture not found
% 56.66/30.54 Conjecture not found
% 56.98/30.61 Conjecture not found
% 57.10/30.64 Conjecture not found
% 57.34/30.75 Conjecture not found
% 57.34/30.77 Conjecture not found
% 57.46/30.78 Conjecture not found
% 57.46/30.79 Conjecture not found
% 57.46/30.82 Conjecture not found
% 57.46/30.84 Conjecture not found
% 57.46/30.85 Conjecture not found
% 57.46/30.86 Conjecture not found
% 57.60/30.97 Conjecture not found
% 57.60/30.98 Conjecture not found
% 57.60/31.02 Conjecture not found
% 57.70/31.07 Conjecture not found
% 57.70/31.08 Conjecture not found
% 57.70/31.08 Conjecture not found
% 57.70/31.09 Conjecture not found
% 57.77/31.10 Conjecture not found
% 57.77/31.11 Conjecture not found
% 57.77/31.15 Conjecture not found
% 57.77/31.15 Conjecture not found
% 57.85/31.22 Conjecture not found
% 57.95/31.29 Conjecture not found
% 57.99/31.32 Conjecture not found
% 58.22/31.34 Conjecture not found
% 58.22/31.35 Conjecture not found
% 58.22/31.41 Conjecture not found
% 58.77/31.43 Conjecture not found
% 58.77/31.48 Conjecture not found
% 58.85/31.50 Conjecture not found
% 58.85/31.51 Conjecture not found
% 58.85/31.52 Conjecture not found
% 58.94/31.60 Conjecture not found
% 58.97/31.62 Conjecture not found
% 58.98/31.67 Conjecture not found
% 58.98/31.69 Conjecture not found
% 58.98/31.70 Conjecture not found
% 59.07/31.72 Conjecture not found
% 59.07/31.74 Conjecture not found
% 59.07/31.75 Conjecture not found
% 59.07/31.76 Conjecture not found
% 59.07/31.77 Conjecture not found
% 59.14/31.79 Conjecture not found
% 59.14/31.81 Conjecture not found
% 59.61/31.90 Conjecture not found
% 59.89/31.94 Conjecture not found
% 60.00/32.01 Conjecture not found
% 60.00/32.06 Conjecture not found
% 60.00/32.08 Conjecture not found
% 60.08/32.10 Conjecture not found
% 60.08/32.13 Conjecture not found
% 60.08/32.18 Conjecture not found
% 60.20/32.23 Conjecture not found
% 60.20/32.28 Conjecture not found
% 60.30/32.33 Conjecture not found
% 60.30/32.36 Conjecture not found
% 60.30/32.38 Conjecture not found
% 60.38/32.45 Conjecture not found
% 60.38/32.46 Conjecture not found
% 60.90/32.48 Conjecture not found
% 61.15/32.59 Conjecture not found
% 61.28/32.66 Conjecture not found
% 61.28/32.68 Conjecture not found
% 61.37/32.76 Conjecture not found
% 61.37/32.78 Conjecture not found
% 61.37/32.79 Conjecture not found
% 61.37/32.79 Conjecture not found
% 61.46/32.82 Conjecture not found
% 61.46/32.88 Conjecture not found
% 61.56/32.91 Conjecture not found
% 61.56/32.93 Conjecture not found
% 61.56/32.96 Conjecture not found
% 61.66/32.99 Conjecture not found
% 61.66/33.07 Conjecture not found
% 61.66/33.08 Conjecture not found
% 62.44/33.12 Conjecture not found
% 62.44/33.16 Conjecture not found
% 62.55/33.23 Conjecture not found
% 62.55/33.28 Conjecture not found
% 62.55/33.29 Conjecture not found
% 62.65/33.35 Conjecture not found
% 62.65/33.38 Conjecture not found
% 62.65/33.40 Conjecture not found
% 62.76/33.44 Conjecture not found
% 62.76/33.45 Conjecture not found
% 62.76/33.46 Conjecture not found
% 62.87/33.52 Conjecture not found
% 62.87/33.53 Conjecture not found
% 62.87/33.55 Conjecture not found
% 62.87/33.59 Conjecture not found
% 63.18/33.63 Conjecture not found
% 63.18/33.63 Conjecture not found
% 63.18/33.67 Conjecture not found
% 63.71/33.76 Conjecture not found
% 63.83/33.81 Conjecture not found
% 63.85/33.83 Conjecture not found
% 63.85/33.84 Conjecture not found
% 63.85/33.88 Conjecture not found
% 63.93/33.93 Conjecture not found
% 63.93/33.97 Conjecture not found
% 64.14/34.12 Conjecture not found
% 64.53/34.23 Conjecture not found
% 64.53/34.28 Conjecture not found
% 64.99/34.32 Conjecture not found
% 65.09/34.39 Conjecture not found
% 65.11/34.41 Conjecture not found
% 65.14/34.45 Conjecture not found
% 65.14/34.46 Conjecture not found
% 65.14/34.46 Conjecture not found
% 65.14/34.47 Conjecture not found
% 65.14/34.49 Conjecture not found
% 65.14/34.51 Conjecture not found
% 65.23/34.52 Conjecture not found
% 65.23/34.53 Conjecture not found
% 65.23/34.54 Conjecture not found
% 65.23/34.56 Conjecture not found
% 65.23/34.56 Conjecture not found
% 65.30/34.59 Conjecture not found
% 65.30/34.63 Conjecture not found
% 65.30/34.66 Conjecture not found
% 65.39/34.68 Conjecture not found
% 65.49/34.74 Conjecture not found
% 66.15/34.84 Conjecture not found
% 66.15/34.86 Conjecture not found
% 66.38/35.01 Conjecture not found
% 66.41/35.02 Conjecture not found
% 66.42/35.03 Conjecture not found
% 66.42/35.05 Conjecture not found
% 66.42/35.08 Conjecture not found
% 66.50/35.11 Conjecture not found
% 67.72/35.60 Conjecture not found
% 67.75/35.63 Conjecture not found
% 67.75/35.65 Conjecture not found
% 67.75/35.70 Conjecture not found
% 67.84/35.78 Conjecture not found
% 67.84/35.79 Conjecture not found
% 67.94/35.86 Conjecture not found
% 67.94/35.89 Conjecture not found
% 68.04/35.93 Conjecture not found
% 68.04/35.96 Conjecture not found
% 68.45/36.01 Conjecture not found
% 68.45/36.08 Conjecture not found
% 69.04/36.15 Conjecture not found
% 69.04/36.19 Conjecture not found
% 69.15/36.20 Conjecture not found
% 69.15/36.20 Start search
% 166.77/59.53 nb_step : 1 - limit : 175661
% 167.47/60.25 Launch Gotab with destructive = true
%------------------------------------------------------------------------------