TSTP Solution File: LCL674+1.020 by SOS---2.0

View Problem - Process Solution

%------------------------------------------------------------------------------
% File     : SOS---2.0
% Problem  : LCL674+1.020 : TPTP v8.1.0. Released v4.0.0.
% Transfm  : none
% Format   : tptp:raw
% Command  : sos-script %s

% Computer : n003.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 : Sun Jul 17 14:32:01 EDT 2022

% Result   : Unknown 92.81s 92.99s
% Output   : None 
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12  % Problem  : LCL674+1.020 : TPTP v8.1.0. Released v4.0.0.
% 0.06/0.12  % Command  : sos-script %s
% 0.12/0.33  % Computer : n003.cluster.edu
% 0.12/0.33  % Model    : x86_64 x86_64
% 0.12/0.33  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33  % Memory   : 8042.1875MB
% 0.12/0.33  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33  % CPULimit : 300
% 0.12/0.33  % WCLimit  : 600
% 0.12/0.33  % DateTime : Mon Jul  4 08:56:24 EDT 2022
% 0.12/0.34  % CPUTime  : 
% 0.12/0.39  ----- Otter 3.2, August 2001 -----
% 0.12/0.39  The process was started by sandbox on n003.cluster.edu,
% 0.12/0.39  Mon Jul  4 08:56:24 2022
% 0.12/0.39  The command was "./sos".  The process ID is 25584.
% 0.12/0.39  
% 0.12/0.39  set(prolog_style_variables).
% 0.12/0.39  set(auto).
% 0.12/0.39     dependent: set(auto1).
% 0.12/0.39     dependent: set(process_input).
% 0.12/0.39     dependent: clear(print_kept).
% 0.12/0.39     dependent: clear(print_new_demod).
% 0.12/0.39     dependent: clear(print_back_demod).
% 0.12/0.39     dependent: clear(print_back_sub).
% 0.12/0.39     dependent: set(control_memory).
% 0.12/0.39     dependent: assign(max_mem, 12000).
% 0.12/0.39     dependent: assign(pick_given_ratio, 4).
% 0.12/0.39     dependent: assign(stats_level, 1).
% 0.12/0.39     dependent: assign(pick_semantic_ratio, 3).
% 0.12/0.39     dependent: assign(sos_limit, 5000).
% 0.12/0.39     dependent: assign(max_weight, 60).
% 0.12/0.39  clear(print_given).
% 0.12/0.39  
% 0.12/0.39  formula_list(usable).
% 0.12/0.39  
% 0.12/0.39  SCAN INPUT: prop=0, horn=0, equality=0, symmetry=0, max_lits=6.
% 0.12/0.39  
% 0.12/0.39  This is a non-Horn set without equality.  The strategy
% 0.12/0.39  will be ordered hyper_res, ur_res, unit deletion, and
% 0.12/0.39  factoring, with satellites in sos and nuclei in usable.
% 0.12/0.39  
% 0.12/0.39     dependent: set(hyper_res).
% 0.12/0.39     dependent: set(factor).
% 0.12/0.39     dependent: set(unit_deletion).
% 0.12/0.39  
% 0.12/0.39  ------------> process usable:
% 0.12/0.39    Following clause subsumed by 2 during input processing: 0 [] {-} -r1($c1,A)| -r1(A,B)| -p8(B)| -p107(B)|p8(A)| -p107(A).
% 0.12/0.39  
% 0.12/0.39  ------------> process sos:
% 0.12/0.39  
% 0.12/0.39  ======= end of input processing =======
% 0.19/0.44  
% 0.19/0.44  Model 1 (0.00 seconds, 0 Inserts)
% 0.19/0.44  
% 0.19/0.44  Stopped by limit on number of solutions
% 0.19/0.44  
% 0.19/0.44  
% 0.19/0.44  -------------- Softie stats --------------
% 0.19/0.44  
% 0.19/0.44  UPDATE_STOP: 300
% 0.19/0.44  SFINDER_TIME_LIMIT: 2
% 0.19/0.44  SHORT_CLAUSE_CUTOFF: 4
% 0.19/0.44  number of clauses in intial UL: 225
% 0.19/0.44  number of clauses initially in problem: 227
% 0.19/0.44  percentage of clauses intially in UL: 99
% 0.19/0.44  percentage of distinct symbols occuring in initial UL: 100
% 0.19/0.44  percent of all initial clauses that are short: 100
% 0.19/0.44  absolute distinct symbol count: 85
% 0.19/0.44     distinct predicate count: 44
% 0.19/0.44     distinct function count: 40
% 0.19/0.44     distinct constant count: 1
% 0.19/0.44  
% 0.19/0.44  ---------- no more Softie stats ----------
% 0.19/0.44  
% 0.19/0.44  
% 0.19/0.44  
% 0.19/0.44  Model 2 (0.00 seconds, 0 Inserts)
% 0.19/0.44  
% 0.19/0.44  Stopped by limit on number of solutions
% 0.19/0.44  
% 0.19/0.44  =========== start of search ===========
% 2.46/2.69  
% 2.46/2.69  
% 2.46/2.69  Changing weight limit from 60 to 49.
% 2.46/2.69  
% 2.46/2.69  Stopped by limit on insertions
% 2.46/2.69  
% 2.46/2.69  Model 3 [ 1 7 52843 ] (0.00 seconds, 250000 Inserts)
% 2.46/2.69  
% 2.46/2.69  Stopped by limit on insertions
% 2.46/2.69  
% 2.46/2.69  Model 4 [ 1 1 16483 ] (0.00 seconds, 250000 Inserts)
% 2.46/2.69  
% 2.46/2.69  Stopped by limit on insertions
% 2.46/2.69  
% 2.46/2.69  Model 5 [ 1 1 481 ] (0.00 seconds, 250000 Inserts)
% 2.46/2.69  
% 2.46/2.69  Stopped by limit on insertions
% 2.46/2.69  
% 2.46/2.69  Model 6 [ 1 1 854 ] (0.00 seconds, 250000 Inserts)
% 2.46/2.69  
% 2.46/2.69  Stopped by limit on insertions
% 2.46/2.69  
% 2.46/2.69  Model 7 [ 1 0 3344 ] (0.00 seconds, 250000 Inserts)
% 2.46/2.69  
% 2.46/2.69  Stopped by limit on insertions
% 2.46/2.69  
% 2.46/2.69  Model 8 [ 2 0 518 ] (0.00 seconds, 250000 Inserts)
% 2.46/2.69  
% 2.46/2.69  Stopped by limit on insertions
% 2.46/2.69  
% 2.46/2.69  Model 9 [ 1 1 9599 ] (0.00 seconds, 250000 Inserts)
% 2.46/2.69  
% 2.46/2.69  Stopped by limit on insertions
% 2.46/2.69  
% 2.46/2.69  Model 10 [ 3 1 7531 ] (0.00 seconds, 250000 Inserts)
% 2.46/2.69  
% 2.46/2.69  Stopped by limit on insertions
% 2.46/2.69  
% 2.46/2.69  Model 11 [ 2 1 14893 ] (0.00 seconds, 250000 Inserts)
% 2.46/2.69  
% 2.46/2.69  Stopped by limit on insertions
% 2.46/2.69  
% 2.46/2.69  Model 12 [ 3 1 611 ] (0.00 seconds, 250000 Inserts)
% 2.46/2.69  
% 2.46/2.69  Stopped by limit on insertions
% 2.46/2.69  
% 2.46/2.69  Model 13 [ 4 1 498 ] (0.00 seconds, 250000 Inserts)
% 2.46/2.69  
% 2.46/2.69  Stopped by limit on insertions
% 2.46/2.69  
% 2.46/2.69  Model 14 [ 1 0 721 ] (0.00 seconds, 250000 Inserts)
% 2.46/2.69  
% 2.46/2.69  Modelling stopped after 300 given clauses and 0.00 seconds
% 2.46/2.69  
% 2.46/2.69  
% 2.46/2.69  Resetting weight limit to 49 after 1185 givens.
% 2.46/2.69  
% 2.54/2.71  
% 2.54/2.71  
% 2.54/2.71  Changing weight limit from 49 to 46.
% 2.54/2.71  
% 2.54/2.71  Resetting weight limit to 46 after 1205 givens.
% 2.54/2.71  
% 2.54/2.72  
% 2.54/2.72  
% 2.54/2.72  Changing weight limit from 46 to 45.
% 2.54/2.72  
% 2.54/2.72  Resetting weight limit to 45 after 1210 givens.
% 2.54/2.72  
% 2.54/2.72  
% 2.54/2.72  
% 2.54/2.72  Changing weight limit from 45 to 46.
% 2.54/2.72  
% 2.54/2.72  Resetting weight limit to 46 after 1220 givens.
% 2.54/2.72  
% 2.54/2.73  
% 2.54/2.73  
% 2.54/2.73  Changing weight limit from 46 to 45.
% 2.54/2.73  
% 2.54/2.73  Resetting weight limit to 45 after 1225 givens.
% 2.54/2.73  
% 2.54/2.74  
% 2.54/2.74  
% 2.54/2.74  Changing weight limit from 45 to 44.
% 2.54/2.74  
% 2.54/2.74  Resetting weight limit to 44 after 1230 givens.
% 2.54/2.74  
% 2.54/2.75  
% 2.54/2.75  
% 2.54/2.75  Changing weight limit from 44 to 45.
% 2.54/2.75  
% 2.54/2.75  Resetting weight limit to 45 after 1240 givens.
% 2.54/2.75  
% 2.54/2.75  
% 2.54/2.75  
% 2.54/2.75  Changing weight limit from 45 to 44.
% 2.54/2.75  
% 2.54/2.75  Resetting weight limit to 44 after 1245 givens.
% 2.54/2.75  
% 2.60/2.78  
% 2.60/2.78  
% 2.60/2.78  Changing weight limit from 44 to 45.
% 2.60/2.78  
% 2.60/2.78  Resetting weight limit to 45 after 1280 givens.
% 2.60/2.78  
% 2.60/2.78  
% 2.60/2.78  
% 2.60/2.78  Changing weight limit from 45 to 44.
% 2.60/2.78  
% 2.60/2.78  Resetting weight limit to 44 after 1285 givens.
% 2.60/2.78  
% 2.60/2.79  
% 2.60/2.79  
% 2.60/2.79  Changing weight limit from 44 to 45.
% 2.60/2.79  
% 2.60/2.79  Resetting weight limit to 45 after 1295 givens.
% 2.60/2.79  
% 2.60/2.79  
% 2.60/2.79  
% 2.60/2.79  Changing weight limit from 45 to 44.
% 2.60/2.79  
% 2.60/2.79  Resetting weight limit to 44 after 1300 givens.
% 2.60/2.79  
% 2.60/2.81  
% 2.60/2.81  
% 2.60/2.81  Changing weight limit from 44 to 45.
% 2.60/2.81  
% 2.60/2.81  Resetting weight limit to 45 after 1320 givens.
% 2.60/2.81  
% 2.60/2.82  
% 2.60/2.82  
% 2.60/2.82  Changing weight limit from 45 to 44.
% 2.60/2.82  
% 2.60/2.82  Resetting weight limit to 44 after 1325 givens.
% 2.60/2.82  
% 2.74/2.95  
% 2.74/2.95  
% 2.74/2.95  Changing weight limit from 44 to 45.
% 2.74/2.95  
% 2.74/2.95  Resetting weight limit to 45 after 1465 givens.
% 2.74/2.95  
% 2.74/2.96  
% 2.74/2.96  
% 2.74/2.96  Changing weight limit from 45 to 44.
% 2.74/2.96  
% 2.74/2.96  Resetting weight limit to 44 after 1470 givens.
% 2.74/2.96  
% 2.82/3.07  
% 2.82/3.07  
% 2.82/3.07  Changing weight limit from 44 to 45.
% 2.82/3.07  
% 2.82/3.07  Resetting weight limit to 45 after 1585 givens.
% 2.82/3.07  
% 2.90/3.08  
% 2.90/3.08  
% 2.90/3.08  Changing weight limit from 45 to 35.
% 2.90/3.08  
% 2.90/3.08  Resetting weight limit to 35 after 1590 givens.
% 2.90/3.08  
% 2.90/3.09  
% 2.90/3.09  
% 2.90/3.09  Changing weight limit from 35 to 34.
% 2.90/3.09  
% 2.90/3.09  Resetting weight limit to 34 after 1595 givens.
% 2.90/3.09  
% 2.90/3.13  
% 2.90/3.13  
% 2.90/3.13  Changing weight limit from 34 to 33.
% 2.90/3.13  
% 2.90/3.13  Resetting weight limit to 33 after 1610 givens.
% 2.90/3.13  
% 3.04/3.22  
% 3.04/3.22  
% 3.04/3.22  Changing weight limit from 33 to 32.
% 3.04/3.22  
% 3.04/3.22  Resetting weight limit to 32 after 1735 givens.
% 3.04/3.22  
% 3.05/3.24  
% 3.05/3.24  
% 3.05/3.24  Changing weight limit from 32 to 31.
% 3.05/3.24  
% 3.05/3.24  Resetting weight limit to 31 after 1750 givens.
% 3.05/3.24  
% 3.05/3.27  
% 3.05/3.27  
% 3.05/3.27  Changing weight limit from 31 to 30.
% 3.05/3.27  
% 3.05/3.27  Resetting weight limit to 30 after 1765 givens.
% 3.05/3.27  
% 3.22/3.43  
% 3.22/3.43  
% 3.22/3.43  Changing weight limit from 30 to 31.
% 3.22/3.43  
% 3.22/3.43  Resetting weight limit to 31 after 1870 givens.
% 3.22/3.43  
% 3.22/3.43  
% 3.22/3.43  
% 3.22/3.43  Changing weight limit from 31 to 30.
% 3.22/3.43  
% 3.22/3.43  Resetting weight limit to 30 after 1875 givens.
% 3.22/3.43  
% 3.22/3.45  
% 3.22/3.45  
% 3.22/3.45  Changing weight limit from 30 to 31.
% 3.22/3.45  
% 3.22/3.45  Resetting weight limit to 31 after 1890 givens.
% 3.22/3.45  
% 3.22/3.46  
% 3.22/3.46  
% 3.22/3.46  Changing weight limit from 31 to 30.
% 3.22/3.46  
% 3.22/3.46  Resetting weight limit to 30 after 1895 givens.
% 3.22/3.46  
% 3.22/3.47  
% 3.22/3.47  
% 3.22/3.47  Changing weight limit from 30 to 31.
% 3.22/3.47  
% 3.22/3.47  Resetting weight limit to 31 after 1900 givens.
% 3.22/3.47  
% 3.31/3.48  
% 3.31/3.48  
% 3.31/3.48  Changing weight limit from 31 to 30.
% 3.31/3.48  
% 3.31/3.48  Resetting weight limit to 30 after 1905 givens.
% 3.31/3.48  
% 3.34/3.52  
% 3.34/3.52  
% 3.34/3.52  Changing weight limit from 30 to 31.
% 3.34/3.52  
% 3.34/3.52  Resetting weight limit to 31 after 1925 givens.
% 3.34/3.52  
% 3.34/3.53  
% 3.34/3.53  
% 3.34/3.53  Changing weight limit from 31 to 30.
% 3.34/3.53  
% 3.34/3.53  Resetting weight limit to 30 after 1930 givens.
% 3.34/3.53  
% 3.34/3.56  
% 3.34/3.56  
% 3.34/3.56  Changing weight limit from 30 to 31.
% 3.34/3.56  
% 3.34/3.56  Resetting weight limit to 31 after 1960 givens.
% 3.34/3.56  
% 3.34/3.56  
% 3.34/3.56  
% 3.34/3.56  Changing weight limit from 31 to 32.
% 3.34/3.56  
% 3.34/3.56  Resetting weight limit to 32 after 1965 givens.
% 3.34/3.56  
% 3.34/3.57  
% 3.34/3.57  
% 3.34/3.57  Changing weight limit from 32 to 30.
% 3.34/3.57  
% 3.34/3.57  Resetting weight limit to 30 after 1970 givens.
% 3.34/3.57  
% 3.34/3.57  
% 3.34/3.57  
% 3.34/3.57  Changing weight limit from 30 to 29.
% 3.34/3.57  
% 3.34/3.57  Resetting weight limit to 29 after 1985 givens.
% 3.34/3.57  
% 3.34/3.59  
% 3.34/3.59  
% 3.34/3.59  Changing weight limit from 29 to 30.
% 3.34/3.59  
% 3.34/3.59  Resetting weight limit to 30 after 2000 givens.
% 3.34/3.59  
% 3.34/3.59  
% 3.34/3.59  
% 3.34/3.59  Changing weight limit from 30 to 31.
% 3.34/3.59  
% 3.34/3.59  Resetting weight limit to 31 after 2005 givens.
% 3.34/3.59  
% 3.34/3.60  
% 3.34/3.60  
% 3.34/3.60  Changing weight limit from 31 to 29.
% 3.34/3.60  
% 3.34/3.60  Resetting weight limit to 29 after 2010 givens.
% 3.34/3.60  
% 3.44/3.62  
% 3.44/3.62  
% 3.44/3.62  Changing weight limit from 29 to 30.
% 3.44/3.62  
% 3.44/3.62  Resetting weight limit to 30 after 2025 givens.
% 3.44/3.62  
% 3.44/3.63  
% 3.44/3.63  
% 3.44/3.63  Changing weight limit from 30 to 29.
% 3.44/3.63  
% 3.44/3.63  Resetting weight limit to 29 after 2030 givens.
% 3.44/3.63  
% 3.44/3.66  
% 3.44/3.66  
% 3.44/3.66  Changing weight limit from 29 to 30.
% 3.44/3.66  
% 3.44/3.66  Resetting weight limit to 30 after 2045 givens.
% 3.44/3.66  
% 3.44/3.66  
% 3.44/3.66  
% 3.44/3.66  Changing weight limit from 30 to 29.
% 3.44/3.66  
% 3.44/3.66  Resetting weight limit to 29 after 2050 givens.
% 3.44/3.66  
% 3.52/3.73  
% 3.52/3.73  
% 3.52/3.73  Changing weight limit from 29 to 30.
% 3.52/3.73  
% 3.52/3.73  Resetting weight limit to 30 after 2070 givens.
% 3.52/3.73  
% 3.52/3.76  
% 3.52/3.76  
% 3.52/3.76  Changing weight limit from 30 to 29.
% 3.52/3.76  
% 3.52/3.76  Resetting weight limit to 29 after 2075 givens.
% 3.52/3.76  
% 3.66/3.88  
% 3.66/3.88  
% 3.66/3.88  Changing weight limit from 29 to 30.
% 3.66/3.88  
% 3.66/3.88  Resetting weight limit to 30 after 2115 givens.
% 3.66/3.88  
% 3.66/3.89  
% 3.66/3.89  
% 3.66/3.89  Changing weight limit from 30 to 29.
% 3.66/3.89  
% 3.66/3.89  Resetting weight limit to 29 after 2125 givens.
% 3.66/3.89  
% 3.66/3.91  
% 3.66/3.91  
% 3.66/3.91  Changing weight limit from 29 to 30.
% 3.66/3.91  
% 3.66/3.91  Resetting weight limit to 30 after 2135 givens.
% 3.66/3.91  
% 3.66/3.92  
% 3.66/3.92  
% 3.66/3.92  Changing weight limit from 30 to 29.
% 3.66/3.92  
% 3.66/3.92  Resetting weight limit to 29 after 2140 givens.
% 3.66/3.92  
% 3.75/3.93  
% 3.75/3.93  
% 3.75/3.93  Changing weight limit from 29 to 30.
% 3.75/3.93  
% 3.75/3.93  Resetting weight limit to 30 after 2145 givens.
% 3.75/3.93  
% 3.75/3.96  
% 3.75/3.96  
% 3.75/3.96  Changing weight limit from 30 to 29.
% 3.75/3.96  
% 3.75/3.96  Resetting weight limit to 29 after 2155 givens.
% 3.75/3.96  
% 3.75/3.97  
% 3.75/3.97  
% 3.75/3.97  Changing weight limit from 29 to 30.
% 3.75/3.97  
% 3.75/3.97  Resetting weight limit to 30 after 2165 givens.
% 3.75/3.97  
% 3.75/3.97  
% 3.75/3.97  
% 3.75/3.97  Changing weight limit from 30 to 31.
% 3.75/3.97  
% 3.75/3.97  Resetting weight limit to 31 after 2170 givens.
% 3.75/3.97  
% 3.75/3.98  
% 3.75/3.98  
% 3.75/3.98  Changing weight limit from 31 to 29.
% 3.75/3.98  
% 3.75/3.98  Resetting weight limit to 29 after 2175 givens.
% 3.75/3.98  
% 3.81/4.04  
% 3.81/4.04  
% 3.81/4.04  Changing weight limit from 29 to 30.
% 3.81/4.04  
% 3.81/4.04  Resetting weight limit to 30 after 2205 givens.
% 3.81/4.04  
% 3.81/4.06  
% 3.81/4.06  
% 3.81/4.06  Changing weight limit from 30 to 29.
% 3.81/4.06  
% 3.81/4.06  Resetting weight limit to 29 after 2210 givens.
% 3.81/4.06  
% 4.05/4.26  
% 4.05/4.26  
% 4.05/4.26  Changing weight limit from 29 to 28.
% 4.05/4.26  
% 4.05/4.26  Resetting weight limit to 28 after 2275 givens.
% 4.05/4.26  
% 4.71/4.93  
% 4.71/4.93  
% 4.71/4.93  Changing weight limit from 28 to 27.
% 4.71/4.93  
% 4.71/4.93  Resetting weight limit to 27 after 2510 givens.
% 4.71/4.93  
% 4.79/4.97  
% 4.79/4.97  
% 4.79/4.97  Changing weight limit from 27 to 28.
% 4.79/4.97  
% 4.79/4.97  Resetting weight limit to 28 after 2520 givens.
% 4.79/4.97  
% 4.79/4.98  
% 4.79/4.98  
% 4.79/4.98  Changing weight limit from 28 to 29.
% 4.79/4.98  
% 4.79/4.98  Resetting weight limit to 29 after 2525 givens.
% 4.79/4.98  
% 4.81/4.99  
% 4.81/4.99  
% 4.81/4.99  Changing weight limit from 29 to 30.
% 4.81/4.99  
% 4.81/4.99  Resetting weight limit to 30 after 2530 givens.
% 4.81/4.99  
% 4.81/4.99  
% 4.81/4.99  
% 4.81/4.99  Changing weight limit from 30 to 31.
% 4.81/4.99  
% 4.81/4.99  Resetting weight limit to 31 after 2535 givens.
% 4.81/4.99  
% 4.81/4.99  
% 4.81/4.99  
% 4.81/4.99  Changing weight limit from 31 to 32.
% 4.81/4.99  
% 4.81/4.99  Resetting weight limit to 32 after 2540 givens.
% 4.81/4.99  
% 4.81/5.02  
% 4.81/5.02  
% 4.81/5.02  Changing weight limit from 32 to 28.
% 4.81/5.02  
% 4.81/5.02  Resetting weight limit to 28 after 2545 givens.
% 4.81/5.02  
% 4.86/5.04  
% 4.86/5.04  
% 4.86/5.04  Changing weight limit from 28 to 29.
% 4.86/5.04  
% 4.86/5.04  Resetting weight limit to 29 after 2555 givens.
% 4.86/5.04  
% 4.86/5.04  
% 4.86/5.04  
% 4.86/5.04  Changing weight limit from 29 to 30.
% 4.86/5.04  
% 4.86/5.04  Resetting weight limit to 30 after 2565 givens.
% 4.86/5.04  
% 4.87/5.06  
% 4.87/5.06  
% 4.87/5.06  Changing weight limit from 30 to 31.
% 4.87/5.06  
% 4.87/5.06  Resetting weight limit to 31 after 2570 givens.
% 4.87/5.06  
% 4.87/5.07  
% 4.87/5.07  
% 4.87/5.07  Changing weight limit from 31 to 28.
% 4.87/5.07  
% 4.87/5.07  Resetting weight limit to 28 after 2575 givens.
% 4.87/5.07  
% 5.07/5.26  
% 5.07/5.26  
% 5.07/5.26  Changing weight limit from 28 to 29.
% 5.07/5.26  
% 5.07/5.26  Resetting weight limit to 29 after 2610 givens.
% 5.07/5.26  
% 5.07/5.27  
% 5.07/5.27  
% 5.07/5.27  Changing weight limit from 29 to 28.
% 5.07/5.27  
% 5.07/5.27  Resetting weight limit to 28 after 2615 givens.
% 5.07/5.27  
% 5.07/5.28  
% 5.07/5.28  
% 5.07/5.28  Changing weight limit from 28 to 29.
% 5.07/5.28  
% 5.07/5.28  Resetting weight limit to 29 after 2620 givens.
% 5.07/5.28  
% 5.07/5.28  
% 5.07/5.28  
% 5.07/5.28  Changing weight limit from 29 to 30.
% 5.07/5.28  
% 5.07/5.28  Resetting weight limit to 30 after 2625 givens.
% 5.07/5.28  
% 5.11/5.28  
% 5.11/5.28  
% 5.11/5.28  Changing weight limit from 30 to 31.
% 5.11/5.28  
% 5.11/5.28  Resetting weight limit to 31 after 2630 givens.
% 5.11/5.28  
% 5.11/5.30  
% 5.11/5.30  
% 5.11/5.30  Changing weight limit from 31 to 28.
% 5.11/5.30  
% 5.11/5.30  Resetting weight limit to 28 after 2635 givens.
% 5.11/5.30  
% 5.11/5.30  
% 5.11/5.30  
% 5.11/5.30  Changing weight limit from 28 to 29.
% 5.11/5.30  
% 5.11/5.30  Resetting weight limit to 29 after 2640 givens.
% 5.11/5.30  
% 5.11/5.32  
% 5.11/5.32  
% 5.11/5.32  Changing weight limit from 29 to 28.
% 5.11/5.32  
% 5.11/5.32  Resetting weight limit to 28 after 2645 givens.
% 5.11/5.32  
% 5.17/5.36  
% 5.17/5.36  
% 5.17/5.36  Changing weight limit from 28 to 29.
% 5.17/5.36  
% 5.17/5.36  Resetting weight limit to 29 after 2665 givens.
% 5.17/5.36  
% 5.17/5.37  
% 5.17/5.37  
% 5.17/5.37  Changing weight limit from 29 to 30.
% 5.17/5.37  
% 5.17/5.37  Resetting weight limit to 30 after 2670 givens.
% 5.17/5.37  
% 5.17/5.40  
% 5.17/5.40  
% 5.17/5.40  Changing weight limit from 30 to 29.
% 5.17/5.40  
% 5.17/5.40  Resetting weight limit to 29 after 2675 givens.
% 5.17/5.40  
% 5.17/5.41  
% 5.17/5.41  
% 5.17/5.41  Changing weight limit from 29 to 28.
% 5.17/5.41  
% 5.17/5.41  Resetting weight limit to 28 after 2680 givens.
% 5.17/5.41  
% 5.30/5.49  
% 5.30/5.49  
% 5.30/5.49  Changing weight limit from 28 to 27.
% 5.30/5.49  
% 5.30/5.49  Resetting weight limit to 27 after 2725 givens.
% 5.30/5.49  
% 5.30/5.49  
% 5.30/5.49  
% 5.30/5.49  Changing weight limit from 27 to 28.
% 5.30/5.49  
% 5.30/5.49  Resetting weight limit to 28 after 2730 givens.
% 5.30/5.49  
% 5.30/5.50  
% 5.30/5.50  
% 5.30/5.50  Changing weight limit from 28 to 27.
% 5.30/5.50  
% 5.30/5.50  Resetting weight limit to 27 after 2735 givens.
% 5.30/5.50  
% 5.43/5.60  
% 5.43/5.60  
% 5.43/5.60  Changing weight limit from 27 to 28.
% 5.43/5.60  
% 5.43/5.60  Resetting weight limit to 28 after 2830 givens.
% 5.43/5.60  
% 5.43/5.60  
% 5.43/5.60  
% 5.43/5.60  Changing weight limit from 28 to 29.
% 5.43/5.60  
% 5.43/5.60  Resetting weight limit to 29 after 2835 givens.
% 5.43/5.60  
% 5.43/5.61  
% 5.43/5.61  
% 5.43/5.61  Changing weight limit from 29 to 27.
% 5.43/5.61  
% 5.43/5.61  Resetting weight limit to 27 after 2840 givens.
% 5.43/5.61  
% 5.46/5.65  
% 5.46/5.65  
% 5.46/5.65  Changing weight limit from 27 to 28.
% 5.46/5.65  
% 5.46/5.65  Resetting weight limit to 28 after 2880 givens.
% 5.46/5.65  
% 5.46/5.66  
% 5.46/5.66  
% 5.46/5.66  Changing weight limit from 28 to 29.
% 5.46/5.66  
% 5.46/5.66  Resetting weight limit to 29 after 2885 givens.
% 5.46/5.66  
% 5.46/5.67  
% 5.46/5.67  
% 5.46/5.67  Changing weight limit from 29 to 27.
% 5.46/5.67  
% 5.46/5.67  Resetting weight limit to 27 after 2890 givens.
% 5.46/5.67  
% 5.52/5.70  
% 5.52/5.70  
% 5.52/5.70  Changing weight limit from 27 to 28.
% 5.52/5.70  
% 5.52/5.70  Resetting weight limit to 28 after 2925 givens.
% 5.52/5.70  
% 5.52/5.71  
% 5.52/5.71  
% 5.52/5.71  Changing weight limit from 28 to 27.
% 5.52/5.71  
% 5.52/5.71  Resetting weight limit to 27 after 2930 givens.
% 5.52/5.71  
% 5.52/5.71  
% 5.52/5.71  
% 5.52/5.71  Changing weight limit from 27 to 28.
% 5.52/5.71  
% 5.52/5.71  Resetting weight limit to 28 after 2935 givens.
% 5.52/5.71  
% 5.52/5.72  
% 5.52/5.72  
% 5.52/5.72  Changing weight limit from 28 to 27.
% 5.52/5.72  
% 5.52/5.72  Resetting weight limit to 27 after 2940 givens.
% 5.52/5.72  
% 5.52/5.74  
% 5.52/5.74  
% 5.52/5.74  Changing weight limit from 27 to 28.
% 5.52/5.74  
% 5.52/5.74  Resetting weight limit to 28 after 2945 givens.
% 5.52/5.74  
% 5.52/5.74  
% 5.52/5.74  
% 5.52/5.74  Changing weight limit from 28 to 27.
% 5.52/5.74  
% 5.52/5.74  Resetting weight limit to 27 after 2950 givens.
% 5.52/5.74  
% 5.52/5.75  
% 5.52/5.75  
% 5.52/5.75  Changing weight limit from 27 to 28.
% 5.52/5.75  
% 5.52/5.75  Resetting weight limit to 28 after 2960 givens.
% 5.52/5.75  
% 5.52/5.75  
% 5.52/5.75  
% 5.52/5.75  Changing weight limit from 28 to 29.
% 5.52/5.75  
% 5.52/5.75  Resetting weight limit to 29 after 2965 givens.
% 5.52/5.75  
% 5.52/5.76  
% 5.52/5.76  
% 5.52/5.76  Changing weight limit from 29 to 30.
% 5.52/5.76  
% 5.52/5.76  Resetting weight limit to 30 after 2970 givens.
% 5.52/5.76  
% 5.59/5.77  
% 5.59/5.77  
% 5.59/5.77  Changing weight limit from 30 to 27.
% 5.59/5.77  
% 5.59/5.77  Resetting weight limit to 27 after 2975 givens.
% 5.59/5.77  
% 5.59/5.80  
% 5.59/5.80  
% 5.59/5.80  Changing weight limit from 27 to 28.
% 5.59/5.80  
% 5.59/5.80  Resetting weight limit to 28 after 2990 givens.
% 5.59/5.80  
% 5.59/5.80  
% 5.59/5.80  
% 5.59/5.80  Changing weight limit from 28 to 27.
% 5.59/5.80  
% 5.59/5.80  Resetting weight limit to 27 after 2995 givens.
% 5.59/5.80  
% 5.59/5.80  
% 5.59/5.80  
% 5.59/5.80  Changing weight limit from 27 to 28.
% 5.59/5.80  
% 5.59/5.80  Resetting weight limit to 28 after 3000 givens.
% 5.59/5.80  
% 5.59/5.81  
% 5.59/5.81  
% 5.59/5.81  Changing weight limit from 28 to 27.
% 5.59/5.81  
% 5.59/5.81  Resetting weight limit to 27 after 3005 givens.
% 5.59/5.81  
% 5.59/5.81  
% 5.59/5.81  
% 5.59/5.81  Changing weight limit from 27 to 28.
% 5.59/5.81  
% 5.59/5.81  Resetting weight limit to 28 after 3010 givens.
% 5.59/5.81  
% 5.59/5.82  
% 5.59/5.82  
% 5.59/5.82  Changing weight limit from 28 to 27.
% 5.59/5.82  
% 5.59/5.82  Resetting weight limit to 27 after 3015 givens.
% 5.59/5.82  
% 5.59/5.82  
% 5.59/5.82  
% 5.59/5.82  Changing weight limit from 27 to 28.
% 5.59/5.82  
% 5.59/5.82  Resetting weight limit to 28 after 3025 givens.
% 5.59/5.82  
% 5.59/5.82  
% 5.59/5.82  
% 5.59/5.82  Changing weight limit from 28 to 29.
% 5.59/5.82  
% 5.59/5.82  Resetting weight limit to 29 after 3030 givens.
% 5.59/5.82  
% 5.59/5.83  
% 5.59/5.83  
% 5.59/5.83  Changing weight limit from 29 to 30.
% 5.59/5.83  
% 5.59/5.83  Resetting weight limit to 30 after 3035 givens.
% 5.59/5.83  
% 5.59/5.84  
% 5.59/5.84  
% 5.59/5.84  Changing weight limit from 30 to 27.
% 5.59/5.84  
% 5.59/5.84  Resetting weight limit to 27 after 3040 givens.
% 5.59/5.84  
% 5.59/5.85  
% 5.59/5.85  
% 5.59/5.85  Changing weight limit from 27 to 28.
% 5.59/5.85  
% 5.59/5.85  Resetting weight limit to 28 after 3055 givens.
% 5.59/5.85  
% 5.59/5.85  
% 5.59/5.85  
% 5.59/5.85  Changing weight limit from 28 to 27.
% 5.59/5.85  
% 5.59/5.85  Resetting weight limit to 27 after 3060 givens.
% 5.59/5.85  
% 5.59/5.85  
% 5.59/5.85  
% 5.59/5.85  Changing weight limit from 27 to 28.
% 5.59/5.85  
% 5.59/5.85  Resetting weight limit to 28 after 3065 givens.
% 5.59/5.85  
% 5.69/5.86  
% 5.69/5.86  
% 5.69/5.86  Changing weight limit from 28 to 27.
% 5.69/5.86  
% 5.69/5.86  Resetting weight limit to 27 after 3070 givens.
% 5.69/5.86  
% 5.69/5.88  
% 5.69/5.88  
% 5.69/5.88  Changing weight limit from 27 to 28.
% 5.69/5.88  
% 5.69/5.88  Resetting weight limit to 28 after 3075 givens.
% 5.69/5.88  
% 5.69/5.89  
% 5.69/5.89  
% 5.69/5.89  Changing weight limit from 28 to 27.
% 5.69/5.89  
% 5.69/5.89  Resetting weight limit to 27 after 3080 givens.
% 5.69/5.89  
% 5.73/5.90  
% 5.73/5.90  
% 5.73/5.90  Changing weight limit from 27 to 28.
% 5.73/5.90  
% 5.73/5.90  Resetting weight limit to 28 after 3090 givens.
% 5.73/5.90  
% 5.73/5.91  
% 5.73/5.91  
% 5.73/5.91  Changing weight limit from 28 to 29.
% 5.73/5.91  
% 5.73/5.91  Resetting weight limit to 29 after 3095 givens.
% 5.73/5.91  
% 5.73/5.92  
% 5.73/5.92  
% 5.73/5.92  Changing weight limit from 29 to 30.
% 5.73/5.92  
% 5.73/5.92  Resetting weight limit to 30 after 3100 givens.
% 5.73/5.92  
% 5.76/5.93  
% 5.76/5.93  
% 5.76/5.93  Changing weight limit from 30 to 27.
% 5.76/5.93  
% 5.76/5.93  Resetting weight limit to 27 after 3105 givens.
% 5.76/5.93  
% 5.76/5.98  
% 5.76/5.98  
% 5.76/5.98  Changing weight limit from 27 to 28.
% 5.76/5.98  
% 5.76/5.98  Resetting weight limit to 28 after 3125 givens.
% 5.76/5.98  
% 5.76/5.99  
% 5.76/5.99  
% 5.76/5.99  Changing weight limit from 28 to 27.
% 5.76/5.99  
% 5.76/5.99  Resetting weight limit to 27 after 3130 givens.
% 5.76/5.99  
% 5.76/5.99  
% 5.76/5.99  
% 5.76/5.99  Changing weight limit from 27 to 28.
% 5.76/5.99  
% 5.76/5.99  Resetting weight limit to 28 after 3135 givens.
% 5.76/5.99  
% 5.76/6.00  
% 5.76/6.00  
% 5.76/6.00  Changing weight limit from 28 to 27.
% 5.76/6.00  
% 5.76/6.00  Resetting weight limit to 27 after 3140 givens.
% 5.76/6.00  
% 5.76/6.00  
% 5.76/6.00  
% 5.76/6.00  Changing weight limit from 27 to 28.
% 5.76/6.00  
% 5.76/6.00  Resetting weight limit to 28 after 3145 givens.
% 5.76/6.00  
% 5.84/6.01  
% 5.84/6.01  
% 5.84/6.01  Changing weight limit from 28 to 27.
% 5.84/6.01  
% 5.84/6.01  Resetting weight limit to 27 after 3150 givens.
% 5.84/6.01  
% 5.84/6.02  
% 5.84/6.02  
% 5.84/6.02  Changing weight limit from 27 to 28.
% 5.84/6.02  
% 5.84/6.02  Resetting weight limit to 28 after 3160 givens.
% 5.84/6.02  
% 5.84/6.02  
% 5.84/6.02  
% 5.84/6.02  Changing weight limit from 28 to 29.
% 5.84/6.02  
% 5.84/6.02  Resetting weight limit to 29 after 3165 givens.
% 5.84/6.02  
% 5.84/6.04  
% 5.84/6.04  
% 5.84/6.04  Changing weight limit from 29 to 30.
% 5.84/6.04  
% 5.84/6.04  Resetting weight limit to 30 after 3170 givens.
% 5.84/6.04  
% 5.84/6.05  
% 5.84/6.05  
% 5.84/6.05  Changing weight limit from 30 to 27.
% 5.84/6.05  
% 5.84/6.05  Resetting weight limit to 27 after 3175 givens.
% 5.84/6.05  
% 5.90/6.12  
% 5.90/6.12  
% 5.90/6.12  Changing weight limit from 27 to 28.
% 5.90/6.12  
% 5.90/6.12  Resetting weight limit to 28 after 3205 givens.
% 5.90/6.12  
% 5.90/6.13  
% 5.90/6.13  
% 5.90/6.13  Changing weight limit from 28 to 27.
% 5.90/6.13  
% 5.90/6.13  Resetting weight limit to 27 after 3210 givens.
% 5.90/6.13  
% 5.90/6.13  
% 5.90/6.13  
% 5.90/6.13  Changing weight limit from 27 to 28.
% 5.90/6.13  
% 5.90/6.13  Resetting weight limit to 28 after 3215 givens.
% 5.90/6.13  
% 5.90/6.14  
% 5.90/6.14  
% 5.90/6.14  Changing weight limit from 28 to 27.
% 5.90/6.14  
% 5.90/6.14  Resetting weight limit to 27 after 3220 givens.
% 5.90/6.14  
% 6.00/6.17  
% 6.00/6.17  
% 6.00/6.17  Changing weight limit from 27 to 28.
% 6.00/6.17  
% 6.00/6.17  Resetting weight limit to 28 after 3235 givens.
% 6.00/6.17  
% 6.00/6.18  
% 6.00/6.18  
% 6.00/6.18  Changing weight limit from 28 to 29.
% 6.00/6.18  
% 6.00/6.18  Resetting weight limit to 29 after 3240 givens.
% 6.00/6.18  
% 6.00/6.18  
% 6.00/6.18  
% 6.00/6.18  Changing weight limit from 29 to 27.
% 6.00/6.18  
% 6.00/6.18  Resetting weight limit to 27 after 3245 givens.
% 6.00/6.18  
% 6.04/6.26  
% 6.04/6.26  
% 6.04/6.26  Changing weight limit from 27 to 28.
% 6.04/6.26  
% 6.04/6.26  Resetting weight limit to 28 after 3270 givens.
% 6.04/6.26  
% 6.04/6.26  
% 6.04/6.26  
% 6.04/6.26  Changing weight limit from 28 to 27.
% 6.04/6.26  
% 6.04/6.26  Resetting weight limit to 27 after 3275 givens.
% 6.04/6.26  
% 6.04/6.27  
% 6.04/6.27  
% 6.04/6.27  Changing weight limit from 27 to 28.
% 6.04/6.27  
% 6.04/6.27  Resetting weight limit to 28 after 3280 givens.
% 6.04/6.27  
% 6.04/6.28  
% 6.04/6.28  
% 6.04/6.28  Changing weight limit from 28 to 27.
% 6.04/6.28  
% 6.04/6.28  Resetting weight limit to 27 after 3285 givens.
% 6.04/6.28  
% 6.04/6.28  
% 6.04/6.28  
% 6.04/6.28  Changing weight limit from 27 to 28.
% 6.04/6.28  
% 6.04/6.28  Resetting weight limit to 28 after 3290 givens.
% 6.04/6.28  
% 6.15/6.36  
% 6.15/6.36  
% 6.15/6.36  Changing weight limit from 28 to 27.
% 6.15/6.36  
% 6.15/6.36  Resetting weight limit to 27 after 3295 givens.
% 6.15/6.36  
% 6.22/6.46  
% 6.22/6.46  
% 6.22/6.46  Changing weight limit from 27 to 28.
% 6.22/6.46  
% 6.22/6.46  Resetting weight limit to 28 after 3305 givens.
% 6.22/6.46  
% 6.22/6.47  
% 6.22/6.47  
% 6.22/6.47  Changing weight limit from 28 to 29.
% 6.22/6.47  
% 6.22/6.47  Resetting weight limit to 29 after 3310 givens.
% 6.22/6.47  
% 6.30/6.49  
% 6.30/6.49  
% 6.30/6.49  Changing weight limit from 29 to 27.
% 6.30/6.49  
% 6.30/6.49  Resetting weight limit to 27 after 3315 givens.
% 6.30/6.49  
% 6.30/6.54  
% 6.30/6.54  
% 6.30/6.54  Changing weight limit from 27 to 28.
% 6.30/6.54  
% 6.30/6.54  Resetting weight limit to 28 after 3345 givens.
% 6.30/6.54  
% 6.30/6.55  
% 6.30/6.55  
% 6.30/6.55  Changing weight limit from 28 to 27.
% 6.30/6.55  
% 6.30/6.55  Resetting weight limit to 27 after 3350 givens.
% 6.30/6.55  
% 6.30/6.55  
% 6.30/6.55  
% 6.30/6.55  Changing weight limit from 27 to 28.
% 6.30/6.55  
% 6.30/6.55  Resetting weight limit to 28 after 3355 givens.
% 6.30/6.55  
% 6.30/6.56  
% 6.30/6.56  
% 6.30/6.56  Changing weight limit from 28 to 27.
% 6.30/6.56  
% 6.30/6.56  Resetting weight limit to 27 after 3360 givens.
% 6.30/6.56  
% 6.42/6.60  
% 6.42/6.60  
% 6.42/6.60  Changing weight limit from 27 to 28.
% 6.42/6.60  
% 6.42/6.60  Resetting weight limit to 28 after 3385 givens.
% 6.42/6.60  
% 6.42/6.61  
% 6.42/6.61  
% 6.42/6.61  Changing weight limit from 28 to 29.
% 6.42/6.61  
% 6.42/6.61  Resetting weight limit to 29 after 3390 givens.
% 6.42/6.61  
% 6.45/6.63  
% 6.45/6.63  
% 6.45/6.63  Changing weight limit from 29 to 27.
% 6.45/6.63  
% 6.45/6.63  Resetting weight limit to 27 after 3395 givens.
% 6.45/6.63  
% 6.45/6.71  
% 6.45/6.71  
% 6.45/6.71  Changing weight limit from 27 to 28.
% 6.45/6.71  
% 6.45/6.71  Resetting weight limit to 28 after 3415 givens.
% 6.45/6.71  
% 6.45/6.72  
% 6.45/6.72  
% 6.45/6.72  Changing weight limit from 28 to 29.
% 6.45/6.72  
% 6.45/6.72  Resetting weight limit to 29 after 3420 givens.
% 6.45/6.72  
% 6.55/6.73  
% 6.55/6.73  
% 6.55/6.73  Changing weight limit from 29 to 27.
% 6.55/6.73  
% 6.55/6.73  Resetting weight limit to 27 after 3425 givens.
% 6.55/6.73  
% 6.55/6.74  
% 6.55/6.74  
% 6.55/6.74  Changing weight limit from 27 to 28.
% 6.55/6.74  
% 6.55/6.74  Resetting weight limit to 28 after 3430 givens.
% 6.55/6.74  
% 6.55/6.74  
% 6.55/6.74  
% 6.55/6.74  Changing weight limit from 28 to 27.
% 6.55/6.74  
% 6.55/6.74  Resetting weight limit to 27 after 3435 givens.
% 6.55/6.74  
% 6.81/6.98  
% 6.81/6.98  
% 6.81/6.98  Changing weight limit from 27 to 28.
% 6.81/6.98  
% 6.81/6.98  Resetting weight limit to 28 after 3500 givens.
% 6.81/6.98  
% 6.83/7.01  
% 6.83/7.01  
% 6.83/7.01  Changing weight limit from 28 to 27.
% 6.83/7.01  
% 6.83/7.01  Resetting weight limit to 27 after 3505 givens.
% 6.83/7.01  
% 6.86/7.05  
% 6.86/7.05  
% 6.86/7.05  Changing weight limit from 27 to 28.
% 6.86/7.05  
% 6.86/7.05  Resetting weight limit to 28 after 3525 givens.
% 6.86/7.05  
% 6.95/7.16  
% 6.95/7.16  
% 6.95/7.16  Changing weight limit from 28 to 29.
% 6.95/7.16  
% 6.95/7.16  Resetting weight limit to 29 after 3530 givens.
% 6.95/7.16  
% 7.12/7.29  
% 7.12/7.29  
% 7.12/7.29  Changing weight limit from 29 to 27.
% 7.12/7.29  
% 7.12/7.29  Resetting weight limit to 27 after 3535 givens.
% 7.12/7.29  
% 7.40/7.56  
% 7.40/7.56  
% 7.40/7.56  Changing weight limit from 27 to 28.
% 7.40/7.56  
% 7.40/7.56  Resetting weight limit to 28 after 3580 givens.
% 7.40/7.56  
% 7.40/7.57  
% 7.40/7.57  
% 7.40/7.57  Changing weight limit from 28 to 27.
% 7.40/7.57  
% 7.40/7.57  Resetting weight limit to 27 after 3585 givens.
% 7.40/7.57  
% 7.41/7.60  
% 7.41/7.60  
% 7.41/7.60  Changing weight limit from 27 to 28.
% 7.41/7.60  
% 7.41/7.60  Resetting weight limit to 28 after 3605 givens.
% 7.41/7.60  
% 7.44/7.61  
% 7.44/7.61  
% 7.44/7.61  Changing weight limit from 28 to 27.
% 7.44/7.61  
% 7.44/7.61  Resetting weight limit to 27 after 3610 givens.
% 7.44/7.61  
% 8.05/8.23  
% 8.05/8.23  
% 8.05/8.23  Changing weight limit from 27 to 28.
% 8.05/8.23  
% 8.05/8.23  Resetting weight limit to 28 after 3740 givens.
% 8.05/8.23  
% 8.05/8.24  
% 8.05/8.24  
% 8.05/8.24  Changing weight limit from 28 to 27.
% 8.05/8.24  
% 8.05/8.24  Resetting weight limit to 27 after 3745 givens.
% 8.05/8.24  
% 8.21/8.39  
% 8.21/8.39  
% 8.21/8.39  Changing weight limit from 27 to 28.
% 8.21/8.39  
% 8.21/8.39  Resetting weight limit to 28 after 3760 givens.
% 8.21/8.39  
% 8.32/8.53  
% 8.32/8.53  
% 8.32/8.53  Changing weight limit from 28 to 27.
% 8.32/8.53  
% 8.32/8.53  Resetting weight limit to 27 after 3765 givens.
% 8.32/8.53  
% 8.75/8.94  
% 8.75/8.94  
% 8.75/8.94  Changing weight limit from 27 to 28.
% 8.75/8.94  
% 8.75/8.94  Resetting weight limit to 28 after 3820 givens.
% 8.75/8.94  
% 8.75/8.95  
% 8.75/8.95  
% 8.75/8.95  Changing weight limit from 28 to 27.
% 8.75/8.95  
% 8.75/8.95  Resetting weight limit to 27 after 3825 givens.
% 8.75/8.95  
% 8.75/8.96  
% 8.75/8.96  
% 8.75/8.96  Changing weight limit from 27 to 28.
% 8.75/8.96  
% 8.75/8.96  Resetting weight limit to 28 after 3835 givens.
% 8.75/8.96  
% 8.75/8.96  
% 8.75/8.96  
% 8.75/8.96  Changing weight limit from 28 to 29.
% 8.75/8.96  
% 8.75/8.96  Resetting weight limit to 29 after 3840 givens.
% 8.75/8.96  
% 8.75/8.97  
% 8.75/8.97  
% 8.75/8.97  Changing weight limit from 29 to 27.
% 8.75/8.97  
% 8.75/8.97  Resetting weight limit to 27 after 3845 givens.
% 8.75/8.97  
% 8.81/9.02  
% 8.81/9.02  
% 8.81/9.02  Changing weight limit from 27 to 28.
% 8.81/9.02  
% 8.81/9.02  Resetting weight limit to 28 after 3870 givens.
% 8.81/9.02  
% 8.81/9.04  
% 8.81/9.04  
% 8.81/9.04  Changing weight limit from 28 to 29.
% 8.81/9.04  
% 8.81/9.04  Resetting weight limit to 29 after 3875 givens.
% 8.81/9.04  
% 8.81/9.05  
% 8.81/9.05  
% 8.81/9.05  Changing weight limit from 29 to 27.
% 8.81/9.05  
% 8.81/9.05  Resetting weight limit to 27 after 3880 givens.
% 8.81/9.05  
% 8.90/9.07  
% 8.90/9.07  
% 8.90/9.07  Changing weight limit from 27 to 28.
% 8.90/9.07  
% 8.90/9.07  Resetting weight limit to 28 after 3885 givens.
% 8.90/9.07  
% 8.90/9.07  
% 8.90/9.07  
% 8.90/9.07  Changing weight limit from 28 to 27.
% 8.90/9.07  
% 8.90/9.07  Resetting weight limit to 27 after 3890 givens.
% 8.90/9.07  
% 8.90/9.09  
% 8.90/9.09  
% 8.90/9.09  Changing weight limit from 27 to 28.
% 8.90/9.09  
% 8.90/9.09  Resetting weight limit to 28 after 3905 givens.
% 8.90/9.09  
% 8.90/9.09  
% 8.90/9.09  
% 8.90/9.09  Changing weight limit from 28 to 29.
% 8.90/9.09  
% 8.90/9.09  Resetting weight limit to 29 after 3910 givens.
% 8.90/9.09  
% 8.93/9.10  
% 8.93/9.10  
% 8.93/9.10  Changing weight limit from 29 to 27.
% 8.93/9.10  
% 8.93/9.10  Resetting weight limit to 27 after 3915 givens.
% 8.93/9.10  
% 8.97/9.15  
% 8.97/9.15  
% 8.97/9.15  Changing weight limit from 27 to 28.
% 8.97/9.15  
% 8.97/9.15  Resetting weight limit to 28 after 3950 givens.
% 8.97/9.15  
% 8.97/9.18  
% 8.97/9.18  
% 8.97/9.18  Changing weight limit from 28 to 27.
% 8.97/9.18  
% 8.97/9.18  Resetting weight limit to 27 after 3955 givens.
% 8.97/9.18  
% 9.03/9.21  
% 9.03/9.21  
% 9.03/9.21  Changing weight limit from 27 to 28.
% 9.03/9.21  
% 9.03/9.21  Resetting weight limit to 28 after 3970 givens.
% 9.03/9.21  
% 9.03/9.22  
% 9.03/9.22  
% 9.03/9.22  Changing weight limit from 28 to 29.
% 9.03/9.22  
% 9.03/9.22  Resetting weight limit to 29 after 3975 givens.
% 9.03/9.22  
% 9.03/9.24  
% 9.03/9.24  
% 9.03/9.24  Changing weight limit from 29 to 27.
% 9.03/9.24  
% 9.03/9.24  Resetting weight limit to 27 after 3980 givens.
% 9.03/9.24  
% 9.23/9.41  
% 9.23/9.41  
% 9.23/9.41  Changing weight limit from 27 to 26.
% 9.23/9.41  
% 9.23/9.41  Resetting weight limit to 26 after 3990 givens.
% 9.23/9.41  
% 9.41/9.67  
% 9.41/9.67  
% 9.41/9.67  Changing weight limit from 26 to 27.
% 9.41/9.67  
% 9.41/9.67  Resetting weight limit to 27 after 4005 givens.
% 9.41/9.67  
% 9.51/9.69  
% 9.51/9.69  
% 9.51/9.69  Changing weight limit from 27 to 26.
% 9.51/9.69  
% 9.51/9.69  Resetting weight limit to 26 after 4010 givens.
% 9.51/9.69  
% 9.51/9.69  
% 9.51/9.69  
% 9.51/9.69  Changing weight limit from 26 to 27.
% 9.51/9.69  
% 9.51/9.69  Resetting weight limit to 27 after 4015 givens.
% 9.51/9.69  
% 9.51/9.70  
% 9.51/9.70  
% 9.51/9.70  Changing weight limit from 27 to 28.
% 9.51/9.70  
% 9.51/9.70  Resetting weight limit to 28 after 4020 givens.
% 9.51/9.70  
% 9.53/9.70  
% 9.53/9.70  
% 9.53/9.70  Changing weight limit from 28 to 29.
% 9.53/9.70  
% 9.53/9.70  Resetting weight limit to 29 after 4025 givens.
% 9.53/9.70  
% 9.55/9.72  
% 9.55/9.72  
% 9.55/9.72  Changing weight limit from 29 to 26.
% 9.55/9.72  
% 9.55/9.72  Resetting weight limit to 26 after 4030 givens.
% 9.55/9.72  
% 9.55/9.74  
% 9.55/9.74  
% 9.55/9.74  Changing weight limit from 26 to 27.
% 9.55/9.74  
% 9.55/9.74  Resetting weight limit to 27 after 4035 givens.
% 9.55/9.74  
% 9.55/9.74  
% 9.55/9.74  
% 9.55/9.74  Changing weight limit from 27 to 26.
% 9.55/9.74  
% 9.55/9.74  Resetting weight limit to 26 after 4040 givens.
% 9.55/9.74  
% 9.55/9.76  
% 9.55/9.76  
% 9.55/9.76  Changing weight limit from 26 to 27.
% 9.55/9.76  
% 9.55/9.76  Resetting weight limit to 27 after 4055 givens.
% 9.55/9.76  
% 9.71/9.92  
% 9.71/9.92  
% 9.71/9.92  Changing weight limit from 27 to 28.
% 9.71/9.92  
% 9.71/9.92  Resetting weight limit to 28 after 4060 givens.
% 9.71/9.92  
% 9.87/10.08  
% 9.87/10.08  
% 9.87/10.08  Changing weight limit from 28 to 26.
% 9.87/10.08  
% 9.87/10.08  Resetting weight limit to 26 after 4065 givens.
% 9.87/10.08  
% 9.94/10.18  
% 9.94/10.18  
% 9.94/10.18  Changing weight limit from 26 to 27.
% 9.94/10.18  
% 9.94/10.18  Resetting weight limit to 27 after 4090 givens.
% 9.94/10.18  
% 10.16/10.37  
% 10.16/10.37  
% 10.16/10.37  Changing weight limit from 27 to 26.
% 10.16/10.37  
% 10.16/10.37  Resetting weight limit to 26 after 4110 givens.
% 10.16/10.37  
% 10.56/10.73  
% 10.56/10.73  
% 10.56/10.73  Changing weight limit from 26 to 27.
% 10.56/10.73  
% 10.56/10.73  Resetting weight limit to 27 after 4135 givens.
% 10.56/10.73  
% 10.56/10.74  
% 10.56/10.74  
% 10.56/10.74  Changing weight limit from 27 to 26.
% 10.56/10.74  
% 10.56/10.74  Resetting weight limit to 26 after 4140 givens.
% 10.56/10.74  
% 10.77/10.93  
% 10.77/10.93  
% 10.77/10.93  Changing weight limit from 26 to 27.
% 10.77/10.93  
% 10.77/10.93  Resetting weight limit to 27 after 4150 givens.
% 10.77/10.93  
% 10.92/11.09  
% 10.92/11.09  
% 10.92/11.09  Changing weight limit from 27 to 28.
% 10.92/11.09  
% 10.92/11.09  Resetting weight limit to 28 after 4160 givens.
% 10.92/11.09  
% 11.06/11.24  
% 11.06/11.24  
% 11.06/11.24  Changing weight limit from 28 to 27.
% 11.06/11.24  
% 11.06/11.24  Resetting weight limit to 27 after 4165 givens.
% 11.06/11.24  
% 11.08/11.25  
% 11.08/11.25  
% 11.08/11.25  Changing weight limit from 27 to 28.
% 11.08/11.25  
% 11.08/11.25  Resetting weight limit to 28 after 4170 givens.
% 11.08/11.25  
% 11.08/11.26  
% 11.08/11.26  
% 11.08/11.26  Changing weight limit from 28 to 26.
% 11.08/11.26  
% 11.08/11.26  Resetting weight limit to 26 after 4175 givens.
% 11.08/11.26  
% 11.21/11.39  
% 11.21/11.39  
% 11.21/11.39  Changing weight limit from 26 to 27.
% 11.21/11.39  
% 11.21/11.39  Resetting weight limit to 27 after 4180 givens.
% 11.21/11.39  
% 11.36/11.54  
% 11.36/11.54  
% 11.36/11.54  Changing weight limit from 27 to 26.
% 11.36/11.54  
% 11.36/11.54  Resetting weight limit to 26 after 4185 givens.
% 11.36/11.54  
% 11.38/11.55  
% 11.38/11.55  
% 11.38/11.55  Changing weight limit from 26 to 27.
% 11.38/11.55  
% 11.38/11.55  Resetting weight limit to 27 after 4195 givens.
% 11.38/11.55  
% 11.51/11.69  
% 11.51/11.69  
% 11.51/11.69  Changing weight limit from 27 to 28.
% 11.51/11.69  
% 11.51/11.69  Resetting weight limit to 28 after 4200 givens.
% 11.51/11.69  
% 11.67/11.84  
% 11.67/11.84  
% 11.67/11.84  Changing weight limit from 28 to 26.
% 11.67/11.84  
% 11.67/11.84  Resetting weight limit to 26 after 4205 givens.
% 11.67/11.84  
% 11.68/11.90  
% 11.68/11.90  
% 11.68/11.90  Changing weight limit from 26 to 27.
% 11.68/11.90  
% 11.68/11.90  Resetting weight limit to 27 after 4225 givens.
% 11.68/11.90  
% 11.74/11.92  
% 11.74/11.92  
% 11.74/11.92  Changing weight limit from 27 to 26.
% 11.74/11.92  
% 11.74/11.92  Resetting weight limit to 26 after 4230 givens.
% 11.74/11.92  
% 11.74/11.94  
% 11.74/11.94  
% 11.74/11.94  Changing weight limit from 26 to 27.
% 11.74/11.94  
% 11.74/11.94  Resetting weight limit to 27 after 4245 givens.
% 11.74/11.94  
% 11.92/12.10  
% 11.92/12.10  
% 11.92/12.10  Changing weight limit from 27 to 26.
% 11.92/12.10  
% 11.92/12.10  Resetting weight limit to 26 after 4250 givens.
% 11.92/12.10  
% 12.05/12.25  
% 12.05/12.25  
% 12.05/12.25  Changing weight limit from 26 to 27.
% 12.05/12.25  
% 12.05/12.25  Resetting weight limit to 27 after 4260 givens.
% 12.05/12.25  
% 12.05/12.26  
% 12.05/12.26  
% 12.05/12.26  Changing weight limit from 27 to 26.
% 12.05/12.26  
% 12.05/12.26  Resetting weight limit to 26 after 4265 givens.
% 12.05/12.26  
% 12.33/12.55  
% 12.33/12.55  
% 12.33/12.55  Changing weight limit from 26 to 27.
% 12.33/12.55  
% 12.33/12.55  Resetting weight limit to 27 after 4275 givens.
% 12.33/12.55  
% 12.39/12.57  
% 12.39/12.57  
% 12.39/12.57  Changing weight limit from 27 to 26.
% 12.39/12.57  
% 12.39/12.57  Resetting weight limit to 26 after 4280 givens.
% 12.39/12.57  
% 12.39/12.58  
% 12.39/12.58  
% 12.39/12.58  Changing weight limit from 26 to 27.
% 12.39/12.58  
% 12.39/12.58  Resetting weight limit to 27 after 4285 givens.
% 12.39/12.58  
% 12.53/12.73  
% 12.53/12.73  
% 12.53/12.73  Changing weight limit from 27 to 26.
% 12.53/12.73  
% 12.53/12.73  Resetting weight limit to 26 after 4290 givens.
% 12.53/12.73  
% 12.72/12.88  
% 12.72/12.88  
% 12.72/12.88  Changing weight limit from 26 to 27.
% 12.72/12.88  
% 12.72/12.88  Resetting weight limit to 27 after 4300 givens.
% 12.72/12.88  
% 12.72/12.89  
% 12.72/12.89  
% 12.72/12.89  Changing weight limit from 27 to 28.
% 12.72/12.89  
% 12.72/12.89  Resetting weight limit to 28 after 4305 givens.
% 12.72/12.89  
% 12.85/13.05  
% 12.85/13.05  
% 12.85/13.05  Changing weight limit from 28 to 29.
% 12.85/13.05  
% 12.85/13.05  Resetting weight limit to 29 after 4310 givens.
% 12.85/13.05  
% 13.01/13.20  
% 13.01/13.20  
% 13.01/13.20  Changing weight limit from 29 to 26.
% 13.01/13.20  
% 13.01/13.20  Resetting weight limit to 26 after 4315 givens.
% 13.01/13.20  
% 13.17/13.36  
% 13.17/13.36  
% 13.17/13.36  Changing weight limit from 26 to 27.
% 13.17/13.36  
% 13.17/13.36  Resetting weight limit to 27 after 4320 givens.
% 13.17/13.36  
% 13.32/13.53  
% 13.32/13.53  
% 13.32/13.53  Changing weight limit from 27 to 26.
% 13.32/13.53  
% 13.32/13.53  Resetting weight limit to 26 after 4325 givens.
% 13.32/13.53  
% 13.63/13.86  
% 13.63/13.86  
% 13.63/13.86  Changing weight limit from 26 to 27.
% 13.63/13.86  
% 13.63/13.86  Resetting weight limit to 27 after 4335 givens.
% 13.63/13.86  
% 13.77/14.01  
% 13.77/14.01  
% 13.77/14.01  Changing weight limit from 27 to 26.
% 13.77/14.01  
% 13.77/14.01  Resetting weight limit to 26 after 4340 givens.
% 13.77/14.01  
% 13.92/14.16  
% 13.92/14.16  
% 13.92/14.16  Changing weight limit from 26 to 27.
% 13.92/14.16  
% 13.92/14.16  Resetting weight limit to 27 after 4345 givens.
% 13.92/14.16  
% 14.01/14.17  
% 14.01/14.17  
% 14.01/14.17  Changing weight limit from 27 to 26.
% 14.01/14.17  
% 14.01/14.17  Resetting weight limit to 26 after 4350 givens.
% 14.01/14.17  
% 14.01/14.18  
% 14.01/14.18  
% 14.01/14.18  Changing weight limit from 26 to 27.
% 14.01/14.18  
% 14.01/14.18  Resetting weight limit to 27 after 4355 givens.
% 14.01/14.18  
% 14.30/14.47  
% 14.30/14.47  
% 14.30/14.47  Changing weight limit from 27 to 28.
% 14.30/14.47  
% 14.30/14.47  Resetting weight limit to 28 after 4365 givens.
% 14.30/14.47  
% 14.30/14.48  
% 14.30/14.48  
% 14.30/14.48  Changing weight limit from 28 to 27.
% 14.30/14.48  
% 14.30/14.48  Resetting weight limit to 27 after 4370 givens.
% 14.30/14.48  
% 14.32/14.49  
% 14.32/14.49  
% 14.32/14.49  Changing weight limit from 27 to 28.
% 14.32/14.49  
% 14.32/14.49  Resetting weight limit to 28 after 4375 givens.
% 14.32/14.49  
% 14.47/14.66  
% 14.47/14.66  
% 14.47/14.66  Changing weight limit from 28 to 26.
% 14.47/14.66  
% 14.47/14.66  Resetting weight limit to 26 after 4380 givens.
% 14.47/14.66  
% 14.69/14.90  
% 14.69/14.90  
% 14.69/14.90  Changing weight limit from 26 to 27.
% 14.69/14.90  
% 14.69/14.90  Resetting weight limit to 27 after 4405 givens.
% 14.69/14.90  
% 14.69/14.91  
% 14.69/14.91  
% 14.69/14.91  Changing weight limit from 27 to 26.
% 14.69/14.91  
% 14.69/14.91  Resetting weight limit to 26 after 4410 givens.
% 14.69/14.91  
% 15.10/15.34  
% 15.10/15.34  
% 15.10/15.34  Changing weight limit from 26 to 27.
% 15.10/15.34  
% 15.10/15.34  Resetting weight limit to 27 after 4435 givens.
% 15.10/15.34  
% 15.20/15.36  
% 15.20/15.36  
% 15.20/15.36  Changing weight limit from 27 to 28.
% 15.20/15.36  
% 15.20/15.36  Resetting weight limit to 28 after 4440 givens.
% 15.20/15.36  
% 15.36/15.53  
% 15.36/15.53  
% 15.36/15.53  Changing weight limit from 28 to 29.
% 15.36/15.53  
% 15.36/15.53  Resetting weight limit to 29 after 4450 givens.
% 15.36/15.53  
% 15.50/15.69  
% 15.50/15.69  
% 15.50/15.69  Changing weight limit from 29 to 26.
% 15.50/15.69  
% 15.50/15.69  Resetting weight limit to 26 after 4455 givens.
% 15.50/15.69  
% 15.55/15.71  
% 15.55/15.71  
% 15.55/15.71  Changing weight limit from 26 to 27.
% 15.55/15.71  
% 15.55/15.71  Resetting weight limit to 27 after 4470 givens.
% 15.55/15.71  
% 15.55/15.72  
% 15.55/15.72  
% 15.55/15.72  Changing weight limit from 27 to 26.
% 15.55/15.72  
% 15.55/15.72  Resetting weight limit to 26 after 4475 givens.
% 15.55/15.72  
% 15.55/15.72  
% 15.55/15.72  
% 15.55/15.72  Changing weight limit from 26 to 27.
% 15.55/15.72  
% 15.55/15.72  Resetting weight limit to 27 after 4480 givens.
% 15.55/15.72  
% 15.71/15.89  
% 15.71/15.89  
% 15.71/15.89  Changing weight limit from 27 to 26.
% 15.71/15.89  
% 15.71/15.89  Resetting weight limit to 26 after 4485 givens.
% 15.71/15.89  
% 15.88/16.06  
% 15.88/16.06  
% 15.88/16.06  Changing weight limit from 26 to 27.
% 15.88/16.06  
% 15.88/16.06  Resetting weight limit to 27 after 4495 givens.
% 15.88/16.06  
% 15.88/16.08  
% 15.88/16.08  
% 15.88/16.08  Changing weight limit from 27 to 28.
% 15.88/16.08  
% 15.88/16.08  Resetting weight limit to 28 after 4505 givens.
% 15.88/16.08  
% 15.88/16.10  
% 15.88/16.10  
% 15.88/16.10  Changing weight limit from 28 to 27.
% 15.88/16.10  
% 15.88/16.10  Resetting weight limit to 27 after 4510 givens.
% 15.88/16.10  
% 15.96/16.16  
% 15.96/16.16  
% 15.96/16.16  Changing weight limit from 27 to 28.
% 15.96/16.16  
% 15.96/16.16  Resetting weight limit to 28 after 4515 givens.
% 15.96/16.16  
% 16.02/16.23  
% 16.02/16.23  
% 16.02/16.23  Changing weight limit from 28 to 29.
% 16.02/16.23  
% 16.02/16.23  Resetting weight limit to 29 after 4520 givens.
% 16.02/16.23  
% 16.14/16.30  
% 16.14/16.30  
% 16.14/16.30  Changing weight limit from 29 to 30.
% 16.14/16.30  
% 16.14/16.30  Resetting weight limit to 30 after 4525 givens.
% 16.14/16.30  
% 16.16/16.36  
% 16.16/16.36  
% 16.16/16.36  Changing weight limit from 30 to 28.
% 16.16/16.36  
% 16.16/16.36  Resetting weight limit to 28 after 4530 givens.
% 16.16/16.36  
% 16.25/16.43  
% 16.25/16.43  
% 16.25/16.43  Changing weight limit from 28 to 29.
% 16.25/16.43  
% 16.25/16.43  Resetting weight limit to 29 after 4535 givens.
% 16.25/16.43  
% 16.32/16.50  
% 16.32/16.50  
% 16.32/16.50  Changing weight limit from 29 to 30.
% 16.32/16.50  
% 16.32/16.50  Resetting weight limit to 30 after 4540 givens.
% 16.32/16.50  
% 16.48/16.66  
% 16.48/16.66  
% 16.48/16.66  Changing weight limit from 30 to 29.
% 16.48/16.66  
% 16.48/16.66  Resetting weight limit to 29 after 4565 givens.
% 16.48/16.66  
% 16.56/16.73  
% 16.56/16.73  
% 16.56/16.73  Changing weight limit from 29 to 28.
% 16.56/16.73  
% 16.56/16.73  Resetting weight limit to 28 after 4580 givens.
% 16.56/16.73  
% 16.64/16.80  
% 16.64/16.80  
% 16.64/16.80  Changing weight limit from 28 to 29.
% 16.64/16.80  
% 16.64/16.80  Resetting weight limit to 29 after 4590 givens.
% 16.64/16.80  
% 16.64/16.81  
% 16.64/16.81  
% 16.64/16.81  Changing weight limit from 29 to 30.
% 16.64/16.81  
% 16.64/16.81  Resetting weight limit to 30 after 4595 givens.
% 16.64/16.81  
% 16.64/16.83  
% 16.64/16.83  
% 16.64/16.83  Changing weight limit from 30 to 31.
% 16.64/16.83  
% 16.64/16.83  Resetting weight limit to 31 after 4600 givens.
% 16.64/16.83  
% 16.64/16.84  
% 16.64/16.84  
% 16.64/16.84  Changing weight limit from 31 to 28.
% 16.64/16.84  
% 16.64/16.84  Resetting weight limit to 28 after 4605 givens.
% 16.64/16.84  
% 16.64/16.87  
% 16.64/16.87  
% 16.64/16.87  Changing weight limit from 28 to 27.
% 16.64/16.87  
% 16.64/16.87  Resetting weight limit to 27 after 4610 givens.
% 16.64/16.87  
% 16.76/16.94  
% 16.76/16.94  
% 16.76/16.94  Changing weight limit from 27 to 28.
% 16.76/16.94  
% 16.76/16.94  Resetting weight limit to 28 after 4620 givens.
% 16.76/16.94  
% 16.76/16.95  
% 16.76/16.95  
% 16.76/16.95  Changing weight limit from 28 to 27.
% 16.76/16.95  
% 16.76/16.95  Resetting weight limit to 27 after 4625 givens.
% 16.76/16.95  
% 17.03/17.21  
% 17.03/17.21  
% 17.03/17.21  Changing weight limit from 27 to 28.
% 17.03/17.21  
% 17.03/17.21  Resetting weight limit to 28 after 4640 givens.
% 17.03/17.21  
% 17.17/17.35  
% 17.17/17.35  
% 17.17/17.35  Changing weight limit from 28 to 29.
% 17.17/17.35  
% 17.17/17.35  Resetting weight limit to 29 after 4645 givens.
% 17.17/17.35  
% 17.31/17.49  
% 17.31/17.49  
% 17.31/17.49  Changing weight limit from 29 to 30.
% 17.31/17.49  
% 17.31/17.49  Resetting weight limit to 30 after 4650 givens.
% 17.31/17.49  
% 17.31/17.50  
% 17.31/17.50  
% 17.31/17.50  Changing weight limit from 30 to 31.
% 17.31/17.50  
% 17.31/17.50  Resetting weight limit to 31 after 4655 givens.
% 17.31/17.50  
% 17.35/17.52  
% 17.35/17.52  
% 17.35/17.52  Changing weight limit from 31 to 28.
% 17.35/17.52  
% 17.35/17.52  Resetting weight limit to 28 after 4660 givens.
% 17.35/17.52  
% 17.38/17.53  
% 17.38/17.53  
% 17.38/17.53  Changing weight limit from 28 to 29.
% 17.38/17.53  
% 17.38/17.53  Resetting weight limit to 29 after 4670 givens.
% 17.38/17.53  
% 17.38/17.60  
% 17.38/17.60  
% 17.38/17.60  Changing weight limit from 29 to 28.
% 17.38/17.60  
% 17.38/17.60  Resetting weight limit to 28 after 4705 givens.
% 17.38/17.60  
% 17.47/17.66  
% 17.47/17.66  
% 17.47/17.66  Changing weight limit from 28 to 29.
% 17.47/17.66  
% 17.47/17.66  Resetting weight limit to 29 after 4720 givens.
% 17.47/17.66  
% 17.54/17.70  
% 17.54/17.70  
% 17.54/17.70  Changing weight limit from 29 to 30.
% 17.54/17.70  
% 17.54/17.70  Resetting weight limit to 30 after 4725 givens.
% 17.54/17.70  
% 17.69/17.90  
% 17.69/17.90  
% 17.69/17.90  Changing weight limit from 30 to 28.
% 17.69/17.90  
% 17.69/17.90  Resetting weight limit to 28 after 4750 givens.
% 17.69/17.90  
% 17.83/17.98  
% 17.83/17.98  
% 17.83/17.98  Changing weight limit from 28 to 29.
% 17.83/17.98  
% 17.83/17.98  Resetting weight limit to 29 after 4760 givens.
% 17.83/17.98  
% 17.83/18.02  
% 17.83/18.02  
% 17.83/18.02  Changing weight limit from 29 to 28.
% 17.83/18.02  
% 17.83/18.02  Resetting weight limit to 28 after 4770 givens.
% 17.83/18.02  
% 17.83/18.04  
% 17.83/18.04  
% 17.83/18.04  Changing weight limit from 28 to 29.
% 17.83/18.04  
% 17.83/18.04  Resetting weight limit to 29 after 4780 givens.
% 17.83/18.04  
% 17.90/18.05  
% 17.90/18.05  
% 17.90/18.05  Changing weight limit from 29 to 30.
% 17.90/18.05  
% 17.90/18.05  Resetting weight limit to 30 after 4785 givens.
% 17.90/18.05  
% 17.90/18.05  
% 17.90/18.05  
% 17.90/18.05  Changing weight limit from 30 to 31.
% 17.90/18.05  
% 17.90/18.05  Resetting weight limit to 31 after 4790 givens.
% 17.90/18.05  
% 17.90/18.07  
% 17.90/18.07  
% 17.90/18.07  Changing weight limit from 31 to 29.
% 17.90/18.07  
% 17.90/18.07  Resetting weight limit to 29 after 4795 givens.
% 17.90/18.07  
% 17.99/18.15  
% 17.99/18.15  
% 17.99/18.15  Changing weight limit from 29 to 28.
% 17.99/18.15  
% 17.99/18.15  Resetting weight limit to 28 after 4810 givens.
% 17.99/18.15  
% 17.99/18.17  
% 17.99/18.17  
% 17.99/18.17  Changing weight limit from 28 to 29.
% 17.99/18.17  
% 17.99/18.17  Resetting weight limit to 29 after 4820 givens.
% 17.99/18.17  
% 18.41/18.60  
% 18.41/18.60  
% 18.41/18.60  Changing weight limit from 29 to 28.
% 18.41/18.60  
% 18.41/18.60  Resetting weight limit to 28 after 4915 givens.
% 18.41/18.60  
% 19.57/19.75  
% 19.57/19.75  
% 19.57/19.75  Changing weight limit from 28 to 29.
% 19.57/19.75  
% 19.57/19.75  Resetting weight limit to 29 after 5030 givens.
% 19.57/19.75  
% 19.57/19.79  
% 19.57/19.79  
% 19.57/19.79  Changing weight limit from 29 to 30.
% 19.57/19.79  
% 19.57/19.79  Resetting weight limit to 30 after 5035 givens.
% 19.57/19.79  
% 19.64/19.82  
% 19.64/19.82  
% 19.64/19.82  Changing weight limit from 30 to 31.
% 19.64/19.82  
% 19.64/19.82  Resetting weight limit to 31 after 5040 givens.
% 19.64/19.82  
% 19.82/19.98  
% 19.82/19.98  
% 19.82/19.98  Changing weight limit from 31 to 32.
% 19.82/19.98  
% 19.82/19.98  Resetting weight limit to 32 after 5045 givens.
% 19.82/19.98  
% 19.96/20.13  
% 19.96/20.13  
% 19.96/20.13  Changing weight limit from 32 to 33.
% 19.96/20.13  
% 19.96/20.13  Resetting weight limit to 33 after 5050 givens.
% 19.96/20.13  
% 20.12/20.28  
% 20.12/20.28  
% 20.12/20.28  Changing weight limit from 33 to 31.
% 20.12/20.28  
% 20.12/20.28  Resetting weight limit to 31 after 5055 givens.
% 20.12/20.28  
% 20.63/20.81  
% 20.63/20.81  
% 20.63/20.81  Changing weight limit from 31 to 29.
% 20.63/20.81  
% 20.63/20.81  Resetting weight limit to 29 after 5080 givens.
% 20.63/20.81  
% 20.63/20.82  
% 20.63/20.82  
% 20.63/20.82  Changing weight limit from 29 to 28.
% 20.63/20.82  
% 20.63/20.82  Resetting weight limit to 28 after 5085 givens.
% 20.63/20.82  
% 20.78/20.98  
% 20.78/20.98  
% 20.78/20.98  Changing weight limit from 28 to 29.
% 20.78/20.98  
% 20.78/20.98  Resetting weight limit to 29 after 5090 givens.
% 20.78/20.98  
% 20.93/21.12  
% 20.93/21.12  
% 20.93/21.12  Changing weight limit from 29 to 30.
% 20.93/21.12  
% 20.93/21.12  Resetting weight limit to 30 after 5095 givens.
% 20.93/21.12  
% 21.09/21.26  
% 21.09/21.26  
% 21.09/21.26  Changing weight limit from 30 to 31.
% 21.09/21.26  
% 21.09/21.26  Resetting weight limit to 31 after 5100 givens.
% 21.09/21.26  
% 21.22/21.42  
% 21.22/21.42  
% 21.22/21.42  Changing weight limit from 31 to 32.
% 21.22/21.42  
% 21.22/21.42  Resetting weight limit to 32 after 5105 givens.
% 21.22/21.42  
% 21.31/21.48  
% 21.31/21.48  
% 21.31/21.48  Changing weight limit from 32 to 28.
% 21.31/21.48  
% 21.31/21.48  Resetting weight limit to 28 after 5110 givens.
% 21.31/21.48  
% 21.31/21.50  
% 21.31/21.50  
% 21.31/21.50  Changing weight limit from 28 to 29.
% 21.31/21.50  
% 21.31/21.50  Resetting weight limit to 29 after 5115 givens.
% 21.31/21.50  
% 21.31/21.51  
% 21.31/21.51  
% 21.31/21.51  Changing weight limit from 29 to 28.
% 21.31/21.51  
% 21.31/21.51  Resetting weight limit to 28 after 5120 givens.
% 21.31/21.51  
% 21.47/21.65  
% 21.47/21.65  
% 21.47/21.65  Changing weight limit from 28 to 29.
% 21.47/21.65  
% 21.47/21.65  Resetting weight limit to 29 after 5125 givens.
% 21.47/21.65  
% 21.64/21.79  
% 21.64/21.79  
% 21.64/21.79  Changing weight limit from 29 to 30.
% 21.64/21.79  
% 21.64/21.79  Resetting weight limit to 30 after 5130 givens.
% 21.64/21.79  
% 21.64/21.82  
% 21.64/21.82  
% 21.64/21.82  Changing weight limit from 30 to 28.
% 21.64/21.82  
% 21.64/21.82  Resetting weight limit to 28 after 5135 givens.
% 21.64/21.82  
% 21.81/22.01  
% 21.81/22.01  
% 21.81/22.01  Changing weight limit from 28 to 29.
% 21.81/22.01  
% 21.81/22.01  Resetting weight limit to 29 after 5150 givens.
% 21.81/22.01  
% 21.99/22.17  
% 21.99/22.17  
% 21.99/22.17  Changing weight limit from 29 to 30.
% 21.99/22.17  
% 21.99/22.17  Resetting weight limit to 30 after 5155 givens.
% 21.99/22.17  
% 22.12/22.33  
% 22.12/22.33  
% 22.12/22.33  Changing weight limit from 30 to 31.
% 22.12/22.33  
% 22.12/22.33  Resetting weight limit to 31 after 5160 givens.
% 22.12/22.33  
% 22.28/22.48  
% 22.28/22.48  
% 22.28/22.48  Changing weight limit from 31 to 32.
% 22.28/22.48  
% 22.28/22.48  Resetting weight limit to 32 after 5165 givens.
% 22.28/22.48  
% 22.41/22.65  
% 22.41/22.65  
% 22.41/22.65  Changing weight limit from 32 to 33.
% 22.41/22.65  
% 22.41/22.65  Resetting weight limit to 33 after 5170 givens.
% 22.41/22.65  
% 22.58/22.81  
% 22.58/22.81  
% 22.58/22.81  Changing weight limit from 33 to 31.
% 22.58/22.81  
% 22.58/22.81  Resetting weight limit to 31 after 5175 givens.
% 22.58/22.81  
% 22.68/22.86  
% 22.68/22.86  
% 22.68/22.86  Changing weight limit from 31 to 29.
% 22.68/22.86  
% 22.68/22.86  Resetting weight limit to 29 after 5180 givens.
% 22.68/22.86  
% 22.68/22.88  
% 22.68/22.88  
% 22.68/22.88  Changing weight limit from 29 to 30.
% 22.68/22.88  
% 22.68/22.88  Resetting weight limit to 30 after 5185 givens.
% 22.68/22.88  
% 22.76/22.91  
% 22.76/22.91  
% 22.76/22.91  Changing weight limit from 30 to 28.
% 22.76/22.91  
% 22.76/22.91  Resetting weight limit to 28 after 5190 givens.
% 22.76/22.91  
% 22.82/23.05  
% 22.82/23.05  
% 22.82/23.05  Changing weight limit from 28 to 29.
% 22.82/23.05  
% 22.82/23.05  Resetting weight limit to 29 after 5195 givens.
% 22.82/23.05  
% 22.97/23.20  
% 22.97/23.20  
% 22.97/23.20  Changing weight limit from 29 to 30.
% 22.97/23.20  
% 22.97/23.20  Resetting weight limit to 30 after 5200 givens.
% 22.97/23.20  
% 23.07/23.25  
% 23.07/23.25  
% 23.07/23.25  Changing weight limit from 30 to 28.
% 23.07/23.25  
% 23.07/23.25  Resetting weight limit to 28 after 5205 givens.
% 23.07/23.25  
% 23.23/23.47  
% 23.23/23.47  
% 23.23/23.47  Changing weight limit from 28 to 29.
% 23.23/23.47  
% 23.23/23.47  Resetting weight limit to 29 after 5220 givens.
% 23.23/23.47  
% 23.48/23.63  
% 23.48/23.63  
% 23.48/23.63  Changing weight limit from 29 to 30.
% 23.48/23.63  
% 23.48/23.63  Resetting weight limit to 30 after 5225 givens.
% 23.48/23.63  
% 23.55/23.78  
% 23.55/23.78  
% 23.55/23.78  Changing weight limit from 30 to 31.
% 23.55/23.78  
% 23.55/23.78  Resetting weight limit to 31 after 5230 givens.
% 23.55/23.78  
% 23.76/23.96  
% 23.76/23.96  
% 23.76/23.96  Changing weight limit from 31 to 32.
% 23.76/23.96  
% 23.76/23.96  Resetting weight limit to 32 after 5235 givens.
% 23.76/23.96  
% 23.94/24.10  
% 23.94/24.10  
% 23.94/24.10  Changing weight limit from 32 to 33.
% 23.94/24.10  
% 23.94/24.10  Resetting weight limit to 33 after 5240 givens.
% 23.94/24.10  
% 24.08/24.26  
% 24.08/24.26  
% 24.08/24.26  Changing weight limit from 33 to 31.
% 24.08/24.26  
% 24.08/24.26  Resetting weight limit to 31 after 5245 givens.
% 24.08/24.26  
% 24.08/24.32  
% 24.08/24.32  
% 24.08/24.32  Changing weight limit from 31 to 29.
% 24.08/24.32  
% 24.08/24.32  Resetting weight limit to 29 after 5250 givens.
% 24.08/24.32  
% 24.17/24.34  
% 24.17/24.34  
% 24.17/24.34  Changing weight limit from 29 to 30.
% 24.17/24.34  
% 24.17/24.34  Resetting weight limit to 30 after 5255 givens.
% 24.17/24.34  
% 24.17/24.36  
% 24.17/24.36  
% 24.17/24.36  Changing weight limit from 30 to 28.
% 24.17/24.36  
% 24.17/24.36  Resetting weight limit to 28 after 5260 givens.
% 24.17/24.36  
% 24.38/24.53  
% 24.38/24.53  
% 24.38/24.53  Changing weight limit from 28 to 29.
% 24.38/24.53  
% 24.38/24.53  Resetting weight limit to 29 after 5265 givens.
% 24.38/24.53  
% 24.47/24.69  
% 24.47/24.69  
% 24.47/24.69  Changing weight limit from 29 to 30.
% 24.47/24.69  
% 24.47/24.69  Resetting weight limit to 30 after 5270 givens.
% 24.47/24.69  
% 24.54/24.71  
% 24.54/24.71  
% 24.54/24.71  Changing weight limit from 30 to 31.
% 24.54/24.71  
% 24.54/24.71  Resetting weight limit to 31 after 5275 givens.
% 24.54/24.71  
% 24.54/24.72  
% 24.54/24.72  
% 24.54/24.72  Changing weight limit from 31 to 32.
% 24.54/24.72  
% 24.54/24.72  Resetting weight limit to 32 after 5280 givens.
% 24.54/24.72  
% 24.54/24.75  
% 24.54/24.75  
% 24.54/24.75  Changing weight limit from 32 to 31.
% 24.54/24.75  
% 24.54/24.75  Resetting weight limit to 31 after 5285 givens.
% 24.54/24.75  
% 26.36/26.52  
% 26.36/26.52  
% 26.36/26.52  Changing weight limit from 31 to 32.
% 26.36/26.52  
% 26.36/26.52  Resetting weight limit to 32 after 5365 givens.
% 26.36/26.52  
% 26.36/26.54  
% 26.36/26.54  
% 26.36/26.54  Changing weight limit from 32 to 31.
% 26.36/26.54  
% 26.36/26.54  Resetting weight limit to 31 after 5370 givens.
% 26.36/26.54  
% 26.42/26.59  
% 26.42/26.59  
% 26.42/26.59  Changing weight limit from 31 to 32.
% 26.42/26.59  
% 26.42/26.59  Resetting weight limit to 32 after 5390 givens.
% 26.42/26.59  
% 26.42/26.62  
% 26.42/26.62  
% 26.42/26.62  Changing weight limit from 32 to 31.
% 26.42/26.62  
% 26.42/26.62  Resetting weight limit to 31 after 5395 givens.
% 26.42/26.62  
% 26.42/26.64  
% 26.42/26.64  
% 26.42/26.64  Changing weight limit from 31 to 32.
% 26.42/26.64  
% 26.42/26.64  Resetting weight limit to 32 after 5405 givens.
% 26.42/26.64  
% 26.42/26.65  
% 26.42/26.65  
% 26.42/26.65  Changing weight limit from 32 to 31.
% 26.42/26.65  
% 26.42/26.65  Resetting weight limit to 31 after 5410 givens.
% 26.42/26.65  
% 26.56/26.78  
% 26.56/26.78  
% 26.56/26.78  Changing weight limit from 31 to 32.
% 26.56/26.78  
% 26.56/26.78  Resetting weight limit to 32 after 5450 givens.
% 26.56/26.78  
% 26.56/26.80  
% 26.56/26.80  
% 26.56/26.80  Changing weight limit from 32 to 31.
% 26.56/26.80  
% 26.56/26.80  Resetting weight limit to 31 after 5455 givens.
% 26.56/26.80  
% 26.75/26.96  
% 26.75/26.96  
% 26.75/26.96  Changing weight limit from 31 to 32.
% 26.75/26.96  
% 26.75/26.96  Resetting weight limit to 32 after 5605 givens.
% 26.75/26.96  
% 26.75/26.97  
% 26.75/26.97  
% 26.75/26.97  Changing weight limit from 32 to 31.
% 26.75/26.97  
% 26.75/26.97  Resetting weight limit to 31 after 5610 givens.
% 26.75/26.97  
% 26.82/27.00  
% 26.82/27.00  
% 26.82/27.00  Changing weight limit from 31 to 32.
% 26.82/27.00  
% 26.82/27.00  Resetting weight limit to 32 after 5620 givens.
% 26.82/27.00  
% 26.82/27.02  
% 26.82/27.02  
% 26.82/27.02  Changing weight limit from 32 to 31.
% 26.82/27.02  
% 26.82/27.02  Resetting weight limit to 31 after 5625 givens.
% 26.82/27.02  
% 26.82/27.02  
% 26.82/27.02  
% 26.82/27.02  Changing weight limit from 31 to 32.
% 26.82/27.02  
% 26.82/27.02  Resetting weight limit to 32 after 5630 givens.
% 26.82/27.02  
% 26.82/27.05  
% 26.82/27.05  
% 26.82/27.05  Changing weight limit from 32 to 31.
% 26.82/27.05  
% 26.82/27.05  Resetting weight limit to 31 after 5635 givens.
% 26.82/27.05  
% 26.82/27.06  
% 26.82/27.06  
% 26.82/27.06  Changing weight limit from 31 to 32.
% 26.82/27.06  
% 26.82/27.06  Resetting weight limit to 32 after 5640 givens.
% 26.82/27.06  
% 26.92/27.09  
% 26.92/27.09  
% 26.92/27.09  Changing weight limit from 32 to 31.
% 26.92/27.09  
% 26.92/27.09  Resetting weight limit to 31 after 5645 givens.
% 26.92/27.09  
% 26.96/27.14  
% 26.96/27.14  
% 26.96/27.14  Changing weight limit from 31 to 32.
% 26.96/27.14  
% 26.96/27.14  Resetting weight limit to 32 after 5665 givens.
% 26.96/27.14  
% 26.96/27.15  
% 26.96/27.15  
% 26.96/27.15  Changing weight limit from 32 to 31.
% 26.96/27.15  
% 26.96/27.15  Resetting weight limit to 31 after 5670 givens.
% 26.96/27.15  
% 27.08/27.26  
% 27.08/27.26  
% 27.08/27.26  Changing weight limit from 31 to 32.
% 27.08/27.26  
% 27.08/27.26  Resetting weight limit to 32 after 5690 givens.
% 27.08/27.26  
% 27.08/27.28  
% 27.08/27.28  
% 27.08/27.28  Changing weight limit from 32 to 31.
% 27.08/27.28  
% 27.08/27.28  Resetting weight limit to 31 after 5695 givens.
% 27.08/27.28  
% 27.08/27.31  
% 27.08/27.31  
% 27.08/27.31  Changing weight limit from 31 to 32.
% 27.08/27.31  
% 27.08/27.31  Resetting weight limit to 32 after 5700 givens.
% 27.08/27.31  
% 27.16/27.33  
% 27.16/27.33  
% 27.16/27.33  Changing weight limit from 32 to 31.
% 27.16/27.33  
% 27.16/27.33  Resetting weight limit to 31 after 5705 givens.
% 27.16/27.33  
% 27.46/27.67  
% 27.46/27.67  
% 27.46/27.67  Changing weight limit from 31 to 32.
% 27.46/27.67  
% 27.46/27.67  Resetting weight limit to 32 after 5785 givens.
% 27.46/27.67  
% 27.54/27.75  
% 27.54/27.75  
% 27.54/27.75  Changing weight limit from 32 to 31.
% 27.54/27.75  
% 27.54/27.75  Resetting weight limit to 31 after 5795 givens.
% 27.54/27.75  
% 27.63/27.81  
% 27.63/27.81  
% 27.63/27.81  Changing weight limit from 31 to 32.
% 27.63/27.81  
% 27.63/27.81  Resetting weight limit to 32 after 5805 givens.
% 27.63/27.81  
% 27.68/27.91  
% 27.68/27.91  
% 27.68/27.91  Changing weight limit from 32 to 31.
% 27.68/27.91  
% 27.68/27.91  Resetting weight limit to 31 after 5820 givens.
% 27.68/27.91  
% 27.77/27.93  
% 27.77/27.93  
% 27.77/27.93  Changing weight limit from 31 to 32.
% 27.77/27.93  
% 27.77/27.93  Resetting weight limit to 32 after 5830 givens.
% 27.77/27.93  
% 27.77/27.97  
% 27.77/27.97  
% 27.77/27.97  Changing weight limit from 32 to 31.
% 27.77/27.97  
% 27.77/27.97  Resetting weight limit to 31 after 5835 givens.
% 27.77/27.97  
% 27.84/28.03  
% 27.84/28.03  
% 27.84/28.03  Changing weight limit from 31 to 32.
% 27.84/28.03  
% 27.84/28.03  Resetting weight limit to 32 after 5850 givens.
% 27.84/28.03  
% 27.91/28.09  
% 27.91/28.09  
% 27.91/28.09  Changing weight limit from 32 to 31.
% 27.91/28.09  
% 27.91/28.09  Resetting weight limit to 31 after 5860 givens.
% 27.91/28.09  
% 27.98/28.17  
% 27.98/28.17  
% 27.98/28.17  Changing weight limit from 31 to 32.
% 27.98/28.17  
% 27.98/28.17  Resetting weight limit to 32 after 5875 givens.
% 27.98/28.17  
% 27.98/28.20  
% 27.98/28.20  
% 27.98/28.20  Changing weight limit from 32 to 31.
% 27.98/28.20  
% 27.98/28.20  Resetting weight limit to 31 after 5880 givens.
% 27.98/28.20  
% 28.07/28.25  
% 28.07/28.25  
% 28.07/28.25  Changing weight limit from 31 to 32.
% 28.07/28.25  
% 28.07/28.25  Resetting weight limit to 32 after 5890 givens.
% 28.07/28.25  
% 28.13/28.35  
% 28.13/28.35  
% 28.13/28.35  Changing weight limit from 32 to 31.
% 28.13/28.35  
% 28.13/28.35  Resetting weight limit to 31 after 5905 givens.
% 28.13/28.35  
% 28.24/28.39  
% 28.24/28.39  
% 28.24/28.39  Changing weight limit from 31 to 30.
% 28.24/28.39  
% 28.24/28.39  Resetting weight limit to 30 after 5915 givens.
% 28.24/28.39  
% 28.27/28.44  
% 28.27/28.44  
% 28.27/28.44  Changing weight limit from 30 to 31.
% 28.27/28.44  
% 28.27/28.44  Resetting weight limit to 31 after 5930 givens.
% 28.27/28.44  
% 28.30/28.47  
% 28.30/28.47  
% 28.30/28.47  Changing weight limit from 31 to 32.
% 28.30/28.47  
% 28.30/28.47  Resetting weight limit to 32 after 5935 givens.
% 28.30/28.47  
% 28.30/28.49  
% 28.30/28.49  
% 28.30/28.49  Changing weight limit from 32 to 30.
% 28.30/28.49  
% 28.30/28.49  Resetting weight limit to 30 after 5940 givens.
% 28.30/28.49  
% 28.30/28.51  
% 28.30/28.51  
% 28.30/28.51  Changing weight limit from 30 to 31.
% 28.30/28.51  
% 28.30/28.51  Resetting weight limit to 31 after 5950 givens.
% 28.30/28.51  
% 28.37/28.55  
% 28.37/28.55  
% 28.37/28.55  Changing weight limit from 31 to 32.
% 28.37/28.55  
% 28.37/28.55  Resetting weight limit to 32 after 5955 givens.
% 28.37/28.55  
% 28.42/28.59  
% 28.42/28.59  
% 28.42/28.59  Changing weight limit from 32 to 30.
% 28.42/28.59  
% 28.42/28.59  Resetting weight limit to 30 after 5965 givens.
% 28.42/28.59  
% 28.49/28.66  
% 28.49/28.66  
% 28.49/28.66  Changing weight limit from 30 to 31.
% 28.49/28.66  
% 28.49/28.66  Resetting weight limit to 31 after 5985 givens.
% 28.49/28.66  
% 28.52/28.68  
% 28.52/28.68  
% 28.52/28.68  Changing weight limit from 31 to 30.
% 28.52/28.68  
% 28.52/28.68  Resetting weight limit to 30 after 5990 givens.
% 28.52/28.68  
% 28.60/28.76  
% 28.60/28.76  
% 28.60/28.76  Changing weight limit from 30 to 31.
% 28.60/28.76  
% 28.60/28.76  Resetting weight limit to 31 after 6005 givens.
% 28.60/28.76  
% 28.60/28.80  
% 28.60/28.80  
% 28.60/28.80  Changing weight limit from 31 to 32.
% 28.60/28.80  
% 28.60/28.80  Resetting weight limit to 32 after 6010 givens.
% 28.60/28.80  
% 28.67/28.85  
% 28.67/28.85  
% 28.67/28.85  Changing weight limit from 32 to 30.
% 28.67/28.85  
% 28.67/28.85  Resetting weight limit to 30 after 6015 givens.
% 28.67/28.85  
% 28.72/28.95  
% 28.72/28.95  
% 28.72/28.95  Changing weight limit from 30 to 31.
% 28.72/28.95  
% 28.72/28.95  Resetting weight limit to 31 after 6035 givens.
% 28.72/28.95  
% 28.81/28.98  
% 28.81/28.98  
% 28.81/28.98  Changing weight limit from 31 to 30.
% 28.81/28.98  
% 28.81/28.98  Resetting weight limit to 30 after 6040 givens.
% 28.81/28.98  
% 28.96/29.12  
% 28.96/29.12  
% 28.96/29.12  Changing weight limit from 30 to 31.
% 28.96/29.12  
% 28.96/29.12  Resetting weight limit to 31 after 6075 givens.
% 28.96/29.12  
% 28.96/29.16  
% 28.96/29.16  
% 28.96/29.16  Changing weight limit from 31 to 30.
% 28.96/29.16  
% 28.96/29.16  Resetting weight limit to 30 after 6080 givens.
% 28.96/29.16  
% 29.09/29.26  
% 29.09/29.26  
% 29.09/29.26  Changing weight limit from 30 to 31.
% 29.09/29.26  
% 29.09/29.26  Resetting weight limit to 31 after 6110 givens.
% 29.09/29.26  
% 29.13/29.32  
% 29.13/29.32  
% 29.13/29.32  Changing weight limit from 31 to 32.
% 29.13/29.32  
% 29.13/29.32  Resetting weight limit to 32 after 6115 givens.
% 29.13/29.32  
% 29.20/29.35  
% 29.20/29.35  
% 29.20/29.35  Changing weight limit from 32 to 30.
% 29.20/29.35  
% 29.20/29.35  Resetting weight limit to 30 after 6120 givens.
% 29.20/29.35  
% 29.26/29.47  
% 29.26/29.47  
% 29.26/29.47  Changing weight limit from 30 to 31.
% 29.26/29.47  
% 29.26/29.47  Resetting weight limit to 31 after 6160 givens.
% 29.26/29.47  
% 29.32/29.53  
% 29.32/29.53  
% 29.32/29.53  Changing weight limit from 31 to 32.
% 29.32/29.53  
% 29.32/29.53  Resetting weight limit to 32 after 6165 givens.
% 29.32/29.53  
% 29.40/29.57  
% 29.40/29.57  
% 29.40/29.57  Changing weight limit from 32 to 30.
% 29.40/29.57  
% 29.40/29.57  Resetting weight limit to 30 after 6170 givens.
% 29.40/29.57  
% 29.48/29.64  
% 29.48/29.64  
% 29.48/29.64  Changing weight limit from 30 to 31.
% 29.48/29.64  
% 29.48/29.64  Resetting weight limit to 31 after 6195 givens.
% 29.48/29.64  
% 29.48/29.67  
% 29.48/29.67  
% 29.48/29.67  Changing weight limit from 31 to 32.
% 29.48/29.67  
% 29.48/29.67  Resetting weight limit to 32 after 6200 givens.
% 29.48/29.67  
% 29.48/29.69  
% 29.48/29.69  
% 29.48/29.69  Changing weight limit from 32 to 30.
% 29.48/29.69  
% 29.48/29.69  Resetting weight limit to 30 after 6205 givens.
% 29.48/29.69  
% 29.48/29.72  
% 29.48/29.72  
% 29.48/29.72  Changing weight limit from 30 to 31.
% 29.48/29.72  
% 29.48/29.72  Resetting weight limit to 31 after 6215 givens.
% 29.48/29.72  
% 29.58/29.75  
% 29.58/29.75  
% 29.58/29.75  Changing weight limit from 31 to 32.
% 29.58/29.75  
% 29.58/29.75  Resetting weight limit to 32 after 6220 givens.
% 29.58/29.75  
% 29.64/29.80  
% 29.64/29.80  
% 29.64/29.80  Changing weight limit from 32 to 30.
% 29.64/29.80  
% 29.64/29.80  Resetting weight limit to 30 after 6230 givens.
% 29.64/29.80  
% 29.64/29.82  
% 29.64/29.82  
% 29.64/29.82  Changing weight limit from 30 to 31.
% 29.64/29.82  
% 29.64/29.82  Resetting weight limit to 31 after 6240 givens.
% 29.64/29.82  
% 29.70/29.87  
% 29.70/29.87  
% 29.70/29.87  Changing weight limit from 31 to 32.
% 29.70/29.87  
% 29.70/29.87  Resetting weight limit to 32 after 6245 givens.
% 29.70/29.87  
% 29.70/29.88  
% 29.70/29.88  
% 29.70/29.88  Changing weight limit from 32 to 30.
% 29.70/29.88  
% 29.70/29.88  Resetting weight limit to 30 after 6250 givens.
% 29.70/29.88  
% 29.88/30.06  
% 29.88/30.06  
% 29.88/30.06  Changing weight limit from 30 to 31.
% 29.88/30.06  
% 29.88/30.06  Resetting weight limit to 31 after 6295 givens.
% 29.88/30.06  
% 29.88/30.08  
% 29.88/30.08  
% 29.88/30.08  Changing weight limit from 31 to 32.
% 29.88/30.08  
% 29.88/30.08  Resetting weight limit to 32 after 6300 givens.
% 29.88/30.08  
% 29.88/30.11  
% 29.88/30.11  
% 29.88/30.11  Changing weight limit from 32 to 31.
% 29.88/30.11  
% 29.88/30.11  Resetting weight limit to 31 after 6305 givens.
% 29.88/30.11  
% 29.88/30.12  
% 29.88/30.12  
% 29.88/30.12  Changing weight limit from 31 to 30.
% 29.88/30.12  
% 29.88/30.12  Resetting weight limit to 30 after 6310 givens.
% 29.88/30.12  
% 29.98/30.20  
% 29.98/30.20  
% 29.98/30.20  Changing weight limit from 30 to 31.
% 29.98/30.20  
% 29.98/30.20  Resetting weight limit to 31 after 6340 givens.
% 29.98/30.20  
% 30.06/30.24  
% 30.06/30.24  
% 30.06/30.24  Changing weight limit from 31 to 32.
% 30.06/30.24  
% 30.06/30.24  Resetting weight limit to 32 after 6345 givens.
% 30.06/30.24  
% 30.06/30.26  
% 30.06/30.26  
% 30.06/30.26  Changing weight limit from 32 to 30.
% 30.06/30.26  
% 30.06/30.26  Resetting weight limit to 30 after 6350 givens.
% 30.06/30.26  
% 30.12/30.29  
% 30.12/30.29  
% 30.12/30.29  Changing weight limit from 30 to 31.
% 30.12/30.29  
% 30.12/30.29  Resetting weight limit to 31 after 6360 givens.
% 30.12/30.29  
% 30.12/30.31  
% 30.12/30.31  
% 30.12/30.31  Changing weight limit from 31 to 32.
% 30.12/30.31  
% 30.12/30.31  Resetting weight limit to 32 after 6365 givens.
% 30.12/30.31  
% 30.12/30.35  
% 30.12/30.35  
% 30.12/30.35  Changing weight limit from 32 to 31.
% 30.12/30.35  
% 30.12/30.35  Resetting weight limit to 31 after 6370 givens.
% 30.12/30.35  
% 30.12/30.36  
% 30.12/30.36  
% 30.12/30.36  Changing weight limit from 31 to 30.
% 30.12/30.36  
% 30.12/30.36  Resetting weight limit to 30 after 6375 givens.
% 30.12/30.36  
% 30.28/30.44  
% 30.28/30.44  
% 30.28/30.44  Changing weight limit from 30 to 31.
% 30.28/30.44  
% 30.28/30.44  Resetting weight limit to 31 after 6400 givens.
% 30.28/30.44  
% 30.28/30.46  
% 30.28/30.46  
% 30.28/30.46  Changing weight limit from 31 to 30.
% 30.28/30.46  
% 30.28/30.46  Resetting weight limit to 30 after 6405 givens.
% 30.28/30.46  
% 30.28/30.49  
% 30.28/30.49  
% 30.28/30.49  Changing weight limit from 30 to 31.
% 30.28/30.49  
% 30.28/30.49  Resetting weight limit to 31 after 6415 givens.
% 30.28/30.49  
% 30.38/30.53  
% 30.38/30.53  
% 30.38/30.53  Changing weight limit from 31 to 32.
% 30.38/30.53  
% 30.38/30.53  Resetting weight limit to 32 after 6420 givens.
% 30.38/30.53  
% 30.46/30.60  
% 30.46/30.60  
% 30.46/30.60  Changing weight limit from 32 to 30.
% 30.46/30.60  
% 30.46/30.60  Resetting weight limit to 30 after 6430 givens.
% 30.46/30.60  
% 30.46/30.63  
% 30.46/30.63  
% 30.46/30.63  Changing weight limit from 30 to 31.
% 30.46/30.63  
% 30.46/30.63  Resetting weight limit to 31 after 6440 givens.
% 30.46/30.63  
% 30.46/30.67  
% 30.46/30.67  
% 30.46/30.67  Changing weight limit from 31 to 30.
% 30.46/30.67  
% 30.46/30.67  Resetting weight limit to 30 after 6445 givens.
% 30.46/30.67  
% 30.53/30.73  
% 30.53/30.73  
% 30.53/30.73  Changing weight limit from 30 to 31.
% 30.53/30.73  
% 30.53/30.73  Resetting weight limit to 31 after 6470 givens.
% 30.53/30.73  
% 30.53/30.74  
% 30.53/30.74  
% 30.53/30.74  Changing weight limit from 31 to 32.
% 30.53/30.74  
% 30.53/30.74  Resetting weight limit to 32 after 6475 givens.
% 30.53/30.74  
% 30.53/30.76  
% 30.53/30.76  
% 30.53/30.76  Changing weight limit from 32 to 30.
% 30.53/30.76  
% 30.53/30.76  Resetting weight limit to 30 after 6480 givens.
% 30.53/30.76  
% 31.39/31.59  
% 31.39/31.59  
% 31.39/31.59  Changing weight limit from 30 to 31.
% 31.39/31.59  
% 31.39/31.59  Resetting weight limit to 31 after 6740 givens.
% 31.39/31.59  
% 31.39/31.60  
% 31.39/31.60  
% 31.39/31.60  Changing weight limit from 31 to 32.
% 31.39/31.60  
% 31.39/31.60  Resetting weight limit to 32 after 6745 givens.
% 31.39/31.60  
% 31.48/31.64  
% 31.48/31.64  
% 31.48/31.64  Changing weight limit from 32 to 33.
% 31.48/31.64  
% 31.48/31.64  Resetting weight limit to 33 after 6750 givens.
% 31.48/31.64  
% 31.55/31.73  
% 31.55/31.73  
% 31.55/31.73  Changing weight limit from 33 to 34.
% 31.55/31.73  
% 31.55/31.73  Resetting weight limit to 34 after 6755 givens.
% 31.55/31.73  
% 31.55/31.73  
% 31.55/31.73  
% 31.55/31.73  Changing weight limit from 34 to 35.
% 31.55/31.73  
% 31.55/31.73  Resetting weight limit to 35 after 6760 givens.
% 31.55/31.73  
% 31.66/31.81  
% 31.66/31.81  
% 31.66/31.81  Changing weight limit from 35 to 34.
% 31.66/31.81  
% 31.66/31.81  Resetting weight limit to 34 after 6765 givens.
% 31.66/31.81  
% 31.69/31.87  
% 31.69/31.87  
% 31.69/31.87  Changing weight limit from 34 to 35.
% 31.69/31.87  
% 31.69/31.87  Resetting weight limit to 35 after 6770 givens.
% 31.69/31.87  
% 31.79/31.95  
% 31.79/31.95  
% 31.79/31.95  Changing weight limit from 35 to 34.
% 31.79/31.95  
% 31.79/31.95  Resetting weight limit to 34 after 6775 givens.
% 31.79/31.95  
% 31.85/32.00  
% 31.85/32.00  
% 31.85/32.00  Changing weight limit from 34 to 35.
% 31.85/32.00  
% 31.85/32.00  Resetting weight limit to 35 after 6780 givens.
% 31.85/32.00  
% 31.85/32.02  
% 31.85/32.02  
% 31.85/32.02  Changing weight limit from 35 to 33.
% 31.85/32.02  
% 31.85/32.02  Resetting weight limit to 33 after 6785 givens.
% 31.85/32.02  
% 31.85/32.06  
% 31.85/32.06  
% 31.85/32.06  Changing weight limit from 33 to 32.
% 31.85/32.06  
% 31.85/32.06  Resetting weight limit to 32 after 6810 givens.
% 31.85/32.06  
% 31.92/32.07  
% 31.92/32.07  
% 31.92/32.07  Changing weight limit from 32 to 31.
% 31.92/32.07  
% 31.92/32.07  Resetting weight limit to 31 after 6825 givens.
% 31.92/32.07  
% 31.97/32.14  
% 31.97/32.14  
% 31.97/32.14  Changing weight limit from 31 to 30.
% 31.97/32.14  
% 31.97/32.14  Resetting weight limit to 30 after 6860 givens.
% 31.97/32.14  
% 32.39/32.57  
% 32.39/32.57  
% 32.39/32.57  Changing weight limit from 30 to 31.
% 32.39/32.57  
% 32.39/32.57  Resetting weight limit to 31 after 7035 givens.
% 32.39/32.57  
% 32.44/32.61  
% 32.44/32.61  
% 32.44/32.61  Changing weight limit from 31 to 32.
% 32.44/32.61  
% 32.44/32.61  Resetting weight limit to 32 after 7050 givens.
% 32.44/32.61  
% 32.44/32.61  
% 32.44/32.61  
% 32.44/32.61  Changing weight limit from 32 to 33.
% 32.44/32.61  
% 32.44/32.61  Resetting weight limit to 33 after 7055 givens.
% 32.44/32.61  
% 32.44/32.65  
% 32.44/32.65  
% 32.44/32.65  Changing weight limit from 33 to 34.
% 32.44/32.65  
% 32.44/32.65  Resetting weight limit to 34 after 7065 givens.
% 32.44/32.65  
% 32.52/32.66  
% 32.52/32.66  
% 32.52/32.66  Changing weight limit from 34 to 33.
% 32.52/32.66  
% 32.52/32.66  Resetting weight limit to 33 after 7070 givens.
% 32.52/32.66  
% 32.52/32.67  
% 32.52/32.67  
% 32.52/32.67  Changing weight limit from 33 to 34.
% 32.52/32.67  
% 32.52/32.67  Resetting weight limit to 34 after 7075 givens.
% 32.52/32.67  
% 32.54/32.70  
% 32.54/32.70  
% 32.54/32.70  Changing weight limit from 34 to 33.
% 32.54/32.70  
% 32.54/32.70  Resetting weight limit to 33 after 7080 givens.
% 32.54/32.70  
% 32.66/32.84  
% 32.66/32.84  
% 32.66/32.84  Changing weight limit from 33 to 34.
% 32.66/32.84  
% 32.66/32.84  Resetting weight limit to 34 after 7110 givens.
% 32.66/32.84  
% 32.66/32.85  
% 32.66/32.85  
% 32.66/32.85  Changing weight limit from 34 to 31.
% 32.66/32.85  
% 32.66/32.85  Resetting weight limit to 31 after 7115 givens.
% 32.66/32.85  
% 32.66/32.86  
% 32.66/32.86  
% 32.66/32.86  Changing weight limit from 31 to 32.
% 32.66/32.86  
% 32.66/32.86  Resetting weight limit to 32 after 7120 givens.
% 32.66/32.86  
% 32.72/32.90  
% 32.72/32.90  
% 32.72/32.90  Changing weight limit from 32 to 31.
% 32.72/32.90  
% 32.72/32.90  Resetting weight limit to 31 after 7125 givens.
% 32.72/32.90  
% 32.72/32.94  
% 32.72/32.94  
% 32.72/32.94  Changing weight limit from 31 to 32.
% 32.72/32.94  
% 32.72/32.94  Resetting weight limit to 32 after 7130 givens.
% 32.72/32.94  
% 32.81/32.95  
% 32.81/32.95  
% 32.81/32.95  Changing weight limit from 32 to 31.
% 32.81/32.95  
% 32.81/32.95  Resetting weight limit to 31 after 7135 givens.
% 32.81/32.95  
% 32.81/32.96  
% 32.81/32.96  
% 32.81/32.96  Changing weight limit from 31 to 32.
% 32.81/32.96  
% 32.81/32.96  Resetting weight limit to 32 after 7140 givens.
% 32.81/32.96  
% 32.81/32.96  
% 32.81/32.96  
% 32.81/32.96  Changing weight limit from 32 to 31.
% 32.81/32.96  
% 32.81/32.96  Resetting weight limit to 31 after 7145 givens.
% 32.81/32.96  
% 32.84/33.00  
% 32.84/33.00  
% 32.84/33.00  Changing weight limit from 31 to 32.
% 32.84/33.00  
% 32.84/33.00  Resetting weight limit to 32 after 7150 givens.
% 32.84/33.00  
% 32.84/33.00  
% 32.84/33.00  
% 32.84/33.00  Changing weight limit from 32 to 33.
% 32.84/33.00  
% 32.84/33.00  Resetting weight limit to 33 after 7155 givens.
% 32.84/33.00  
% 32.84/33.01  
% 32.84/33.01  
% 32.84/33.01  Changing weight limit from 33 to 31.
% 32.84/33.01  
% 32.84/33.01  Resetting weight limit to 31 after 7160 givens.
% 32.84/33.01  
% 32.84/33.01  
% 32.84/33.01  
% 32.84/33.01  Changing weight limit from 31 to 32.
% 32.84/33.01  
% 32.84/33.01  Resetting weight limit to 32 after 7165 givens.
% 32.84/33.01  
% 32.91/33.06  
% 32.91/33.06  
% 32.91/33.06  Changing weight limit from 32 to 31.
% 32.91/33.06  
% 32.91/33.06  Resetting weight limit to 31 after 7170 givens.
% 32.91/33.06  
% 32.91/33.09  
% 32.91/33.09  
% 32.91/33.09  Changing weight limit from 31 to 32.
% 32.91/33.09  
% 32.91/33.09  Resetting weight limit to 32 after 7175 givens.
% 32.91/33.09  
% 32.91/33.10  
% 32.91/33.10  
% 32.91/33.10  Changing weight limit from 32 to 31.
% 32.91/33.10  
% 32.91/33.10  Resetting weight limit to 31 after 7180 givens.
% 32.91/33.10  
% 32.91/33.11  
% 32.91/33.11  
% 32.91/33.11  Changing weight limit from 31 to 32.
% 32.91/33.11  
% 32.91/33.11  Resetting weight limit to 32 after 7185 givens.
% 32.91/33.11  
% 32.97/33.11  
% 32.97/33.11  
% 32.97/33.11  Changing weight limit from 32 to 31.
% 32.97/33.11  
% 32.97/33.11  Resetting weight limit to 31 after 7190 givens.
% 32.97/33.11  
% 32.97/33.15  
% 32.97/33.15  
% 32.97/33.15  Changing weight limit from 31 to 32.
% 32.97/33.15  
% 32.97/33.15  Resetting weight limit to 32 after 7195 givens.
% 32.97/33.15  
% 32.97/33.15  
% 32.97/33.15  
% 32.97/33.15  Changing weight limit from 32 to 33.
% 32.97/33.15  
% 32.97/33.15  Resetting weight limit to 33 after 7200 givens.
% 32.97/33.15  
% 32.97/33.16  
% 32.97/33.16  
% 32.97/33.16  Changing weight limit from 33 to 31.
% 32.97/33.16  
% 32.97/33.16  Resetting weight limit to 31 after 7205 givens.
% 32.97/33.16  
% 32.97/33.16  
% 32.97/33.16  
% 32.97/33.16  Changing weight limit from 31 to 32.
% 32.97/33.16  
% 32.97/33.16  Resetting weight limit to 32 after 7210 givens.
% 32.97/33.16  
% 33.03/33.20  
% 33.03/33.20  
% 33.03/33.20  Changing weight limit from 32 to 31.
% 33.03/33.20  
% 33.03/33.20  Resetting weight limit to 31 after 7215 givens.
% 33.03/33.20  
% 33.03/33.23  
% 33.03/33.23  
% 33.03/33.23  Changing weight limit from 31 to 32.
% 33.03/33.23  
% 33.03/33.23  Resetting weight limit to 32 after 7220 givens.
% 33.03/33.23  
% 33.03/33.23  
% 33.03/33.23  
% 33.03/33.23  Changing weight limit from 32 to 31.
% 33.03/33.23  
% 33.03/33.23  Resetting weight limit to 31 after 7225 givens.
% 33.03/33.23  
% 33.03/33.24  
% 33.03/33.24  
% 33.03/33.24  Changing weight limit from 31 to 32.
% 33.03/33.24  
% 33.03/33.24  Resetting weight limit to 32 after 7230 givens.
% 33.03/33.24  
% 33.03/33.24  
% 33.03/33.24  
% 33.03/33.24  Changing weight limit from 32 to 31.
% 33.03/33.24  
% 33.03/33.24  Resetting weight limit to 31 after 7235 givens.
% 33.03/33.24  
% 33.15/33.31  
% 33.15/33.31  
% 33.15/33.31  Changing weight limit from 31 to 32.
% 33.15/33.31  
% 33.15/33.31  Resetting weight limit to 32 after 7240 givens.
% 33.15/33.31  
% 33.15/33.32  
% 33.15/33.32  
% 33.15/33.32  Changing weight limit from 32 to 33.
% 33.15/33.32  
% 33.15/33.32  Resetting weight limit to 33 after 7245 givens.
% 33.15/33.32  
% 33.15/33.33  
% 33.15/33.33  
% 33.15/33.33  Changing weight limit from 33 to 31.
% 33.15/33.33  
% 33.15/33.33  Resetting weight limit to 31 after 7250 givens.
% 33.15/33.33  
% 33.15/33.33  
% 33.15/33.33  
% 33.15/33.33  Changing weight limit from 31 to 32.
% 33.15/33.33  
% 33.15/33.33  Resetting weight limit to 32 after 7255 givens.
% 33.15/33.33  
% 33.19/33.37  
% 33.19/33.37  
% 33.19/33.37  Changing weight limit from 32 to 31.
% 33.19/33.37  
% 33.19/33.37  Resetting weight limit to 31 after 7260 givens.
% 33.19/33.37  
% 33.19/33.41  
% 33.19/33.41  
% 33.19/33.41  Changing weight limit from 31 to 32.
% 33.19/33.41  
% 33.19/33.41  Resetting weight limit to 32 after 7265 givens.
% 33.19/33.41  
% 33.19/33.42  
% 33.19/33.42  
% 33.19/33.42  Changing weight limit from 32 to 31.
% 33.19/33.42  
% 33.19/33.42  Resetting weight limit to 31 after 7270 givens.
% 33.19/33.42  
% 33.19/33.42  
% 33.19/33.42  
% 33.19/33.42  Changing weight limit from 31 to 32.
% 33.19/33.42  
% 33.19/33.42  Resetting weight limit to 32 after 7275 givens.
% 33.19/33.42  
% 33.19/33.43  
% 33.19/33.43  
% 33.19/33.43  Changing weight limit from 32 to 31.
% 33.19/33.43  
% 33.19/33.43  Resetting weight limit to 31 after 7280 givens.
% 33.19/33.43  
% 33.29/33.46  
% 33.29/33.46  
% 33.29/33.46  Changing weight limit from 31 to 32.
% 33.29/33.46  
% 33.29/33.46  Resetting weight limit to 32 after 7285 givens.
% 33.29/33.46  
% 33.29/33.46  
% 33.29/33.46  
% 33.29/33.46  Changing weight limit from 32 to 33.
% 33.29/33.46  
% 33.29/33.46  Resetting weight limit to 33 after 7290 givens.
% 33.29/33.46  
% 33.29/33.47  
% 33.29/33.47  
% 33.29/33.47  Changing weight limit from 33 to 31.
% 33.29/33.47  
% 33.29/33.47  Resetting weight limit to 31 after 7295 givens.
% 33.29/33.47  
% 33.29/33.48  
% 33.29/33.48  
% 33.29/33.48  Changing weight limit from 31 to 32.
% 33.29/33.48  
% 33.29/33.48  Resetting weight limit to 32 after 7300 givens.
% 33.29/33.48  
% 33.35/33.52  
% 33.35/33.52  
% 33.35/33.52  Changing weight limit from 32 to 31.
% 33.35/33.52  
% 33.35/33.52  Resetting weight limit to 31 after 7305 givens.
% 33.35/33.52  
% 33.35/33.55  
% 33.35/33.55  
% 33.35/33.55  Changing weight limit from 31 to 32.
% 33.35/33.55  
% 33.35/33.55  Resetting weight limit to 32 after 7310 givens.
% 33.35/33.55  
% 33.35/33.56  
% 33.35/33.56  
% 33.35/33.56  Changing weight limit from 32 to 31.
% 33.35/33.56  
% 33.35/33.56  Resetting weight limit to 31 after 7315 givens.
% 33.35/33.56  
% 33.50/33.68  
% 33.50/33.68  
% 33.50/33.68  Changing weight limit from 31 to 32.
% 33.50/33.68  
% 33.50/33.68  Resetting weight limit to 32 after 7370 givens.
% 33.50/33.68  
% 33.50/33.68  
% 33.50/33.68  
% 33.50/33.68  Changing weight limit from 32 to 33.
% 33.50/33.68  
% 33.50/33.68  Resetting weight limit to 33 after 7375 givens.
% 33.50/33.68  
% 33.50/33.68  
% 33.50/33.68  
% 33.50/33.68  Changing weight limit from 33 to 34.
% 33.50/33.68  
% 33.50/33.68  Resetting weight limit to 34 after 7380 givens.
% 33.50/33.68  
% 33.50/33.69  
% 33.50/33.69  
% 33.50/33.69  Changing weight limit from 34 to 31.
% 33.50/33.69  
% 33.50/33.69  Resetting weight limit to 31 after 7385 givens.
% 33.50/33.69  
% 33.67/33.83  
% 33.67/33.83  
% 33.67/33.83  Changing weight limit from 31 to 32.
% 33.67/33.83  
% 33.67/33.83  Resetting weight limit to 32 after 7405 givens.
% 33.67/33.83  
% 33.67/33.83  
% 33.67/33.83  
% 33.67/33.83  Changing weight limit from 32 to 33.
% 33.67/33.83  
% 33.67/33.83  Resetting weight limit to 33 after 7410 givens.
% 33.67/33.83  
% 33.67/33.84  
% 33.67/33.84  
% 33.67/33.84  Changing weight limit from 33 to 31.
% 33.67/33.84  
% 33.67/33.84  Resetting weight limit to 31 after 7415 givens.
% 33.67/33.84  
% 33.67/33.84  
% 33.67/33.84  
% 33.67/33.84  Changing weight limit from 31 to 32.
% 33.67/33.84  
% 33.67/33.84  Resetting weight limit to 32 after 7420 givens.
% 33.67/33.84  
% 33.67/33.84  
% 33.67/33.84  
% 33.67/33.84  Changing weight limit from 32 to 33.
% 33.67/33.84  
% 33.67/33.84  Resetting weight limit to 33 after 7425 givens.
% 33.67/33.84  
% 33.67/33.85  
% 33.67/33.85  
% 33.67/33.85  Changing weight limit from 33 to 31.
% 33.67/33.85  
% 33.67/33.85  Resetting weight limit to 31 after 7430 givens.
% 33.67/33.85  
% 33.78/33.97  
% 33.78/33.97  
% 33.78/33.97  Changing weight limit from 31 to 32.
% 33.78/33.97  
% 33.78/33.97  Resetting weight limit to 32 after 7440 givens.
% 33.78/33.97  
% 33.78/34.01  
% 33.78/34.01  
% 33.78/34.01  Changing weight limit from 32 to 33.
% 33.78/34.01  
% 33.78/34.01  Resetting weight limit to 33 after 7445 givens.
% 33.78/34.01  
% 33.78/34.02  
% 33.78/34.02  
% 33.78/34.02  Changing weight limit from 33 to 31.
% 33.78/34.02  
% 33.78/34.02  Resetting weight limit to 31 after 7450 givens.
% 33.78/34.02  
% 33.88/34.02  
% 33.88/34.02  
% 33.88/34.02  Changing weight limit from 31 to 32.
% 33.88/34.02  
% 33.88/34.02  Resetting weight limit to 32 after 7460 givens.
% 33.88/34.02  
% 33.88/34.03  
% 33.88/34.03  
% 33.88/34.03  Changing weight limit from 32 to 33.
% 33.88/34.03  
% 33.88/34.03  Resetting weight limit to 33 after 7465 givens.
% 33.88/34.03  
% 33.88/34.03  
% 33.88/34.03  
% 33.88/34.03  Changing weight limit from 33 to 34.
% 33.88/34.03  
% 33.88/34.03  Resetting weight limit to 34 after 7470 givens.
% 33.88/34.03  
% 33.88/34.04  
% 33.88/34.04  
% 33.88/34.04  Changing weight limit from 34 to 31.
% 33.88/34.04  
% 33.88/34.04  Resetting weight limit to 31 after 7480 givens.
% 33.88/34.04  
% 33.95/34.16  
% 33.95/34.16  
% 33.95/34.16  Changing weight limit from 31 to 32.
% 33.95/34.16  
% 33.95/34.16  Resetting weight limit to 32 after 7485 givens.
% 33.95/34.16  
% 34.07/34.20  
% 34.07/34.20  
% 34.07/34.20  Changing weight limit from 32 to 33.
% 34.07/34.20  
% 34.07/34.20  Resetting weight limit to 33 after 7490 givens.
% 34.07/34.20  
% 34.07/34.21  
% 34.07/34.21  
% 34.07/34.21  Changing weight limit from 33 to 31.
% 34.07/34.21  
% 34.07/34.21  Resetting weight limit to 31 after 7495 givens.
% 34.07/34.21  
% 34.07/34.21  
% 34.07/34.21  
% 34.07/34.21  Changing weight limit from 31 to 32.
% 34.07/34.21  
% 34.07/34.21  Resetting weight limit to 32 after 7505 givens.
% 34.07/34.21  
% 34.07/34.22  
% 34.07/34.22  
% 34.07/34.22  Changing weight limit from 32 to 33.
% 34.07/34.22  
% 34.07/34.22  Resetting weight limit to 33 after 7510 givens.
% 34.07/34.22  
% 34.09/34.22  
% 34.09/34.22  
% 34.09/34.22  Changing weight limit from 33 to 34.
% 34.09/34.22  
% 34.09/34.22  Resetting weight limit to 34 after 7515 givens.
% 34.09/34.22  
% 34.09/34.22  
% 34.09/34.22  
% 34.09/34.22  Changing weight limit from 34 to 35.
% 34.09/34.22  
% 34.09/34.22  Resetting weight limit to 35 after 7520 givens.
% 34.09/34.22  
% 34.09/34.23  
% 34.09/34.23  
% 34.09/34.23  Changing weight limit from 35 to 31.
% 34.09/34.23  
% 34.09/34.23  Resetting weight limit to 31 after 7525 givens.
% 34.09/34.23  
% 34.09/34.27  
% 34.09/34.27  
% 34.09/34.27  Changing weight limit from 31 to 32.
% 34.09/34.27  
% 34.09/34.27  Resetting weight limit to 32 after 7530 givens.
% 34.09/34.27  
% 34.09/34.31  
% 34.09/34.31  
% 34.09/34.31  Changing weight limit from 32 to 33.
% 34.09/34.31  
% 34.09/34.31  Resetting weight limit to 33 after 7535 givens.
% 34.09/34.31  
% 34.09/34.31  
% 34.09/34.31  
% 34.09/34.31  Changing weight limit from 33 to 31.
% 34.09/34.31  
% 34.09/34.31  Resetting weight limit to 31 after 7540 givens.
% 34.09/34.31  
% 34.09/34.32  
% 34.09/34.32  
% 34.09/34.32  Changing weight limit from 31 to 32.
% 34.09/34.32  
% 34.09/34.32  Resetting weight limit to 32 after 7550 givens.
% 34.09/34.32  
% 34.09/34.32  
% 34.09/34.32  
% 34.09/34.32  Changing weight limit from 32 to 33.
% 34.09/34.32  
% 34.09/34.32  Resetting weight limit to 33 after 7555 givens.
% 34.09/34.32  
% 34.09/34.33  
% 34.09/34.33  
% 34.09/34.33  Changing weight limit from 33 to 31.
% 34.09/34.33  
% 34.09/34.33  Resetting weight limit to 31 after 7560 givens.
% 34.09/34.33  
% 34.20/34.33  
% 34.20/34.33  
% 34.20/34.33  Changing weight limit from 31 to 32.
% 34.20/34.33  
% 34.20/34.33  Resetting weight limit to 32 after 7565 givens.
% 34.20/34.33  
% 34.20/34.37  
% 34.20/34.37  
% 34.20/34.37  Changing weight limit from 32 to 33.
% 34.20/34.37  
% 34.20/34.37  Resetting weight limit to 33 after 7570 givens.
% 34.20/34.37  
% 34.28/34.49  
% 34.28/34.49  
% 34.28/34.49  Changing weight limit from 33 to 34.
% 34.28/34.49  
% 34.28/34.49  Resetting weight limit to 34 after 7575 givens.
% 34.28/34.49  
% 34.36/34.50  
% 34.36/34.50  
% 34.36/34.50  Changing weight limit from 34 to 32.
% 34.36/34.50  
% 34.36/34.50  Resetting weight limit to 32 after 7585 givens.
% 34.36/34.50  
% 34.36/34.51  
% 34.36/34.51  
% 34.36/34.51  Changing weight limit from 32 to 31.
% 34.36/34.51  
% 34.36/34.51  Resetting weight limit to 31 after 7590 givens.
% 34.36/34.51  
% 34.49/34.67  
% 34.49/34.67  
% 34.49/34.67  Changing weight limit from 31 to 32.
% 34.49/34.67  
% 34.49/34.67  Resetting weight limit to 32 after 7595 givens.
% 34.49/34.67  
% 34.66/34.84  
% 34.66/34.84  
% 34.66/34.84  Changing weight limit from 32 to 33.
% 34.66/34.84  
% 34.66/34.84  Resetting weight limit to 33 after 7600 givens.
% 34.66/34.84  
% 34.80/35.01  
% 34.80/35.01  
% 34.80/35.01  Changing weight limit from 33 to 34.
% 34.80/35.01  
% 34.80/35.01  Resetting weight limit to 34 after 7605 givens.
% 34.80/35.01  
% 36.83/37.03  
% 36.83/37.03  
% 36.83/37.03  Changing weight limit from 34 to 31.
% 36.83/37.03  
% 36.83/37.03  Resetting weight limit to 31 after 7675 givens.
% 36.83/37.03  
% 36.83/37.03  
% 36.83/37.03  
% 36.83/37.03  Changing weight limit from 31 to 32.
% 36.83/37.03  
% 36.83/37.03  Resetting weight limit to 32 after 7680 givens.
% 36.83/37.03  
% 36.83/37.04  
% 36.83/37.04  
% 36.83/37.04  Changing weight limit from 32 to 33.
% 36.83/37.04  
% 36.83/37.04  Resetting weight limit to 33 after 7685 givens.
% 36.83/37.04  
% 36.83/37.04  
% 36.83/37.04  
% 36.83/37.04  Changing weight limit from 33 to 34.
% 36.83/37.04  
% 36.83/37.04  Resetting weight limit to 34 after 7690 givens.
% 36.83/37.04  
% 36.83/37.04  
% 36.83/37.04  
% 36.83/37.04  Changing weight limit from 34 to 35.
% 36.83/37.04  
% 36.83/37.04  Resetting weight limit to 35 after 7695 givens.
% 36.83/37.04  
% 36.83/37.05  
% 36.83/37.05  
% 36.83/37.05  Changing weight limit from 35 to 34.
% 36.83/37.05  
% 36.83/37.05  Resetting weight limit to 34 after 7700 givens.
% 36.83/37.05  
% 36.83/37.06  
% 36.83/37.06  
% 36.83/37.06  Changing weight limit from 34 to 35.
% 36.83/37.06  
% 36.83/37.06  Resetting weight limit to 35 after 7715 givens.
% 36.83/37.06  
% 36.93/37.06  
% 36.93/37.06  
% 36.93/37.06  Changing weight limit from 35 to 34.
% 36.93/37.06  
% 36.93/37.06  Resetting weight limit to 34 after 7720 givens.
% 36.93/37.06  
% 36.93/37.07  
% 36.93/37.07  
% 36.93/37.07  Changing weight limit from 34 to 35.
% 36.93/37.07  
% 36.93/37.07  Resetting weight limit to 35 after 7730 givens.
% 36.93/37.07  
% 36.93/37.07  
% 36.93/37.07  
% 36.93/37.07  Changing weight limit from 35 to 34.
% 36.93/37.07  
% 36.93/37.07  Resetting weight limit to 34 after 7735 givens.
% 36.93/37.07  
% 39.42/39.56  
% 39.42/39.56  
% 39.42/39.56  Changing weight limit from 34 to 33.
% 39.42/39.56  
% 39.42/39.56  Resetting weight limit to 33 after 7815 givens.
% 39.42/39.56  
% 42.84/43.01  
% 42.84/43.01  
% 42.84/43.01  Changing weight limit from 33 to 31.
% 42.84/43.01  
% 42.84/43.01  Resetting weight limit to 31 after 7855 givens.
% 42.84/43.01  
% 44.35/44.55  
% 44.35/44.55  
% 44.35/44.55  Changing weight limit from 31 to 32.
% 44.35/44.55  
% 44.35/44.55  Resetting weight limit to 32 after 7875 givens.
% 44.35/44.55  
% 44.35/44.56  
% 44.35/44.56  
% 44.35/44.56  Changing weight limit from 32 to 33.
% 44.35/44.56  
% 44.35/44.56  Resetting weight limit to 33 after 7880 givens.
% 44.35/44.56  
% 44.35/44.57  
% 44.35/44.57  
% 44.35/44.57  Changing weight limit from 33 to 34.
% 44.35/44.57  
% 44.35/44.57  Resetting weight limit to 34 after 7885 givens.
% 44.35/44.57  
% 44.44/44.58  
% 44.44/44.58  
% 44.44/44.58  Changing weight limit from 34 to 33.
% 44.44/44.58  
% 44.44/44.58  Resetting weight limit to 33 after 7890 givens.
% 44.44/44.58  
% 44.49/44.69  
% 44.49/44.69  
% 44.49/44.69  Changing weight limit from 33 to 34.
% 44.49/44.69  
% 44.49/44.69  Resetting weight limit to 34 after 7945 givens.
% 44.49/44.69  
% 44.57/44.72  
% 44.57/44.72  
% 44.57/44.72  Changing weight limit from 34 to 33.
% 44.57/44.72  
% 44.57/44.72  Resetting weight limit to 33 after 7960 givens.
% 44.57/44.72  
% 45.71/45.89  
% 45.71/45.89  
% 45.71/45.89  Changing weight limit from 33 to 34.
% 45.71/45.89  
% 45.71/45.89  Resetting weight limit to 34 after 8065 givens.
% 45.71/45.89  
% 45.86/46.03  
% 45.86/46.03  
% 45.86/46.03  Changing weight limit from 34 to 35.
% 45.86/46.03  
% 45.86/46.03  Resetting weight limit to 35 after 8070 givens.
% 45.86/46.03  
% 46.01/46.15  
% 46.01/46.15  
% 46.01/46.15  Changing weight limit from 35 to 33.
% 46.01/46.15  
% 46.01/46.15  Resetting weight limit to 33 after 8075 givens.
% 46.01/46.15  
% 46.45/46.60  
% 46.45/46.60  
% 46.45/46.60  Changing weight limit from 33 to 34.
% 46.45/46.60  
% 46.45/46.60  Resetting weight limit to 34 after 8100 givens.
% 46.45/46.60  
% 50.28/50.42  
% 50.28/50.42  
% 50.28/50.42  Changing weight limit from 34 to 35.
% 50.28/50.42  
% 50.28/50.42  Resetting weight limit to 35 after 9290 givens.
% 50.28/50.42  
% 50.73/50.87  
% 50.73/50.87  
% 50.73/50.87  Changing weight limit from 35 to 36.
% 50.73/50.87  
% 50.73/50.87  Resetting weight limit to 36 after 9495 givens.
% 50.73/50.87  
% 50.73/50.88  
% 50.73/50.88  
% 50.73/50.88  Changing weight limit from 36 to 37.
% 50.73/50.88  
% 50.73/50.88  Resetting weight limit to 37 after 9500 givens.
% 50.73/50.88  
% 50.73/50.88  
% 50.73/50.88  
% 50.73/50.88  Changing weight limit from 37 to 36.
% 50.73/50.88  
% 50.73/50.88  Resetting weight limit to 36 after 9505 givens.
% 50.73/50.88  
% 51.48/51.67  
% 51.48/51.67  
% 51.48/51.67  Changing weight limit from 36 to 35.
% 51.48/51.67  
% 51.48/51.67  Resetting weight limit to 35 after 10035 givens.
% 51.48/51.67  
% 51.68/51.82  
% 51.68/51.82  
% 51.68/51.82  Changing weight limit from 35 to 36.
% 51.68/51.82  
% 51.68/51.82  Resetting weight limit to 36 after 10045 givens.
% 51.68/51.82  
% 51.68/51.85  
% 51.68/51.85  
% 51.68/51.85  Changing weight limit from 36 to 37.
% 51.68/51.85  
% 51.68/51.85  Resetting weight limit to 37 after 10060 givens.
% 51.68/51.85  
% 52.27/52.42  
% 52.27/52.42  
% 52.27/52.42  Changing weight limit from 37 to 36.
% 52.27/52.42  
% 52.27/52.42  Resetting weight limit to 36 after 10320 givens.
% 52.27/52.42  
% 52.92/53.12  
% 52.92/53.12  
% 52.92/53.12  Changing weight limit from 36 to 37.
% 52.92/53.12  
% 52.92/53.12  Resetting weight limit to 37 after 10550 givens.
% 52.92/53.12  
% 53.00/53.13  
% 53.00/53.13  
% 53.00/53.13  Changing weight limit from 37 to 38.
% 53.00/53.13  
% 53.00/53.13  Resetting weight limit to 38 after 10555 givens.
% 53.00/53.13  
% 53.15/53.29  
% 53.15/53.29  
% 53.15/53.29  Changing weight limit from 38 to 39.
% 53.15/53.29  
% 53.15/53.29  Resetting weight limit to 39 after 10605 givens.
% 53.15/53.29  
% 53.15/53.29  
% 53.15/53.29  
% 53.15/53.29  Changing weight limit from 39 to 40.
% 53.15/53.29  
% 53.15/53.29  Resetting weight limit to 40 after 10610 givens.
% 53.15/53.29  
% 53.15/53.30  
% 53.15/53.30  
% 53.15/53.30  Changing weight limit from 40 to 39.
% 53.15/53.30  
% 53.15/53.30  Resetting weight limit to 39 after 10615 givens.
% 53.15/53.30  
% 53.29/53.42  
% 53.29/53.42  
% 53.29/53.42  Changing weight limit from 39 to 38.
% 53.29/53.42  
% 53.29/53.42  Resetting weight limit to 38 after 10665 givens.
% 53.29/53.42  
% 53.45/53.59  
% 53.45/53.59  
% 53.45/53.59  Changing weight limit from 38 to 39.
% 53.45/53.59  
% 53.45/53.59  Resetting weight limit to 39 after 10715 givens.
% 53.45/53.59  
% 53.87/54.05  
% 53.87/54.05  
% 53.87/54.05  Changing weight limit from 39 to 40.
% 53.87/54.05  
% 53.87/54.05  Resetting weight limit to 40 after 10850 givens.
% 53.87/54.05  
% 53.93/54.11  
% 53.93/54.11  
% 53.93/54.11  Changing weight limit from 40 to 39.
% 53.93/54.11  
% 53.93/54.11  Resetting weight limit to 39 after 10905 givens.
% 53.93/54.11  
% 57.69/57.84  
% 57.69/57.84  
% 57.69/57.84  Changing weight limit from 39 to 40.
% 57.69/57.84  
% 57.69/57.84  Resetting weight limit to 40 after 11805 givens.
% 57.69/57.84  
% 57.69/57.86  
% 57.69/57.86  
% 57.69/57.86  Changing weight limit from 40 to 41.
% 57.69/57.86  
% 57.69/57.86  Resetting weight limit to 41 after 11810 givens.
% 57.69/57.86  
% 58.16/58.35  
% 58.16/58.35  
% 58.16/58.35  Changing weight limit from 41 to 40.
% 58.16/58.35  
% 58.16/58.35  Resetting weight limit to 40 after 12205 givens.
% 58.16/58.35  
% 58.61/58.82  
% 58.61/58.82  
% 58.61/58.82  Changing weight limit from 40 to 41.
% 58.61/58.82  
% 58.61/58.82  Resetting weight limit to 41 after 12550 givens.
% 58.61/58.82  
% 58.61/58.83  
% 58.61/58.83  
% 58.61/58.83  Changing weight limit from 41 to 42.
% 58.61/58.83  
% 58.61/58.83  Resetting weight limit to 42 after 12555 givens.
% 58.61/58.83  
% 58.70/58.83  
% 58.70/58.83  
% 58.70/58.83  Changing weight limit from 42 to 43.
% 58.70/58.83  
% 58.70/58.83  Resetting weight limit to 43 after 12560 givens.
% 58.70/58.83  
% 58.70/58.84  
% 58.70/58.84  
% 58.70/58.84  Changing weight limit from 43 to 44.
% 58.70/58.84  
% 58.70/58.84  Resetting weight limit to 44 after 12565 givens.
% 58.70/58.84  
% 58.70/58.85  
% 58.70/58.85  
% 58.70/58.85  Changing weight limit from 44 to 42.
% 58.70/58.85  
% 58.70/58.85  Resetting weight limit to 42 after 12570 givens.
% 58.70/58.85  
% 58.70/58.86  
% 58.70/58.86  
% 58.70/58.86  Changing weight limit from 42 to 41.
% 58.70/58.86  
% 58.70/58.86  Resetting weight limit to 41 after 12575 givens.
% 58.70/58.86  
% 59.43/59.59  
% 59.43/59.59  
% 59.43/59.59  Changing weight limit from 41 to 42.
% 59.43/59.59  
% 59.43/59.59  Resetting weight limit to 42 after 13050 givens.
% 59.43/59.59  
% 59.43/59.60  
% 59.43/59.60  
% 59.43/59.60  Changing weight limit from 42 to 43.
% 59.43/59.60  
% 59.43/59.60  Resetting weight limit to 43 after 13055 givens.
% 59.43/59.60  
% 59.43/59.60  
% 59.43/59.60  
% 59.43/59.60  Changing weight limit from 43 to 44.
% 59.43/59.60  
% 59.43/59.60  Resetting weight limit to 44 after 13060 givens.
% 59.43/59.60  
% 59.43/59.61  
% 59.43/59.61  
% 59.43/59.61  Changing weight limit from 44 to 45.
% 59.43/59.61  
% 59.43/59.61  Resetting weight limit to 45 after 13065 givens.
% 59.43/59.61  
% 59.43/59.61  
% 59.43/59.61  
% 59.43/59.61  Changing weight limit from 45 to 46.
% 59.43/59.61  
% 59.43/59.61  Resetting weight limit to 46 after 13070 givens.
% 59.43/59.61  
% 59.48/59.62  
% 59.48/59.62  
% 59.48/59.62  Changing weight limit from 46 to 47.
% 59.48/59.62  
% 59.48/59.62  Resetting weight limit to 47 after 13075 givens.
% 59.48/59.62  
% 59.48/59.62  
% 59.48/59.62  
% 59.48/59.62  Changing weight limit from 47 to 44.
% 59.48/59.62  
% 59.48/59.62  Resetting weight limit to 44 after 13080 givens.
% 59.48/59.62  
% 59.51/59.72  
% 59.51/59.72  
% 59.51/59.72  Changing weight limit from 44 to 43.
% 59.51/59.72  
% 59.51/59.72  Resetting weight limit to 43 after 13150 givens.
% 59.51/59.72  
% 59.65/59.82  
% 59.65/59.82  
% 59.65/59.82  Changing weight limit from 43 to 44.
% 59.65/59.82  
% 59.65/59.82  Resetting weight limit to 44 after 13220 givens.
% 59.65/59.82  
% 59.65/59.83  
% 59.65/59.83  
% 59.65/59.83  Changing weight limit from 44 to 45.
% 59.65/59.83  
% 59.65/59.83  Resetting weight limit to 45 after 13225 givens.
% 59.65/59.83  
% 59.65/59.83  
% 59.65/59.83  
% 59.65/59.83  Changing weight limit from 45 to 46.
% 59.65/59.83  
% 59.65/59.83  Resetting weight limit to 46 after 13230 givens.
% 59.65/59.83  
% 59.65/59.84  
% 59.65/59.84  
% 59.65/59.84  Changing weight limit from 46 to 47.
% 59.65/59.84  
% 59.65/59.84  Resetting weight limit to 47 after 13235 givens.
% 59.65/59.84  
% 59.65/59.85  
% 59.65/59.85  
% 59.65/59.85  Changing weight limit from 47 to 45.
% 59.65/59.85  
% 59.65/59.85  Resetting weight limit to 45 after 13240 givens.
% 59.65/59.85  
% 59.93/60.10  
% 59.93/60.10  
% 59.93/60.10  Changing weight limit from 45 to 44.
% 59.93/60.10  
% 59.93/60.10  Resetting weight limit to 44 after 13405 givens.
% 59.93/60.10  
% 61.34/61.54  
% 61.34/61.54  
% 61.34/61.54  Changing weight limit from 44 to 45.
% 61.34/61.54  
% 61.34/61.54  Resetting weight limit to 45 after 14305 givens.
% 61.34/61.54  
% 61.34/61.55  
% 61.34/61.55  
% 61.34/61.55  Changing weight limit from 45 to 46.
% 61.34/61.55  
% 61.34/61.55  Resetting weight limit to 46 after 14310 givens.
% 61.34/61.55  
% 61.34/61.56  
% 61.34/61.56  
% 61.34/61.56  Changing weight limit from 46 to 47.
% 61.34/61.56  
% 61.34/61.56  Resetting weight limit to 47 after 14315 givens.
% 61.34/61.56  
% 61.34/61.57  
% 61.34/61.57  
% 61.34/61.57  Changing weight limit from 47 to 45.
% 61.34/61.57  
% 61.34/61.57  Resetting weight limit to 45 after 14320 givens.
% 61.34/61.57  
% 63.42/63.56  
% 63.42/63.56  
% 63.42/63.56  Changing weight limit from 45 to 46.
% 63.42/63.56  
% 63.42/63.56  Resetting weight limit to 46 after 15050 givens.
% 63.42/63.56  
% 64.96/65.13  
% 64.96/65.13  
% 64.96/65.13  Changing weight limit from 46 to 47.
% 64.96/65.13  
% 64.96/65.13  Resetting weight limit to 47 after 15550 givens.
% 64.96/65.13  
% 64.96/65.14  
% 64.96/65.14  
% 64.96/65.14  Changing weight limit from 47 to 48.
% 64.96/65.14  
% 64.96/65.14  Resetting weight limit to 48 after 15555 givens.
% 64.96/65.14  
% 65.47/65.63  
% 65.47/65.63  
% 65.47/65.63  Changing weight limit from 48 to 49.
% 65.47/65.63  
% 65.47/65.63  Resetting weight limit to 49 after 15720 givens.
% 65.47/65.63  
% 68.99/69.18  
% 68.99/69.18  
% 68.99/69.18  Changing weight limit from 49 to 50.
% 68.99/69.18  
% 68.99/69.18  Resetting weight limit to 50 after 16805 givens.
% 68.99/69.18  
% 71.75/71.92  
% 71.75/71.92  
% 71.75/71.92  Changing weight limit from 50 to 51.
% 71.75/71.92  
% 71.75/71.92  Resetting weight limit to 51 after 17555 givens.
% 71.75/71.92  
% 73.84/74.02  
% 73.84/74.02  
% 73.84/74.02  Changing weight limit from 51 to 52.
% 73.84/74.02  
% 73.84/74.02  Resetting weight limit to 52 after 18055 givens.
% 73.84/74.02  
% 73.84/74.03  
% 73.84/74.03  
% 73.84/74.03  Changing weight limit from 52 to 53.
% 73.84/74.03  
% 73.84/74.03  Resetting weight limit to 53 after 18060 givens.
% 73.84/74.03  
% 73.84/74.04  
% 73.84/74.04  
% 73.84/74.04  Changing weight limit from 53 to 54.
% 73.84/74.04  
% 73.84/74.04  Resetting weight limit to 54 after 18065 givens.
% 73.84/74.04  
% 73.92/74.06  
% 73.92/74.06  
% 73.92/74.06  Changing weight limit from 54 to 53.
% 73.92/74.06  
% 73.92/74.06  Resetting weight limit to 53 after 18070 givens.
% 73.92/74.06  
% 74.43/74.66  
% 74.43/74.66  
% 74.43/74.66  Changing weight limit from 53 to 54.
% 74.43/74.66  
% 74.43/74.66  Resetting weight limit to 54 after 18225 givens.
% 74.43/74.66  
% 78.76/78.97  
% 78.76/78.97  
% 78.76/78.97  Changing weight limit from 54 to 55.
% 78.76/78.97  
% 78.76/78.97  Resetting weight limit to 55 after 19310 givens.
% 78.76/78.97  
% 81.07/81.25  
% 81.07/81.25  
% 81.07/81.25  Changing weight limit from 55 to 56.
% 81.07/81.25  
% 81.07/81.25  Resetting weight limit to 56 after 20055 givens.
% 81.07/81.25  
% 81.13/81.27  
% 81.13/81.27  
% 81.13/81.27  Changing weight limit from 56 to 57.
% 81.13/81.27  
% 81.13/81.27  Resetting weight limit to 57 after 20060 givens.
% 81.13/81.27  
% 81.13/81.29  
% 81.13/81.29  
% 81.13/81.29  Changing weight limit from 57 to 56.
% 81.13/81.29  
% 81.13/81.29  Resetting weight limit to 56 after 20065 givens.
% 81.13/81.29  
% 82.83/82.98  
% 82.83/82.98  
% 82.83/82.98  Changing weight limit from 56 to 57.
% 82.83/82.98  
% 82.83/82.98  Resetting weight limit to 57 after 20555 givens.
% 82.83/82.98  
% 82.83/82.98  
% 82.83/82.98  
% 82.83/82.98  Changing weight limit from 57 to 58.
% 82.83/82.98  
% 82.83/82.98  Resetting weight limit to 58 after 20560 givens.
% 82.83/82.98  
% 82.87/83.00  
% 82.87/83.00  
% 82.87/83.00  Changing weight limit from 58 to 59.
% 82.87/83.00  
% 82.87/83.00  Resetting weight limit to 59 after 20565 givens.
% 82.87/83.00  
% 82.87/83.01  
% 82.87/83.01  
% 82.87/83.01  Changing weight limit from 59 to 58.
% 82.87/83.01  
% 82.87/83.01  Resetting weight limit to 58 after 20570 givens.
% 82.87/83.01  
% 83.35/83.50  
% 83.35/83.50  
% 83.35/83.50  Changing weight limit from 58 to 59.
% 83.35/83.50  
% 83.35/83.50  Resetting weight limit to 59 after 20725 givens.
% 83.35/83.50  
% 83.35/83.52  
% 83.35/83.52  
% 83.35/83.52  Changing weight limit from 59 to 60.
% 83.35/83.52  
% 83.35/83.52  Resetting weight limit to 60 after 20730 givens.
% 83.35/83.52  
% 83.35/83.54  
% 83.35/83.54  
% 83.35/83.54  Changing weight limit from 60 to 59.
% 83.35/83.54  
% 83.35/83.54  Resetting weight limit to 59 after 20735 givens.
% 83.35/83.54  
% 87.12/87.26  
% 87.12/87.26  
% 87.12/87.26  Changing weight limit from 59 to 60.
% 87.12/87.26  
% 87.12/87.26  Resetting weight limit to 60 after 21810 givens.
% 87.12/87.26  
% 92.81/92.98  
% 92.81/92.98  Search stopped because sos empty.
% 92.81/92.98  
% 92.81/92.98  
% 92.81/92.98  Search stopped because sos empty.
% 92.81/92.98  
% 92.81/92.98  ============ end of search ============
% 92.81/92.98  
% 92.81/92.98  ----------- soft-scott stats ----------
% 92.81/92.98  
% 92.81/92.98  true clauses given       23670      (94.5%)
% 92.81/92.98  false clauses given       1380
% 92.81/92.98  
% 92.81/92.98        FALSE     TRUE
% 92.81/92.98  tot:  0         0      (-nan% true)
% 92.81/92.98  
% 92.81/92.98  
% 92.81/92.98  Model 14 [ 1 0 721 ] (0.01 seconds, 250000 Inserts)
% 92.81/92.98  
% 92.81/92.98  Process 25584 finished Mon Jul  4 08:57:57 2022
%------------------------------------------------------------------------------