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

View Problem - Process Solution

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

% Computer : n019.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 120.39s 120.57s
% Output   : None 
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.12  % Problem  : LCL674+1.015 : TPTP v8.1.0. Released v4.0.0.
% 0.04/0.13  % Command  : sos-script %s
% 0.13/0.34  % Computer : n019.cluster.edu
% 0.13/0.34  % Model    : x86_64 x86_64
% 0.13/0.34  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34  % Memory   : 8042.1875MB
% 0.13/0.34  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34  % CPULimit : 300
% 0.13/0.34  % WCLimit  : 600
% 0.13/0.34  % DateTime : Sat Jul  2 11:20:53 EDT 2022
% 0.13/0.34  % CPUTime  : 
% 0.19/0.38  ----- Otter 3.2, August 2001 -----
% 0.19/0.38  The process was started by sandbox on n019.cluster.edu,
% 0.19/0.38  Sat Jul  2 11:20:53 2022
% 0.19/0.38  The command was "./sos".  The process ID is 25428.
% 0.19/0.38  
% 0.19/0.38  set(prolog_style_variables).
% 0.19/0.38  set(auto).
% 0.19/0.38     dependent: set(auto1).
% 0.19/0.38     dependent: set(process_input).
% 0.19/0.38     dependent: clear(print_kept).
% 0.19/0.38     dependent: clear(print_new_demod).
% 0.19/0.38     dependent: clear(print_back_demod).
% 0.19/0.38     dependent: clear(print_back_sub).
% 0.19/0.38     dependent: set(control_memory).
% 0.19/0.38     dependent: assign(max_mem, 12000).
% 0.19/0.38     dependent: assign(pick_given_ratio, 4).
% 0.19/0.38     dependent: assign(stats_level, 1).
% 0.19/0.38     dependent: assign(pick_semantic_ratio, 3).
% 0.19/0.38     dependent: assign(sos_limit, 5000).
% 0.19/0.38     dependent: assign(max_weight, 60).
% 0.19/0.38  clear(print_given).
% 0.19/0.38  
% 0.19/0.38  formula_list(usable).
% 0.19/0.38  
% 0.19/0.38  SCAN INPUT: prop=0, horn=0, equality=0, symmetry=0, max_lits=6.
% 0.19/0.38  
% 0.19/0.38  This is a non-Horn set without equality.  The strategy
% 0.19/0.38  will be ordered hyper_res, ur_res, unit deletion, and
% 0.19/0.38  factoring, with satellites in sos and nuclei in usable.
% 0.19/0.38  
% 0.19/0.38     dependent: set(hyper_res).
% 0.19/0.38     dependent: set(factor).
% 0.19/0.38     dependent: set(unit_deletion).
% 0.19/0.38  
% 0.19/0.38  ------------> process usable:
% 0.19/0.38    Following clause subsumed by 2 during input processing: 0 [] {-} -r1($c1,A)| -r1(A,B)| -p7(B)| -p106(B)|p7(A)| -p106(A).
% 0.19/0.38  
% 0.19/0.38  ------------> process sos:
% 0.19/0.38  
% 0.19/0.38  ======= end of input processing =======
% 0.19/0.43  
% 0.19/0.43  Model 1 (0.00 seconds, 0 Inserts)
% 0.19/0.43  
% 0.19/0.43  Stopped by limit on number of solutions
% 0.19/0.43  
% 0.19/0.43  
% 0.19/0.43  -------------- Softie stats --------------
% 0.19/0.43  
% 0.19/0.43  UPDATE_STOP: 300
% 0.19/0.43  SFINDER_TIME_LIMIT: 2
% 0.19/0.43  SHORT_CLAUSE_CUTOFF: 4
% 0.19/0.43  number of clauses in intial UL: 170
% 0.19/0.43  number of clauses initially in problem: 172
% 0.19/0.43  percentage of clauses intially in UL: 98
% 0.19/0.43  percentage of distinct symbols occuring in initial UL: 100
% 0.19/0.43  percent of all initial clauses that are short: 100
% 0.19/0.43  absolute distinct symbol count: 65
% 0.19/0.43     distinct predicate count: 34
% 0.19/0.43     distinct function count: 30
% 0.19/0.43     distinct constant count: 1
% 0.19/0.43  
% 0.19/0.43  ---------- no more Softie stats ----------
% 0.19/0.43  
% 0.19/0.43  
% 0.19/0.43  
% 0.19/0.43  Model 2 (0.00 seconds, 0 Inserts)
% 0.19/0.43  
% 0.19/0.43  Stopped by limit on number of solutions
% 0.19/0.43  
% 0.19/0.43  =========== start of search ===========
% 3.17/3.35  
% 3.17/3.35  
% 3.17/3.35  Changing weight limit from 60 to 59.
% 3.17/3.35  
% 3.17/3.35  Stopped by limit on insertions
% 3.17/3.35  
% 3.17/3.35  Model 3 [ 1 2 8609 ] (0.00 seconds, 250000 Inserts)
% 3.17/3.35  
% 3.17/3.35  Modelling stopped after 300 given clauses and 0.00 seconds
% 3.17/3.35  
% 3.17/3.35  
% 3.17/3.35  Resetting weight limit to 59 after 1890 givens.
% 3.17/3.35  
% 5.26/5.49  
% 5.26/5.49  
% 5.26/5.49  Changing weight limit from 59 to 60.
% 5.26/5.49  
% 5.26/5.49  Resetting weight limit to 60 after 2930 givens.
% 5.26/5.49  
% 5.35/5.53  
% 5.35/5.53  
% 5.35/5.53  Changing weight limit from 60 to 59.
% 5.35/5.53  
% 5.35/5.53  Resetting weight limit to 59 after 2935 givens.
% 5.35/5.53  
% 5.50/5.67  
% 5.50/5.67  
% 5.50/5.67  Changing weight limit from 59 to 60.
% 5.50/5.67  
% 5.50/5.67  Resetting weight limit to 60 after 2985 givens.
% 5.50/5.67  
% 5.55/5.79  
% 5.55/5.79  
% 5.55/5.79  Changing weight limit from 60 to 59.
% 5.55/5.79  
% 5.55/5.79  Resetting weight limit to 59 after 2990 givens.
% 5.55/5.79  
% 5.64/5.82  
% 5.64/5.82  
% 5.64/5.82  Changing weight limit from 59 to 60.
% 5.64/5.82  
% 5.64/5.82  Resetting weight limit to 60 after 3015 givens.
% 5.64/5.82  
% 5.64/5.83  
% 5.64/5.83  
% 5.64/5.83  Changing weight limit from 60 to 59.
% 5.64/5.83  
% 5.64/5.83  Resetting weight limit to 59 after 3020 givens.
% 5.64/5.83  
% 5.64/5.86  
% 5.64/5.86  
% 5.64/5.86  Changing weight limit from 59 to 60.
% 5.64/5.86  
% 5.64/5.86  Resetting weight limit to 60 after 3055 givens.
% 5.64/5.86  
% 5.64/5.87  
% 5.64/5.87  
% 5.64/5.87  Changing weight limit from 60 to 59.
% 5.64/5.87  
% 5.64/5.87  Resetting weight limit to 59 after 3060 givens.
% 5.64/5.87  
% 5.72/5.93  
% 5.72/5.93  
% 5.72/5.93  Changing weight limit from 59 to 60.
% 5.72/5.93  
% 5.72/5.93  Resetting weight limit to 60 after 3105 givens.
% 5.72/5.93  
% 5.72/5.94  
% 5.72/5.94  
% 5.72/5.94  Changing weight limit from 60 to 59.
% 5.72/5.94  
% 5.72/5.94  Resetting weight limit to 59 after 3110 givens.
% 5.72/5.94  
% 5.80/6.00  
% 5.80/6.00  
% 5.80/6.00  Changing weight limit from 59 to 60.
% 5.80/6.00  
% 5.80/6.00  Resetting weight limit to 60 after 3145 givens.
% 5.80/6.00  
% 5.80/6.01  
% 5.80/6.01  
% 5.80/6.01  Changing weight limit from 60 to 59.
% 5.80/6.01  
% 5.80/6.01  Resetting weight limit to 59 after 3150 givens.
% 5.80/6.01  
% 5.86/6.07  
% 5.86/6.07  
% 5.86/6.07  Changing weight limit from 59 to 60.
% 5.86/6.07  
% 5.86/6.07  Resetting weight limit to 60 after 3175 givens.
% 5.86/6.07  
% 5.86/6.08  
% 5.86/6.08  
% 5.86/6.08  Changing weight limit from 60 to 59.
% 5.86/6.08  
% 5.86/6.08  Resetting weight limit to 59 after 3180 givens.
% 5.86/6.08  
% 6.39/6.58  
% 6.39/6.58  
% 6.39/6.58  Changing weight limit from 59 to 60.
% 6.39/6.58  
% 6.39/6.58  Resetting weight limit to 60 after 3385 givens.
% 6.39/6.58  
% 6.39/6.59  
% 6.39/6.59  
% 6.39/6.59  Changing weight limit from 60 to 59.
% 6.39/6.59  
% 6.39/6.59  Resetting weight limit to 59 after 3390 givens.
% 6.39/6.59  
% 6.77/6.96  
% 6.77/6.96  
% 6.77/6.96  Changing weight limit from 59 to 60.
% 6.77/6.96  
% 6.77/6.96  Resetting weight limit to 60 after 3565 givens.
% 6.77/6.96  
% 6.77/6.99  
% 6.77/6.99  
% 6.77/6.99  Changing weight limit from 60 to 59.
% 6.77/6.99  
% 6.77/6.99  Resetting weight limit to 59 after 3570 givens.
% 6.77/6.99  
% 6.77/7.02  
% 6.77/7.02  
% 6.77/7.02  Changing weight limit from 59 to 60.
% 6.77/7.02  
% 6.77/7.02  Resetting weight limit to 60 after 3585 givens.
% 6.77/7.02  
% 6.77/7.03  
% 6.77/7.03  
% 6.77/7.03  Changing weight limit from 60 to 59.
% 6.77/7.03  
% 6.77/7.03  Resetting weight limit to 59 after 3590 givens.
% 6.77/7.03  
% 6.86/7.04  
% 6.86/7.04  
% 6.86/7.04  Changing weight limit from 59 to 60.
% 6.86/7.04  
% 6.86/7.04  Resetting weight limit to 60 after 3605 givens.
% 6.86/7.04  
% 6.86/7.04  
% 6.86/7.04  
% 6.86/7.04  Changing weight limit from 60 to 59.
% 6.86/7.04  
% 6.86/7.04  Resetting weight limit to 59 after 3610 givens.
% 6.86/7.04  
% 6.86/7.05  
% 6.86/7.05  
% 6.86/7.05  Changing weight limit from 59 to 60.
% 6.86/7.05  
% 6.86/7.05  Resetting weight limit to 60 after 3615 givens.
% 6.86/7.05  
% 6.86/7.06  
% 6.86/7.06  
% 6.86/7.06  Changing weight limit from 60 to 59.
% 6.86/7.06  
% 6.86/7.06  Resetting weight limit to 59 after 3620 givens.
% 6.86/7.06  
% 6.86/7.06  
% 6.86/7.06  
% 6.86/7.06  Changing weight limit from 59 to 60.
% 6.86/7.06  
% 6.86/7.06  Resetting weight limit to 60 after 3625 givens.
% 6.86/7.06  
% 6.86/7.07  
% 6.86/7.07  
% 6.86/7.07  Changing weight limit from 60 to 59.
% 6.86/7.07  
% 6.86/7.07  Resetting weight limit to 59 after 3630 givens.
% 6.86/7.07  
% 7.00/7.20  
% 7.00/7.20  
% 7.00/7.20  Changing weight limit from 59 to 60.
% 7.00/7.20  
% 7.00/7.20  Resetting weight limit to 60 after 3675 givens.
% 7.00/7.20  
% 7.00/7.21  
% 7.00/7.21  
% 7.00/7.21  Changing weight limit from 60 to 59.
% 7.00/7.21  
% 7.00/7.21  Resetting weight limit to 59 after 3680 givens.
% 7.00/7.21  
% 7.19/7.42  
% 7.19/7.42  
% 7.19/7.42  Changing weight limit from 59 to 60.
% 7.19/7.42  
% 7.19/7.42  Resetting weight limit to 60 after 3745 givens.
% 7.19/7.42  
% 7.19/7.44  
% 7.19/7.44  
% 7.19/7.44  Changing weight limit from 60 to 59.
% 7.19/7.44  
% 7.19/7.44  Resetting weight limit to 59 after 3750 givens.
% 7.19/7.44  
% 7.35/7.55  
% 7.35/7.55  
% 7.35/7.55  Changing weight limit from 59 to 60.
% 7.35/7.55  
% 7.35/7.55  Resetting weight limit to 60 after 3795 givens.
% 7.35/7.55  
% 7.38/7.56  
% 7.38/7.56  
% 7.38/7.56  Changing weight limit from 60 to 59.
% 7.38/7.56  
% 7.38/7.56  Resetting weight limit to 59 after 3800 givens.
% 7.38/7.56  
% 7.38/7.60  
% 7.38/7.60  
% 7.38/7.60  Changing weight limit from 59 to 60.
% 7.38/7.60  
% 7.38/7.60  Resetting weight limit to 60 after 3825 givens.
% 7.38/7.60  
% 7.38/7.60  
% 7.38/7.60  
% 7.38/7.60  Changing weight limit from 60 to 59.
% 7.38/7.60  
% 7.38/7.60  Resetting weight limit to 59 after 3835 givens.
% 7.38/7.60  
% 7.38/7.61  
% 7.38/7.61  
% 7.38/7.61  Changing weight limit from 59 to 60.
% 7.38/7.61  
% 7.38/7.61  Resetting weight limit to 60 after 3845 givens.
% 7.38/7.61  
% 7.38/7.62  
% 7.38/7.62  
% 7.38/7.62  Changing weight limit from 60 to 59.
% 7.38/7.62  
% 7.38/7.62  Resetting weight limit to 59 after 3850 givens.
% 7.38/7.62  
% 7.73/7.93  
% 7.73/7.93  
% 7.73/7.93  Changing weight limit from 59 to 60.
% 7.73/7.93  
% 7.73/7.93  Resetting weight limit to 60 after 4000 givens.
% 7.73/7.93  
% 7.73/7.94  
% 7.73/7.94  
% 7.73/7.94  Changing weight limit from 60 to 59.
% 7.73/7.94  
% 7.73/7.94  Resetting weight limit to 59 after 4010 givens.
% 7.73/7.94  
% 7.73/7.95  
% 7.73/7.95  
% 7.73/7.95  Changing weight limit from 59 to 60.
% 7.73/7.95  
% 7.73/7.95  Resetting weight limit to 60 after 4020 givens.
% 7.73/7.95  
% 7.73/7.96  
% 7.73/7.96  
% 7.73/7.96  Changing weight limit from 60 to 59.
% 7.73/7.96  
% 7.73/7.96  Resetting weight limit to 59 after 4030 givens.
% 7.73/7.96  
% 7.79/7.97  
% 7.79/7.97  
% 7.79/7.97  Changing weight limit from 59 to 60.
% 7.79/7.97  
% 7.79/7.97  Resetting weight limit to 60 after 4035 givens.
% 7.79/7.97  
% 7.79/7.97  
% 7.79/7.97  
% 7.79/7.97  Changing weight limit from 60 to 59.
% 7.79/7.97  
% 7.79/7.97  Resetting weight limit to 59 after 4040 givens.
% 7.79/7.97  
% 7.79/7.98  
% 7.79/7.98  
% 7.79/7.98  Changing weight limit from 59 to 60.
% 7.79/7.98  
% 7.79/7.98  Resetting weight limit to 60 after 4045 givens.
% 7.79/7.98  
% 7.79/7.98  
% 7.79/7.98  
% 7.79/7.98  Changing weight limit from 60 to 59.
% 7.79/7.98  
% 7.79/7.98  Resetting weight limit to 59 after 4050 givens.
% 7.79/7.98  
% 9.99/10.16  
% 9.99/10.16  
% 9.99/10.16  Changing weight limit from 59 to 60.
% 9.99/10.16  
% 9.99/10.16  Resetting weight limit to 60 after 4125 givens.
% 9.99/10.16  
% 9.99/10.18  
% 9.99/10.18  
% 9.99/10.18  Changing weight limit from 60 to 59.
% 9.99/10.18  
% 9.99/10.18  Resetting weight limit to 59 after 4130 givens.
% 9.99/10.18  
% 10.08/10.33  
% 10.08/10.33  
% 10.08/10.33  Changing weight limit from 59 to 60.
% 10.08/10.33  
% 10.08/10.33  Resetting weight limit to 60 after 4175 givens.
% 10.08/10.33  
% 10.16/10.34  
% 10.16/10.34  
% 10.16/10.34  Changing weight limit from 60 to 59.
% 10.16/10.34  
% 10.16/10.34  Resetting weight limit to 59 after 4180 givens.
% 10.16/10.34  
% 10.35/10.53  
% 10.35/10.53  
% 10.35/10.53  Changing weight limit from 59 to 60.
% 10.35/10.53  
% 10.35/10.53  Resetting weight limit to 60 after 4235 givens.
% 10.35/10.53  
% 10.35/10.55  
% 10.35/10.55  
% 10.35/10.55  Changing weight limit from 60 to 59.
% 10.35/10.55  
% 10.35/10.55  Resetting weight limit to 59 after 4240 givens.
% 10.35/10.55  
% 10.56/10.77  
% 10.56/10.77  
% 10.56/10.77  Changing weight limit from 59 to 60.
% 10.56/10.77  
% 10.56/10.77  Resetting weight limit to 60 after 4285 givens.
% 10.56/10.77  
% 10.59/10.79  
% 10.59/10.79  
% 10.59/10.79  Changing weight limit from 60 to 59.
% 10.59/10.79  
% 10.59/10.79  Resetting weight limit to 59 after 4290 givens.
% 10.59/10.79  
% 10.59/10.81  
% 10.59/10.81  
% 10.59/10.81  Changing weight limit from 59 to 60.
% 10.59/10.81  
% 10.59/10.81  Resetting weight limit to 60 after 4305 givens.
% 10.59/10.81  
% 10.59/10.82  
% 10.59/10.82  
% 10.59/10.82  Changing weight limit from 60 to 59.
% 10.59/10.82  
% 10.59/10.82  Resetting weight limit to 59 after 4310 givens.
% 10.59/10.82  
% 10.59/10.82  
% 10.59/10.82  
% 10.59/10.82  Changing weight limit from 59 to 60.
% 10.59/10.82  
% 10.59/10.82  Resetting weight limit to 60 after 4315 givens.
% 10.59/10.82  
% 10.66/10.83  
% 10.66/10.83  
% 10.66/10.83  Changing weight limit from 60 to 59.
% 10.66/10.83  
% 10.66/10.83  Resetting weight limit to 59 after 4320 givens.
% 10.66/10.83  
% 10.66/10.83  
% 10.66/10.83  
% 10.66/10.83  Changing weight limit from 59 to 60.
% 10.66/10.83  
% 10.66/10.83  Resetting weight limit to 60 after 4325 givens.
% 10.66/10.83  
% 10.66/10.84  
% 10.66/10.84  
% 10.66/10.84  Changing weight limit from 60 to 59.
% 10.66/10.84  
% 10.66/10.84  Resetting weight limit to 59 after 4330 givens.
% 10.66/10.84  
% 10.68/10.85  
% 10.68/10.85  
% 10.68/10.85  Changing weight limit from 59 to 60.
% 10.68/10.85  
% 10.68/10.85  Resetting weight limit to 60 after 4345 givens.
% 10.68/10.85  
% 10.68/10.86  
% 10.68/10.86  
% 10.68/10.86  Changing weight limit from 60 to 59.
% 10.68/10.86  
% 10.68/10.86  Resetting weight limit to 59 after 4350 givens.
% 10.68/10.86  
% 10.68/10.86  
% 10.68/10.86  
% 10.68/10.86  Changing weight limit from 59 to 60.
% 10.68/10.86  
% 10.68/10.86  Resetting weight limit to 60 after 4355 givens.
% 10.68/10.86  
% 10.68/10.87  
% 10.68/10.87  
% 10.68/10.87  Changing weight limit from 60 to 59.
% 10.68/10.87  
% 10.68/10.87  Resetting weight limit to 59 after 4360 givens.
% 10.68/10.87  
% 10.68/10.88  
% 10.68/10.88  
% 10.68/10.88  Changing weight limit from 59 to 60.
% 10.68/10.88  
% 10.68/10.88  Resetting weight limit to 60 after 4365 givens.
% 10.68/10.88  
% 10.68/10.89  
% 10.68/10.89  
% 10.68/10.89  Changing weight limit from 60 to 59.
% 10.68/10.89  
% 10.68/10.89  Resetting weight limit to 59 after 4370 givens.
% 10.68/10.89  
% 10.91/11.10  
% 10.91/11.10  
% 10.91/11.10  Changing weight limit from 59 to 32.
% 10.91/11.10  
% 10.91/11.10  Resetting weight limit to 32 after 4440 givens.
% 10.91/11.10  
% 10.91/11.10  
% 10.91/11.10  
% 10.91/11.10  Changing weight limit from 32 to 30.
% 10.91/11.10  
% 10.91/11.10  Resetting weight limit to 30 after 4445 givens.
% 10.91/11.10  
% 10.91/11.11  
% 10.91/11.11  
% 10.91/11.11  Changing weight limit from 30 to 29.
% 10.91/11.11  
% 10.91/11.11  Resetting weight limit to 29 after 4450 givens.
% 10.91/11.11  
% 10.96/11.17  
% 10.96/11.17  
% 10.96/11.17  Changing weight limit from 29 to 30.
% 10.96/11.17  
% 10.96/11.17  Resetting weight limit to 30 after 4495 givens.
% 10.96/11.17  
% 10.96/11.18  
% 10.96/11.18  
% 10.96/11.18  Changing weight limit from 30 to 29.
% 10.96/11.18  
% 10.96/11.18  Resetting weight limit to 29 after 4500 givens.
% 10.96/11.18  
% 10.96/11.19  
% 10.96/11.19  
% 10.96/11.19  Changing weight limit from 29 to 30.
% 10.96/11.19  
% 10.96/11.19  Resetting weight limit to 30 after 4510 givens.
% 10.96/11.19  
% 10.96/11.20  
% 10.96/11.20  
% 10.96/11.20  Changing weight limit from 30 to 29.
% 10.96/11.20  
% 10.96/11.20  Resetting weight limit to 29 after 4515 givens.
% 10.96/11.20  
% 11.09/11.28  
% 11.09/11.28  
% 11.09/11.28  Changing weight limit from 29 to 30.
% 11.09/11.28  
% 11.09/11.28  Resetting weight limit to 30 after 4540 givens.
% 11.09/11.28  
% 11.09/11.29  
% 11.09/11.29  
% 11.09/11.29  Changing weight limit from 30 to 29.
% 11.09/11.29  
% 11.09/11.29  Resetting weight limit to 29 after 4545 givens.
% 11.09/11.29  
% 11.09/11.34  
% 11.09/11.34  
% 11.09/11.34  Changing weight limit from 29 to 30.
% 11.09/11.34  
% 11.09/11.34  Resetting weight limit to 30 after 4565 givens.
% 11.09/11.34  
% 11.09/11.35  
% 11.09/11.35  
% 11.09/11.35  Changing weight limit from 30 to 31.
% 11.09/11.35  
% 11.09/11.35  Resetting weight limit to 31 after 4570 givens.
% 11.09/11.35  
% 11.18/11.36  
% 11.18/11.36  
% 11.18/11.36  Changing weight limit from 31 to 32.
% 11.18/11.36  
% 11.18/11.36  Resetting weight limit to 32 after 4575 givens.
% 11.18/11.36  
% 11.18/11.38  
% 11.18/11.38  
% 11.18/11.38  Changing weight limit from 32 to 33.
% 11.18/11.38  
% 11.18/11.38  Resetting weight limit to 33 after 4580 givens.
% 11.18/11.38  
% 11.22/11.40  
% 11.22/11.40  
% 11.22/11.40  Changing weight limit from 33 to 29.
% 11.22/11.40  
% 11.22/11.40  Resetting weight limit to 29 after 4585 givens.
% 11.22/11.40  
% 11.26/11.47  
% 11.26/11.47  
% 11.26/11.47  Changing weight limit from 29 to 30.
% 11.26/11.47  
% 11.26/11.47  Resetting weight limit to 30 after 4610 givens.
% 11.26/11.47  
% 11.26/11.48  
% 11.26/11.48  
% 11.26/11.48  Changing weight limit from 30 to 29.
% 11.26/11.48  
% 11.26/11.48  Resetting weight limit to 29 after 4615 givens.
% 11.26/11.48  
% 11.34/11.57  
% 11.34/11.57  
% 11.34/11.57  Changing weight limit from 29 to 30.
% 11.34/11.57  
% 11.34/11.57  Resetting weight limit to 30 after 4650 givens.
% 11.34/11.57  
% 11.34/11.58  
% 11.34/11.58  
% 11.34/11.58  Changing weight limit from 30 to 29.
% 11.34/11.58  
% 11.34/11.58  Resetting weight limit to 29 after 4655 givens.
% 11.34/11.58  
% 11.40/11.60  
% 11.40/11.60  
% 11.40/11.60  Changing weight limit from 29 to 30.
% 11.40/11.60  
% 11.40/11.60  Resetting weight limit to 30 after 4675 givens.
% 11.40/11.60  
% 11.40/11.61  
% 11.40/11.61  
% 11.40/11.61  Changing weight limit from 30 to 31.
% 11.40/11.61  
% 11.40/11.61  Resetting weight limit to 31 after 4680 givens.
% 11.40/11.61  
% 11.40/11.61  
% 11.40/11.61  
% 11.40/11.61  Changing weight limit from 31 to 29.
% 11.40/11.61  
% 11.40/11.61  Resetting weight limit to 29 after 4685 givens.
% 11.40/11.61  
% 11.40/11.63  
% 11.40/11.63  
% 11.40/11.63  Changing weight limit from 29 to 30.
% 11.40/11.63  
% 11.40/11.63  Resetting weight limit to 30 after 4690 givens.
% 11.40/11.63  
% 11.40/11.66  
% 11.40/11.66  
% 11.40/11.66  Changing weight limit from 30 to 29.
% 11.40/11.66  
% 11.40/11.66  Resetting weight limit to 29 after 4695 givens.
% 11.40/11.66  
% 11.51/11.71  
% 11.51/11.71  
% 11.51/11.71  Changing weight limit from 29 to 30.
% 11.51/11.71  
% 11.51/11.71  Resetting weight limit to 30 after 4715 givens.
% 11.51/11.71  
% 11.55/11.73  
% 11.55/11.73  
% 11.55/11.73  Changing weight limit from 30 to 28.
% 11.55/11.73  
% 11.55/11.73  Resetting weight limit to 28 after 4720 givens.
% 11.55/11.73  
% 11.55/11.74  
% 11.55/11.74  
% 11.55/11.74  Changing weight limit from 28 to 29.
% 11.55/11.74  
% 11.55/11.74  Resetting weight limit to 29 after 4730 givens.
% 11.55/11.74  
% 11.55/11.76  
% 11.55/11.76  
% 11.55/11.76  Changing weight limit from 29 to 28.
% 11.55/11.76  
% 11.55/11.76  Resetting weight limit to 28 after 4735 givens.
% 11.55/11.76  
% 11.63/11.86  
% 11.63/11.86  
% 11.63/11.86  Changing weight limit from 28 to 29.
% 11.63/11.86  
% 11.63/11.86  Resetting weight limit to 29 after 4755 givens.
% 11.63/11.86  
% 11.71/11.88  
% 11.71/11.88  
% 11.71/11.88  Changing weight limit from 29 to 28.
% 11.71/11.88  
% 11.71/11.88  Resetting weight limit to 28 after 4760 givens.
% 11.71/11.88  
% 11.71/11.91  
% 11.71/11.91  
% 11.71/11.91  Changing weight limit from 28 to 29.
% 11.71/11.91  
% 11.71/11.91  Resetting weight limit to 29 after 4770 givens.
% 11.71/11.91  
% 11.71/11.94  
% 11.71/11.94  
% 11.71/11.94  Changing weight limit from 29 to 28.
% 11.71/11.94  
% 11.71/11.94  Resetting weight limit to 28 after 4775 givens.
% 11.71/11.94  
% 11.71/11.94  
% 11.71/11.94  
% 11.71/11.94  Changing weight limit from 28 to 29.
% 11.71/11.94  
% 11.71/11.94  Resetting weight limit to 29 after 4785 givens.
% 11.71/11.94  
% 11.79/11.99  
% 11.79/11.99  
% 11.79/11.99  Changing weight limit from 29 to 30.
% 11.79/11.99  
% 11.79/11.99  Resetting weight limit to 30 after 4795 givens.
% 11.79/11.99  
% 11.84/12.03  
% 11.84/12.03  
% 11.84/12.03  Changing weight limit from 30 to 28.
% 11.84/12.03  
% 11.84/12.03  Resetting weight limit to 28 after 4800 givens.
% 11.84/12.03  
% 12.01/12.26  
% 12.01/12.26  
% 12.01/12.26  Changing weight limit from 28 to 29.
% 12.01/12.26  
% 12.01/12.26  Resetting weight limit to 29 after 4870 givens.
% 12.01/12.26  
% 12.09/12.28  
% 12.09/12.28  
% 12.09/12.28  Changing weight limit from 29 to 28.
% 12.09/12.28  
% 12.09/12.28  Resetting weight limit to 28 after 4875 givens.
% 12.09/12.28  
% 12.09/12.29  
% 12.09/12.29  
% 12.09/12.29  Changing weight limit from 28 to 29.
% 12.09/12.29  
% 12.09/12.29  Resetting weight limit to 29 after 4885 givens.
% 12.09/12.29  
% 12.09/12.30  
% 12.09/12.30  
% 12.09/12.30  Changing weight limit from 29 to 28.
% 12.09/12.30  
% 12.09/12.30  Resetting weight limit to 28 after 4890 givens.
% 12.09/12.30  
% 12.15/12.39  
% 12.15/12.39  
% 12.15/12.39  Changing weight limit from 28 to 29.
% 12.15/12.39  
% 12.15/12.39  Resetting weight limit to 29 after 4910 givens.
% 12.15/12.39  
% 12.15/12.39  
% 12.15/12.39  
% 12.15/12.39  Changing weight limit from 29 to 28.
% 12.15/12.39  
% 12.15/12.39  Resetting weight limit to 28 after 4915 givens.
% 12.15/12.39  
% 12.15/12.42  
% 12.15/12.42  
% 12.15/12.42  Changing weight limit from 28 to 29.
% 12.15/12.42  
% 12.15/12.42  Resetting weight limit to 29 after 4930 givens.
% 12.15/12.42  
% 12.25/12.43  
% 12.25/12.43  
% 12.25/12.43  Changing weight limit from 29 to 28.
% 12.25/12.43  
% 12.25/12.43  Resetting weight limit to 28 after 4935 givens.
% 12.25/12.43  
% 12.32/12.55  
% 12.32/12.55  
% 12.32/12.55  Changing weight limit from 28 to 27.
% 12.32/12.55  
% 12.32/12.55  Resetting weight limit to 27 after 4995 givens.
% 12.32/12.55  
% 12.40/12.61  
% 12.40/12.61  
% 12.40/12.61  Changing weight limit from 27 to 28.
% 12.40/12.61  
% 12.40/12.61  Resetting weight limit to 28 after 5035 givens.
% 12.40/12.61  
% 12.44/12.62  
% 12.44/12.62  
% 12.44/12.62  Changing weight limit from 28 to 27.
% 12.44/12.62  
% 12.44/12.62  Resetting weight limit to 27 after 5040 givens.
% 12.44/12.62  
% 12.46/12.69  
% 12.46/12.69  
% 12.46/12.69  Changing weight limit from 27 to 28.
% 12.46/12.69  
% 12.46/12.69  Resetting weight limit to 28 after 5080 givens.
% 12.46/12.69  
% 12.46/12.70  
% 12.46/12.70  
% 12.46/12.70  Changing weight limit from 28 to 29.
% 12.46/12.70  
% 12.46/12.70  Resetting weight limit to 29 after 5085 givens.
% 12.46/12.70  
% 12.46/12.71  
% 12.46/12.71  
% 12.46/12.71  Changing weight limit from 29 to 27.
% 12.46/12.71  
% 12.46/12.71  Resetting weight limit to 27 after 5090 givens.
% 12.46/12.71  
% 12.56/12.77  
% 12.56/12.77  
% 12.56/12.77  Changing weight limit from 27 to 28.
% 12.56/12.77  
% 12.56/12.77  Resetting weight limit to 28 after 5130 givens.
% 12.56/12.77  
% 12.56/12.77  
% 12.56/12.77  
% 12.56/12.77  Changing weight limit from 28 to 29.
% 12.56/12.77  
% 12.56/12.77  Resetting weight limit to 29 after 5135 givens.
% 12.56/12.77  
% 12.56/12.79  
% 12.56/12.79  
% 12.56/12.79  Changing weight limit from 29 to 27.
% 12.56/12.79  
% 12.56/12.79  Resetting weight limit to 27 after 5140 givens.
% 12.56/12.79  
% 12.62/12.85  
% 12.62/12.85  
% 12.62/12.85  Changing weight limit from 27 to 28.
% 12.62/12.85  
% 12.62/12.85  Resetting weight limit to 28 after 5180 givens.
% 12.62/12.85  
% 12.69/12.86  
% 12.69/12.86  
% 12.69/12.86  Changing weight limit from 28 to 27.
% 12.69/12.86  
% 12.69/12.86  Resetting weight limit to 27 after 5185 givens.
% 12.69/12.86  
% 12.73/12.93  
% 12.73/12.93  
% 12.73/12.93  Changing weight limit from 27 to 28.
% 12.73/12.93  
% 12.73/12.93  Resetting weight limit to 28 after 5225 givens.
% 12.73/12.93  
% 12.73/12.94  
% 12.73/12.94  
% 12.73/12.94  Changing weight limit from 28 to 27.
% 12.73/12.94  
% 12.73/12.94  Resetting weight limit to 27 after 5230 givens.
% 12.73/12.94  
% 12.76/12.99  
% 12.76/12.99  
% 12.76/12.99  Changing weight limit from 27 to 28.
% 12.76/12.99  
% 12.76/12.99  Resetting weight limit to 28 after 5270 givens.
% 12.76/12.99  
% 12.76/13.00  
% 12.76/13.00  
% 12.76/13.00  Changing weight limit from 28 to 29.
% 12.76/13.00  
% 12.76/13.00  Resetting weight limit to 29 after 5275 givens.
% 12.76/13.00  
% 12.76/13.00  
% 12.76/13.00  
% 12.76/13.00  Changing weight limit from 29 to 27.
% 12.76/13.00  
% 12.76/13.00  Resetting weight limit to 27 after 5280 givens.
% 12.76/13.00  
% 12.86/13.04  
% 12.86/13.04  
% 12.86/13.04  Changing weight limit from 27 to 28.
% 12.86/13.04  
% 12.86/13.04  Resetting weight limit to 28 after 5300 givens.
% 12.86/13.04  
% 12.86/13.04  
% 12.86/13.04  
% 12.86/13.04  Changing weight limit from 28 to 29.
% 12.86/13.04  
% 12.86/13.04  Resetting weight limit to 29 after 5305 givens.
% 12.86/13.04  
% 12.86/13.05  
% 12.86/13.05  
% 12.86/13.05  Changing weight limit from 29 to 30.
% 12.86/13.05  
% 12.86/13.05  Resetting weight limit to 30 after 5310 givens.
% 12.86/13.05  
% 12.86/13.05  
% 12.86/13.05  
% 12.86/13.05  Changing weight limit from 30 to 31.
% 12.86/13.05  
% 12.86/13.05  Resetting weight limit to 31 after 5315 givens.
% 12.86/13.05  
% 12.86/13.07  
% 12.86/13.07  
% 12.86/13.07  Changing weight limit from 31 to 28.
% 12.86/13.07  
% 12.86/13.07  Resetting weight limit to 28 after 5320 givens.
% 12.86/13.07  
% 12.86/13.09  
% 12.86/13.09  
% 12.86/13.09  Changing weight limit from 28 to 29.
% 12.86/13.09  
% 12.86/13.09  Resetting weight limit to 29 after 5335 givens.
% 12.86/13.09  
% 12.91/13.10  
% 12.91/13.10  
% 12.91/13.10  Changing weight limit from 29 to 28.
% 12.91/13.10  
% 12.91/13.10  Resetting weight limit to 28 after 5340 givens.
% 12.91/13.10  
% 12.91/13.10  
% 12.91/13.10  
% 12.91/13.10  Changing weight limit from 28 to 29.
% 12.91/13.10  
% 12.91/13.10  Resetting weight limit to 29 after 5345 givens.
% 12.91/13.10  
% 12.91/13.11  
% 12.91/13.11  
% 12.91/13.11  Changing weight limit from 29 to 28.
% 12.91/13.11  
% 12.91/13.11  Resetting weight limit to 28 after 5350 givens.
% 12.91/13.11  
% 12.91/13.13  
% 12.91/13.13  
% 12.91/13.13  Changing weight limit from 28 to 29.
% 12.91/13.13  
% 12.91/13.13  Resetting weight limit to 29 after 5360 givens.
% 12.91/13.13  
% 12.91/13.14  
% 12.91/13.14  
% 12.91/13.14  Changing weight limit from 29 to 28.
% 12.91/13.14  
% 12.91/13.14  Resetting weight limit to 28 after 5365 givens.
% 12.91/13.14  
% 12.91/13.15  
% 12.91/13.15  
% 12.91/13.15  Changing weight limit from 28 to 29.
% 12.91/13.15  
% 12.91/13.15  Resetting weight limit to 29 after 5375 givens.
% 12.91/13.15  
% 12.98/13.16  
% 12.98/13.16  
% 12.98/13.16  Changing weight limit from 29 to 28.
% 12.98/13.16  
% 12.98/13.16  Resetting weight limit to 28 after 5380 givens.
% 12.98/13.16  
% 13.00/13.21  
% 13.00/13.21  
% 13.00/13.21  Changing weight limit from 28 to 29.
% 13.00/13.21  
% 13.00/13.21  Resetting weight limit to 29 after 5415 givens.
% 13.00/13.21  
% 13.04/13.22  
% 13.04/13.22  
% 13.04/13.22  Changing weight limit from 29 to 28.
% 13.04/13.22  
% 13.04/13.22  Resetting weight limit to 28 after 5420 givens.
% 13.04/13.22  
% 13.04/13.23  
% 13.04/13.23  
% 13.04/13.23  Changing weight limit from 28 to 27.
% 13.04/13.23  
% 13.04/13.23  Resetting weight limit to 27 after 5435 givens.
% 13.04/13.23  
% 13.04/13.24  
% 13.04/13.24  
% 13.04/13.24  Changing weight limit from 27 to 28.
% 13.04/13.24  
% 13.04/13.24  Resetting weight limit to 28 after 5440 givens.
% 13.04/13.24  
% 13.04/13.24  
% 13.04/13.24  
% 13.04/13.24  Changing weight limit from 28 to 27.
% 13.04/13.24  
% 13.04/13.24  Resetting weight limit to 27 after 5445 givens.
% 13.04/13.24  
% 13.16/13.34  
% 13.16/13.34  
% 13.16/13.34  Changing weight limit from 27 to 28.
% 13.16/13.34  
% 13.16/13.34  Resetting weight limit to 28 after 5500 givens.
% 13.16/13.34  
% 13.16/13.35  
% 13.16/13.35  
% 13.16/13.35  Changing weight limit from 28 to 27.
% 13.16/13.35  
% 13.16/13.35  Resetting weight limit to 27 after 5505 givens.
% 13.16/13.35  
% 13.20/13.39  
% 13.20/13.39  
% 13.20/13.39  Changing weight limit from 27 to 28.
% 13.20/13.39  
% 13.20/13.39  Resetting weight limit to 28 after 5525 givens.
% 13.20/13.39  
% 13.20/13.41  
% 13.20/13.41  
% 13.20/13.41  Changing weight limit from 28 to 27.
% 13.20/13.41  
% 13.20/13.41  Resetting weight limit to 27 after 5530 givens.
% 13.20/13.41  
% 13.27/13.44  
% 13.27/13.44  
% 13.27/13.44  Changing weight limit from 27 to 28.
% 13.27/13.44  
% 13.27/13.44  Resetting weight limit to 28 after 5550 givens.
% 13.27/13.44  
% 13.27/13.46  
% 13.27/13.46  
% 13.27/13.46  Changing weight limit from 28 to 27.
% 13.27/13.46  
% 13.27/13.46  Resetting weight limit to 27 after 5555 givens.
% 13.27/13.46  
% 13.29/13.50  
% 13.29/13.50  
% 13.29/13.50  Changing weight limit from 27 to 28.
% 13.29/13.50  
% 13.29/13.50  Resetting weight limit to 28 after 5575 givens.
% 13.29/13.50  
% 13.29/13.50  
% 13.29/13.50  
% 13.29/13.50  Changing weight limit from 28 to 27.
% 13.29/13.50  
% 13.29/13.50  Resetting weight limit to 27 after 5580 givens.
% 13.29/13.50  
% 13.38/13.57  
% 13.38/13.57  
% 13.38/13.57  Changing weight limit from 27 to 28.
% 13.38/13.57  
% 13.38/13.57  Resetting weight limit to 28 after 5620 givens.
% 13.38/13.57  
% 13.38/13.58  
% 13.38/13.58  
% 13.38/13.58  Changing weight limit from 28 to 27.
% 13.38/13.58  
% 13.38/13.58  Resetting weight limit to 27 after 5625 givens.
% 13.38/13.58  
% 13.46/13.64  
% 13.46/13.64  
% 13.46/13.64  Changing weight limit from 27 to 28.
% 13.46/13.64  
% 13.46/13.64  Resetting weight limit to 28 after 5650 givens.
% 13.46/13.64  
% 13.46/13.65  
% 13.46/13.65  
% 13.46/13.65  Changing weight limit from 28 to 27.
% 13.46/13.65  
% 13.46/13.65  Resetting weight limit to 27 after 5655 givens.
% 13.46/13.65  
% 13.46/13.65  
% 13.46/13.65  
% 13.46/13.65  Changing weight limit from 27 to 28.
% 13.46/13.65  
% 13.46/13.65  Resetting weight limit to 28 after 5660 givens.
% 13.46/13.65  
% 13.46/13.66  
% 13.46/13.66  
% 13.46/13.66  Changing weight limit from 28 to 27.
% 13.46/13.66  
% 13.46/13.66  Resetting weight limit to 27 after 5665 givens.
% 13.46/13.66  
% 13.50/13.69  
% 13.50/13.69  
% 13.50/13.69  Changing weight limit from 27 to 28.
% 13.50/13.69  
% 13.50/13.69  Resetting weight limit to 28 after 5680 givens.
% 13.50/13.69  
% 13.50/13.70  
% 13.50/13.70  
% 13.50/13.70  Changing weight limit from 28 to 29.
% 13.50/13.70  
% 13.50/13.70  Resetting weight limit to 29 after 5685 givens.
% 13.50/13.70  
% 13.50/13.71  
% 13.50/13.71  
% 13.50/13.71  Changing weight limit from 29 to 27.
% 13.50/13.71  
% 13.50/13.71  Resetting weight limit to 27 after 5690 givens.
% 13.50/13.71  
% 13.60/13.79  
% 13.60/13.79  
% 13.60/13.79  Changing weight limit from 27 to 28.
% 13.60/13.79  
% 13.60/13.79  Resetting weight limit to 28 after 5745 givens.
% 13.60/13.79  
% 13.60/13.81  
% 13.60/13.81  
% 13.60/13.81  Changing weight limit from 28 to 27.
% 13.60/13.81  
% 13.60/13.81  Resetting weight limit to 27 after 5750 givens.
% 13.60/13.81  
% 13.66/13.84  
% 13.66/13.84  
% 13.66/13.84  Changing weight limit from 27 to 28.
% 13.66/13.84  
% 13.66/13.84  Resetting weight limit to 28 after 5775 givens.
% 13.66/13.84  
% 13.68/13.85  
% 13.68/13.85  
% 13.68/13.85  Changing weight limit from 28 to 27.
% 13.68/13.85  
% 13.68/13.85  Resetting weight limit to 27 after 5780 givens.
% 13.68/13.85  
% 13.68/13.91  
% 13.68/13.91  
% 13.68/13.91  Changing weight limit from 27 to 28.
% 13.68/13.91  
% 13.68/13.91  Resetting weight limit to 28 after 5810 givens.
% 13.68/13.91  
% 13.68/13.92  
% 13.68/13.92  
% 13.68/13.92  Changing weight limit from 28 to 29.
% 13.68/13.92  
% 13.68/13.92  Resetting weight limit to 29 after 5815 givens.
% 13.68/13.92  
% 13.74/13.93  
% 13.74/13.93  
% 13.74/13.93  Changing weight limit from 29 to 27.
% 13.74/13.93  
% 13.74/13.93  Resetting weight limit to 27 after 5820 givens.
% 13.74/13.93  
% 14.65/14.86  
% 14.65/14.86  
% 14.65/14.86  Changing weight limit from 27 to 28.
% 14.65/14.86  
% 14.65/14.86  Resetting weight limit to 28 after 5915 givens.
% 14.65/14.86  
% 14.65/14.86  
% 14.65/14.86  
% 14.65/14.86  Changing weight limit from 28 to 27.
% 14.65/14.86  
% 14.65/14.86  Resetting weight limit to 27 after 5920 givens.
% 14.65/14.86  
% 14.65/14.87  
% 14.65/14.87  
% 14.65/14.87  Changing weight limit from 27 to 28.
% 14.65/14.87  
% 14.65/14.87  Resetting weight limit to 28 after 5925 givens.
% 14.65/14.87  
% 14.65/14.87  
% 14.65/14.87  
% 14.65/14.87  Changing weight limit from 28 to 27.
% 14.65/14.87  
% 14.65/14.87  Resetting weight limit to 27 after 5930 givens.
% 14.65/14.87  
% 14.72/14.90  
% 14.72/14.90  
% 14.72/14.90  Changing weight limit from 27 to 28.
% 14.72/14.90  
% 14.72/14.90  Resetting weight limit to 28 after 5945 givens.
% 14.72/14.90  
% 14.72/14.92  
% 14.72/14.92  
% 14.72/14.92  Changing weight limit from 28 to 29.
% 14.72/14.92  
% 14.72/14.92  Resetting weight limit to 29 after 5950 givens.
% 14.72/14.92  
% 14.72/14.94  
% 14.72/14.94  
% 14.72/14.94  Changing weight limit from 29 to 27.
% 14.72/14.94  
% 14.72/14.94  Resetting weight limit to 27 after 5955 givens.
% 14.72/14.94  
% 14.86/15.06  
% 14.86/15.06  
% 14.86/15.06  Changing weight limit from 27 to 28.
% 14.86/15.06  
% 14.86/15.06  Resetting weight limit to 28 after 6035 givens.
% 14.86/15.06  
% 14.86/15.07  
% 14.86/15.07  
% 14.86/15.07  Changing weight limit from 28 to 27.
% 14.86/15.07  
% 14.86/15.07  Resetting weight limit to 27 after 6040 givens.
% 14.86/15.07  
% 14.86/15.07  
% 14.86/15.07  
% 14.86/15.07  Changing weight limit from 27 to 28.
% 14.86/15.07  
% 14.86/15.07  Resetting weight limit to 28 after 6045 givens.
% 14.86/15.07  
% 14.86/15.08  
% 14.86/15.08  
% 14.86/15.08  Changing weight limit from 28 to 27.
% 14.86/15.08  
% 14.86/15.08  Resetting weight limit to 27 after 6050 givens.
% 14.86/15.08  
% 14.86/15.09  
% 14.86/15.09  
% 14.86/15.09  Changing weight limit from 27 to 28.
% 14.86/15.09  
% 14.86/15.09  Resetting weight limit to 28 after 6065 givens.
% 14.86/15.09  
% 14.86/15.09  
% 14.86/15.09  
% 14.86/15.09  Changing weight limit from 28 to 29.
% 14.86/15.09  
% 14.86/15.09  Resetting weight limit to 29 after 6070 givens.
% 14.86/15.09  
% 14.94/15.11  
% 14.94/15.11  
% 14.94/15.11  Changing weight limit from 29 to 27.
% 14.94/15.11  
% 14.94/15.11  Resetting weight limit to 27 after 6075 givens.
% 14.94/15.11  
% 14.94/15.14  
% 14.94/15.14  
% 14.94/15.14  Changing weight limit from 27 to 28.
% 14.94/15.14  
% 14.94/15.14  Resetting weight limit to 28 after 6105 givens.
% 14.94/15.14  
% 14.94/15.15  
% 14.94/15.15  
% 14.94/15.15  Changing weight limit from 28 to 27.
% 14.94/15.15  
% 14.94/15.15  Resetting weight limit to 27 after 6110 givens.
% 14.94/15.15  
% 15.01/15.18  
% 15.01/15.18  
% 15.01/15.18  Changing weight limit from 27 to 28.
% 15.01/15.18  
% 15.01/15.18  Resetting weight limit to 28 after 6125 givens.
% 15.01/15.18  
% 15.01/15.19  
% 15.01/15.19  
% 15.01/15.19  Changing weight limit from 28 to 27.
% 15.01/15.19  
% 15.01/15.19  Resetting weight limit to 27 after 6130 givens.
% 15.01/15.19  
% 15.17/15.41  
% 15.17/15.41  
% 15.17/15.41  Changing weight limit from 27 to 28.
% 15.17/15.41  
% 15.17/15.41  Resetting weight limit to 28 after 6250 givens.
% 15.17/15.41  
% 15.25/15.42  
% 15.25/15.42  
% 15.25/15.42  Changing weight limit from 28 to 27.
% 15.25/15.42  
% 15.25/15.42  Resetting weight limit to 27 after 6255 givens.
% 15.25/15.42  
% 15.32/15.54  
% 15.32/15.54  
% 15.32/15.54  Changing weight limit from 27 to 26.
% 15.32/15.54  
% 15.32/15.54  Resetting weight limit to 26 after 6305 givens.
% 15.32/15.54  
% 15.46/15.68  
% 15.46/15.68  
% 15.46/15.68  Changing weight limit from 26 to 27.
% 15.46/15.68  
% 15.46/15.68  Resetting weight limit to 27 after 6315 givens.
% 15.46/15.68  
% 15.62/15.81  
% 15.62/15.81  
% 15.62/15.81  Changing weight limit from 27 to 26.
% 15.62/15.81  
% 15.62/15.81  Resetting weight limit to 26 after 6320 givens.
% 15.62/15.81  
% 16.17/16.36  
% 16.17/16.36  
% 16.17/16.36  Changing weight limit from 26 to 27.
% 16.17/16.36  
% 16.17/16.36  Resetting weight limit to 27 after 6340 givens.
% 16.17/16.36  
% 16.23/16.40  
% 16.23/16.40  
% 16.23/16.40  Changing weight limit from 27 to 26.
% 16.23/16.40  
% 16.23/16.40  Resetting weight limit to 26 after 6345 givens.
% 16.23/16.40  
% 16.23/16.42  
% 16.23/16.42  
% 16.23/16.42  Changing weight limit from 26 to 27.
% 16.23/16.42  
% 16.23/16.42  Resetting weight limit to 27 after 6350 givens.
% 16.23/16.42  
% 16.23/16.45  
% 16.23/16.45  
% 16.23/16.45  Changing weight limit from 27 to 26.
% 16.23/16.45  
% 16.23/16.45  Resetting weight limit to 26 after 6355 givens.
% 16.23/16.45  
% 16.81/17.02  
% 16.81/17.02  
% 16.81/17.02  Changing weight limit from 26 to 27.
% 16.81/17.02  
% 16.81/17.02  Resetting weight limit to 27 after 6415 givens.
% 16.81/17.02  
% 17.29/17.47  
% 17.29/17.47  
% 17.29/17.47  Changing weight limit from 27 to 26.
% 17.29/17.47  
% 17.29/17.47  Resetting weight limit to 26 after 6435 givens.
% 17.29/17.47  
% 17.29/17.49  
% 17.29/17.49  
% 17.29/17.49  Changing weight limit from 26 to 27.
% 17.29/17.49  
% 17.29/17.49  Resetting weight limit to 27 after 6440 givens.
% 17.29/17.49  
% 17.29/17.49  
% 17.29/17.49  
% 17.29/17.49  Changing weight limit from 27 to 26.
% 17.29/17.49  
% 17.29/17.49  Resetting weight limit to 26 after 6445 givens.
% 17.29/17.49  
% 17.29/17.51  
% 17.29/17.51  
% 17.29/17.51  Changing weight limit from 26 to 27.
% 17.29/17.51  
% 17.29/17.51  Resetting weight limit to 27 after 6460 givens.
% 17.29/17.51  
% 17.35/17.54  
% 17.35/17.54  
% 17.35/17.54  Changing weight limit from 27 to 26.
% 17.35/17.54  
% 17.35/17.54  Resetting weight limit to 26 after 6465 givens.
% 17.35/17.54  
% 17.64/17.85  
% 17.64/17.85  
% 17.64/17.85  Changing weight limit from 26 to 27.
% 17.64/17.85  
% 17.64/17.85  Resetting weight limit to 27 after 6495 givens.
% 17.64/17.85  
% 18.24/18.41  
% 18.24/18.41  
% 18.24/18.41  Changing weight limit from 27 to 28.
% 18.24/18.41  
% 18.24/18.41  Resetting weight limit to 28 after 6515 givens.
% 18.24/18.41  
% 18.31/18.54  
% 18.31/18.54  
% 18.31/18.54  Changing weight limit from 28 to 26.
% 18.31/18.54  
% 18.31/18.54  Resetting weight limit to 26 after 6520 givens.
% 18.31/18.54  
% 18.55/18.76  
% 18.55/18.76  
% 18.55/18.76  Changing weight limit from 26 to 27.
% 18.55/18.76  
% 18.55/18.76  Resetting weight limit to 27 after 6575 givens.
% 18.55/18.76  
% 18.55/18.77  
% 18.55/18.77  
% 18.55/18.77  Changing weight limit from 27 to 28.
% 18.55/18.77  
% 18.55/18.77  Resetting weight limit to 28 after 6580 givens.
% 18.55/18.77  
% 18.71/18.88  
% 18.71/18.88  
% 18.71/18.88  Changing weight limit from 28 to 29.
% 18.71/18.88  
% 18.71/18.88  Resetting weight limit to 29 after 6585 givens.
% 18.71/18.88  
% 18.76/19.00  
% 18.76/19.00  
% 18.76/19.00  Changing weight limit from 29 to 28.
% 18.76/19.00  
% 18.76/19.00  Resetting weight limit to 28 after 6590 givens.
% 18.76/19.00  
% 18.93/19.11  
% 18.93/19.11  
% 18.93/19.11  Changing weight limit from 28 to 26.
% 18.93/19.11  
% 18.93/19.11  Resetting weight limit to 26 after 6595 givens.
% 18.93/19.11  
% 19.29/19.46  
% 19.29/19.46  
% 19.29/19.46  Changing weight limit from 26 to 27.
% 19.29/19.46  
% 19.29/19.46  Resetting weight limit to 27 after 6610 givens.
% 19.29/19.46  
% 19.29/19.47  
% 19.29/19.47  
% 19.29/19.47  Changing weight limit from 27 to 26.
% 19.29/19.47  
% 19.29/19.47  Resetting weight limit to 26 after 6615 givens.
% 19.29/19.47  
% 19.33/19.53  
% 19.33/19.53  
% 19.33/19.53  Changing weight limit from 26 to 27.
% 19.33/19.53  
% 19.33/19.53  Resetting weight limit to 27 after 6635 givens.
% 19.33/19.53  
% 19.37/19.57  
% 19.37/19.57  
% 19.37/19.57  Changing weight limit from 27 to 26.
% 19.37/19.57  
% 19.37/19.57  Resetting weight limit to 26 after 6645 givens.
% 19.37/19.57  
% 19.47/19.63  
% 19.47/19.63  
% 19.47/19.63  Changing weight limit from 26 to 27.
% 19.47/19.63  
% 19.47/19.63  Resetting weight limit to 27 after 6660 givens.
% 19.47/19.63  
% 19.52/19.73  
% 19.52/19.73  
% 19.52/19.73  Changing weight limit from 27 to 28.
% 19.52/19.73  
% 19.52/19.73  Resetting weight limit to 28 after 6665 givens.
% 19.52/19.73  
% 19.60/19.79  
% 19.60/19.79  
% 19.60/19.79  Changing weight limit from 28 to 29.
% 19.60/19.79  
% 19.60/19.79  Resetting weight limit to 29 after 6670 givens.
% 19.60/19.79  
% 19.69/19.87  
% 19.69/19.87  
% 19.69/19.87  Changing weight limit from 29 to 28.
% 19.69/19.87  
% 19.69/19.87  Resetting weight limit to 28 after 6675 givens.
% 19.69/19.87  
% 19.69/19.89  
% 19.69/19.89  
% 19.69/19.89  Changing weight limit from 28 to 29.
% 19.69/19.89  
% 19.69/19.89  Resetting weight limit to 29 after 6680 givens.
% 19.69/19.89  
% 20.56/20.74  
% 20.56/20.74  
% 20.56/20.74  Changing weight limit from 29 to 28.
% 20.56/20.74  
% 20.56/20.74  Resetting weight limit to 28 after 6735 givens.
% 20.56/20.74  
% 20.59/20.80  
% 20.59/20.80  
% 20.59/20.80  Changing weight limit from 28 to 29.
% 20.59/20.80  
% 20.59/20.80  Resetting weight limit to 29 after 6750 givens.
% 20.59/20.80  
% 21.42/21.59  
% 21.42/21.59  
% 21.42/21.59  Changing weight limit from 29 to 30.
% 21.42/21.59  
% 21.42/21.59  Resetting weight limit to 30 after 6790 givens.
% 21.42/21.59  
% 21.46/21.64  
% 21.46/21.64  
% 21.46/21.64  Changing weight limit from 30 to 28.
% 21.46/21.64  
% 21.46/21.64  Resetting weight limit to 28 after 6795 givens.
% 21.46/21.64  
% 21.46/21.68  
% 21.46/21.68  
% 21.46/21.68  Changing weight limit from 28 to 29.
% 21.46/21.68  
% 21.46/21.68  Resetting weight limit to 29 after 6800 givens.
% 21.46/21.68  
% 21.54/21.71  
% 21.54/21.71  
% 21.54/21.71  Changing weight limit from 29 to 28.
% 21.54/21.71  
% 21.54/21.71  Resetting weight limit to 28 after 6805 givens.
% 21.54/21.71  
% 21.77/21.95  
% 21.77/21.95  
% 21.77/21.95  Changing weight limit from 28 to 29.
% 21.77/21.95  
% 21.77/21.95  Resetting weight limit to 29 after 6825 givens.
% 21.77/21.95  
% 22.04/22.22  
% 22.04/22.22  
% 22.04/22.22  Changing weight limit from 29 to 28.
% 22.04/22.22  
% 22.04/22.22  Resetting weight limit to 28 after 6835 givens.
% 22.04/22.22  
% 22.31/22.49  
% 22.31/22.49  
% 22.31/22.49  Changing weight limit from 28 to 29.
% 22.31/22.49  
% 22.31/22.49  Resetting weight limit to 29 after 6845 givens.
% 22.31/22.49  
% 22.46/22.64  
% 22.46/22.64  
% 22.46/22.64  Changing weight limit from 29 to 30.
% 22.46/22.64  
% 22.46/22.64  Resetting weight limit to 30 after 6850 givens.
% 22.46/22.64  
% 22.53/22.69  
% 22.53/22.69  
% 22.53/22.69  Changing weight limit from 30 to 28.
% 22.53/22.69  
% 22.53/22.69  Resetting weight limit to 28 after 6855 givens.
% 22.53/22.69  
% 22.53/22.72  
% 22.53/22.72  
% 22.53/22.72  Changing weight limit from 28 to 29.
% 22.53/22.72  
% 22.53/22.72  Resetting weight limit to 29 after 6860 givens.
% 22.53/22.72  
% 22.59/22.76  
% 22.59/22.76  
% 22.59/22.76  Changing weight limit from 29 to 28.
% 22.59/22.76  
% 22.59/22.76  Resetting weight limit to 28 after 6865 givens.
% 22.59/22.76  
% 22.77/22.94  
% 22.77/22.94  
% 22.77/22.94  Changing weight limit from 28 to 29.
% 22.77/22.94  
% 22.77/22.94  Resetting weight limit to 29 after 6885 givens.
% 22.77/22.94  
% 22.89/23.05  
% 22.89/23.05  
% 22.89/23.05  Changing weight limit from 29 to 30.
% 22.89/23.05  
% 22.89/23.05  Resetting weight limit to 30 after 6890 givens.
% 22.89/23.05  
% 22.91/23.08  
% 22.91/23.08  
% 22.91/23.08  Changing weight limit from 30 to 28.
% 22.91/23.08  
% 22.91/23.08  Resetting weight limit to 28 after 6895 givens.
% 22.91/23.08  
% 22.91/23.09  
% 22.91/23.09  
% 22.91/23.09  Changing weight limit from 28 to 29.
% 22.91/23.09  
% 22.91/23.09  Resetting weight limit to 29 after 6900 givens.
% 22.91/23.09  
% 22.91/23.10  
% 22.91/23.10  
% 22.91/23.10  Changing weight limit from 29 to 28.
% 22.91/23.10  
% 22.91/23.10  Resetting weight limit to 28 after 6905 givens.
% 22.91/23.10  
% 22.98/23.15  
% 22.98/23.15  
% 22.98/23.15  Changing weight limit from 28 to 27.
% 22.98/23.15  
% 22.98/23.15  Resetting weight limit to 27 after 6915 givens.
% 22.98/23.15  
% 23.25/23.42  
% 23.25/23.42  
% 23.25/23.42  Changing weight limit from 27 to 28.
% 23.25/23.42  
% 23.25/23.42  Resetting weight limit to 28 after 6930 givens.
% 23.25/23.42  
% 23.25/23.44  
% 23.25/23.44  
% 23.25/23.44  Changing weight limit from 28 to 27.
% 23.25/23.44  
% 23.25/23.44  Resetting weight limit to 27 after 6935 givens.
% 23.25/23.44  
% 23.28/23.46  
% 23.28/23.46  
% 23.28/23.46  Changing weight limit from 27 to 28.
% 23.28/23.46  
% 23.28/23.46  Resetting weight limit to 28 after 6940 givens.
% 23.28/23.46  
% 23.28/23.48  
% 23.28/23.48  
% 23.28/23.48  Changing weight limit from 28 to 27.
% 23.28/23.48  
% 23.28/23.48  Resetting weight limit to 27 after 6945 givens.
% 23.28/23.48  
% 23.28/23.48  
% 23.28/23.48  
% 23.28/23.48  Changing weight limit from 27 to 28.
% 23.28/23.48  
% 23.28/23.48  Resetting weight limit to 28 after 6950 givens.
% 23.28/23.48  
% 23.28/23.49  
% 23.28/23.49  
% 23.28/23.49  Changing weight limit from 28 to 29.
% 23.28/23.49  
% 23.28/23.49  Resetting weight limit to 29 after 6955 givens.
% 23.28/23.49  
% 23.28/23.50  
% 23.28/23.50  
% 23.28/23.50  Changing weight limit from 29 to 30.
% 23.28/23.50  
% 23.28/23.50  Resetting weight limit to 30 after 6960 givens.
% 23.28/23.50  
% 23.28/23.50  
% 23.28/23.50  
% 23.28/23.50  Changing weight limit from 30 to 31.
% 23.28/23.50  
% 23.28/23.50  Resetting weight limit to 31 after 6965 givens.
% 23.28/23.50  
% 23.28/23.51  
% 23.28/23.51  
% 23.28/23.51  Changing weight limit from 31 to 32.
% 23.28/23.51  
% 23.28/23.51  Resetting weight limit to 32 after 6970 givens.
% 23.28/23.51  
% 23.28/23.52  
% 23.28/23.52  
% 23.28/23.52  Changing weight limit from 32 to 29.
% 23.28/23.52  
% 23.28/23.52  Resetting weight limit to 29 after 6975 givens.
% 23.28/23.52  
% 23.41/23.58  
% 23.41/23.58  
% 23.41/23.58  Changing weight limit from 29 to 30.
% 23.41/23.58  
% 23.41/23.58  Resetting weight limit to 30 after 7005 givens.
% 23.41/23.58  
% 23.41/23.63  
% 23.41/23.63  
% 23.41/23.63  Changing weight limit from 30 to 29.
% 23.41/23.63  
% 23.41/23.63  Resetting weight limit to 29 after 7020 givens.
% 23.41/23.63  
% 23.66/23.82  
% 23.66/23.82  
% 23.66/23.82  Changing weight limit from 29 to 28.
% 23.66/23.82  
% 23.66/23.82  Resetting weight limit to 28 after 7115 givens.
% 23.66/23.82  
% 23.70/23.87  
% 23.70/23.87  
% 23.70/23.87  Changing weight limit from 28 to 29.
% 23.70/23.87  
% 23.70/23.87  Resetting weight limit to 29 after 7150 givens.
% 23.70/23.87  
% 23.70/23.89  
% 23.70/23.89  
% 23.70/23.89  Changing weight limit from 29 to 30.
% 23.70/23.89  
% 23.70/23.89  Resetting weight limit to 30 after 7155 givens.
% 23.70/23.89  
% 23.70/23.93  
% 23.70/23.93  
% 23.70/23.93  Changing weight limit from 30 to 31.
% 23.70/23.93  
% 23.70/23.93  Resetting weight limit to 31 after 7160 givens.
% 23.70/23.93  
% 23.77/23.94  
% 23.77/23.94  
% 23.77/23.94  Changing weight limit from 31 to 32.
% 23.77/23.94  
% 23.77/23.94  Resetting weight limit to 32 after 7165 givens.
% 23.77/23.94  
% 23.77/23.97  
% 23.77/23.97  
% 23.77/23.97  Changing weight limit from 32 to 31.
% 23.77/23.97  
% 23.77/23.97  Resetting weight limit to 31 after 7170 givens.
% 23.77/23.97  
% 23.95/24.13  
% 23.95/24.13  
% 23.95/24.13  Changing weight limit from 31 to 28.
% 23.95/24.13  
% 23.95/24.13  Resetting weight limit to 28 after 7195 givens.
% 23.95/24.13  
% 24.01/24.18  
% 24.01/24.18  
% 24.01/24.18  Changing weight limit from 28 to 29.
% 24.01/24.18  
% 24.01/24.18  Resetting weight limit to 29 after 7205 givens.
% 24.01/24.18  
% 24.01/24.21  
% 24.01/24.21  
% 24.01/24.21  Changing weight limit from 29 to 28.
% 24.01/24.21  
% 24.01/24.21  Resetting weight limit to 28 after 7210 givens.
% 24.01/24.21  
% 24.17/24.38  
% 24.17/24.38  
% 24.17/24.38  Changing weight limit from 28 to 29.
% 24.17/24.38  
% 24.17/24.38  Resetting weight limit to 29 after 7220 givens.
% 24.17/24.38  
% 24.30/24.52  
% 24.30/24.52  
% 24.30/24.52  Changing weight limit from 29 to 30.
% 24.30/24.52  
% 24.30/24.52  Resetting weight limit to 30 after 7225 givens.
% 24.30/24.52  
% 24.47/24.67  
% 24.47/24.67  
% 24.47/24.67  Changing weight limit from 30 to 31.
% 24.47/24.67  
% 24.47/24.67  Resetting weight limit to 31 after 7230 givens.
% 24.47/24.67  
% 24.61/24.83  
% 24.61/24.83  
% 24.61/24.83  Changing weight limit from 31 to 32.
% 24.61/24.83  
% 24.61/24.83  Resetting weight limit to 32 after 7235 givens.
% 24.61/24.83  
% 24.76/24.97  
% 24.76/24.97  
% 24.76/24.97  Changing weight limit from 32 to 33.
% 24.76/24.97  
% 24.76/24.97  Resetting weight limit to 33 after 7240 givens.
% 24.76/24.97  
% 24.91/25.11  
% 24.91/25.11  
% 24.91/25.11  Changing weight limit from 33 to 34.
% 24.91/25.11  
% 24.91/25.11  Resetting weight limit to 34 after 7245 givens.
% 24.91/25.11  
% 25.07/25.30  
% 25.07/25.30  
% 25.07/25.30  Changing weight limit from 34 to 31.
% 25.07/25.30  
% 25.07/25.30  Resetting weight limit to 31 after 7250 givens.
% 25.07/25.30  
% 25.67/25.84  
% 25.67/25.84  
% 25.67/25.84  Changing weight limit from 31 to 32.
% 25.67/25.84  
% 25.67/25.84  Resetting weight limit to 32 after 7270 givens.
% 25.67/25.84  
% 25.83/26.00  
% 25.83/26.00  
% 25.83/26.00  Changing weight limit from 32 to 31.
% 25.83/26.00  
% 25.83/26.00  Resetting weight limit to 31 after 7275 givens.
% 25.83/26.00  
% 26.07/26.25  
% 26.07/26.25  
% 26.07/26.25  Changing weight limit from 31 to 32.
% 26.07/26.25  
% 26.07/26.25  Resetting weight limit to 32 after 7325 givens.
% 26.07/26.25  
% 26.12/26.31  
% 26.12/26.31  
% 26.12/26.31  Changing weight limit from 32 to 31.
% 26.12/26.31  
% 26.12/26.31  Resetting weight limit to 31 after 7330 givens.
% 26.12/26.31  
% 27.60/27.80  
% 27.60/27.80  
% 27.60/27.80  Changing weight limit from 31 to 30.
% 27.60/27.80  
% 27.60/27.80  Resetting weight limit to 30 after 7430 givens.
% 27.60/27.80  
% 27.60/27.80  
% 27.60/27.80  
% 27.60/27.80  Changing weight limit from 30 to 31.
% 27.60/27.80  
% 27.60/27.80  Resetting weight limit to 31 after 7435 givens.
% 27.60/27.80  
% 27.60/27.83  
% 27.60/27.83  
% 27.60/27.83  Changing weight limit from 31 to 32.
% 27.60/27.83  
% 27.60/27.83  Resetting weight limit to 32 after 7440 givens.
% 27.60/27.83  
% 27.69/27.87  
% 27.69/27.87  
% 27.69/27.87  Changing weight limit from 32 to 31.
% 27.69/27.87  
% 27.69/27.87  Resetting weight limit to 31 after 7445 givens.
% 27.69/27.87  
% 27.69/27.88  
% 27.69/27.88  
% 27.69/27.88  Changing weight limit from 31 to 32.
% 27.69/27.88  
% 27.69/27.88  Resetting weight limit to 32 after 7455 givens.
% 27.69/27.88  
% 27.73/27.90  
% 27.73/27.90  
% 27.73/27.90  Changing weight limit from 32 to 31.
% 27.73/27.90  
% 27.73/27.90  Resetting weight limit to 31 after 7460 givens.
% 27.73/27.90  
% 28.07/28.24  
% 28.07/28.24  
% 28.07/28.24  Changing weight limit from 31 to 32.
% 28.07/28.24  
% 28.07/28.24  Resetting weight limit to 32 after 7545 givens.
% 28.07/28.24  
% 28.07/28.27  
% 28.07/28.27  
% 28.07/28.27  Changing weight limit from 32 to 31.
% 28.07/28.27  
% 28.07/28.27  Resetting weight limit to 31 after 7550 givens.
% 28.07/28.27  
% 28.22/28.39  
% 28.22/28.39  
% 28.22/28.39  Changing weight limit from 31 to 30.
% 28.22/28.39  
% 28.22/28.39  Resetting weight limit to 30 after 7580 givens.
% 28.22/28.39  
% 28.22/28.41  
% 28.22/28.41  
% 28.22/28.41  Changing weight limit from 30 to 31.
% 28.22/28.41  
% 28.22/28.41  Resetting weight limit to 31 after 7585 givens.
% 28.22/28.41  
% 28.22/28.43  
% 28.22/28.43  
% 28.22/28.43  Changing weight limit from 31 to 30.
% 28.22/28.43  
% 28.22/28.43  Resetting weight limit to 30 after 7590 givens.
% 28.22/28.43  
% 28.64/28.81  
% 28.64/28.81  
% 28.64/28.81  Changing weight limit from 30 to 31.
% 28.64/28.81  
% 28.64/28.81  Resetting weight limit to 31 after 7610 givens.
% 28.64/28.81  
% 28.76/28.93  
% 28.76/28.93  
% 28.76/28.93  Changing weight limit from 31 to 30.
% 28.76/28.93  
% 28.76/28.93  Resetting weight limit to 30 after 7615 givens.
% 28.76/28.93  
% 28.76/28.94  
% 28.76/28.94  
% 28.76/28.94  Changing weight limit from 30 to 31.
% 28.76/28.94  
% 28.76/28.94  Resetting weight limit to 31 after 7620 givens.
% 28.76/28.94  
% 28.76/28.95  
% 28.76/28.95  
% 28.76/28.95  Changing weight limit from 31 to 32.
% 28.76/28.95  
% 28.76/28.95  Resetting weight limit to 32 after 7630 givens.
% 28.76/28.95  
% 28.76/28.96  
% 28.76/28.96  
% 28.76/28.96  Changing weight limit from 32 to 31.
% 28.76/28.96  
% 28.76/28.96  Resetting weight limit to 31 after 7635 givens.
% 28.76/28.96  
% 28.98/29.19  
% 28.98/29.19  
% 28.98/29.19  Changing weight limit from 31 to 32.
% 28.98/29.19  
% 28.98/29.19  Resetting weight limit to 32 after 7700 givens.
% 28.98/29.19  
% 28.98/29.20  
% 28.98/29.20  
% 28.98/29.20  Changing weight limit from 32 to 31.
% 28.98/29.20  
% 28.98/29.20  Resetting weight limit to 31 after 7705 givens.
% 28.98/29.20  
% 28.98/29.23  
% 28.98/29.23  
% 28.98/29.23  Changing weight limit from 31 to 30.
% 28.98/29.23  
% 28.98/29.23  Resetting weight limit to 30 after 7720 givens.
% 28.98/29.23  
% 29.08/29.26  
% 29.08/29.26  
% 29.08/29.26  Changing weight limit from 30 to 31.
% 29.08/29.26  
% 29.08/29.26  Resetting weight limit to 31 after 7745 givens.
% 29.08/29.26  
% 29.08/29.27  
% 29.08/29.27  
% 29.08/29.27  Changing weight limit from 31 to 32.
% 29.08/29.27  
% 29.08/29.27  Resetting weight limit to 32 after 7750 givens.
% 29.08/29.27  
% 29.08/29.27  
% 29.08/29.27  
% 29.08/29.27  Changing weight limit from 32 to 31.
% 29.08/29.27  
% 29.08/29.27  Resetting weight limit to 31 after 7755 givens.
% 29.08/29.27  
% 29.14/29.35  
% 29.14/29.35  
% 29.14/29.35  Changing weight limit from 31 to 30.
% 29.14/29.35  
% 29.14/29.35  Resetting weight limit to 30 after 7765 givens.
% 29.14/29.35  
% 30.38/30.54  
% 30.38/30.54  
% 30.38/30.54  Changing weight limit from 30 to 31.
% 30.38/30.54  
% 30.38/30.54  Resetting weight limit to 31 after 7810 givens.
% 30.38/30.54  
% 30.91/31.12  
% 30.91/31.12  
% 30.91/31.12  Changing weight limit from 31 to 32.
% 30.91/31.12  
% 30.91/31.12  Resetting weight limit to 32 after 7830 givens.
% 30.91/31.12  
% 31.08/31.30  
% 31.08/31.30  
% 31.08/31.30  Changing weight limit from 32 to 31.
% 31.08/31.30  
% 31.08/31.30  Resetting weight limit to 31 after 7835 givens.
% 31.08/31.30  
% 31.08/31.32  
% 31.08/31.32  
% 31.08/31.32  Changing weight limit from 31 to 30.
% 31.08/31.32  
% 31.08/31.32  Resetting weight limit to 30 after 7840 givens.
% 31.08/31.32  
% 31.16/31.33  
% 31.16/31.33  
% 31.16/31.33  Changing weight limit from 30 to 31.
% 31.16/31.33  
% 31.16/31.33  Resetting weight limit to 31 after 7850 givens.
% 31.16/31.33  
% 31.16/31.38  
% 31.16/31.38  
% 31.16/31.38  Changing weight limit from 31 to 32.
% 31.16/31.38  
% 31.16/31.38  Resetting weight limit to 32 after 7855 givens.
% 31.16/31.38  
% 31.22/31.39  
% 31.22/31.39  
% 31.22/31.39  Changing weight limit from 32 to 30.
% 31.22/31.39  
% 31.22/31.39  Resetting weight limit to 30 after 7860 givens.
% 31.22/31.39  
% 31.22/31.43  
% 31.22/31.43  
% 31.22/31.43  Changing weight limit from 30 to 31.
% 31.22/31.43  
% 31.22/31.43  Resetting weight limit to 31 after 7870 givens.
% 31.22/31.43  
% 31.22/31.46  
% 31.22/31.46  
% 31.22/31.46  Changing weight limit from 31 to 32.
% 31.22/31.46  
% 31.22/31.46  Resetting weight limit to 32 after 7875 givens.
% 31.22/31.46  
% 31.36/31.53  
% 31.36/31.53  
% 31.36/31.53  Changing weight limit from 32 to 30.
% 31.36/31.53  
% 31.36/31.53  Resetting weight limit to 30 after 7885 givens.
% 31.36/31.53  
% 31.36/31.56  
% 31.36/31.56  
% 31.36/31.56  Changing weight limit from 30 to 31.
% 31.36/31.56  
% 31.36/31.56  Resetting weight limit to 31 after 7895 givens.
% 31.36/31.56  
% 31.36/31.60  
% 31.36/31.60  
% 31.36/31.60  Changing weight limit from 31 to 32.
% 31.36/31.60  
% 31.36/31.60  Resetting weight limit to 32 after 7900 givens.
% 31.36/31.60  
% 31.44/31.62  
% 31.44/31.62  
% 31.44/31.62  Changing weight limit from 32 to 30.
% 31.44/31.62  
% 31.44/31.62  Resetting weight limit to 30 after 7905 givens.
% 31.44/31.62  
% 31.68/31.92  
% 31.68/31.92  
% 31.68/31.92  Changing weight limit from 30 to 31.
% 31.68/31.92  
% 31.68/31.92  Resetting weight limit to 31 after 7915 givens.
% 31.68/31.92  
% 31.94/32.10  
% 31.94/32.10  
% 31.94/32.10  Changing weight limit from 31 to 30.
% 31.94/32.10  
% 31.94/32.10  Resetting weight limit to 30 after 7920 givens.
% 31.94/32.10  
% 32.58/32.74  
% 32.58/32.74  
% 32.58/32.74  Changing weight limit from 30 to 31.
% 32.58/32.74  
% 32.58/32.74  Resetting weight limit to 31 after 7940 givens.
% 32.58/32.74  
% 32.73/32.90  
% 32.73/32.90  
% 32.73/32.90  Changing weight limit from 31 to 30.
% 32.73/32.90  
% 32.73/32.90  Resetting weight limit to 30 after 7945 givens.
% 32.73/32.90  
% 32.73/32.92  
% 32.73/32.92  
% 32.73/32.92  Changing weight limit from 30 to 31.
% 32.73/32.92  
% 32.73/32.92  Resetting weight limit to 31 after 7955 givens.
% 32.73/32.92  
% 32.73/32.94  
% 32.73/32.94  
% 32.73/32.94  Changing weight limit from 31 to 32.
% 32.73/32.94  
% 32.73/32.94  Resetting weight limit to 32 after 7960 givens.
% 32.73/32.94  
% 32.80/32.97  
% 32.80/32.97  
% 32.80/32.97  Changing weight limit from 32 to 31.
% 32.80/32.97  
% 32.80/32.97  Resetting weight limit to 31 after 7965 givens.
% 32.80/32.97  
% 32.82/33.00  
% 32.82/33.00  
% 32.82/33.00  Changing weight limit from 31 to 30.
% 32.82/33.00  
% 32.82/33.00  Resetting weight limit to 30 after 7970 givens.
% 32.82/33.00  
% 32.86/33.04  
% 32.86/33.04  
% 32.86/33.04  Changing weight limit from 30 to 29.
% 32.86/33.04  
% 32.86/33.04  Resetting weight limit to 29 after 7975 givens.
% 32.86/33.04  
% 32.86/33.04  
% 32.86/33.04  
% 32.86/33.04  Changing weight limit from 29 to 30.
% 32.86/33.04  
% 32.86/33.04  Resetting weight limit to 30 after 7980 givens.
% 32.86/33.04  
% 32.89/33.08  
% 32.89/33.08  
% 32.89/33.08  Changing weight limit from 30 to 31.
% 32.89/33.08  
% 32.89/33.08  Resetting weight limit to 31 after 7985 givens.
% 32.89/33.08  
% 32.89/33.09  
% 32.89/33.09  
% 32.89/33.09  Changing weight limit from 31 to 29.
% 32.89/33.09  
% 32.89/33.09  Resetting weight limit to 29 after 7990 givens.
% 32.89/33.09  
% 32.89/33.12  
% 32.89/33.12  
% 32.89/33.12  Changing weight limit from 29 to 30.
% 32.89/33.12  
% 32.89/33.12  Resetting weight limit to 30 after 8000 givens.
% 32.89/33.12  
% 32.97/33.16  
% 32.97/33.16  
% 32.97/33.16  Changing weight limit from 30 to 31.
% 32.97/33.16  
% 32.97/33.16  Resetting weight limit to 31 after 8005 givens.
% 32.97/33.16  
% 33.02/33.19  
% 33.02/33.19  
% 33.02/33.19  Changing weight limit from 31 to 29.
% 33.02/33.19  
% 33.02/33.19  Resetting weight limit to 29 after 8010 givens.
% 33.02/33.19  
% 33.02/33.21  
% 33.02/33.21  
% 33.02/33.21  Changing weight limit from 29 to 30.
% 33.02/33.21  
% 33.02/33.21  Resetting weight limit to 30 after 8020 givens.
% 33.02/33.21  
% 33.09/33.26  
% 33.09/33.26  
% 33.09/33.26  Changing weight limit from 30 to 31.
% 33.09/33.26  
% 33.09/33.26  Resetting weight limit to 31 after 8025 givens.
% 33.09/33.26  
% 33.11/33.27  
% 33.11/33.27  
% 33.11/33.27  Changing weight limit from 31 to 29.
% 33.11/33.27  
% 33.11/33.27  Resetting weight limit to 29 after 8030 givens.
% 33.11/33.27  
% 33.11/33.29  
% 33.11/33.29  
% 33.11/33.29  Changing weight limit from 29 to 30.
% 33.11/33.29  
% 33.11/33.29  Resetting weight limit to 30 after 8040 givens.
% 33.11/33.29  
% 33.11/33.31  
% 33.11/33.31  
% 33.11/33.31  Changing weight limit from 30 to 31.
% 33.11/33.31  
% 33.11/33.31  Resetting weight limit to 31 after 8045 givens.
% 33.11/33.31  
% 33.19/33.35  
% 33.19/33.35  
% 33.19/33.35  Changing weight limit from 31 to 32.
% 33.19/33.35  
% 33.19/33.35  Resetting weight limit to 32 after 8050 givens.
% 33.19/33.35  
% 33.19/33.39  
% 33.19/33.39  
% 33.19/33.39  Changing weight limit from 32 to 29.
% 33.19/33.39  
% 33.19/33.39  Resetting weight limit to 29 after 8055 givens.
% 33.19/33.39  
% 33.19/33.40  
% 33.19/33.40  
% 33.19/33.40  Changing weight limit from 29 to 30.
% 33.19/33.40  
% 33.19/33.40  Resetting weight limit to 30 after 8065 givens.
% 33.19/33.40  
% 33.27/33.43  
% 33.27/33.43  
% 33.27/33.43  Changing weight limit from 30 to 31.
% 33.27/33.43  
% 33.27/33.43  Resetting weight limit to 31 after 8070 givens.
% 33.27/33.43  
% 33.27/33.45  
% 33.27/33.45  
% 33.27/33.45  Changing weight limit from 31 to 29.
% 33.27/33.45  
% 33.27/33.45  Resetting weight limit to 29 after 8075 givens.
% 33.27/33.45  
% 33.33/33.49  
% 33.33/33.49  
% 33.33/33.49  Changing weight limit from 29 to 30.
% 33.33/33.49  
% 33.33/33.49  Resetting weight limit to 30 after 8085 givens.
% 33.33/33.49  
% 33.33/33.53  
% 33.33/33.53  
% 33.33/33.53  Changing weight limit from 30 to 31.
% 33.33/33.53  
% 33.33/33.53  Resetting weight limit to 31 after 8090 givens.
% 33.33/33.53  
% 33.33/33.54  
% 33.33/33.54  
% 33.33/33.54  Changing weight limit from 31 to 29.
% 33.33/33.54  
% 33.33/33.54  Resetting weight limit to 29 after 8095 givens.
% 33.33/33.54  
% 33.40/33.56  
% 33.40/33.56  
% 33.40/33.56  Changing weight limit from 29 to 30.
% 33.40/33.56  
% 33.40/33.56  Resetting weight limit to 30 after 8105 givens.
% 33.40/33.56  
% 33.42/33.62  
% 33.42/33.62  
% 33.42/33.62  Changing weight limit from 30 to 31.
% 33.42/33.62  
% 33.42/33.62  Resetting weight limit to 31 after 8110 givens.
% 33.42/33.62  
% 33.47/33.65  
% 33.47/33.65  
% 33.47/33.65  Changing weight limit from 31 to 29.
% 33.47/33.65  
% 33.47/33.65  Resetting weight limit to 29 after 8115 givens.
% 33.47/33.65  
% 33.49/33.66  
% 33.49/33.66  
% 33.49/33.66  Changing weight limit from 29 to 30.
% 33.49/33.66  
% 33.49/33.66  Resetting weight limit to 30 after 8125 givens.
% 33.49/33.66  
% 33.49/33.68  
% 33.49/33.68  
% 33.49/33.68  Changing weight limit from 30 to 31.
% 33.49/33.68  
% 33.49/33.68  Resetting weight limit to 31 after 8130 givens.
% 33.49/33.68  
% 33.49/33.71  
% 33.49/33.71  
% 33.49/33.71  Changing weight limit from 31 to 29.
% 33.49/33.71  
% 33.49/33.71  Resetting weight limit to 29 after 8140 givens.
% 33.49/33.71  
% 33.56/33.73  
% 33.56/33.73  
% 33.56/33.73  Changing weight limit from 29 to 30.
% 33.56/33.73  
% 33.56/33.73  Resetting weight limit to 30 after 8150 givens.
% 33.56/33.73  
% 33.60/33.77  
% 33.60/33.77  
% 33.60/33.77  Changing weight limit from 30 to 31.
% 33.60/33.77  
% 33.60/33.77  Resetting weight limit to 31 after 8155 givens.
% 33.60/33.77  
% 33.60/33.78  
% 33.60/33.78  
% 33.60/33.78  Changing weight limit from 31 to 29.
% 33.60/33.78  
% 33.60/33.78  Resetting weight limit to 29 after 8160 givens.
% 33.60/33.78  
% 33.60/33.80  
% 33.60/33.80  
% 33.60/33.80  Changing weight limit from 29 to 30.
% 33.60/33.80  
% 33.60/33.80  Resetting weight limit to 30 after 8170 givens.
% 33.60/33.80  
% 33.60/33.84  
% 33.60/33.84  
% 33.60/33.84  Changing weight limit from 30 to 31.
% 33.60/33.84  
% 33.60/33.84  Resetting weight limit to 31 after 8175 givens.
% 33.60/33.84  
% 33.69/33.85  
% 33.69/33.85  
% 33.69/33.85  Changing weight limit from 31 to 29.
% 33.69/33.85  
% 33.69/33.85  Resetting weight limit to 29 after 8180 givens.
% 33.69/33.85  
% 33.72/33.88  
% 33.72/33.88  
% 33.72/33.88  Changing weight limit from 29 to 30.
% 33.72/33.88  
% 33.72/33.88  Resetting weight limit to 30 after 8190 givens.
% 33.72/33.88  
% 33.72/33.92  
% 33.72/33.92  
% 33.72/33.92  Changing weight limit from 30 to 31.
% 33.72/33.92  
% 33.72/33.92  Resetting weight limit to 31 after 8195 givens.
% 33.72/33.92  
% 33.77/33.94  
% 33.77/33.94  
% 33.77/33.94  Changing weight limit from 31 to 29.
% 33.77/33.94  
% 33.77/33.94  Resetting weight limit to 29 after 8200 givens.
% 33.77/33.94  
% 33.80/33.96  
% 33.80/33.96  
% 33.80/33.96  Changing weight limit from 29 to 30.
% 33.80/33.96  
% 33.80/33.96  Resetting weight limit to 30 after 8210 givens.
% 33.80/33.96  
% 33.80/33.97  
% 33.80/33.97  
% 33.80/33.97  Changing weight limit from 30 to 31.
% 33.80/33.97  
% 33.80/33.97  Resetting weight limit to 31 after 8215 givens.
% 33.80/33.97  
% 33.80/34.01  
% 33.80/34.01  
% 33.80/34.01  Changing weight limit from 31 to 32.
% 33.80/34.01  
% 33.80/34.01  Resetting weight limit to 32 after 8220 givens.
% 33.80/34.01  
% 33.86/34.04  
% 33.86/34.04  
% 33.86/34.04  Changing weight limit from 32 to 29.
% 33.86/34.04  
% 33.86/34.04  Resetting weight limit to 29 after 8225 givens.
% 33.86/34.04  
% 33.86/34.06  
% 33.86/34.06  
% 33.86/34.06  Changing weight limit from 29 to 30.
% 33.86/34.06  
% 33.86/34.06  Resetting weight limit to 30 after 8235 givens.
% 33.86/34.06  
% 33.86/34.06  
% 33.86/34.06  
% 33.86/34.06  Changing weight limit from 30 to 31.
% 33.86/34.06  
% 33.86/34.06  Resetting weight limit to 31 after 8240 givens.
% 33.86/34.06  
% 33.92/34.09  
% 33.92/34.09  
% 33.92/34.09  Changing weight limit from 31 to 32.
% 33.92/34.09  
% 33.92/34.09  Resetting weight limit to 32 after 8245 givens.
% 33.92/34.09  
% 33.92/34.10  
% 33.92/34.10  
% 33.92/34.10  Changing weight limit from 32 to 31.
% 33.92/34.10  
% 33.92/34.10  Resetting weight limit to 31 after 8250 givens.
% 33.92/34.10  
% 33.92/34.11  
% 33.92/34.11  
% 33.92/34.11  Changing weight limit from 31 to 30.
% 33.92/34.11  
% 33.92/34.11  Resetting weight limit to 30 after 8255 givens.
% 33.92/34.11  
% 33.92/34.15  
% 33.92/34.15  
% 33.92/34.15  Changing weight limit from 30 to 31.
% 33.92/34.15  
% 33.92/34.15  Resetting weight limit to 31 after 8270 givens.
% 33.92/34.15  
% 34.00/34.19  
% 34.00/34.19  
% 34.00/34.19  Changing weight limit from 31 to 32.
% 34.00/34.19  
% 34.00/34.19  Resetting weight limit to 32 after 8275 givens.
% 34.00/34.19  
% 34.03/34.20  
% 34.03/34.20  
% 34.03/34.20  Changing weight limit from 32 to 30.
% 34.03/34.20  
% 34.03/34.20  Resetting weight limit to 30 after 8280 givens.
% 34.03/34.20  
% 34.08/34.25  
% 34.08/34.25  
% 34.08/34.25  Changing weight limit from 30 to 31.
% 34.08/34.25  
% 34.08/34.25  Resetting weight limit to 31 after 8305 givens.
% 34.08/34.25  
% 34.08/34.29  
% 34.08/34.29  
% 34.08/34.29  Changing weight limit from 31 to 32.
% 34.08/34.29  
% 34.08/34.29  Resetting weight limit to 32 after 8310 givens.
% 34.08/34.29  
% 34.08/34.30  
% 34.08/34.30  
% 34.08/34.30  Changing weight limit from 32 to 30.
% 34.08/34.30  
% 34.08/34.30  Resetting weight limit to 30 after 8315 givens.
% 34.08/34.30  
% 34.15/34.34  
% 34.15/34.34  
% 34.15/34.34  Changing weight limit from 30 to 31.
% 34.15/34.34  
% 34.15/34.34  Resetting weight limit to 31 after 8325 givens.
% 34.15/34.34  
% 34.22/34.38  
% 34.22/34.38  
% 34.22/34.38  Changing weight limit from 31 to 32.
% 34.22/34.38  
% 34.22/34.38  Resetting weight limit to 32 after 8330 givens.
% 34.22/34.38  
% 34.22/34.41  
% 34.22/34.41  
% 34.22/34.41  Changing weight limit from 32 to 30.
% 34.22/34.41  
% 34.22/34.41  Resetting weight limit to 30 after 8340 givens.
% 34.22/34.41  
% 34.22/34.43  
% 34.22/34.43  
% 34.22/34.43  Changing weight limit from 30 to 31.
% 34.22/34.43  
% 34.22/34.43  Resetting weight limit to 31 after 8350 givens.
% 34.22/34.43  
% 34.31/34.46  
% 34.31/34.46  
% 34.31/34.46  Changing weight limit from 31 to 32.
% 34.31/34.46  
% 34.31/34.46  Resetting weight limit to 32 after 8355 givens.
% 34.31/34.46  
% 34.31/34.47  
% 34.31/34.47  
% 34.31/34.47  Changing weight limit from 32 to 30.
% 34.31/34.47  
% 34.31/34.47  Resetting weight limit to 30 after 8360 givens.
% 34.31/34.47  
% 34.34/34.50  
% 34.34/34.50  
% 34.34/34.50  Changing weight limit from 30 to 31.
% 34.34/34.50  
% 34.34/34.50  Resetting weight limit to 31 after 8370 givens.
% 34.34/34.50  
% 34.38/34.53  
% 34.38/34.53  
% 34.38/34.53  Changing weight limit from 31 to 32.
% 34.38/34.53  
% 34.38/34.53  Resetting weight limit to 32 after 8375 givens.
% 34.38/34.53  
% 34.39/34.56  
% 34.39/34.56  
% 34.39/34.56  Changing weight limit from 32 to 30.
% 34.39/34.56  
% 34.39/34.56  Resetting weight limit to 30 after 8380 givens.
% 34.39/34.56  
% 34.39/34.58  
% 34.39/34.58  
% 34.39/34.58  Changing weight limit from 30 to 31.
% 34.39/34.58  
% 34.39/34.58  Resetting weight limit to 31 after 8390 givens.
% 34.39/34.58  
% 34.47/34.62  
% 34.47/34.62  
% 34.47/34.62  Changing weight limit from 31 to 32.
% 34.47/34.62  
% 34.47/34.62  Resetting weight limit to 32 after 8395 givens.
% 34.47/34.62  
% 34.47/34.64  
% 34.47/34.64  
% 34.47/34.64  Changing weight limit from 32 to 29.
% 34.47/34.64  
% 34.47/34.64  Resetting weight limit to 29 after 8400 givens.
% 34.47/34.64  
% 34.47/34.66  
% 34.47/34.66  
% 34.47/34.66  Changing weight limit from 29 to 30.
% 34.47/34.66  
% 34.47/34.66  Resetting weight limit to 30 after 8410 givens.
% 34.47/34.66  
% 34.47/34.67  
% 34.47/34.67  
% 34.47/34.67  Changing weight limit from 30 to 31.
% 34.47/34.67  
% 34.47/34.67  Resetting weight limit to 31 after 8415 givens.
% 34.47/34.67  
% 34.53/34.71  
% 34.53/34.71  
% 34.53/34.71  Changing weight limit from 31 to 32.
% 34.53/34.71  
% 34.53/34.71  Resetting weight limit to 32 after 8420 givens.
% 34.53/34.71  
% 34.53/34.73  
% 34.53/34.73  
% 34.53/34.73  Changing weight limit from 32 to 29.
% 34.53/34.73  
% 34.53/34.73  Resetting weight limit to 29 after 8425 givens.
% 34.53/34.73  
% 34.53/34.74  
% 34.53/34.74  
% 34.53/34.74  Changing weight limit from 29 to 30.
% 34.53/34.74  
% 34.53/34.74  Resetting weight limit to 30 after 8435 givens.
% 34.53/34.74  
% 34.53/34.77  
% 34.53/34.77  
% 34.53/34.77  Changing weight limit from 30 to 31.
% 34.53/34.77  
% 34.53/34.77  Resetting weight limit to 31 after 8440 givens.
% 34.53/34.77  
% 34.64/34.79  
% 34.64/34.79  
% 34.64/34.79  Changing weight limit from 31 to 32.
% 34.64/34.79  
% 34.64/34.79  Resetting weight limit to 32 after 8445 givens.
% 34.64/34.79  
% 34.64/34.81  
% 34.64/34.81  
% 34.64/34.81  Changing weight limit from 32 to 31.
% 34.64/34.81  
% 34.64/34.81  Resetting weight limit to 31 after 8450 givens.
% 34.64/34.81  
% 34.67/34.82  
% 34.67/34.82  
% 34.67/34.82  Changing weight limit from 31 to 30.
% 34.67/34.82  
% 34.67/34.82  Resetting weight limit to 30 after 8455 givens.
% 34.67/34.82  
% 34.68/34.89  
% 34.68/34.89  
% 34.68/34.89  Changing weight limit from 30 to 31.
% 34.68/34.89  
% 34.68/34.89  Resetting weight limit to 31 after 8485 givens.
% 34.68/34.89  
% 34.76/34.92  
% 34.76/34.92  
% 34.76/34.92  Changing weight limit from 31 to 32.
% 34.76/34.92  
% 34.76/34.92  Resetting weight limit to 32 after 8490 givens.
% 34.76/34.92  
% 34.76/34.94  
% 34.76/34.94  
% 34.76/34.94  Changing weight limit from 32 to 30.
% 34.76/34.94  
% 34.76/34.94  Resetting weight limit to 30 after 8495 givens.
% 34.76/34.94  
% 34.83/35.05  
% 34.83/35.05  
% 34.83/35.05  Changing weight limit from 30 to 31.
% 34.83/35.05  
% 34.83/35.05  Resetting weight limit to 31 after 8530 givens.
% 34.83/35.05  
% 34.95/35.09  
% 34.95/35.09  
% 34.95/35.09  Changing weight limit from 31 to 32.
% 34.95/35.09  
% 34.95/35.09  Resetting weight limit to 32 after 8535 givens.
% 34.95/35.09  
% 34.95/35.10  
% 34.95/35.10  
% 34.95/35.10  Changing weight limit from 32 to 30.
% 34.95/35.10  
% 34.95/35.10  Resetting weight limit to 30 after 8540 givens.
% 34.95/35.10  
% 34.99/35.20  
% 34.99/35.20  
% 34.99/35.20  Changing weight limit from 30 to 31.
% 34.99/35.20  
% 34.99/35.20  Resetting weight limit to 31 after 8570 givens.
% 34.99/35.20  
% 34.99/35.21  
% 34.99/35.21  
% 34.99/35.21  Changing weight limit from 31 to 32.
% 34.99/35.21  
% 34.99/35.21  Resetting weight limit to 32 after 8575 givens.
% 34.99/35.21  
% 35.07/35.26  
% 35.07/35.26  
% 35.07/35.26  Changing weight limit from 32 to 30.
% 35.07/35.26  
% 35.07/35.26  Resetting weight limit to 30 after 8585 givens.
% 35.07/35.26  
% 35.14/35.37  
% 35.14/35.37  
% 35.14/35.37  Changing weight limit from 30 to 31.
% 35.14/35.37  
% 35.14/35.37  Resetting weight limit to 31 after 8625 givens.
% 35.14/35.37  
% 35.22/35.40  
% 35.22/35.40  
% 35.22/35.40  Changing weight limit from 31 to 32.
% 35.22/35.40  
% 35.22/35.40  Resetting weight limit to 32 after 8630 givens.
% 35.22/35.40  
% 35.26/35.41  
% 35.26/35.41  
% 35.26/35.41  Changing weight limit from 32 to 30.
% 35.26/35.41  
% 35.26/35.41  Resetting weight limit to 30 after 8635 givens.
% 35.26/35.41  
% 36.28/36.47  
% 36.28/36.47  
% 36.28/36.47  Changing weight limit from 30 to 31.
% 36.28/36.47  
% 36.28/36.47  Resetting weight limit to 31 after 9160 givens.
% 36.28/36.47  
% 36.33/36.50  
% 36.33/36.50  
% 36.33/36.50  Changing weight limit from 31 to 32.
% 36.33/36.50  
% 36.33/36.50  Resetting weight limit to 32 after 9165 givens.
% 36.33/36.50  
% 36.33/36.53  
% 36.33/36.53  
% 36.33/36.53  Changing weight limit from 32 to 33.
% 36.33/36.53  
% 36.33/36.53  Resetting weight limit to 33 after 9170 givens.
% 36.33/36.53  
% 36.33/36.53  
% 36.33/36.53  
% 36.33/36.53  Changing weight limit from 33 to 34.
% 36.33/36.53  
% 36.33/36.53  Resetting weight limit to 34 after 9175 givens.
% 36.33/36.53  
% 36.39/36.56  
% 36.39/36.56  
% 36.39/36.56  Changing weight limit from 34 to 35.
% 36.39/36.56  
% 36.39/36.56  Resetting weight limit to 35 after 9180 givens.
% 36.39/36.56  
% 36.41/36.61  
% 36.41/36.61  
% 36.41/36.61  Changing weight limit from 35 to 33.
% 36.41/36.61  
% 36.41/36.61  Resetting weight limit to 33 after 9185 givens.
% 36.41/36.61  
% 36.47/36.62  
% 36.47/36.62  
% 36.47/36.62  Changing weight limit from 33 to 34.
% 36.47/36.62  
% 36.47/36.62  Resetting weight limit to 34 after 9190 givens.
% 36.47/36.62  
% 36.47/36.64  
% 36.47/36.64  
% 36.47/36.64  Changing weight limit from 34 to 33.
% 36.47/36.64  
% 36.47/36.64  Resetting weight limit to 33 after 9195 givens.
% 36.47/36.64  
% 36.47/36.65  
% 36.47/36.65  
% 36.47/36.65  Changing weight limit from 33 to 34.
% 36.47/36.65  
% 36.47/36.65  Resetting weight limit to 34 after 9200 givens.
% 36.47/36.65  
% 36.51/36.68  
% 36.51/36.68  
% 36.51/36.68  Changing weight limit from 34 to 33.
% 36.51/36.68  
% 36.51/36.68  Resetting weight limit to 33 after 9205 givens.
% 36.51/36.68  
% 36.51/36.71  
% 36.51/36.71  
% 36.51/36.71  Changing weight limit from 33 to 34.
% 36.51/36.71  
% 36.51/36.71  Resetting weight limit to 34 after 9210 givens.
% 36.51/36.71  
% 36.51/36.72  
% 36.51/36.72  
% 36.51/36.72  Changing weight limit from 34 to 33.
% 36.51/36.72  
% 36.51/36.72  Resetting weight limit to 33 after 9215 givens.
% 36.51/36.72  
% 36.51/36.73  
% 36.51/36.73  
% 36.51/36.73  Changing weight limit from 33 to 34.
% 36.51/36.73  
% 36.51/36.73  Resetting weight limit to 34 after 9225 givens.
% 36.51/36.73  
% 36.63/36.80  
% 36.63/36.80  
% 36.63/36.80  Changing weight limit from 34 to 33.
% 36.63/36.80  
% 36.63/36.80  Resetting weight limit to 33 after 9230 givens.
% 36.63/36.80  
% 36.63/36.81  
% 36.63/36.81  
% 36.63/36.81  Changing weight limit from 33 to 34.
% 36.63/36.81  
% 36.63/36.81  Resetting weight limit to 34 after 9235 givens.
% 36.63/36.81  
% 36.63/36.83  
% 36.63/36.83  
% 36.63/36.83  Changing weight limit from 34 to 33.
% 36.63/36.83  
% 36.63/36.83  Resetting weight limit to 33 after 9240 givens.
% 36.63/36.83  
% 36.71/36.86  
% 36.71/36.86  
% 36.71/36.86  Changing weight limit from 33 to 34.
% 36.71/36.86  
% 36.71/36.86  Resetting weight limit to 34 after 9245 givens.
% 36.71/36.86  
% 36.73/36.88  
% 36.73/36.88  
% 36.73/36.88  Changing weight limit from 34 to 33.
% 36.73/36.88  
% 36.73/36.88  Resetting weight limit to 33 after 9250 givens.
% 36.73/36.88  
% 36.73/36.91  
% 36.73/36.91  
% 36.73/36.91  Changing weight limit from 33 to 34.
% 36.73/36.91  
% 36.73/36.91  Resetting weight limit to 34 after 9255 givens.
% 36.73/36.91  
% 36.73/36.92  
% 36.73/36.92  
% 36.73/36.92  Changing weight limit from 34 to 33.
% 36.73/36.92  
% 36.73/36.92  Resetting weight limit to 33 after 9260 givens.
% 36.73/36.92  
% 36.78/36.93  
% 36.78/36.93  
% 36.78/36.93  Changing weight limit from 33 to 34.
% 36.78/36.93  
% 36.78/36.93  Resetting weight limit to 34 after 9270 givens.
% 36.78/36.93  
% 36.80/36.97  
% 36.80/36.97  
% 36.80/36.97  Changing weight limit from 34 to 33.
% 36.80/36.97  
% 36.80/36.97  Resetting weight limit to 33 after 9275 givens.
% 36.80/36.97  
% 36.80/36.98  
% 36.80/36.98  
% 36.80/36.98  Changing weight limit from 33 to 34.
% 36.80/36.98  
% 36.80/36.98  Resetting weight limit to 34 after 9280 givens.
% 36.80/36.98  
% 36.80/36.98  
% 36.80/36.98  
% 36.80/36.98  Changing weight limit from 34 to 33.
% 36.80/36.98  
% 36.80/36.98  Resetting weight limit to 33 after 9285 givens.
% 36.80/36.98  
% 36.80/37.01  
% 36.80/37.01  
% 36.80/37.01  Changing weight limit from 33 to 34.
% 36.80/37.01  
% 36.80/37.01  Resetting weight limit to 34 after 9290 givens.
% 36.80/37.01  
% 36.87/37.03  
% 36.87/37.03  
% 36.87/37.03  Changing weight limit from 34 to 33.
% 36.87/37.03  
% 36.87/37.03  Resetting weight limit to 33 after 9295 givens.
% 36.87/37.03  
% 36.92/37.08  
% 36.92/37.08  
% 36.92/37.08  Changing weight limit from 33 to 34.
% 36.92/37.08  
% 36.92/37.08  Resetting weight limit to 34 after 9300 givens.
% 36.92/37.08  
% 36.92/37.11  
% 36.92/37.11  
% 36.92/37.11  Changing weight limit from 34 to 33.
% 36.92/37.11  
% 36.92/37.11  Resetting weight limit to 33 after 9305 givens.
% 36.92/37.11  
% 37.00/37.15  
% 37.00/37.15  
% 37.00/37.15  Changing weight limit from 33 to 34.
% 37.00/37.15  
% 37.00/37.15  Resetting weight limit to 34 after 9315 givens.
% 37.00/37.15  
% 37.03/37.19  
% 37.03/37.19  
% 37.03/37.19  Changing weight limit from 34 to 33.
% 37.03/37.19  
% 37.03/37.19  Resetting weight limit to 33 after 9320 givens.
% 37.03/37.19  
% 37.03/37.19  
% 37.03/37.19  
% 37.03/37.19  Changing weight limit from 33 to 34.
% 37.03/37.19  
% 37.03/37.19  Resetting weight limit to 34 after 9325 givens.
% 37.03/37.19  
% 37.03/37.20  
% 37.03/37.20  
% 37.03/37.20  Changing weight limit from 34 to 33.
% 37.03/37.20  
% 37.03/37.20  Resetting weight limit to 33 after 9330 givens.
% 37.03/37.20  
% 37.03/37.21  
% 37.03/37.21  
% 37.03/37.21  Changing weight limit from 33 to 34.
% 37.03/37.21  
% 37.03/37.21  Resetting weight limit to 34 after 9335 givens.
% 37.03/37.21  
% 37.03/37.23  
% 37.03/37.23  
% 37.03/37.23  Changing weight limit from 34 to 33.
% 37.03/37.23  
% 37.03/37.23  Resetting weight limit to 33 after 9340 givens.
% 37.03/37.23  
% 37.08/37.25  
% 37.08/37.25  
% 37.08/37.25  Changing weight limit from 33 to 34.
% 37.08/37.25  
% 37.08/37.25  Resetting weight limit to 34 after 9345 givens.
% 37.08/37.25  
% 37.11/37.28  
% 37.11/37.28  
% 37.11/37.28  Changing weight limit from 34 to 33.
% 37.11/37.28  
% 37.11/37.28  Resetting weight limit to 33 after 9350 givens.
% 37.11/37.28  
% 37.11/37.31  
% 37.11/37.31  
% 37.11/37.31  Changing weight limit from 33 to 34.
% 37.11/37.31  
% 37.11/37.31  Resetting weight limit to 34 after 9360 givens.
% 37.11/37.31  
% 37.17/37.37  
% 37.17/37.37  
% 37.17/37.37  Changing weight limit from 34 to 33.
% 37.17/37.37  
% 37.17/37.37  Resetting weight limit to 33 after 9365 givens.
% 37.17/37.37  
% 37.23/37.38  
% 37.23/37.38  
% 37.23/37.38  Changing weight limit from 33 to 34.
% 37.23/37.38  
% 37.23/37.38  Resetting weight limit to 34 after 9370 givens.
% 37.23/37.38  
% 37.23/37.41  
% 37.23/37.41  
% 37.23/37.41  Changing weight limit from 34 to 33.
% 37.23/37.41  
% 37.23/37.41  Resetting weight limit to 33 after 9375 givens.
% 37.23/37.41  
% 37.23/37.42  
% 37.23/37.42  
% 37.23/37.42  Changing weight limit from 33 to 34.
% 37.23/37.42  
% 37.23/37.42  Resetting weight limit to 34 after 9380 givens.
% 37.23/37.42  
% 37.23/37.44  
% 37.23/37.44  
% 37.23/37.44  Changing weight limit from 34 to 33.
% 37.23/37.44  
% 37.23/37.44  Resetting weight limit to 33 after 9385 givens.
% 37.23/37.44  
% 37.31/37.46  
% 37.31/37.46  
% 37.31/37.46  Changing weight limit from 33 to 34.
% 37.31/37.46  
% 37.31/37.46  Resetting weight limit to 34 after 9390 givens.
% 37.31/37.46  
% 37.31/37.47  
% 37.31/37.47  
% 37.31/37.47  Changing weight limit from 34 to 33.
% 37.31/37.47  
% 37.31/37.47  Resetting weight limit to 33 after 9395 givens.
% 37.31/37.47  
% 37.31/37.48  
% 37.31/37.48  
% 37.31/37.48  Changing weight limit from 33 to 34.
% 37.31/37.48  
% 37.31/37.48  Resetting weight limit to 34 after 9405 givens.
% 37.31/37.48  
% 37.38/37.53  
% 37.38/37.53  
% 37.38/37.53  Changing weight limit from 34 to 33.
% 37.38/37.53  
% 37.38/37.53  Resetting weight limit to 33 after 9410 givens.
% 37.38/37.53  
% 37.39/37.54  
% 37.39/37.54  
% 37.39/37.54  Changing weight limit from 33 to 34.
% 37.39/37.54  
% 37.39/37.54  Resetting weight limit to 34 after 9415 givens.
% 37.39/37.54  
% 37.39/37.56  
% 37.39/37.56  
% 37.39/37.56  Changing weight limit from 34 to 33.
% 37.39/37.56  
% 37.39/37.56  Resetting weight limit to 33 after 9420 givens.
% 37.39/37.56  
% 37.39/37.59  
% 37.39/37.59  
% 37.39/37.59  Changing weight limit from 33 to 34.
% 37.39/37.59  
% 37.39/37.59  Resetting weight limit to 34 after 9425 givens.
% 37.39/37.59  
% 37.46/37.60  
% 37.46/37.60  
% 37.46/37.60  Changing weight limit from 34 to 33.
% 37.46/37.60  
% 37.46/37.60  Resetting weight limit to 33 after 9430 givens.
% 37.46/37.60  
% 37.46/37.64  
% 37.46/37.64  
% 37.46/37.64  Changing weight limit from 33 to 34.
% 37.46/37.64  
% 37.46/37.64  Resetting weight limit to 34 after 9435 givens.
% 37.46/37.64  
% 37.46/37.65  
% 37.46/37.65  
% 37.46/37.65  Changing weight limit from 34 to 33.
% 37.46/37.65  
% 37.46/37.65  Resetting weight limit to 33 after 9440 givens.
% 37.46/37.65  
% 37.46/37.66  
% 37.46/37.66  
% 37.46/37.66  Changing weight limit from 33 to 34.
% 37.46/37.66  
% 37.46/37.66  Resetting weight limit to 34 after 9450 givens.
% 37.46/37.66  
% 37.52/37.70  
% 37.52/37.70  
% 37.52/37.70  Changing weight limit from 34 to 33.
% 37.52/37.70  
% 37.52/37.70  Resetting weight limit to 33 after 9455 givens.
% 37.52/37.70  
% 37.52/37.70  
% 37.52/37.70  
% 37.52/37.70  Changing weight limit from 33 to 34.
% 37.52/37.70  
% 37.52/37.70  Resetting weight limit to 34 after 9460 givens.
% 37.52/37.70  
% 37.52/37.71  
% 37.52/37.71  
% 37.52/37.71  Changing weight limit from 34 to 33.
% 37.52/37.71  
% 37.52/37.71  Resetting weight limit to 33 after 9465 givens.
% 37.52/37.71  
% 37.52/37.73  
% 37.52/37.73  
% 37.52/37.73  Changing weight limit from 33 to 34.
% 37.52/37.73  
% 37.52/37.73  Resetting weight limit to 34 after 9470 givens.
% 37.52/37.73  
% 37.52/37.75  
% 37.52/37.75  
% 37.52/37.75  Changing weight limit from 34 to 33.
% 37.52/37.75  
% 37.52/37.75  Resetting weight limit to 33 after 9475 givens.
% 37.52/37.75  
% 37.61/37.79  
% 37.61/37.79  
% 37.61/37.79  Changing weight limit from 33 to 34.
% 37.61/37.79  
% 37.61/37.79  Resetting weight limit to 34 after 9480 givens.
% 37.61/37.79  
% 37.64/37.81  
% 37.64/37.81  
% 37.64/37.81  Changing weight limit from 34 to 33.
% 37.64/37.81  
% 37.64/37.81  Resetting weight limit to 33 after 9485 givens.
% 37.64/37.81  
% 37.69/37.84  
% 37.69/37.84  
% 37.69/37.84  Changing weight limit from 33 to 34.
% 37.69/37.84  
% 37.69/37.84  Resetting weight limit to 34 after 9495 givens.
% 37.69/37.84  
% 37.69/37.88  
% 37.69/37.88  
% 37.69/37.88  Changing weight limit from 34 to 33.
% 37.69/37.88  
% 37.69/37.88  Resetting weight limit to 33 after 9500 givens.
% 37.69/37.88  
% 37.69/37.88  
% 37.69/37.88  
% 37.69/37.88  Changing weight limit from 33 to 34.
% 37.69/37.88  
% 37.69/37.88  Resetting weight limit to 34 after 9505 givens.
% 37.69/37.88  
% 37.69/37.89  
% 37.69/37.89  
% 37.69/37.89  Changing weight limit from 34 to 33.
% 37.69/37.89  
% 37.69/37.89  Resetting weight limit to 33 after 9510 givens.
% 37.69/37.89  
% 37.69/37.91  
% 37.69/37.91  
% 37.69/37.91  Changing weight limit from 33 to 34.
% 37.69/37.91  
% 37.69/37.91  Resetting weight limit to 34 after 9515 givens.
% 37.69/37.91  
% 37.98/38.17  
% 37.98/38.17  
% 37.98/38.17  Changing weight limit from 34 to 33.
% 37.98/38.17  
% 37.98/38.17  Resetting weight limit to 33 after 9565 givens.
% 37.98/38.17  
% 38.45/38.61  
% 38.45/38.61  
% 38.45/38.61  Changing weight limit from 33 to 31.
% 38.45/38.61  
% 38.45/38.61  Resetting weight limit to 31 after 9670 givens.
% 38.45/38.61  
% 38.67/38.86  
% 38.67/38.86  
% 38.67/38.86  Changing weight limit from 31 to 32.
% 38.67/38.86  
% 38.67/38.86  Resetting weight limit to 32 after 9735 givens.
% 38.67/38.86  
% 38.67/38.87  
% 38.67/38.87  
% 38.67/38.87  Changing weight limit from 32 to 33.
% 38.67/38.87  
% 38.67/38.87  Resetting weight limit to 33 after 9740 givens.
% 38.67/38.87  
% 38.67/38.89  
% 38.67/38.89  
% 38.67/38.89  Changing weight limit from 33 to 31.
% 38.67/38.89  
% 38.67/38.89  Resetting weight limit to 31 after 9745 givens.
% 38.67/38.89  
% 38.75/38.89  
% 38.75/38.89  
% 38.75/38.89  Changing weight limit from 31 to 32.
% 38.75/38.89  
% 38.75/38.89  Resetting weight limit to 32 after 9750 givens.
% 38.75/38.89  
% 38.75/38.90  
% 38.75/38.90  
% 38.75/38.90  Changing weight limit from 32 to 33.
% 38.75/38.90  
% 38.75/38.90  Resetting weight limit to 33 after 9755 givens.
% 38.75/38.90  
% 38.75/38.92  
% 38.75/38.92  
% 38.75/38.92  Changing weight limit from 33 to 31.
% 38.75/38.92  
% 38.75/38.92  Resetting weight limit to 31 after 9760 givens.
% 38.75/38.92  
% 38.83/38.98  
% 38.83/38.98  
% 38.83/38.98  Changing weight limit from 31 to 32.
% 38.83/38.98  
% 38.83/38.98  Resetting weight limit to 32 after 9770 givens.
% 38.83/38.98  
% 38.86/39.02  
% 38.86/39.02  
% 38.86/39.02  Changing weight limit from 32 to 33.
% 38.86/39.02  
% 38.86/39.02  Resetting weight limit to 33 after 9775 givens.
% 38.86/39.02  
% 38.86/39.03  
% 38.86/39.03  
% 38.86/39.03  Changing weight limit from 33 to 31.
% 38.86/39.03  
% 38.86/39.03  Resetting weight limit to 31 after 9780 givens.
% 38.86/39.03  
% 38.99/39.13  
% 38.99/39.13  
% 38.99/39.13  Changing weight limit from 31 to 32.
% 38.99/39.13  
% 38.99/39.13  Resetting weight limit to 32 after 9800 givens.
% 38.99/39.13  
% 39.11/39.29  
% 39.11/39.29  
% 39.11/39.29  Changing weight limit from 32 to 33.
% 39.11/39.29  
% 39.11/39.29  Resetting weight limit to 33 after 9805 givens.
% 39.11/39.29  
% 39.28/39.45  
% 39.28/39.45  
% 39.28/39.45  Changing weight limit from 33 to 34.
% 39.28/39.45  
% 39.28/39.45  Resetting weight limit to 34 after 9810 givens.
% 39.28/39.45  
% 41.74/41.94  
% 41.74/41.94  
% 41.74/41.94  Changing weight limit from 34 to 31.
% 41.74/41.94  
% 41.74/41.94  Resetting weight limit to 31 after 9900 givens.
% 41.74/41.94  
% 41.87/42.09  
% 41.87/42.09  
% 41.87/42.09  Changing weight limit from 31 to 32.
% 41.87/42.09  
% 41.87/42.09  Resetting weight limit to 32 after 9905 givens.
% 41.87/42.09  
% 42.05/42.25  
% 42.05/42.25  
% 42.05/42.25  Changing weight limit from 32 to 33.
% 42.05/42.25  
% 42.05/42.25  Resetting weight limit to 33 after 9910 givens.
% 42.05/42.25  
% 42.19/42.41  
% 42.19/42.41  
% 42.19/42.41  Changing weight limit from 33 to 34.
% 42.19/42.41  
% 42.19/42.41  Resetting weight limit to 34 after 9915 givens.
% 42.19/42.41  
% 43.10/43.32  
% 43.10/43.32  
% 43.10/43.32  Changing weight limit from 34 to 31.
% 43.10/43.32  
% 43.10/43.32  Resetting weight limit to 31 after 9950 givens.
% 43.10/43.32  
% 43.30/43.47  
% 43.30/43.47  
% 43.30/43.47  Changing weight limit from 31 to 32.
% 43.30/43.47  
% 43.30/43.47  Resetting weight limit to 32 after 9955 givens.
% 43.30/43.47  
% 43.47/43.63  
% 43.47/43.63  
% 43.47/43.63  Changing weight limit from 32 to 33.
% 43.47/43.63  
% 43.47/43.63  Resetting weight limit to 33 after 9960 givens.
% 43.47/43.63  
% 43.63/43.79  
% 43.63/43.79  
% 43.63/43.79  Changing weight limit from 33 to 34.
% 43.63/43.79  
% 43.63/43.79  Resetting weight limit to 34 after 9965 givens.
% 43.63/43.79  
% 43.94/44.11  
% 43.94/44.11  
% 43.94/44.11  Changing weight limit from 34 to 35.
% 43.94/44.11  
% 43.94/44.11  Resetting weight limit to 35 after 9985 givens.
% 43.94/44.11  
% 43.94/44.12  
% 43.94/44.12  
% 43.94/44.12  Changing weight limit from 35 to 34.
% 43.94/44.12  
% 43.94/44.12  Resetting weight limit to 34 after 9990 givens.
% 43.94/44.12  
% 43.99/44.19  
% 43.99/44.19  
% 43.99/44.19  Changing weight limit from 34 to 35.
% 43.99/44.19  
% 43.99/44.19  Resetting weight limit to 35 after 10045 givens.
% 43.99/44.19  
% 43.99/44.19  
% 43.99/44.19  
% 43.99/44.19  Changing weight limit from 35 to 34.
% 43.99/44.19  
% 43.99/44.19  Resetting weight limit to 34 after 10050 givens.
% 43.99/44.19  
% 46.11/46.26  
% 46.11/46.26  
% 46.11/46.26  Changing weight limit from 34 to 33.
% 46.11/46.26  
% 46.11/46.26  Resetting weight limit to 33 after 10070 givens.
% 46.11/46.26  
% 48.79/49.03  
% 48.79/49.03  
% 48.79/49.03  Changing weight limit from 33 to 31.
% 48.79/49.03  
% 48.79/49.03  Resetting weight limit to 31 after 10100 givens.
% 48.79/49.03  
% 52.32/52.49  
% 52.32/52.49  
% 52.32/52.49  Changing weight limit from 31 to 32.
% 52.32/52.49  
% 52.32/52.49  Resetting weight limit to 32 after 10150 givens.
% 52.32/52.49  
% 52.36/52.50  
% 52.36/52.50  
% 52.36/52.50  Changing weight limit from 32 to 33.
% 52.36/52.50  
% 52.36/52.50  Resetting weight limit to 33 after 10155 givens.
% 52.36/52.50  
% 52.36/52.52  
% 52.36/52.52  
% 52.36/52.52  Changing weight limit from 33 to 34.
% 52.36/52.52  
% 52.36/52.52  Resetting weight limit to 34 after 10160 givens.
% 52.36/52.52  
% 52.36/52.53  
% 52.36/52.53  
% 52.36/52.53  Changing weight limit from 34 to 35.
% 52.36/52.53  
% 52.36/52.53  Resetting weight limit to 35 after 10165 givens.
% 52.36/52.53  
% 52.39/52.54  
% 52.39/52.54  
% 52.39/52.54  Changing weight limit from 35 to 33.
% 52.39/52.54  
% 52.39/52.54  Resetting weight limit to 33 after 10170 givens.
% 52.39/52.54  
% 53.84/54.00  
% 53.84/54.00  
% 53.84/54.00  Changing weight limit from 33 to 34.
% 53.84/54.00  
% 53.84/54.00  Resetting weight limit to 34 after 10370 givens.
% 53.84/54.00  
% 59.73/59.93  
% 59.73/59.93  
% 59.73/59.93  Changing weight limit from 34 to 33.
% 59.73/59.93  
% 59.73/59.93  Resetting weight limit to 33 after 10535 givens.
% 59.73/59.93  
% 59.81/59.96  
% 59.81/59.96  
% 59.81/59.96  Changing weight limit from 33 to 34.
% 59.81/59.96  
% 59.81/59.96  Resetting weight limit to 34 after 10540 givens.
% 59.81/59.96  
% 67.53/67.68  
% 67.53/67.68  
% 67.53/67.68  Changing weight limit from 34 to 35.
% 67.53/67.68  
% 67.53/67.68  Resetting weight limit to 35 after 11560 givens.
% 67.53/67.68  
% 67.53/67.70  
% 67.53/67.70  
% 67.53/67.70  Changing weight limit from 35 to 36.
% 67.53/67.70  
% 67.53/67.70  Resetting weight limit to 36 after 11565 givens.
% 67.53/67.70  
% 67.53/67.71  
% 67.53/67.71  
% 67.53/67.71  Changing weight limit from 36 to 35.
% 67.53/67.71  
% 67.53/67.71  Resetting weight limit to 35 after 11570 givens.
% 67.53/67.71  
% 68.15/68.36  
% 68.15/68.36  
% 68.15/68.36  Changing weight limit from 35 to 36.
% 68.15/68.36  
% 68.15/68.36  Resetting weight limit to 36 after 11845 givens.
% 68.15/68.36  
% 69.78/69.95  
% 69.78/69.95  
% 69.78/69.95  Changing weight limit from 36 to 37.
% 69.78/69.95  
% 69.78/69.95  Resetting weight limit to 37 after 12375 givens.
% 69.78/69.95  
% 70.61/70.79  
% 70.61/70.79  
% 70.61/70.79  Changing weight limit from 37 to 36.
% 70.61/70.79  
% 70.61/70.79  Resetting weight limit to 36 after 12720 givens.
% 70.61/70.79  
% 70.97/71.16  
% 70.97/71.16  
% 70.97/71.16  Changing weight limit from 36 to 37.
% 70.97/71.16  
% 70.97/71.16  Resetting weight limit to 37 after 12920 givens.
% 70.97/71.16  
% 71.05/71.27  
% 71.05/71.27  
% 71.05/71.27  Changing weight limit from 37 to 36.
% 71.05/71.27  
% 71.05/71.27  Resetting weight limit to 36 after 12925 givens.
% 71.05/71.27  
% 71.75/71.95  
% 71.75/71.95  
% 71.75/71.95  Changing weight limit from 36 to 37.
% 71.75/71.95  
% 71.75/71.95  Resetting weight limit to 37 after 12960 givens.
% 71.75/71.95  
% 71.89/72.11  
% 71.89/72.11  
% 71.89/72.11  Changing weight limit from 37 to 38.
% 71.89/72.11  
% 71.89/72.11  Resetting weight limit to 38 after 13020 givens.
% 71.89/72.11  
% 72.19/72.36  
% 72.19/72.36  
% 72.19/72.36  Changing weight limit from 38 to 39.
% 72.19/72.36  
% 72.19/72.36  Resetting weight limit to 39 after 13105 givens.
% 72.19/72.36  
% 72.29/72.48  
% 72.29/72.48  
% 72.29/72.48  Changing weight limit from 39 to 38.
% 72.29/72.48  
% 72.29/72.48  Resetting weight limit to 38 after 13160 givens.
% 72.29/72.48  
% 72.43/72.61  
% 72.43/72.61  
% 72.43/72.61  Changing weight limit from 38 to 39.
% 72.43/72.61  
% 72.43/72.61  Resetting weight limit to 39 after 13250 givens.
% 72.43/72.61  
% 73.03/73.22  
% 73.03/73.22  
% 73.03/73.22  Changing weight limit from 39 to 40.
% 73.03/73.22  
% 73.03/73.22  Resetting weight limit to 40 after 13445 givens.
% 73.03/73.22  
% 73.08/73.23  
% 73.08/73.23  
% 73.08/73.23  Changing weight limit from 40 to 41.
% 73.08/73.23  
% 73.08/73.23  Resetting weight limit to 41 after 13450 givens.
% 73.08/73.23  
% 73.08/73.24  
% 73.08/73.24  
% 73.08/73.24  Changing weight limit from 41 to 40.
% 73.08/73.24  
% 73.08/73.24  Resetting weight limit to 40 after 13455 givens.
% 73.08/73.24  
% 73.33/73.50  
% 73.33/73.50  
% 73.33/73.50  Changing weight limit from 40 to 39.
% 73.33/73.50  
% 73.33/73.50  Resetting weight limit to 39 after 13560 givens.
% 73.33/73.50  
% 74.13/74.31  
% 74.13/74.31  
% 74.13/74.31  Changing weight limit from 39 to 40.
% 74.13/74.31  
% 74.13/74.31  Resetting weight limit to 40 after 14110 givens.
% 74.13/74.31  
% 74.24/74.41  
% 74.24/74.41  
% 74.24/74.41  Changing weight limit from 40 to 41.
% 74.24/74.41  
% 74.24/74.41  Resetting weight limit to 41 after 14140 givens.
% 74.24/74.41  
% 74.27/74.44  
% 74.27/74.44  
% 74.27/74.44  Changing weight limit from 41 to 42.
% 74.27/74.44  
% 74.27/74.44  Resetting weight limit to 42 after 14145 givens.
% 74.27/74.44  
% 74.27/74.46  
% 74.27/74.46  
% 74.27/74.46  Changing weight limit from 42 to 41.
% 74.27/74.46  
% 74.27/74.46  Resetting weight limit to 41 after 14150 givens.
% 74.27/74.46  
% 76.23/76.42  
% 76.23/76.42  
% 76.23/76.42  Changing weight limit from 41 to 42.
% 76.23/76.42  
% 76.23/76.42  Resetting weight limit to 42 after 14905 givens.
% 76.23/76.42  
% 76.23/76.44  
% 76.23/76.44  
% 76.23/76.44  Changing weight limit from 42 to 43.
% 76.23/76.44  
% 76.23/76.44  Resetting weight limit to 43 after 14910 givens.
% 76.23/76.44  
% 76.31/76.46  
% 76.31/76.46  
% 76.31/76.46  Changing weight limit from 43 to 42.
% 76.31/76.46  
% 76.31/76.46  Resetting weight limit to 42 after 14915 givens.
% 76.31/76.46  
% 76.47/76.63  
% 76.47/76.63  
% 76.47/76.63  Changing weight limit from 42 to 41.
% 76.47/76.63  
% 76.47/76.63  Resetting weight limit to 41 after 14975 givens.
% 76.47/76.63  
% 77.43/77.63  
% 77.43/77.63  
% 77.43/77.63  Changing weight limit from 41 to 42.
% 77.43/77.63  
% 77.43/77.63  Resetting weight limit to 42 after 15465 givens.
% 77.43/77.63  
% 77.43/77.65  
% 77.43/77.65  
% 77.43/77.65  Changing weight limit from 42 to 43.
% 77.43/77.65  
% 77.43/77.65  Resetting weight limit to 43 after 15470 givens.
% 77.43/77.65  
% 77.43/77.67  
% 77.43/77.67  
% 77.43/77.67  Changing weight limit from 43 to 44.
% 77.43/77.67  
% 77.43/77.67  Resetting weight limit to 44 after 15475 givens.
% 77.43/77.67  
% 77.52/77.69  
% 77.52/77.69  
% 77.52/77.69  Changing weight limit from 44 to 43.
% 77.52/77.69  
% 77.52/77.69  Resetting weight limit to 43 after 15480 givens.
% 77.52/77.69  
% 77.73/77.93  
% 77.73/77.93  
% 77.73/77.93  Changing weight limit from 43 to 44.
% 77.73/77.93  
% 77.73/77.93  Resetting weight limit to 44 after 15530 givens.
% 77.73/77.93  
% 77.73/77.95  
% 77.73/77.95  
% 77.73/77.95  Changing weight limit from 44 to 45.
% 77.73/77.95  
% 77.73/77.95  Resetting weight limit to 45 after 15535 givens.
% 77.73/77.95  
% 77.82/77.97  
% 77.82/77.97  
% 77.82/77.97  Changing weight limit from 45 to 44.
% 77.82/77.97  
% 77.82/77.97  Resetting weight limit to 44 after 15540 givens.
% 77.82/77.97  
% 78.17/78.41  
% 78.17/78.41  
% 78.17/78.41  Changing weight limit from 44 to 43.
% 78.17/78.41  
% 78.17/78.41  Resetting weight limit to 43 after 15670 givens.
% 78.17/78.41  
% 78.34/78.57  
% 78.34/78.57  
% 78.34/78.57  Changing weight limit from 43 to 44.
% 78.34/78.57  
% 78.34/78.57  Resetting weight limit to 44 after 15755 givens.
% 78.34/78.57  
% 78.43/78.59  
% 78.43/78.59  
% 78.43/78.59  Changing weight limit from 44 to 45.
% 78.43/78.59  
% 78.43/78.59  Resetting weight limit to 45 after 15760 givens.
% 78.43/78.59  
% 78.47/78.62  
% 78.47/78.62  
% 78.47/78.62  Changing weight limit from 45 to 46.
% 78.47/78.62  
% 78.47/78.62  Resetting weight limit to 46 after 15765 givens.
% 78.47/78.62  
% 78.49/78.65  
% 78.49/78.65  
% 78.49/78.65  Changing weight limit from 46 to 47.
% 78.49/78.65  
% 78.49/78.65  Resetting weight limit to 47 after 15770 givens.
% 78.49/78.65  
% 78.49/78.68  
% 78.49/78.68  
% 78.49/78.68  Changing weight limit from 47 to 45.
% 78.49/78.68  
% 78.49/78.68  Resetting weight limit to 45 after 15775 givens.
% 78.49/78.68  
% 79.81/79.96  
% 79.81/79.96  
% 79.81/79.96  Changing weight limit from 45 to 44.
% 79.81/79.96  
% 79.81/79.96  Resetting weight limit to 44 after 16115 givens.
% 79.81/79.96  
% 80.72/80.89  
% 80.72/80.89  
% 80.72/80.89  Changing weight limit from 44 to 45.
% 80.72/80.89  
% 80.72/80.89  Resetting weight limit to 45 after 16615 givens.
% 80.72/80.89  
% 80.72/80.92  
% 80.72/80.92  
% 80.72/80.92  Changing weight limit from 45 to 46.
% 80.72/80.92  
% 80.72/80.92  Resetting weight limit to 46 after 16620 givens.
% 80.72/80.92  
% 80.72/80.95  
% 80.72/80.95  
% 80.72/80.95  Changing weight limit from 46 to 47.
% 80.72/80.95  
% 80.72/80.95  Resetting weight limit to 47 after 16625 givens.
% 80.72/80.95  
% 80.83/80.97  
% 80.83/80.97  
% 80.83/80.97  Changing weight limit from 47 to 48.
% 80.83/80.97  
% 80.83/80.97  Resetting weight limit to 48 after 16630 givens.
% 80.83/80.97  
% 80.85/81.00  
% 80.85/81.00  
% 80.85/81.00  Changing weight limit from 48 to 46.
% 80.85/81.00  
% 80.85/81.00  Resetting weight limit to 46 after 16635 givens.
% 80.85/81.00  
% 80.88/81.06  
% 80.88/81.06  
% 80.88/81.06  Changing weight limit from 46 to 45.
% 80.88/81.06  
% 80.88/81.06  Resetting weight limit to 45 after 16655 givens.
% 80.88/81.06  
% 83.01/83.20  
% 83.01/83.20  
% 83.01/83.20  Changing weight limit from 45 to 46.
% 83.01/83.20  
% 83.01/83.20  Resetting weight limit to 46 after 17365 givens.
% 83.01/83.20  
% 83.07/83.23  
% 83.07/83.23  
% 83.07/83.23  Changing weight limit from 46 to 47.
% 83.07/83.23  
% 83.07/83.23  Resetting weight limit to 47 after 17370 givens.
% 83.07/83.23  
% 83.07/83.25  
% 83.07/83.25  
% 83.07/83.25  Changing weight limit from 47 to 48.
% 83.07/83.25  
% 83.07/83.25  Resetting weight limit to 48 after 17375 givens.
% 83.07/83.25  
% 83.11/83.28  
% 83.11/83.28  
% 83.11/83.28  Changing weight limit from 48 to 47.
% 83.11/83.28  
% 83.11/83.28  Resetting weight limit to 47 after 17380 givens.
% 83.11/83.28  
% 83.31/83.49  
% 83.31/83.49  
% 83.31/83.49  Changing weight limit from 47 to 46.
% 83.31/83.49  
% 83.31/83.49  Resetting weight limit to 46 after 17420 givens.
% 83.31/83.49  
% 85.54/85.71  
% 85.54/85.71  
% 85.54/85.71  Changing weight limit from 46 to 47.
% 85.54/85.71  
% 85.54/85.71  Resetting weight limit to 47 after 17970 givens.
% 85.54/85.71  
% 85.54/85.71  
% 85.54/85.71  
% 85.54/85.71  Changing weight limit from 47 to 48.
% 85.54/85.71  
% 85.54/85.71  Resetting weight limit to 48 after 17975 givens.
% 85.54/85.71  
% 85.54/85.72  
% 85.54/85.72  
% 85.54/85.72  Changing weight limit from 48 to 49.
% 85.54/85.72  
% 85.54/85.72  Resetting weight limit to 49 after 17980 givens.
% 85.54/85.72  
% 85.54/85.73  
% 85.54/85.73  
% 85.54/85.73  Changing weight limit from 49 to 50.
% 85.54/85.73  
% 85.54/85.73  Resetting weight limit to 50 after 17985 givens.
% 85.54/85.73  
% 85.54/85.73  
% 85.54/85.73  
% 85.54/85.73  Changing weight limit from 50 to 51.
% 85.54/85.73  
% 85.54/85.73  Resetting weight limit to 51 after 17990 givens.
% 85.54/85.73  
% 85.54/85.74  
% 85.54/85.74  
% 85.54/85.74  Changing weight limit from 51 to 52.
% 85.54/85.74  
% 85.54/85.74  Resetting weight limit to 52 after 17995 givens.
% 85.54/85.74  
% 85.54/85.75  
% 85.54/85.75  
% 85.54/85.75  Changing weight limit from 52 to 49.
% 85.54/85.75  
% 85.54/85.75  Resetting weight limit to 49 after 18000 givens.
% 85.54/85.75  
% 85.78/85.93  
% 85.78/85.93  
% 85.78/85.93  Changing weight limit from 49 to 48.
% 85.78/85.93  
% 85.78/85.93  Resetting weight limit to 48 after 18050 givens.
% 85.78/85.93  
% 86.59/86.75  
% 86.59/86.75  
% 86.59/86.75  Changing weight limit from 48 to 49.
% 86.59/86.75  
% 86.59/86.75  Resetting weight limit to 49 after 18255 givens.
% 86.59/86.75  
% 90.31/90.46  
% 90.31/90.46  
% 90.31/90.46  Changing weight limit from 49 to 50.
% 90.31/90.46  
% 90.31/90.46  Resetting weight limit to 50 after 19115 givens.
% 90.31/90.46  
% 93.20/93.39  
% 93.20/93.39  
% 93.20/93.39  Changing weight limit from 50 to 51.
% 93.20/93.39  
% 93.20/93.39  Resetting weight limit to 51 after 19870 givens.
% 93.20/93.39  
% 96.51/96.65  
% 96.51/96.65  
% 96.51/96.65  Changing weight limit from 51 to 52.
% 96.51/96.65  
% 96.51/96.65  Resetting weight limit to 52 after 20470 givens.
% 96.51/96.65  
% 96.51/96.66  
% 96.51/96.66  
% 96.51/96.66  Changing weight limit from 52 to 53.
% 96.51/96.66  
% 96.51/96.66  Resetting weight limit to 53 after 20475 givens.
% 96.51/96.66  
% 98.08/98.22  
% 98.08/98.22  
% 98.08/98.22  Changing weight limit from 53 to 54.
% 98.08/98.22  
% 98.08/98.22  Resetting weight limit to 54 after 20760 givens.
% 98.08/98.22  
% 102.73/102.89  
% 102.73/102.89  
% 102.73/102.89  Changing weight limit from 54 to 55.
% 102.73/102.89  
% 102.73/102.89  Resetting weight limit to 55 after 21620 givens.
% 102.73/102.89  
% 105.23/105.38  
% 105.23/105.38  
% 105.23/105.38  Changing weight limit from 55 to 56.
% 105.23/105.38  
% 105.23/105.38  Resetting weight limit to 56 after 22370 givens.
% 105.23/105.38  
% 105.24/105.40  
% 105.24/105.40  
% 105.24/105.40  Changing weight limit from 56 to 57.
% 105.24/105.40  
% 105.24/105.40  Resetting weight limit to 57 after 22375 givens.
% 105.24/105.40  
% 105.30/105.44  
% 105.30/105.44  
% 105.30/105.44  Changing weight limit from 57 to 56.
% 105.30/105.44  
% 105.30/105.44  Resetting weight limit to 56 after 22380 givens.
% 105.30/105.44  
% 108.00/108.21  
% 108.00/108.21  
% 108.00/108.21  Changing weight limit from 56 to 57.
% 108.00/108.21  
% 108.00/108.21  Resetting weight limit to 57 after 22975 givens.
% 108.00/108.21  
% 108.07/108.22  
% 108.07/108.22  
% 108.07/108.22  Changing weight limit from 57 to 58.
% 108.07/108.22  
% 108.07/108.22  Resetting weight limit to 58 after 22980 givens.
% 108.07/108.22  
% 108.07/108.26  
% 108.07/108.26  
% 108.07/108.26  Changing weight limit from 58 to 59.
% 108.07/108.26  
% 108.07/108.26  Resetting weight limit to 59 after 22985 givens.
% 108.07/108.26  
% 108.07/108.28  
% 108.07/108.28  
% 108.07/108.28  Changing weight limit from 59 to 58.
% 108.07/108.28  
% 108.07/108.28  Resetting weight limit to 58 after 22990 givens.
% 108.07/108.28  
% 109.33/109.52  
% 109.33/109.52  
% 109.33/109.52  Changing weight limit from 58 to 59.
% 109.33/109.52  
% 109.33/109.52  Resetting weight limit to 59 after 23260 givens.
% 109.33/109.52  
% 109.40/109.55  
% 109.40/109.55  
% 109.40/109.55  Changing weight limit from 59 to 60.
% 109.40/109.55  
% 109.40/109.55  Resetting weight limit to 60 after 23265 givens.
% 109.40/109.55  
% 109.43/109.59  
% 109.43/109.59  
% 109.43/109.59  Changing weight limit from 60 to 59.
% 109.43/109.59  
% 109.43/109.59  Resetting weight limit to 59 after 23270 givens.
% 109.43/109.59  
% 113.22/113.42  
% 113.22/113.42  
% 113.22/113.42  Changing weight limit from 59 to 60.
% 113.22/113.42  
% 113.22/113.42  Resetting weight limit to 60 after 24120 givens.
% 113.22/113.42  
% 120.39/120.57  
% 120.39/120.57  Search stopped because sos empty.
% 120.39/120.57  
% 120.39/120.57  
% 120.39/120.57  Search stopped because sos empty.
% 120.39/120.57  
% 120.39/120.57  ============ end of search ============
% 120.39/120.57  
% 120.39/120.57  ----------- soft-scott stats ----------
% 120.39/120.57  
% 120.39/120.57  true clauses given       24570      (89.8%)
% 120.39/120.57  false clauses given       2795
% 120.39/120.57  
% 120.39/120.57        FALSE     TRUE
% 120.39/120.57  tot:  0         0      (-nan% true)
% 120.39/120.57  
% 120.39/120.57  
% 120.39/120.57  Model 3 [ 1 2 8609 ] (0.01 seconds, 250000 Inserts)
% 120.39/120.57  
% 120.39/120.57  Process 25428 finished Sat Jul  2 11:22:54 2022
%------------------------------------------------------------------------------