TSTP Solution File: SEU436+4 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : SEU436+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n005.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 300s
% DateTime : Tue Sep 20 05:57:12 EDT 2022
% Result : Timeout 300.43s 92.34s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.12 % Problem : SEU436+4 : TPTP v8.1.0. Released v3.4.0.
% 0.08/0.12 % Command : goeland -dmt -presko -proof %s
% 0.12/0.34 % Computer : n005.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 300
% 0.12/0.34 % DateTime : Sat Sep 3 14:31:28 EDT 2022
% 0.12/0.34 % CPUTime :
% 0.12/0.35 [DMT] DMT loaded with preskolemization
% 0.12/0.35 [EQ] equality loaded.
% 0.12/0.35 [0.000041s][1][MAIN] Problem : theBenchmark.p
% 0.18/0.40 Conjecture not found
% 0.18/0.40 Conjecture not found
% 0.18/0.41 Conjecture not found
% 0.18/0.41 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.48 Conjecture not found
% 0.18/0.49 Conjecture not found
% 0.18/0.49 Conjecture not found
% 0.44/0.53 Conjecture not found
% 0.47/0.56 Conjecture not found
% 0.47/0.58 Conjecture not found
% 0.47/0.58 Conjecture not found
% 0.47/0.59 Conjecture not found
% 0.47/0.61 Conjecture not found
% 0.47/0.63 Conjecture not found
% 0.62/0.68 Conjecture not found
% 0.72/0.75 Conjecture not found
% 0.72/0.75 Conjecture not found
% 0.91/0.83 Conjecture not found
% 0.97/0.88 Conjecture not found
% 1.12/0.96 Conjecture not found
% 1.22/1.00 Conjecture not found
% 1.32/1.07 Conjecture not found
% 1.36/1.11 Conjecture not found
% 1.45/1.16 Conjecture not found
% 1.51/1.18 Conjecture not found
% 1.51/1.22 Conjecture not found
% 1.51/1.23 Conjecture not found
% 1.63/1.24 Conjecture not found
% 1.63/1.25 Conjecture not found
% 1.63/1.25 Conjecture not found
% 1.81/1.35 Conjecture not found
% 1.84/1.38 Conjecture not found
% 1.84/1.38 Conjecture not found
% 1.84/1.40 Conjecture not found
% 1.84/1.40 Conjecture not found
% 1.84/1.40 Conjecture not found
% 1.84/1.40 Conjecture not found
% 1.84/1.41 Conjecture not found
% 1.84/1.41 Conjecture not found
% 2.01/1.47 Conjecture not found
% 2.01/1.52 Conjecture not found
% 2.01/1.52 Conjecture not found
% 2.01/1.52 Conjecture not found
% 2.01/1.53 Conjecture not found
% 2.13/1.55 Conjecture not found
% 2.13/1.57 Conjecture not found
% 2.18/1.58 Conjecture not found
% 2.18/1.60 Conjecture not found
% 2.18/1.62 Conjecture not found
% 2.18/1.64 Conjecture not found
% 2.18/1.65 Conjecture not found
% 2.34/1.66 Conjecture not found
% 2.37/1.70 Conjecture not found
% 2.50/1.76 Conjecture not found
% 2.52/1.82 Conjecture not found
% 2.61/1.82 Conjecture not found
% 2.61/1.85 Conjecture not found
% 2.67/1.87 Conjecture not found
% 2.67/1.91 Conjecture not found
% 2.67/1.92 Conjecture not found
% 2.78/1.95 Conjecture not found
% 2.86/2.04 Conjecture not found
% 3.01/2.07 Conjecture not found
% 3.01/2.09 Conjecture not found
% 3.01/2.11 Conjecture not found
% 3.10/2.13 Conjecture not found
% 3.10/2.15 Conjecture not found
% 3.40/2.33 Conjecture not found
% 3.48/2.35 Conjecture not found
% 3.48/2.37 Conjecture not found
% 3.66/2.48 Conjecture not found
% 3.76/2.50 Conjecture not found
% 3.76/2.51 Conjecture not found
% 3.76/2.54 Conjecture not found
% 3.84/2.58 Conjecture not found
% 3.99/2.65 Conjecture not found
% 3.99/2.73 Conjecture not found
% 4.18/2.81 Conjecture not found
% 4.30/2.86 Conjecture not found
% 4.41/2.87 Conjecture not found
% 4.43/2.91 Conjecture not found
% 4.43/2.92 Conjecture not found
% 4.46/2.96 Conjecture not found
% 4.46/2.98 Conjecture not found
% 4.46/3.00 Conjecture not found
% 4.46/3.01 Conjecture not found
% 4.66/3.08 Conjecture not found
% 4.66/3.09 Conjecture not found
% 4.78/3.13 Conjecture not found
% 4.91/3.20 Conjecture not found
% 5.02/3.30 Conjecture not found
% 5.25/3.40 Conjecture not found
% 5.74/3.64 Conjecture not found
% 6.28/4.00 Conjecture not found
% 6.28/4.03 Conjecture not found
% 6.45/4.06 Conjecture not found
% 6.74/4.23 Conjecture not found
% 6.78/4.27 Conjecture not found
% 6.78/4.33 Conjecture not found
% 7.03/4.40 Conjecture not found
% 7.13/4.46 Conjecture not found
% 7.25/4.53 Conjecture not found
% 7.28/4.57 Conjecture not found
% 7.28/4.60 Conjecture not found
% 7.28/4.61 Conjecture not found
% 7.43/4.64 Conjecture not found
% 7.43/4.65 Conjecture not found
% 7.48/4.73 Conjecture not found
% 7.65/4.81 Conjecture not found
% 7.79/4.89 Conjecture not found
% 7.96/4.97 Conjecture not found
% 7.96/5.00 Conjecture not found
% 7.96/5.05 Conjecture not found
% 8.12/5.07 Conjecture not found
% 8.19/5.10 Conjecture not found
% 8.19/5.13 Conjecture not found
% 8.28/5.15 Conjecture not found
% 8.29/5.17 Conjecture not found
% 8.29/5.20 Conjecture not found
% 8.29/5.20 Conjecture not found
% 8.34/5.22 Conjecture not found
% 8.34/5.24 Conjecture not found
% 8.45/5.28 Conjecture not found
% 8.45/5.30 Conjecture not found
% 8.59/5.35 Conjecture not found
% 8.66/5.40 Conjecture not found
% 8.92/5.59 Conjecture not found
% 8.92/5.64 Conjecture not found
% 8.92/5.65 Conjecture not found
% 9.09/5.67 Conjecture not found
% 9.09/5.69 Conjecture not found
% 9.20/5.72 Conjecture not found
% 9.27/5.77 Conjecture not found
% 9.27/5.78 Conjecture not found
% 9.27/5.81 Conjecture not found
% 9.27/5.83 Conjecture not found
% 9.49/5.92 Conjecture not found
% 10.38/6.43 Conjecture not found
% 11.30/7.00 Conjecture not found
% 11.50/7.15 Conjecture not found
% 11.67/7.21 Conjecture not found
% 11.67/7.23 Conjecture not found
% 11.67/7.25 Conjecture not found
% 11.86/7.30 Conjecture not found
% 11.86/7.32 Conjecture not found
% 11.91/7.33 Conjecture not found
% 11.92/7.38 Conjecture not found
% 12.09/7.44 Conjecture not found
% 12.15/7.49 Conjecture not found
% 12.15/7.51 Conjecture not found
% 12.15/7.52 Conjecture not found
% 12.31/7.56 Conjecture not found
% 12.37/7.62 Conjecture not found
% 12.40/7.65 Conjecture not found
% 12.40/7.70 Conjecture not found
% 12.58/7.75 Conjecture not found
% 12.58/7.77 Conjecture not found
% 12.68/7.80 Conjecture not found
% 12.68/7.83 Conjecture not found
% 12.82/7.85 Conjecture not found
% 12.84/7.89 Conjecture not found
% 12.92/7.94 Conjecture not found
% 13.01/7.95 Conjecture not found
% 13.08/8.02 Conjecture not found
% 13.13/8.09 Conjecture not found
% 13.13/8.11 Conjecture not found
% 13.13/8.13 Conjecture not found
% 13.31/8.16 Conjecture not found
% 13.34/8.17 Conjecture not found
% 13.34/8.19 Conjecture not found
% 13.34/8.20 Conjecture not found
% 13.45/8.23 Conjecture not found
% 13.52/8.25 Conjecture not found
% 13.52/8.26 Conjecture not found
% 13.52/8.31 Conjecture not found
% 13.60/8.33 Conjecture not found
% 13.60/8.36 Conjecture not found
% 13.69/8.41 Conjecture not found
% 13.69/8.44 Conjecture not found
% 13.69/8.46 Conjecture not found
% 13.85/8.48 Conjecture not found
% 13.88/8.51 Conjecture not found
% 13.88/8.53 Conjecture not found
% 13.88/8.54 Conjecture not found
% 14.06/8.59 Conjecture not found
% 14.12/8.62 Conjecture not found
% 14.12/8.65 Conjecture not found
% 14.17/8.68 Conjecture not found
% 14.17/8.69 Conjecture not found
% 14.17/8.72 Conjecture not found
% 14.38/8.77 Conjecture not found
% 14.38/8.78 Conjecture not found
% 14.43/8.81 Conjecture not found
% 14.43/8.82 Conjecture not found
% 14.43/8.84 Conjecture not found
% 14.48/8.85 Conjecture not found
% 14.49/8.86 Conjecture not found
% 14.49/8.86 Conjecture not found
% 14.67/8.93 Conjecture not found
% 14.72/9.04 Conjecture not found
% 14.81/9.06 Conjecture not found
% 14.81/9.10 Conjecture not found
% 14.99/9.13 Conjecture not found
% 15.03/9.15 Conjecture not found
% 15.03/9.17 Conjecture not found
% 15.03/9.19 Conjecture not found
% 15.03/9.21 Conjecture not found
% 15.25/9.28 Conjecture not found
% 15.30/9.32 Conjecture not found
% 15.30/9.34 Conjecture not found
% 15.37/9.37 Conjecture not found
% 15.82/9.54 Conjecture not found
% 15.88/9.65 Conjecture not found
% 15.98/9.71 Conjecture not found
% 15.98/9.72 Conjecture not found
% 16.01/9.75 Conjecture not found
% 16.01/9.79 Conjecture not found
% 16.01/9.82 Conjecture not found
% 16.23/9.83 Conjecture not found
% 16.46/9.91 Conjecture not found
% 16.54/9.99 Conjecture not found
% 16.60/10.03 Conjecture not found
% 16.60/10.08 Conjecture not found
% 16.85/10.14 Conjecture not found
% 16.85/10.16 Conjecture not found
% 16.85/10.21 Conjecture not found
% 17.02/10.25 Conjecture not found
% 17.15/10.30 Conjecture not found
% 17.40/10.40 Conjecture not found
% 17.42/10.41 Conjecture not found
% 17.44/10.43 Conjecture not found
% 17.44/10.45 Conjecture not found
% 17.44/10.47 Conjecture not found
% 17.69/10.57 Conjecture not found
% 17.77/10.64 Conjecture not found
% 17.77/10.65 Conjecture not found
% 18.02/10.71 Conjecture not found
% 18.38/10.91 Conjecture not found
% 18.50/10.97 Conjecture not found
% 18.65/11.01 Conjecture not found
% 18.65/11.02 Conjecture not found
% 18.65/11.03 Conjecture not found
% 18.68/11.04 Conjecture not found
% 18.68/11.08 Conjecture not found
% 18.89/11.16 Conjecture not found
% 18.98/11.25 Conjecture not found
% 19.08/11.30 Conjecture not found
% 19.28/11.34 Conjecture not found
% 19.39/11.44 Conjecture not found
% 19.43/11.51 Conjecture not found
% 19.71/11.60 Conjecture not found
% 19.76/11.64 Conjecture not found
% 19.80/11.68 Conjecture not found
% 19.80/11.69 Conjecture not found
% 20.03/11.73 Conjecture not found
% 20.03/11.74 Conjecture not found
% 20.08/11.77 Conjecture not found
% 20.08/11.83 Conjecture not found
% 20.16/11.86 Conjecture not found
% 20.19/11.88 Conjecture not found
% 20.19/11.90 Conjecture not found
% 20.43/11.98 Conjecture not found
% 20.43/12.00 Conjecture not found
% 20.50/12.03 Conjecture not found
% 20.50/12.05 Conjecture not found
% 20.84/12.19 Conjecture not found
% 20.84/12.21 Conjecture not found
% 20.91/12.26 Conjecture not found
% 20.91/12.27 Conjecture not found
% 20.91/12.27 Conjecture not found
% 20.91/12.27 Conjecture not found
% 20.91/12.28 Conjecture not found
% 20.97/12.33 Conjecture not found
% 20.97/12.34 Conjecture not found
% 21.16/12.38 Conjecture not found
% 21.29/12.46 Conjecture not found
% 21.33/12.51 Conjecture not found
% 21.64/12.62 Conjecture not found
% 21.64/12.64 Conjecture not found
% 21.69/12.74 Conjecture not found
% 22.10/12.84 Conjecture not found
% 22.10/12.86 Conjecture not found
% 22.10/12.89 Conjecture not found
% 22.36/12.93 Conjecture not found
% 22.36/12.95 Conjecture not found
% 22.42/13.06 Conjecture not found
% 22.57/13.13 Conjecture not found
% 22.57/13.19 Conjecture not found
% 22.83/13.21 Conjecture not found
% 22.90/13.33 Conjecture not found
% 23.00/13.37 Conjecture not found
% 23.15/13.41 Conjecture not found
% 23.26/13.47 Conjecture not found
% 23.26/13.50 Conjecture not found
% 23.26/13.51 Conjecture not found
% 23.34/13.54 Conjecture not found
% 23.51/13.63 Conjecture not found
% 23.51/13.66 Conjecture not found
% 23.68/13.67 Conjecture not found
% 23.72/13.71 Conjecture not found
% 23.73/13.74 Conjecture not found
% 23.73/13.74 Conjecture not found
% 23.73/13.81 Conjecture not found
% 24.02/13.88 Conjecture not found
% 24.09/13.91 Conjecture not found
% 24.09/13.94 Conjecture not found
% 24.18/14.01 Conjecture not found
% 24.37/14.04 Conjecture not found
% 24.45/14.11 Conjecture not found
% 24.55/14.16 Conjecture not found
% 24.60/14.25 Conjecture not found
% 24.90/14.27 Conjecture not found
% 24.94/14.32 Conjecture not found
% 24.94/14.33 Conjecture not found
% 24.94/14.34 Conjecture not found
% 24.98/14.34 Conjecture not found
% 24.98/14.35 Conjecture not found
% 24.98/14.37 Conjecture not found
% 24.98/14.37 Conjecture not found
% 25.34/14.50 Conjecture not found
% 25.34/14.55 Conjecture not found
% 25.43/14.59 Conjecture not found
% 25.43/14.60 Conjecture not found
% 25.43/14.60 Conjecture not found
% 25.77/14.69 Conjecture not found
% 25.77/14.71 Conjecture not found
% 25.77/14.73 Conjecture not found
% 25.87/14.80 Conjecture not found
% 25.87/14.81 Conjecture not found
% 25.93/14.85 Conjecture not found
% 26.26/14.95 Conjecture not found
% 26.30/14.98 Conjecture not found
% 26.30/15.01 Conjecture not found
% 26.76/15.21 Conjecture not found
% 26.83/15.26 Conjecture not found
% 26.85/15.27 Conjecture not found
% 27.17/15.37 Conjecture not found
% 27.17/15.38 Conjecture not found
% 27.17/15.41 Conjecture not found
% 27.25/15.44 Conjecture not found
% 27.31/15.51 Conjecture not found
% 27.64/15.58 Conjecture not found
% 27.64/15.59 Conjecture not found
% 27.69/15.62 Conjecture not found
% 27.69/15.65 Conjecture not found
% 27.72/15.69 Conjecture not found
% 27.80/15.74 Conjecture not found
% 27.80/15.75 Conjecture not found
% 27.80/15.75 Conjecture not found
% 27.80/15.77 Conjecture not found
% 28.11/15.85 Conjecture not found
% 28.19/15.87 Conjecture not found
% 28.24/15.93 Conjecture not found
% 28.28/16.01 Conjecture not found
% 28.68/16.12 Conjecture not found
% 28.68/16.15 Conjecture not found
% 28.75/16.16 Conjecture not found
% 28.75/16.17 Conjecture not found
% 28.75/16.22 Conjecture not found
% 28.81/16.24 Conjecture not found
% 28.81/16.25 Conjecture not found
% 28.85/16.28 Conjecture not found
% 28.85/16.33 Conjecture not found
% 29.20/16.37 Conjecture not found
% 29.24/16.40 Conjecture not found
% 29.24/16.43 Conjecture not found
% 29.35/16.50 Conjecture not found
% 29.35/16.53 Conjecture not found
% 29.35/16.55 Conjecture not found
% 29.63/16.62 Conjecture not found
% 29.63/16.63 Conjecture not found
% 29.78/16.67 Conjecture not found
% 29.78/16.69 Conjecture not found
% 29.81/16.70 Conjecture not found
% 29.81/16.71 Conjecture not found
% 29.86/16.74 Conjecture not found
% 29.86/16.75 Conjecture not found
% 30.23/16.89 Conjecture not found
% 30.23/16.90 Conjecture not found
% 30.23/16.91 Conjecture not found
% 30.23/16.93 Conjecture not found
% 30.30/16.96 Conjecture not found
% 30.32/16.98 Conjecture not found
% 30.32/17.00 Conjecture not found
% 30.36/17.02 Conjecture not found
% 30.38/17.05 Conjecture not found
% 30.62/17.13 Conjecture not found
% 30.62/17.16 Conjecture not found
% 30.77/17.19 Conjecture not found
% 30.77/17.21 Conjecture not found
% 30.77/17.22 Conjecture not found
% 30.77/17.23 Conjecture not found
% 30.84/17.26 Conjecture not found
% 30.86/17.29 Conjecture not found
% 30.86/17.31 Conjecture not found
% 30.92/17.34 Conjecture not found
% 30.92/17.34 Conjecture not found
% 30.94/17.41 Conjecture not found
% 31.32/17.46 Conjecture not found
% 31.32/17.48 Conjecture not found
% 31.36/17.49 Conjecture not found
% 31.36/17.51 Conjecture not found
% 31.41/17.54 Conjecture not found
% 31.41/17.55 Conjecture not found
% 31.43/17.56 Conjecture not found
% 31.43/17.59 Conjecture not found
% 31.43/17.61 Conjecture not found
% 31.49/17.63 Conjecture not found
% 31.79/17.73 Conjecture not found
% 31.95/17.79 Conjecture not found
% 32.04/17.89 Conjecture not found
% 32.04/17.91 Conjecture not found
% 32.40/17.98 Conjecture not found
% 32.53/18.08 Conjecture not found
% 32.63/18.17 Conjecture not found
% 32.63/18.21 Conjecture not found
% 32.96/18.30 Conjecture not found
% 32.96/18.33 Conjecture not found
% 33.12/18.35 Conjecture not found
% 33.14/18.37 Conjecture not found
% 33.14/18.39 Conjecture not found
% 33.14/18.41 Conjecture not found
% 33.14/18.43 Conjecture not found
% 33.14/18.44 Conjecture not found
% 33.22/18.46 Conjecture not found
% 33.25/18.48 Conjecture not found
% 33.25/18.52 Conjecture not found
% 33.36/18.58 Conjecture not found
% 33.73/18.64 Conjecture not found
% 33.73/18.70 Conjecture not found
% 33.81/18.72 Conjecture not found
% 33.81/18.73 Conjecture not found
% 33.87/18.80 Conjecture not found
% 33.97/18.89 Conjecture not found
% 34.13/18.95 Conjecture not found
% 34.37/18.98 Conjecture not found
% 34.45/19.08 Conjecture not found
% 34.51/19.12 Conjecture not found
% 34.51/19.15 Conjecture not found
% 34.57/19.18 Conjecture not found
% 34.57/19.20 Conjecture not found
% 34.66/19.25 Conjecture not found
% 34.66/19.29 Conjecture not found
% 34.66/19.32 Conjecture not found
% 34.92/19.38 Conjecture not found
% 35.06/19.40 Conjecture not found
% 35.06/19.42 Conjecture not found
% 35.06/19.43 Conjecture not found
% 35.06/19.44 Conjecture not found
% 35.12/19.48 Conjecture not found
% 35.12/19.51 Conjecture not found
% 35.18/19.55 Conjecture not found
% 35.22/19.59 Conjecture not found
% 35.73/19.73 Conjecture not found
% 35.77/19.74 Conjecture not found
% 35.77/19.76 Conjecture not found
% 35.77/19.78 Conjecture not found
% 35.77/19.80 Conjecture not found
% 35.83/19.81 Conjecture not found
% 35.83/19.82 Conjecture not found
% 35.89/19.89 Conjecture not found
% 35.89/19.90 Conjecture not found
% 35.89/19.92 Conjecture not found
% 36.27/19.98 Conjecture not found
% 36.39/19.99 Conjecture not found
% 36.39/20.01 Conjecture not found
% 36.43/20.03 Conjecture not found
% 36.43/20.04 Conjecture not found
% 36.46/20.07 Conjecture not found
% 36.46/20.10 Conjecture not found
% 36.52/20.12 Conjecture not found
% 36.52/20.15 Conjecture not found
% 36.52/20.16 Conjecture not found
% 36.52/20.17 Conjecture not found
% 36.58/20.18 Conjecture not found
% 36.99/20.26 Conjecture not found
% 37.08/20.35 Conjecture not found
% 37.08/20.37 Conjecture not found
% 37.08/20.42 Conjecture not found
% 37.16/20.45 Conjecture not found
% 37.16/20.46 Conjecture not found
% 37.22/20.48 Conjecture not found
% 37.22/20.55 Conjecture not found
% 37.69/20.61 Conjecture not found
% 37.76/20.64 Conjecture not found
% 37.78/20.68 Conjecture not found
% 37.78/20.70 Conjecture not found
% 37.87/20.74 Conjecture not found
% 37.87/20.78 Conjecture not found
% 37.91/20.80 Conjecture not found
% 37.91/20.83 Conjecture not found
% 37.99/20.89 Conjecture not found
% 38.40/20.94 Conjecture not found
% 38.45/20.97 Conjecture not found
% 38.45/21.00 Conjecture not found
% 38.45/21.02 Conjecture not found
% 38.53/21.06 Conjecture not found
% 38.57/21.09 Conjecture not found
% 38.63/21.15 Conjecture not found
% 38.63/21.16 Conjecture not found
% 38.67/21.19 Conjecture not found
% 38.67/21.23 Conjecture not found
% 38.73/21.26 Conjecture not found
% 38.77/21.28 Conjecture not found
% 38.77/21.33 Conjecture not found
% 39.15/21.34 Conjecture not found
% 39.25/21.37 Conjecture not found
% 39.31/21.43 Conjecture not found
% 39.31/21.45 Conjecture not found
% 39.34/21.48 Conjecture not found
% 39.34/21.52 Conjecture not found
% 39.34/21.52 Conjecture not found
% 39.46/21.59 Conjecture not found
% 39.46/21.61 Conjecture not found
% 39.46/21.62 Conjecture not found
% 39.46/21.64 Conjecture not found
% 39.55/21.68 Conjecture not found
% 39.55/21.71 Conjecture not found
% 40.04/21.76 Conjecture not found
% 40.08/21.80 Conjecture not found
% 40.08/21.82 Conjecture not found
% 40.16/21.85 Conjecture not found
% 40.18/21.89 Conjecture not found
% 40.25/21.97 Conjecture not found
% 40.25/21.98 Conjecture not found
% 40.25/22.00 Conjecture not found
% 40.25/22.00 Conjecture not found
% 40.55/22.11 Conjecture not found
% 40.55/22.13 Conjecture not found
% 40.88/22.15 Conjecture not found
% 40.91/22.19 Conjecture not found
% 40.99/22.27 Conjecture not found
% 40.99/22.30 Conjecture not found
% 41.22/22.41 Conjecture not found
% 41.22/22.43 Conjecture not found
% 41.63/22.52 Conjecture not found
% 41.63/22.53 Conjecture not found
% 41.63/22.54 Conjecture not found
% 41.72/22.56 Conjecture not found
% 41.75/22.60 Conjecture not found
% 41.80/22.66 Conjecture not found
% 41.80/22.70 Conjecture not found
% 41.87/22.72 Conjecture not found
% 41.93/22.76 Conjecture not found
% 42.02/22.87 Conjecture not found
% 42.02/22.88 Conjecture not found
% 42.07/22.92 Conjecture not found
% 42.12/23.00 Conjecture not found
% 42.64/23.05 Conjecture not found
% 42.64/23.12 Conjecture not found
% 42.75/23.15 Conjecture not found
% 42.75/23.18 Conjecture not found
% 42.80/23.20 Conjecture not found
% 42.87/23.28 Conjecture not found
% 42.91/23.31 Conjecture not found
% 42.91/23.33 Conjecture not found
% 43.01/23.37 Conjecture not found
% 43.01/23.44 Conjecture not found
% 43.50/23.46 Conjecture not found
% 43.50/23.48 Conjecture not found
% 43.50/23.51 Conjecture not found
% 43.61/23.60 Conjecture not found
% 43.61/23.64 Conjecture not found
% 43.61/23.65 Conjecture not found
% 43.73/23.69 Conjecture not found
% 43.73/23.70 Conjecture not found
% 43.77/23.73 Conjecture not found
% 43.78/23.75 Conjecture not found
% 43.78/23.77 Conjecture not found
% 43.78/23.79 Conjecture not found
% 44.10/23.84 Conjecture not found
% 44.10/23.87 Conjecture not found
% 44.38/23.89 Conjecture not found
% 44.38/23.91 Conjecture not found
% 44.38/23.92 Conjecture not found
% 44.38/23.94 Conjecture not found
% 44.38/23.95 Conjecture not found
% 44.47/23.96 Conjecture not found
% 44.50/24.01 Conjecture not found
% 44.50/24.02 Conjecture not found
% 44.50/24.02 Conjecture not found
% 44.50/24.03 Conjecture not found
% 44.56/24.05 Conjecture not found
% 44.57/24.07 Conjecture not found
% 44.57/24.08 Conjecture not found
% 44.57/24.10 Conjecture not found
% 44.57/24.11 Conjecture not found
% 44.74/24.14 Conjecture not found
% 45.06/24.21 Conjecture not found
% 45.06/24.22 Conjecture not found
% 45.23/24.24 Conjecture not found
% 45.23/24.26 Conjecture not found
% 45.26/24.31 Conjecture not found
% 45.26/24.32 Conjecture not found
% 45.35/24.41 Conjecture not found
% 45.35/24.42 Conjecture not found
% 45.35/24.43 Conjecture not found
% 45.92/24.62 Conjecture not found
% 46.14/24.65 Conjecture not found
% 46.18/24.69 Conjecture not found
% 46.18/24.71 Conjecture not found
% 46.24/24.77 Conjecture not found
% 46.30/24.83 Conjecture not found
% 46.30/24.86 Conjecture not found
% 46.35/24.89 Conjecture not found
% 46.35/24.92 Conjecture not found
% 46.99/25.05 Conjecture not found
% 46.99/25.06 Conjecture not found
% 47.09/25.15 Conjecture not found
% 47.09/25.16 Conjecture not found
% 47.14/25.19 Conjecture not found
% 47.14/25.21 Conjecture not found
% 47.14/25.22 Conjecture not found
% 47.14/25.23 Conjecture not found
% 47.14/25.26 Conjecture not found
% 47.23/25.28 Conjecture not found
% 47.24/25.29 Conjecture not found
% 47.24/25.31 Conjecture not found
% 47.28/25.34 Conjecture not found
% 47.28/25.35 Conjecture not found
% 47.28/25.39 Conjecture not found
% 47.28/25.41 Conjecture not found
% 47.56/25.50 Conjecture not found
% 47.56/25.55 Conjecture not found
% 48.09/25.61 Conjecture not found
% 48.11/25.69 Conjecture not found
% 48.20/25.73 Conjecture not found
% 48.20/25.77 Conjecture not found
% 48.20/25.80 Conjecture not found
% 48.27/25.81 Conjecture not found
% 48.27/25.85 Conjecture not found
% 48.35/25.93 Conjecture not found
% 49.17/26.26 Conjecture not found
% 49.24/26.27 Conjecture not found
% 49.24/26.31 Conjecture not found
% 49.24/26.33 Conjecture not found
% 49.24/26.35 Conjecture not found
% 49.24/26.35 Conjecture not found
% 49.24/26.36 Conjecture not found
% 49.33/26.38 Conjecture not found
% 49.73/26.45 Conjecture not found
% 49.91/26.47 Conjecture not found
% 49.91/26.50 Conjecture not found
% 49.91/26.55 Conjecture not found
% 50.07/26.65 Conjecture not found
% 50.07/26.71 Conjecture not found
% 50.17/26.76 Conjecture not found
% 50.24/26.80 Conjecture not found
% 50.24/26.82 Conjecture not found
% 50.24/26.83 Conjecture not found
% 50.48/26.93 Conjecture not found
% 50.48/26.95 Conjecture not found
% 50.48/26.96 Conjecture not found
% 50.92/26.98 Conjecture not found
% 50.92/26.99 Conjecture not found
% 50.98/27.04 Conjecture not found
% 50.98/27.06 Conjecture not found
% 50.98/27.09 Conjecture not found
% 50.98/27.13 Conjecture not found
% 50.98/27.13 Conjecture not found
% 51.09/27.18 Conjecture not found
% 51.09/27.21 Conjecture not found
% 51.16/27.22 Conjecture not found
% 51.16/27.23 Conjecture not found
% 51.16/27.26 Conjecture not found
% 51.49/27.29 Conjecture not found
% 51.49/27.31 Conjecture not found
% 51.87/27.40 Conjecture not found
% 51.87/27.40 Conjecture not found
% 51.90/27.41 Conjecture not found
% 51.91/27.44 Conjecture not found
% 51.91/27.44 Conjecture not found
% 51.91/27.46 Conjecture not found
% 51.91/27.48 Conjecture not found
% 51.91/27.49 Conjecture not found
% 52.00/27.55 Conjecture not found
% 52.00/27.58 Conjecture not found
% 52.07/27.59 Conjecture not found
% 52.07/27.60 Conjecture not found
% 52.31/27.68 Conjecture not found
% 52.31/27.70 Conjecture not found
% 52.80/27.76 Conjecture not found
% 52.80/27.80 Conjecture not found
% 52.95/27.90 Conjecture not found
% 52.95/27.92 Conjecture not found
% 53.01/27.95 Conjecture not found
% 53.01/27.99 Conjecture not found
% 53.07/28.02 Conjecture not found
% 53.07/28.04 Conjecture not found
% 53.12/28.09 Conjecture not found
% 53.21/28.17 Conjecture not found
% 53.86/28.26 Conjecture not found
% 53.90/28.28 Conjecture not found
% 53.90/28.29 Conjecture not found
% 53.96/28.35 Conjecture not found
% 54.01/28.40 Conjecture not found
% 54.08/28.46 Conjecture not found
% 54.10/28.48 Conjecture not found
% 54.10/28.49 Conjecture not found
% 54.10/28.50 Conjecture not found
% 54.10/28.52 Conjecture not found
% 54.18/28.55 Conjecture not found
% 54.18/28.56 Conjecture not found
% 54.18/28.57 Conjecture not found
% 54.18/28.59 Conjecture not found
% 54.62/28.67 Conjecture not found
% 54.89/28.69 Conjecture not found
% 54.89/28.73 Conjecture not found
% 55.00/28.77 Conjecture not found
% 55.00/28.78 Conjecture not found
% 55.10/28.90 Conjecture not found
% 55.10/28.90 Conjecture not found
% 55.10/28.92 Conjecture not found
% 55.10/28.94 Conjecture not found
% 55.17/28.97 Conjecture not found
% 55.28/29.08 Conjecture not found
% 55.65/29.15 Conjecture not found
% 55.99/29.19 Conjecture not found
% 55.99/29.19 Conjecture not found
% 55.99/29.20 Conjecture not found
% 55.99/29.22 Conjecture not found
% 55.99/29.22 Conjecture not found
% 56.11/29.31 Conjecture not found
% 56.11/29.32 Conjecture not found
% 56.20/29.41 Conjecture not found
% 56.27/29.47 Conjecture not found
% 56.27/29.48 Conjecture not found
% 56.32/29.50 Conjecture not found
% 56.32/29.51 Conjecture not found
% 56.32/29.54 Conjecture not found
% 56.72/29.58 Conjecture not found
% 56.72/29.61 Conjecture not found
% 57.03/29.65 Conjecture not found
% 57.08/29.67 Conjecture not found
% 57.08/29.69 Conjecture not found
% 57.17/29.75 Conjecture not found
% 57.22/29.83 Conjecture not found
% 57.29/29.86 Conjecture not found
% 57.29/29.89 Conjecture not found
% 57.29/29.90 Conjecture not found
% 57.29/29.92 Conjecture not found
% 57.36/29.94 Conjecture not found
% 57.36/29.97 Conjecture not found
% 57.40/30.01 Conjecture not found
% 58.16/30.15 Conjecture not found
% 58.41/30.42 Conjecture not found
% 59.21/30.64 Conjecture not found
% 59.21/30.65 Conjecture not found
% 59.29/30.70 Conjecture not found
% 59.36/30.81 Conjecture not found
% 59.45/30.84 Conjecture not found
% 59.45/30.86 Conjecture not found
% 59.45/30.86 Conjecture not found
% 59.51/30.91 Conjecture not found
% 59.51/30.93 Conjecture not found
% 59.59/30.99 Conjecture not found
% 59.59/31.02 Conjecture not found
% 59.98/31.07 Conjecture not found
% 59.98/31.11 Conjecture not found
% 60.35/31.17 Conjecture not found
% 60.39/31.19 Conjecture not found
% 60.39/31.20 Conjecture not found
% 60.39/31.21 Conjecture not found
% 60.51/31.33 Conjecture not found
% 60.51/31.35 Conjecture not found
% 60.56/31.39 Conjecture not found
% 60.65/31.45 Conjecture not found
% 60.65/31.46 Conjecture not found
% 60.65/31.46 Conjecture not found
% 60.65/31.47 Conjecture not found
% 60.65/31.48 Conjecture not found
% 60.69/31.50 Conjecture not found
% 60.74/31.54 Conjecture not found
% 60.74/31.54 Conjecture not found
% 60.86/31.67 Conjecture not found
% 61.56/31.82 Conjecture not found
% 61.63/31.84 Conjecture not found
% 61.65/31.85 Conjecture not found
% 61.65/31.86 Conjecture not found
% 61.65/31.88 Conjecture not found
% 61.65/31.91 Conjecture not found
% 61.72/31.96 Conjecture not found
% 61.77/31.99 Conjecture not found
% 61.77/31.99 Conjecture not found
% 61.77/32.00 Conjecture not found
% 61.85/32.06 Conjecture not found
% 61.88/32.08 Conjecture not found
% 61.88/32.13 Conjecture not found
% 61.95/32.15 Conjecture not found
% 61.95/32.16 Conjecture not found
% 61.97/32.18 Conjecture not found
% 61.97/32.21 Conjecture not found
% 61.97/32.22 Conjecture not found
% 61.97/32.23 Conjecture not found
% 62.13/32.26 Conjecture not found
% 62.37/32.29 Conjecture not found
% 62.78/32.33 Conjecture not found
% 62.84/32.39 Conjecture not found
% 62.91/32.43 Conjecture not found
% 62.95/32.50 Conjecture not found
% 63.03/32.55 Conjecture not found
% 63.06/32.57 Conjecture not found
% 63.06/32.59 Conjecture not found
% 63.06/32.62 Conjecture not found
% 63.11/32.66 Conjecture not found
% 63.16/32.71 Conjecture not found
% 63.23/32.76 Conjecture not found
% 63.27/32.81 Conjecture not found
% 64.04/32.91 Conjecture not found
% 64.04/32.93 Conjecture not found
% 64.08/33.00 Conjecture not found
% 64.08/33.01 Conjecture not found
% 64.08/33.02 Conjecture not found
% 64.22/33.10 Conjecture not found
% 64.29/33.17 Conjecture not found
% 64.29/33.18 Conjecture not found
% 64.29/33.22 Conjecture not found
% 64.36/33.24 Conjecture not found
% 64.36/33.25 Conjecture not found
% 64.36/33.26 Conjecture not found
% 64.41/33.29 Conjecture not found
% 64.41/33.35 Conjecture not found
% 64.50/33.38 Conjecture not found
% 64.52/33.39 Conjecture not found
% 64.76/33.47 Conjecture not found
% 65.29/33.53 Conjecture not found
% 65.37/33.58 Conjecture not found
% 65.37/33.59 Conjecture not found
% 65.37/33.61 Conjecture not found
% 65.46/33.66 Conjecture not found
% 65.54/33.75 Conjecture not found
% 65.61/33.82 Conjecture not found
% 65.61/33.83 Conjecture not found
% 65.68/33.89 Conjecture not found
% 65.68/33.92 Conjecture not found
% 65.68/33.93 Conjecture not found
% 65.75/33.97 Conjecture not found
% 65.77/33.98 Conjecture not found
% 65.77/34.00 Conjecture not found
% 66.19/34.09 Conjecture not found
% 66.19/34.11 Conjecture not found
% 66.19/34.12 Conjecture not found
% 66.63/34.14 Conjecture not found
% 66.63/34.15 Conjecture not found
% 66.63/34.15 Conjecture not found
% 66.63/34.16 Conjecture not found
% 66.70/34.23 Conjecture not found
% 66.79/34.28 Conjecture not found
% 66.79/34.29 Conjecture not found
% 66.79/34.30 Conjecture not found
% 66.79/34.32 Conjecture not found
% 66.86/34.36 Conjecture not found
% 66.86/34.40 Conjecture not found
% 67.76/34.61 Conjecture not found
% 67.80/34.69 Conjecture not found
% 67.80/34.71 Conjecture not found
% 67.80/34.74 Conjecture not found
% 67.93/34.80 Conjecture not found
% 67.93/34.82 Conjecture not found
% 67.99/34.86 Conjecture not found
% 67.99/34.87 Conjecture not found
% 68.02/34.87 Conjecture not found
% 68.02/34.88 Conjecture not found
% 68.02/34.90 Conjecture not found
% 68.02/34.92 Conjecture not found
% 68.08/34.93 Conjecture not found
% 68.08/34.94 Conjecture not found
% 68.08/34.95 Conjecture not found
% 68.08/34.97 Conjecture not found
% 68.12/34.97 Conjecture not found
% 68.12/35.00 Conjecture not found
% 68.12/35.04 Conjecture not found
% 68.19/35.06 Conjecture not found
% 68.30/35.10 Conjecture not found
% 68.97/35.18 Conjecture not found
% 68.97/35.21 Conjecture not found
% 69.08/35.23 Conjecture not found
% 69.12/35.32 Conjecture not found
% 69.12/35.33 Conjecture not found
% 69.20/35.35 Conjecture not found
% 69.20/35.36 Conjecture not found
% 69.23/35.39 Conjecture not found
% 69.23/35.42 Conjecture not found
% 70.49/35.86 Conjecture not found
% 70.51/35.88 Conjecture not found
% 70.51/35.90 Conjecture not found
% 70.56/35.94 Conjecture not found
% 70.61/36.02 Conjecture not found
% 70.61/36.03 Conjecture not found
% 70.69/36.09 Conjecture not found
% 70.75/36.13 Conjecture not found
% 71.09/36.20 Conjecture not found
% 71.68/36.25 Conjecture not found
% 71.68/36.28 Conjecture not found
% 71.73/36.31 Conjecture not found
% 71.78/36.35 Conjecture not found
% 71.78/36.39 Conjecture not found
% 71.83/36.41 Conjecture not found
% 71.83/36.42 Start search
% 174.92/61.00 nb_step : 1 - limit : 175735
% 175.72/61.75 Launch Gotab with destructive = true
%------------------------------------------------------------------------------