TSTP Solution File: PHI041+1 by SOS---2.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : SOS---2.0
% Problem : PHI041+1 : TPTP v8.1.0. Released v7.4.0.
% Transfm : none
% Format : tptp:raw
% Command : sos-script %s
% Computer : n025.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 : 600s
% DateTime : Mon Jul 18 16:48:52 EDT 2022
% Result : Timeout 286.05s 286.28s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.13 % Problem : PHI041+1 : TPTP v8.1.0. Released v7.4.0.
% 0.07/0.13 % Command : sos-script %s
% 0.13/0.33 % Computer : n025.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33 % CPULimit : 300
% 0.13/0.33 % WCLimit : 600
% 0.13/0.33 % DateTime : Thu Jun 2 02:24:29 EDT 2022
% 0.13/0.34 % CPUTime :
% 0.13/0.35 ----- Otter 3.2, August 2001 -----
% 0.13/0.35 The process was started by sandbox2 on n025.cluster.edu,
% 0.13/0.35 Thu Jun 2 02:24:29 2022
% 0.13/0.35 The command was "./sos". The process ID is 18566.
% 0.13/0.35
% 0.13/0.35 set(prolog_style_variables).
% 0.13/0.35 set(auto).
% 0.13/0.35 dependent: set(auto1).
% 0.13/0.35 dependent: set(process_input).
% 0.13/0.35 dependent: clear(print_kept).
% 0.13/0.35 dependent: clear(print_new_demod).
% 0.13/0.35 dependent: clear(print_back_demod).
% 0.13/0.35 dependent: clear(print_back_sub).
% 0.13/0.35 dependent: set(control_memory).
% 0.13/0.35 dependent: assign(max_mem, 12000).
% 0.13/0.35 dependent: assign(pick_given_ratio, 4).
% 0.13/0.35 dependent: assign(stats_level, 1).
% 0.13/0.35 dependent: assign(pick_semantic_ratio, 3).
% 0.13/0.35 dependent: assign(sos_limit, 5000).
% 0.13/0.35 dependent: assign(max_weight, 60).
% 0.13/0.35 clear(print_given).
% 0.13/0.35
% 0.13/0.35 formula_list(usable).
% 0.13/0.35
% 0.13/0.35 SCAN INPUT: prop=0, horn=0, equality=1, symmetry=0, max_lits=5.
% 0.13/0.35
% 0.13/0.35 This ia a non-Horn set with equality. The strategy will be
% 0.13/0.35 Knuth-Bendix, ordered hyper_res, ur_res, factoring, and
% 0.13/0.35 unit deletion, with positive clauses in sos and nonpositive
% 0.13/0.35 clauses in usable.
% 0.13/0.35
% 0.13/0.35 dependent: set(knuth_bendix).
% 0.13/0.35 dependent: set(para_from).
% 0.13/0.35 dependent: set(para_into).
% 0.13/0.35 dependent: clear(para_from_right).
% 0.13/0.35 dependent: clear(para_into_right).
% 0.13/0.35 dependent: set(para_from_vars).
% 0.13/0.35 dependent: set(eq_units_both_ways).
% 0.13/0.35 dependent: set(dynamic_demod_all).
% 0.13/0.35 dependent: set(dynamic_demod).
% 0.13/0.35 dependent: set(order_eq).
% 0.13/0.35 dependent: set(back_demod).
% 0.13/0.35 dependent: set(lrpo).
% 0.13/0.35 dependent: set(hyper_res).
% 0.13/0.35 dependent: set(unit_deletion).
% 0.13/0.35 dependent: set(factor).
% 0.13/0.35
% 0.13/0.35 ------------> process usable:
% 0.13/0.35 Following clause subsumed by 2 during input processing: 0 [] {-} -exists(A)|existsIn(A,A)|A!=B.
% 0.13/0.35
% 0.13/0.35 ------------> process sos:
% 0.13/0.35 55 back subsumes 5.
% 0.13/0.35 Following clause subsumed by 60 during input processing: 0 [copy,60,flip.1] {-} A=A.
% 0.13/0.35
% 0.13/0.35 ======= end of input processing =======
% 0.19/0.40
% 0.19/0.40 Model 1 (0.00 seconds, 0 Inserts)
% 0.19/0.40
% 0.19/0.40 Stopped by limit on number of solutions
% 0.19/0.40
% 0.19/0.40
% 0.19/0.40 -------------- Softie stats --------------
% 0.19/0.40
% 0.19/0.40 UPDATE_STOP: 300
% 0.19/0.40 SFINDER_TIME_LIMIT: 2
% 0.19/0.40 SHORT_CLAUSE_CUTOFF: 4
% 0.19/0.40 number of clauses in intial UL: 51
% 0.19/0.40 number of clauses initially in problem: 57
% 0.19/0.40 percentage of clauses intially in UL: 89
% 0.19/0.40 percentage of distinct symbols occuring in initial UL: 100
% 0.19/0.40 percent of all initial clauses that are short: 98
% 0.19/0.40 absolute distinct symbol count: 51
% 0.19/0.40 distinct predicate count: 49
% 0.19/0.40 distinct function count: 0
% 0.19/0.40 distinct constant count: 2
% 0.19/0.40
% 0.19/0.40 ---------- no more Softie stats ----------
% 0.19/0.40
% 0.19/0.40
% 0.19/0.40
% 0.19/0.40 Model 2 (0.00 seconds, 0 Inserts)
% 0.19/0.40
% 0.19/0.40 Stopped by limit on number of solutions
% 0.19/0.40
% 0.19/0.40 =========== start of search ===========
% 9.23/9.42
% 9.23/9.42
% 9.23/9.42 Changing weight limit from 60 to 25.
% 9.23/9.42
% 9.23/9.42 Resetting weight limit to 25 after 1075 givens.
% 9.23/9.42
% 9.43/9.65
% 9.43/9.65
% 9.43/9.65 Changing weight limit from 25 to 24.
% 9.43/9.65
% 9.43/9.65 Resetting weight limit to 24 after 1090 givens.
% 9.43/9.65
% 9.64/9.89
% 9.64/9.89
% 9.64/9.89 Changing weight limit from 24 to 25.
% 9.64/9.89
% 9.64/9.89 Resetting weight limit to 25 after 1110 givens.
% 9.64/9.89
% 9.83/10.01
% 9.83/10.01
% 9.83/10.01 Changing weight limit from 25 to 24.
% 9.83/10.01
% 9.83/10.01 Resetting weight limit to 24 after 1115 givens.
% 9.83/10.01
% 10.24/10.44
% 10.24/10.44
% 10.24/10.44 Changing weight limit from 24 to 23.
% 10.24/10.44
% 10.24/10.44 Resetting weight limit to 23 after 1140 givens.
% 10.24/10.44
% 10.33/10.53
% 10.33/10.53
% 10.33/10.53 Changing weight limit from 23 to 22.
% 10.33/10.53
% 10.33/10.53 Resetting weight limit to 22 after 1145 givens.
% 10.33/10.53
% 12.51/12.71
% 12.51/12.71
% 12.51/12.71 Changing weight limit from 22 to 21.
% 12.51/12.71
% 12.51/12.71 Resetting weight limit to 21 after 1290 givens.
% 12.51/12.71
% 13.50/13.69
% 13.50/13.69
% 13.50/13.69 Changing weight limit from 21 to 22.
% 13.50/13.69
% 13.50/13.69 Resetting weight limit to 22 after 1370 givens.
% 13.50/13.69
% 13.50/13.72
% 13.50/13.72
% 13.50/13.72 Changing weight limit from 22 to 23.
% 13.50/13.72
% 13.50/13.72 Resetting weight limit to 23 after 1375 givens.
% 13.50/13.72
% 13.50/13.77
% 13.50/13.77
% 13.50/13.77 Changing weight limit from 23 to 21.
% 13.50/13.77
% 13.50/13.77 Resetting weight limit to 21 after 1380 givens.
% 13.50/13.77
% 13.73/13.92
% 13.73/13.92
% 13.73/13.92 Changing weight limit from 21 to 22.
% 13.73/13.92
% 13.73/13.92 Resetting weight limit to 22 after 1405 givens.
% 13.73/13.92
% 13.80/14.07
% 13.80/14.07
% 13.80/14.07 Changing weight limit from 22 to 23.
% 13.80/14.07
% 13.80/14.07 Resetting weight limit to 23 after 1420 givens.
% 13.80/14.07
% 13.91/14.09
% 13.91/14.09
% 13.91/14.09 Changing weight limit from 23 to 24.
% 13.91/14.09
% 13.91/14.09 Resetting weight limit to 24 after 1425 givens.
% 13.91/14.09
% 14.04/14.22
% 14.04/14.22
% 14.04/14.22 Changing weight limit from 24 to 22.
% 14.04/14.22
% 14.04/14.22 Resetting weight limit to 22 after 1430 givens.
% 14.04/14.22
% 18.39/18.66
% 18.39/18.66
% 18.39/18.66 Changing weight limit from 22 to 23.
% 18.39/18.66
% 18.39/18.66 Resetting weight limit to 23 after 1715 givens.
% 18.39/18.66
% 18.48/18.67
% 18.48/18.67
% 18.48/18.67 Changing weight limit from 23 to 24.
% 18.48/18.67
% 18.48/18.67 Resetting weight limit to 24 after 1720 givens.
% 18.48/18.67
% 92.11/92.32
% 92.11/92.32
% 92.11/92.32 Changing weight limit from 24 to 25.
% 92.11/92.32
% 92.11/92.32 Resetting weight limit to 25 after 3970 givens.
% 92.11/92.32
% 92.23/92.42
% 92.23/92.42
% 92.23/92.42 Changing weight limit from 25 to 24.
% 92.23/92.42
% 92.23/92.42 Resetting weight limit to 24 after 3975 givens.
% 92.23/92.42
% 110.72/110.93
% 110.72/110.93
% 110.72/110.93 Changing weight limit from 24 to 25.
% 110.72/110.93
% 110.72/110.93 Resetting weight limit to 25 after 4590 givens.
% 110.72/110.93
% 110.88/111.09
% 110.88/111.09
% 110.88/111.09 Changing weight limit from 25 to 24.
% 110.88/111.09
% 110.88/111.09 Resetting weight limit to 24 after 4595 givens.
% 110.88/111.09
% 135.43/135.66
% 135.43/135.66
% 135.43/135.66 Changing weight limit from 24 to 25.
% 135.43/135.66
% 135.43/135.66 Resetting weight limit to 25 after 5245 givens.
% 135.43/135.66
% 135.50/135.75
% 135.50/135.75
% 135.50/135.75 Changing weight limit from 25 to 26.
% 135.50/135.75
% 135.50/135.75 Resetting weight limit to 26 after 5250 givens.
% 135.50/135.75
% 135.64/135.85
% 135.64/135.85
% 135.64/135.85 Changing weight limit from 26 to 24.
% 135.64/135.85
% 135.64/135.85 Resetting weight limit to 24 after 5255 givens.
% 135.64/135.85
% 138.99/139.18
% 138.99/139.18
% 138.99/139.18 Changing weight limit from 24 to 25.
% 138.99/139.18
% 138.99/139.18 Resetting weight limit to 25 after 5385 givens.
% 138.99/139.18
% 139.14/139.36
% 139.14/139.36
% 139.14/139.36 Changing weight limit from 25 to 24.
% 139.14/139.36
% 139.14/139.36 Resetting weight limit to 24 after 5390 givens.
% 139.14/139.36
% 142.54/142.77
% 142.54/142.77
% 142.54/142.77 Changing weight limit from 24 to 25.
% 142.54/142.77
% 142.54/142.77 Resetting weight limit to 25 after 5505 givens.
% 142.54/142.77
% 142.70/142.91
% 142.70/142.91
% 142.70/142.91 Changing weight limit from 25 to 24.
% 142.70/142.91
% 142.70/142.91 Resetting weight limit to 24 after 5510 givens.
% 142.70/142.91
% 144.36/144.58
% 144.36/144.58
% 144.36/144.58 Changing weight limit from 24 to 25.
% 144.36/144.58
% 144.36/144.58 Resetting weight limit to 25 after 5565 givens.
% 144.36/144.58
% 144.47/144.70
% 144.47/144.70
% 144.47/144.70 Changing weight limit from 25 to 24.
% 144.47/144.70
% 144.47/144.70 Resetting weight limit to 24 after 5570 givens.
% 144.47/144.70
% 144.56/144.78
% 144.56/144.78
% 144.56/144.78 Changing weight limit from 24 to 25.
% 144.56/144.78
% 144.56/144.78 Resetting weight limit to 25 after 5575 givens.
% 144.56/144.78
% 144.72/144.96
% 144.72/144.96
% 144.72/144.96 Changing weight limit from 25 to 24.
% 144.72/144.96
% 144.72/144.96 Resetting weight limit to 24 after 5580 givens.
% 144.72/144.96
% 147.87/148.14
% 147.87/148.14
% 147.87/148.14 Changing weight limit from 24 to 25.
% 147.87/148.14
% 147.87/148.14 Resetting weight limit to 25 after 5680 givens.
% 147.87/148.14
% 148.18/148.37
% 148.18/148.37
% 148.18/148.37 Changing weight limit from 25 to 24.
% 148.18/148.37
% 148.18/148.37 Resetting weight limit to 24 after 5685 givens.
% 148.18/148.37
% 150.03/150.25
% 150.03/150.25
% 150.03/150.25 Changing weight limit from 24 to 25.
% 150.03/150.25
% 150.03/150.25 Resetting weight limit to 25 after 5745 givens.
% 150.03/150.25
% 150.24/150.44
% 150.24/150.44
% 150.24/150.44 Changing weight limit from 25 to 24.
% 150.24/150.44
% 150.24/150.44 Resetting weight limit to 24 after 5750 givens.
% 150.24/150.44
% 154.26/154.50
% 154.26/154.50
% 154.26/154.50 Changing weight limit from 24 to 25.
% 154.26/154.50
% 154.26/154.50 Resetting weight limit to 25 after 5850 givens.
% 154.26/154.50
% 154.38/154.62
% 154.38/154.62
% 154.38/154.62 Changing weight limit from 25 to 24.
% 154.38/154.62
% 154.38/154.62 Resetting weight limit to 24 after 5855 givens.
% 154.38/154.62
% 156.43/156.68
% 156.43/156.68
% 156.43/156.68 Changing weight limit from 24 to 25.
% 156.43/156.68
% 156.43/156.68 Resetting weight limit to 25 after 5920 givens.
% 156.43/156.68
% 156.51/156.75
% 156.51/156.75
% 156.51/156.75 Changing weight limit from 25 to 26.
% 156.51/156.75
% 156.51/156.75 Resetting weight limit to 26 after 5925 givens.
% 156.51/156.75
% 156.60/156.82
% 156.60/156.82
% 156.60/156.82 Changing weight limit from 26 to 27.
% 156.60/156.82
% 156.60/156.82 Resetting weight limit to 27 after 5930 givens.
% 156.60/156.82
% 156.98/157.19
% 156.98/157.19
% 156.98/157.19 Changing weight limit from 27 to 24.
% 156.98/157.19
% 156.98/157.19 Resetting weight limit to 24 after 5935 givens.
% 156.98/157.19
% 161.06/161.30
% 161.06/161.30
% 161.06/161.30 Changing weight limit from 24 to 25.
% 161.06/161.30
% 161.06/161.30 Resetting weight limit to 25 after 6060 givens.
% 161.06/161.30
% 161.66/161.89
% 161.66/161.89
% 161.66/161.89 Changing weight limit from 25 to 24.
% 161.66/161.89
% 161.66/161.89 Resetting weight limit to 24 after 6065 givens.
% 161.66/161.89
% 161.66/161.89
% 161.66/161.89
% 161.66/161.89 Changing weight limit from 24 to 25.
% 161.66/161.89
% 161.66/161.89 Resetting weight limit to 25 after 6070 givens.
% 161.66/161.89
% 162.25/162.52
% 162.25/162.52
% 162.25/162.52 Changing weight limit from 25 to 24.
% 162.25/162.52
% 162.25/162.52 Resetting weight limit to 24 after 6075 givens.
% 162.25/162.52
% 162.34/162.55
% 162.34/162.55
% 162.34/162.55 Changing weight limit from 24 to 25.
% 162.34/162.55
% 162.34/162.55 Resetting weight limit to 25 after 6080 givens.
% 162.34/162.55
% 163.39/163.62
% 163.39/163.62
% 163.39/163.62 Changing weight limit from 25 to 24.
% 163.39/163.62
% 163.39/163.62 Resetting weight limit to 24 after 6095 givens.
% 163.39/163.62
% 163.39/163.62
% 163.39/163.62
% 163.39/163.62 Changing weight limit from 24 to 25.
% 163.39/163.62
% 163.39/163.62 Resetting weight limit to 25 after 6100 givens.
% 163.39/163.62
% 164.86/165.13
% 164.86/165.13
% 164.86/165.13 Changing weight limit from 25 to 24.
% 164.86/165.13
% 164.86/165.13 Resetting weight limit to 24 after 6120 givens.
% 164.86/165.13
% 164.86/165.13
% 164.86/165.13
% 164.86/165.13 Changing weight limit from 24 to 25.
% 164.86/165.13
% 164.86/165.13 Resetting weight limit to 25 after 6125 givens.
% 164.86/165.13
% 165.44/165.67
% 165.44/165.67
% 165.44/165.67 Changing weight limit from 25 to 24.
% 165.44/165.67
% 165.44/165.67 Resetting weight limit to 24 after 6130 givens.
% 165.44/165.67
% 165.44/165.67
% 165.44/165.67
% 165.44/165.67 Changing weight limit from 24 to 25.
% 165.44/165.67
% 165.44/165.67 Resetting weight limit to 25 after 6135 givens.
% 165.44/165.67
% 165.93/166.16
% 165.93/166.16
% 165.93/166.16 Changing weight limit from 25 to 24.
% 165.93/166.16
% 165.93/166.16 Resetting weight limit to 24 after 6140 givens.
% 165.93/166.16
% 165.93/166.20
% 165.93/166.20
% 165.93/166.20 Changing weight limit from 24 to 25.
% 165.93/166.20
% 165.93/166.20 Resetting weight limit to 25 after 6145 givens.
% 165.93/166.20
% 166.93/167.12
% 166.93/167.12
% 166.93/167.12 Changing weight limit from 25 to 24.
% 166.93/167.12
% 166.93/167.12 Resetting weight limit to 24 after 6160 givens.
% 166.93/167.12
% 166.94/167.17
% 166.94/167.17
% 166.94/167.17 Changing weight limit from 24 to 25.
% 166.94/167.17
% 166.94/167.17 Resetting weight limit to 25 after 6165 givens.
% 166.94/167.17
% 168.75/168.96
% 168.75/168.96
% 168.75/168.96 Changing weight limit from 25 to 24.
% 168.75/168.96
% 168.75/168.96 Resetting weight limit to 24 after 6195 givens.
% 168.75/168.96
% 168.75/168.97
% 168.75/168.97
% 168.75/168.97 Changing weight limit from 24 to 25.
% 168.75/168.97
% 168.75/168.97 Resetting weight limit to 25 after 6200 givens.
% 168.75/168.97
% 169.81/170.07
% 169.81/170.07
% 169.81/170.07 Changing weight limit from 25 to 24.
% 169.81/170.07
% 169.81/170.07 Resetting weight limit to 24 after 6215 givens.
% 169.81/170.07
% 169.81/170.07
% 169.81/170.07
% 169.81/170.07 Changing weight limit from 24 to 25.
% 169.81/170.07
% 169.81/170.07 Resetting weight limit to 25 after 6220 givens.
% 169.81/170.07
% 170.49/170.75
% 170.49/170.75
% 170.49/170.75 Changing weight limit from 25 to 24.
% 170.49/170.75
% 170.49/170.75 Resetting weight limit to 24 after 6230 givens.
% 170.49/170.75
% 170.49/170.75
% 170.49/170.75
% 170.49/170.75 Changing weight limit from 24 to 25.
% 170.49/170.75
% 170.49/170.75 Resetting weight limit to 25 after 6235 givens.
% 170.49/170.75
% 171.25/171.45
% 171.25/171.45
% 171.25/171.45 Changing weight limit from 25 to 24.
% 171.25/171.45
% 171.25/171.45 Resetting weight limit to 24 after 6245 givens.
% 171.25/171.45
% 171.25/171.51
% 171.25/171.51
% 171.25/171.51 Changing weight limit from 24 to 25.
% 171.25/171.51
% 171.25/171.51 Resetting weight limit to 25 after 6250 givens.
% 171.25/171.51
% 171.76/171.96
% 171.76/171.96
% 171.76/171.96 Changing weight limit from 25 to 24.
% 171.76/171.96
% 171.76/171.96 Resetting weight limit to 24 after 6255 givens.
% 171.76/171.96
% 171.80/172.00
% 171.80/172.00
% 171.80/172.00 Changing weight limit from 24 to 25.
% 171.80/172.00
% 171.80/172.00 Resetting weight limit to 25 after 6260 givens.
% 171.80/172.00
% 173.14/173.33
% 173.14/173.33
% 173.14/173.33 Changing weight limit from 25 to 24.
% 173.14/173.33
% 173.14/173.33 Resetting weight limit to 24 after 6285 givens.
% 173.14/173.33
% 173.14/173.33
% 173.14/173.33
% 173.14/173.33 Changing weight limit from 24 to 25.
% 173.14/173.33
% 173.14/173.33 Resetting weight limit to 25 after 6290 givens.
% 173.14/173.33
% 173.74/173.94
% 173.74/173.94
% 173.74/173.94 Changing weight limit from 25 to 24.
% 173.74/173.94
% 173.74/173.94 Resetting weight limit to 24 after 6300 givens.
% 173.74/173.94
% 173.74/173.94
% 173.74/173.94
% 173.74/173.94 Changing weight limit from 24 to 25.
% 173.74/173.94
% 173.74/173.94 Resetting weight limit to 25 after 6305 givens.
% 173.74/173.94
% 238.10/238.33
% 238.10/238.33
% 238.10/238.33 Changing weight limit from 25 to 26.
% 238.10/238.33
% 238.10/238.33 Resetting weight limit to 26 after 7200 givens.
% 238.10/238.33
% 238.19/238.48
% 238.19/238.48
% 238.19/238.48 Changing weight limit from 26 to 27.
% 238.19/238.48
% 238.19/238.48 Resetting weight limit to 27 after 7205 givens.
% 238.19/238.48
% 239.38/239.58
% 239.38/239.58
% 239.38/239.58 Changing weight limit from 27 to 25.
% 239.38/239.58
% 239.38/239.58 Resetting weight limit to 25 after 7210 givens.
% 239.38/239.58
% 239.38/239.64
% 239.38/239.64
% 239.38/239.64 Changing weight limit from 25 to 26.
% 239.38/239.64
% 239.38/239.64 Resetting weight limit to 26 after 7215 givens.
% 239.38/239.64
% 239.53/239.74
% 239.53/239.74
% 239.53/239.74 Changing weight limit from 26 to 27.
% 239.53/239.74
% 239.53/239.74 Resetting weight limit to 27 after 7220 givens.
% 239.53/239.74
% 240.60/240.86
% 240.60/240.86
% 240.60/240.86 Changing weight limit from 27 to 25.
% 240.60/240.86
% 240.60/240.86 Resetting weight limit to 25 after 7225 givens.
% 240.60/240.86
% 240.60/240.87
% 240.60/240.87
% 240.60/240.87 Changing weight limit from 25 to 26.
% 240.60/240.87
% 240.60/240.87 Resetting weight limit to 26 after 7230 givens.
% 240.60/240.87
% 240.60/240.87
% 240.60/240.87
% 240.60/240.87 Changing weight limit from 26 to 27.
% 240.60/240.87
% 240.60/240.87 Resetting weight limit to 27 after 7235 givens.
% 240.60/240.87
% 241.79/242.01
% 241.79/242.01
% 241.79/242.01 Changing weight limit from 27 to 25.
% 241.79/242.01
% 241.79/242.01 Resetting weight limit to 25 after 7240 givens.
% 241.79/242.01
% 241.79/242.01
% 241.79/242.01
% 241.79/242.01 Changing weight limit from 25 to 26.
% 241.79/242.01
% 241.79/242.01 Resetting weight limit to 26 after 7245 givens.
% 241.79/242.01
% 241.79/242.02
% 241.79/242.02
% 241.79/242.02 Changing weight limit from 26 to 27.
% 241.79/242.02
% 241.79/242.02 Resetting weight limit to 27 after 7250 givens.
% 241.79/242.02
% 242.92/243.16
% 242.92/243.16
% 242.92/243.16 Changing weight limit from 27 to 25.
% 242.92/243.16
% 242.92/243.16 Resetting weight limit to 25 after 7255 givens.
% 242.92/243.16
% 242.98/243.23
% 242.98/243.23
% 242.98/243.23 Changing weight limit from 25 to 26.
% 242.98/243.23
% 242.98/243.23 Resetting weight limit to 26 after 7260 givens.
% 242.98/243.23
% 242.98/243.23
% 242.98/243.23
% 242.98/243.23 Changing weight limit from 26 to 27.
% 242.98/243.23
% 242.98/243.23 Resetting weight limit to 27 after 7265 givens.
% 242.98/243.23
% 244.12/244.35
% 244.12/244.35
% 244.12/244.35 Changing weight limit from 27 to 25.
% 244.12/244.35
% 244.12/244.35 Resetting weight limit to 25 after 7270 givens.
% 244.12/244.35
% 244.32/244.54
% 244.32/244.54
% 244.32/244.54 Changing weight limit from 25 to 26.
% 244.32/244.54
% 244.32/244.54 Resetting weight limit to 26 after 7280 givens.
% 244.32/244.54
% 244.32/244.55
% 244.32/244.55
% 244.32/244.55 Changing weight limit from 26 to 27.
% 244.32/244.55
% 244.32/244.55 Resetting weight limit to 27 after 7285 givens.
% 244.32/244.55
% 246.39/246.58
% 246.39/246.58
% 246.39/246.58 Changing weight limit from 27 to 25.
% 246.39/246.58
% 246.39/246.58 Resetting weight limit to 25 after 7295 givens.
% 246.39/246.58
% 246.39/246.59
% 246.39/246.59
% 246.39/246.59 Changing weight limit from 25 to 26.
% 246.39/246.59
% 246.39/246.59 Resetting weight limit to 26 after 7300 givens.
% 246.39/246.59
% 246.39/246.60
% 246.39/246.60
% 246.39/246.60 Changing weight limit from 26 to 27.
% 246.39/246.60
% 246.39/246.60 Resetting weight limit to 27 after 7305 givens.
% 246.39/246.60
% 247.50/247.75
% 247.50/247.75
% 247.50/247.75 Changing weight limit from 27 to 25.
% 247.50/247.75
% 247.50/247.75 Resetting weight limit to 25 after 7310 givens.
% 247.50/247.75
% 247.50/247.76
% 247.50/247.76
% 247.50/247.76 Changing weight limit from 25 to 26.
% 247.50/247.76
% 247.50/247.76 Resetting weight limit to 26 after 7315 givens.
% 247.50/247.76
% 247.58/247.77
% 247.58/247.77
% 247.58/247.77 Changing weight limit from 26 to 27.
% 247.58/247.77
% 247.58/247.77 Resetting weight limit to 27 after 7320 givens.
% 247.58/247.77
% 249.11/249.41
% 249.11/249.41
% 249.11/249.41 Changing weight limit from 27 to 25.
% 249.11/249.41
% 249.11/249.41 Resetting weight limit to 25 after 7325 givens.
% 249.11/249.41
% 249.23/249.42
% 249.23/249.42
% 249.23/249.42 Changing weight limit from 25 to 26.
% 249.23/249.42
% 249.23/249.42 Resetting weight limit to 26 after 7330 givens.
% 249.23/249.42
% 249.23/249.43
% 249.23/249.43
% 249.23/249.43 Changing weight limit from 26 to 27.
% 249.23/249.43
% 249.23/249.43 Resetting weight limit to 27 after 7335 givens.
% 249.23/249.43
% 250.58/250.81
% 250.58/250.81
% 250.58/250.81 Changing weight limit from 27 to 25.
% 250.58/250.81
% 250.58/250.81 Resetting weight limit to 25 after 7340 givens.
% 250.58/250.81
% 250.58/250.81
% 250.58/250.81
% 250.58/250.81 Changing weight limit from 25 to 26.
% 250.58/250.81
% 250.58/250.81 Resetting weight limit to 26 after 7345 givens.
% 250.58/250.81
% 250.71/250.93
% 250.71/250.93
% 250.71/250.93 Changing weight limit from 26 to 27.
% 250.71/250.93
% 250.71/250.93 Resetting weight limit to 27 after 7350 givens.
% 250.71/250.93
% 252.13/252.36
% 252.13/252.36
% 252.13/252.36 Changing weight limit from 27 to 25.
% 252.13/252.36
% 252.13/252.36 Resetting weight limit to 25 after 7365 givens.
% 252.13/252.36
% 252.13/252.37
% 252.13/252.37
% 252.13/252.37 Changing weight limit from 25 to 26.
% 252.13/252.37
% 252.13/252.37 Resetting weight limit to 26 after 7370 givens.
% 252.13/252.37
% 252.21/252.46
% 252.21/252.46
% 252.21/252.46 Changing weight limit from 26 to 27.
% 252.21/252.46
% 252.21/252.46 Resetting weight limit to 27 after 7375 givens.
% 252.21/252.46
% 254.10/254.37
% 254.10/254.37
% 254.10/254.37 Changing weight limit from 27 to 25.
% 254.10/254.37
% 254.10/254.37 Resetting weight limit to 25 after 7390 givens.
% 254.10/254.37
% 254.19/254.38
% 254.19/254.38
% 254.19/254.38 Changing weight limit from 25 to 26.
% 254.19/254.38
% 254.19/254.38 Resetting weight limit to 26 after 7395 givens.
% 254.19/254.38
% 254.19/254.38
% 254.19/254.38
% 254.19/254.38 Changing weight limit from 26 to 27.
% 254.19/254.38
% 254.19/254.38 Resetting weight limit to 27 after 7400 givens.
% 254.19/254.38
% 254.84/255.08
% 254.84/255.08
% 254.84/255.08 Changing weight limit from 27 to 25.
% 254.84/255.08
% 254.84/255.08 Resetting weight limit to 25 after 7405 givens.
% 254.84/255.08
% 254.84/255.09
% 254.84/255.09
% 254.84/255.09 Changing weight limit from 25 to 26.
% 254.84/255.09
% 254.84/255.09 Resetting weight limit to 26 after 7410 givens.
% 254.84/255.09
% 254.84/255.09
% 254.84/255.09
% 254.84/255.09 Changing weight limit from 26 to 27.
% 254.84/255.09
% 254.84/255.09 Resetting weight limit to 27 after 7415 givens.
% 254.84/255.09
% 257.15/257.40
% 257.15/257.40
% 257.15/257.40 Changing weight limit from 27 to 25.
% 257.15/257.40
% 257.15/257.40 Resetting weight limit to 25 after 7430 givens.
% 257.15/257.40
% 257.30/257.49
% 257.30/257.49
% 257.30/257.49 Changing weight limit from 25 to 26.
% 257.30/257.49
% 257.30/257.49 Resetting weight limit to 26 after 7435 givens.
% 257.30/257.49
% 257.30/257.50
% 257.30/257.50
% 257.30/257.50 Changing weight limit from 26 to 27.
% 257.30/257.50
% 257.30/257.50 Resetting weight limit to 27 after 7440 givens.
% 257.30/257.50
% 259.01/259.24
% 259.01/259.24
% 259.01/259.24 Changing weight limit from 27 to 25.
% 259.01/259.24
% 259.01/259.24 Resetting weight limit to 25 after 7455 givens.
% 259.01/259.24
% 259.01/259.24
% 259.01/259.24
% 259.01/259.24 Changing weight limit from 25 to 26.
% 259.01/259.24
% 259.01/259.24 Resetting weight limit to 26 after 7460 givens.
% 259.01/259.24
% 259.01/259.25
% 259.01/259.25
% 259.01/259.25 Changing weight limit from 26 to 27.
% 259.01/259.25
% 259.01/259.25 Resetting weight limit to 27 after 7465 givens.
% 259.01/259.25
% 260.93/261.13
% 260.93/261.13
% 260.93/261.13 Changing weight limit from 27 to 25.
% 260.93/261.13
% 260.93/261.13 Resetting weight limit to 25 after 7475 givens.
% 260.93/261.13
% 260.95/261.14
% 260.95/261.14
% 260.95/261.14 Changing weight limit from 25 to 26.
% 260.95/261.14
% 260.95/261.14 Resetting weight limit to 26 after 7480 givens.
% 260.95/261.14
% 260.95/261.14
% 260.95/261.14
% 260.95/261.14 Changing weight limit from 26 to 27.
% 260.95/261.14
% 260.95/261.14 Resetting weight limit to 27 after 7485 givens.
% 260.95/261.14
% 261.69/261.94
% 261.69/261.94
% 261.69/261.94 Changing weight limit from 27 to 25.
% 261.69/261.94
% 261.69/261.94 Resetting weight limit to 25 after 7490 givens.
% 261.69/261.94
% 261.69/261.95
% 261.69/261.95
% 261.69/261.95 Changing weight limit from 25 to 26.
% 261.69/261.95
% 261.69/261.95 Resetting weight limit to 26 after 7495 givens.
% 261.69/261.95
% 261.69/261.96
% 261.69/261.96
% 261.69/261.96 Changing weight limit from 26 to 27.
% 261.69/261.96
% 261.69/261.96 Resetting weight limit to 27 after 7500 givens.
% 261.69/261.96
% 263.21/263.48
% 263.21/263.48
% 263.21/263.48 Changing weight limit from 27 to 25.
% 263.21/263.48
% 263.21/263.48 Resetting weight limit to 25 after 7510 givens.
% 263.21/263.48
% 263.21/263.49
% 263.21/263.49
% 263.21/263.49 Changing weight limit from 25 to 26.
% 263.21/263.49
% 263.21/263.49 Resetting weight limit to 26 after 7515 givens.
% 263.21/263.49
% 263.21/263.49
% 263.21/263.49
% 263.21/263.49 Changing weight limit from 26 to 27.
% 263.21/263.49
% 263.21/263.49 Resetting weight limit to 27 after 7520 givens.
% 263.21/263.49
% 265.31/265.53
% 265.31/265.53
% 265.31/265.53 Changing weight limit from 27 to 25.
% 265.31/265.53
% 265.31/265.53 Resetting weight limit to 25 after 7535 givens.
% 265.31/265.53
% 265.35/265.54
% 265.35/265.54
% 265.35/265.54 Changing weight limit from 25 to 26.
% 265.35/265.54
% 265.35/265.54 Resetting weight limit to 26 after 7540 givens.
% 265.35/265.54
% 265.35/265.54
% 265.35/265.54
% 265.35/265.54 Changing weight limit from 26 to 27.
% 265.35/265.54
% 265.35/265.54 Resetting weight limit to 27 after 7545 givens.
% 265.35/265.54
% 266.49/266.68
% 266.49/266.68
% 266.49/266.68 Changing weight limit from 27 to 25.
% 266.49/266.68
% 266.49/266.68 Resetting weight limit to 25 after 7550 givens.
% 266.49/266.68
% 266.49/266.69
% 266.49/266.69
% 266.49/266.69 Changing weight limit from 25 to 26.
% 266.49/266.69
% 266.49/266.69 Resetting weight limit to 26 after 7555 givens.
% 266.49/266.69
% 266.53/266.73
% 266.53/266.73
% 266.53/266.73 Changing weight limit from 26 to 27.
% 266.53/266.73
% 266.53/266.73 Resetting weight limit to 27 after 7560 givens.
% 266.53/266.73
% 267.41/267.67
% 267.41/267.67
% 267.41/267.67 Changing weight limit from 27 to 25.
% 267.41/267.67
% 267.41/267.67 Resetting weight limit to 25 after 7565 givens.
% 267.41/267.67
% 267.41/267.67
% 267.41/267.67
% 267.41/267.67 Changing weight limit from 25 to 26.
% 267.41/267.67
% 267.41/267.67 Resetting weight limit to 26 after 7570 givens.
% 267.41/267.67
% 267.49/267.68
% 267.49/267.68
% 267.49/267.68 Changing weight limit from 26 to 27.
% 267.49/267.68
% 267.49/267.68 Resetting weight limit to 27 after 7575 givens.
% 267.49/267.68
% 269.29/269.53
% 269.29/269.53
% 269.29/269.53 Changing weight limit from 27 to 25.
% 269.29/269.53
% 269.29/269.53 Resetting weight limit to 25 after 7585 givens.
% 269.29/269.53
% 269.29/269.54
% 269.29/269.54
% 269.29/269.54 Changing weight limit from 25 to 26.
% 269.29/269.54
% 269.29/269.54 Resetting weight limit to 26 after 7590 givens.
% 269.29/269.54
% 269.29/269.54
% 269.29/269.54
% 269.29/269.54 Changing weight limit from 26 to 27.
% 269.29/269.54
% 269.29/269.54 Resetting weight limit to 27 after 7595 givens.
% 269.29/269.54
% 270.91/271.12
% 270.91/271.12
% 270.91/271.12 Changing weight limit from 27 to 25.
% 270.91/271.12
% 270.91/271.12 Resetting weight limit to 25 after 7605 givens.
% 270.91/271.12
% 270.91/271.13
% 270.91/271.13
% 270.91/271.13 Changing weight limit from 25 to 26.
% 270.91/271.13
% 270.91/271.13 Resetting weight limit to 26 after 7610 givens.
% 270.91/271.13
% 270.91/271.14
% 270.91/271.14
% 270.91/271.14 Changing weight limit from 26 to 27.
% 270.91/271.14
% 270.91/271.14 Resetting weight limit to 27 after 7615 givens.
% 270.91/271.14
% 272.69/272.91
% 272.69/272.91
% 272.69/272.91 Changing weight limit from 27 to 25.
% 272.69/272.91
% 272.69/272.91 Resetting weight limit to 25 after 7625 givens.
% 272.69/272.91
% 272.69/272.91
% 272.69/272.91
% 272.69/272.91 Changing weight limit from 25 to 26.
% 272.69/272.91
% 272.69/272.91 Resetting weight limit to 26 after 7630 givens.
% 272.69/272.91
% 272.72/272.92
% 272.72/272.92
% 272.72/272.92 Changing weight limit from 26 to 27.
% 272.72/272.92
% 272.72/272.92 Resetting weight limit to 27 after 7635 givens.
% 272.72/272.92
% 273.63/273.87
% 273.63/273.87
% 273.63/273.87 Changing weight limit from 27 to 25.
% 273.63/273.87
% 273.63/273.87 Resetting weight limit to 25 after 7640 givens.
% 273.63/273.87
% 273.63/273.87
% 273.63/273.87
% 273.63/273.87 Changing weight limit from 25 to 26.
% 273.63/273.87
% 273.63/273.87 Resetting weight limit to 26 after 7645 givens.
% 273.63/273.87
% 273.63/273.88
% 273.63/273.88
% 273.63/273.88 Changing weight limit from 26 to 27.
% 273.63/273.88
% 273.63/273.88 Resetting weight limit to 27 after 7650 givens.
% 273.63/273.88
% 275.53/275.73
% 275.53/275.73
% 275.53/275.73 Changing weight limit from 27 to 25.
% 275.53/275.73
% 275.53/275.73 Resetting weight limit to 25 after 7660 givens.
% 275.53/275.73
% 275.59/275.79
% 275.59/275.79
% 275.59/275.79 Changing weight limit from 25 to 26.
% 275.59/275.79
% 275.59/275.79 Resetting weight limit to 26 after 7665 givens.
% 275.59/275.79
% 275.59/275.83
% 275.59/275.83
% 275.59/275.83 Changing weight limit from 26 to 27.
% 275.59/275.83
% 275.59/275.83 Resetting weight limit to 27 after 7670 givens.
% 275.59/275.83
% 277.41/277.61
% 277.41/277.61
% 277.41/277.61 Changing weight limit from 27 to 25.
% 277.41/277.61
% 277.41/277.61 Resetting weight limit to 25 after 7680 givens.
% 277.41/277.61
% 277.41/277.61
% 277.41/277.61
% 277.41/277.61 Changing weight limit from 25 to 26.
% 277.41/277.61
% 277.41/277.61 Resetting weight limit to 26 after 7685 givens.
% 277.41/277.61
% 277.41/277.62
% 277.41/277.62
% 277.41/277.62 Changing weight limit from 26 to 27.
% 277.41/277.62
% 277.41/277.62 Resetting weight limit to 27 after 7690 givens.
% 277.41/277.62
% 278.13/278.36
% 278.13/278.36
% 278.13/278.36 Changing weight limit from 27 to 25.
% 278.13/278.36
% 278.13/278.36 Resetting weight limit to 25 after 7695 givens.
% 278.13/278.36
% 278.13/278.36
% 278.13/278.36
% 278.13/278.36 Changing weight limit from 25 to 26.
% 278.13/278.36
% 278.13/278.36 Resetting weight limit to 26 after 7700 givens.
% 278.13/278.36
% 278.29/278.52
% 278.29/278.52
% 278.29/278.52 Changing weight limit from 26 to 27.
% 278.29/278.52
% 278.29/278.52 Resetting weight limit to 27 after 7705 givens.
% 278.29/278.52
% 283.22/283.44
% 283.22/283.44
% 283.22/283.44 Changing weight limit from 27 to 25.
% 283.22/283.44
% 283.22/283.44 Resetting weight limit to 25 after 7750 givens.
% 283.22/283.44
% 283.22/283.44
% 283.22/283.44
% 283.22/283.44 Changing weight limit from 25 to 26.
% 283.22/283.44
% 283.22/283.44 Resetting weight limit to 26 after 7755 givens.
% 283.22/283.44
% 283.22/283.45
% 283.22/283.45
% 283.22/283.45 Changing weight limit from 26 to 27.
% 283.22/283.45
% 283.22/283.45 Resetting weight limit to 27 after 7760 givens.
% 283.22/283.45
% 284.13/284.38
% 284.13/284.38
% 284.13/284.38 Changing weight limit from 27 to 25.
% 284.13/284.38
% 284.13/284.38 Resetting weight limit to 25 after 7765 givens.
% 284.13/284.38
% 284.13/284.38
% 284.13/284.38
% 284.13/284.38 Changing weight limit from 25 to 26.
% 284.13/284.38
% 284.13/284.38 Resetting weight limit to 26 after 7770 givens.
% 284.13/284.38
% 284.13/284.39
% 284.13/284.39
% 284.13/284.39 Changing weight limit from 26 to 27.
% 284.13/284.39
% 284.13/284.39 Resetting weight limit to 27 after 7775 givens.
% 284.13/284.39
% 286.05/286.28
% 286.05/286.28
% 286.05/286.28 Changing weight limit from 27 to 25.
% 286.05/286.28
% 286.05/286.28 Resetting weight limit to 25 after 7790 givens.
% 286.05/286.28
% 286.05/286.28
% 286.05/286.28
% 286.05/286.28 Changing weight limit from 25 to 26.
% 286.05/286.28
% 286.05/286.28 Resetting weight limit to 26 after 7795 givens.
% 286.05/286.28
% 286.05/286.29
% 286.05/286.29
% 286.05/286.29 Changing weight limit from 26 to 27.
% 286.05/286.29
% 286.05/286.29 Resetting weight limit to 27 after 7800 givens.
% 286.05/286.29
% 287.02/287.23
% 287.02/287.23
% 287.02/287.23 Changing weight limit from 27 to 25.
% 287.02/287.23
% 287.02/287.23 Resetting weight limit to 25 after 7805 givens.
% 287.02/287.23
% 287.02/287.24
% 287.02/287.24
% 287.02/287.24 Changing weight limit from 25 to 26.
% 287.02/287.24
% 287.02/287.24 Resetting weight limit to 26 after 7810 givens.
% 287.02/287.24
% 287.02/287.24
% 287.02/287.24
% 287.02/287.24 Changing weight limit from 26 to 27.
% 287.02/287.24
% 287.02/287.24 Resetting weight limit to 27 after 7815 givens.
% 287.02/287.24
% 289.31/289.51
% 289.31/289.51
% 289.31/289.51 Changing weight limit from 27 to 25.
% 289.31/289.51
% 289.31/289.51 Resetting weight limit to 25 after 7830 givens.
% 289.31/289.51
% 289.31/289.52
% 289.31/289.52
% 289.31/289.52 Changing weight limit from 25 to 26.
% 289.31/289.52
% 289.31/289.52 Resetting weight limit to 26 after 7835 givens.
% 289.31/289.52
% 289.31/289.52
% 289.31/289.52
% 289.31/289.52 Changing weight limit from 26 to 27.
% 289.31/289.52
% 289.31/289.52 Resetting weight limit to 27 after 7840 givens.
% 289.31/289.52
% 289.78/289.97
% 289.78/289.97
% 289.78/289.97 Changing weight limit from 27 to 28.
% 289.78/289.97
% 289.78/289.97 Resetting weight limit to 28 after 7845 givens.
% 289.78/289.97
% 290.15/290.39
% 290.15/290.39
% 290.15/290.39 Changing weight limit from 28 to 27.
% 290.15/290.39
% 290.15/290.39 Resetting weight limit to 27 after 7850 givens.
% 290.15/290.39
% 291.82/292.09
% 291.82/292.09
% 291.82/292.09 Changing weight limit from 27 to 25.
% 291.82/292.09
% 291.82/292.09 Resetting weight limit to 25 after 7865 givens.
% 291.82/292.09
% 291.82/292.10
% 291.82/292.10
% 291.82/292.10 Changing weight limit from 25 to 26.
% 291.82/292.10
% 291.82/292.10 Resetting weight limit to 26 after 7870 givens.
% 291.82/292.10
% 292.00/292.23
% 292.00/292.23
% 292.00/292.23 Changing weight limit from 26 to 27.
% 292.00/292.23
% 292.00/292.23 Resetting weight limit to 27 after 7875 givens.
% 292.00/292.23
% 292.88/293.08
% 292.88/293.08
% 292.88/293.08 Changing weight limit from 27 to 25.
% 292.88/293.08
% 292.88/293.08 Resetting weight limit to 25 after 7880 givens.
% 292.88/293.08
% 292.88/293.09
% 292.88/293.09
% 292.88/293.09 Changing weight limit from 25 to 26.
% 292.88/293.09
% 292.88/293.09 Resetting weight limit to 26 after 7885 givens.
% 292.88/293.09
% 292.88/293.09
% 292.88/293.09
% 292.88/293.09 Changing weight limit from 26 to 27.
% 292.88/293.09
% 292.88/293.09 Resetting weight limit to 27 after 7890 givens.
% 292.88/293.09
% 295.80/296.05
% 295.80/296.05
% 295.80/296.05 Changing weight limit from 27 to 25.
% 295.80/296.05
% 295.80/296.05 Resetting weight limit to 25 after 7910 givens.
% 295.80/296.05
% 295.93/296.16
% 295.93/296.16
% 295.93/296.16 Changing weight limit from 25 to 26.
% 295.93/296.16
% 295.93/296.16 Resetting weight limit to 26 after 7915 givens.
% 295.93/296.16
% 296.08/296.33
% 296.08/296.33
% 296.08/296.33 Changing weight limit from 26 to 27.
% 296.08/296.33
% 296.08/296.33 Resetting weight limit to 27 after 7920 givens.
% 296.08/296.33
% 296.85/297.05
% 296.85/297.05
% 296.85/297.05 Changing weight limit from 27 to 25.
% 296.85/297.05
% 296.85/297.05 Resetting weight limit to 25 after 7925 givens.
% 296.85/297.05
% 296.93/297.13
% 296.93/297.13
% 296.93/297.13 Changing weight limit from 25 to 26.
% 296.93/297.13
% 296.93/297.13 Resetting weight limit to 26 after 7930 givens.
% 296.93/297.13
% 297.08/297.28
% 297.08/297.28
% 297.08/297.28 Changing weight limit from 26 to 27.
% 297.08/297.28
% 297.08/297.28 Resetting weight limit to 27 after 7935 givens.
% 297.08/297.28
% 297.90/298.15
% 297.90/298.15
% 297.90/298.15 Changing weight limit from 27 to 25.
% 297.90/298.15
% 297.90/298.15 Resetting weight limit to 25 after 7940 givens.
% 297.90/298.15
% 298.04/298.24
% 298.04/298.24
% 298.04/298.24 Changing weight limit from 25 to 26.
% 298.04/298.24
% 298.04/298.24 Resetting weight limit to 26 after 7945 givens.
% 298.04/298.24
% 298.04/298.30
% 298.04/298.30
% 298.04/298.30 Changing weight limit from 26 to 27.
% 298.04/298.30
% 298.04/298.30 Resetting weight limit to 27 after 7950 givens.
% 298.04/298.30
% 299.00/299.24
% 299.00/299.24
% 299.00/299.24 Changing weight limit from 27 to 25.
% 299.00/299.24
% 299.00/299.24 Resetting weight limit to 25 after 7955 givens.
% 299.00/299.24
% 299.00/299.25
% 299.00/299.25
% 299.00/299.25 Changing weight limit from 25 to 26.
% 299.00/299.25
% 299.00/299.25 Resetting weight limit to 26 after 7960 givens.
% 299.00/299.25
% 299.10/299.30
% 299.10/299.30
% 299.10/299.30 Changing weight limit from 26 to 27.
% 299.10/299.30
% 299.10/299.30 Resetting weight limit to 27 after 7965 givens.
% 299.10/299.30
% 300.04/300.24 Wow, sos-wrapper got a signal XCPU
%------------------------------------------------------------------------------