TSTP Solution File: FLD050-3 by SOS---2.0

View Problem - Process Solution

%------------------------------------------------------------------------------
% File     : SOS---2.0
% Problem  : FLD050-3 : TPTP v8.1.0. Bugfixed v2.1.0.
% Transfm  : none
% Format   : tptp:raw
% Command  : sos-script %s

% Computer : n027.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 : Sat Jul 16 02:27:51 EDT 2022

% Result   : Timeout 286.54s 286.70s
% Output   : None 
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12  % Problem  : FLD050-3 : TPTP v8.1.0. Bugfixed v2.1.0.
% 0.03/0.12  % Command  : sos-script %s
% 0.13/0.33  % Computer : n027.cluster.edu
% 0.13/0.33  % Model    : x86_64 x86_64
% 0.13/0.33  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33  % Memory   : 8042.1875MB
% 0.13/0.33  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33  % CPULimit : 300
% 0.13/0.33  % WCLimit  : 600
% 0.13/0.33  % DateTime : Mon Jun  6 11:24:54 EDT 2022
% 0.13/0.33  % CPUTime  : 
% 0.19/0.35  ----- Otter 3.2, August 2001 -----
% 0.19/0.35  The process was started by sandbox2 on n027.cluster.edu,
% 0.19/0.35  Mon Jun  6 11:24:54 2022
% 0.19/0.35  The command was "./sos".  The process ID is 31523.
% 0.19/0.35  
% 0.19/0.35  set(prolog_style_variables).
% 0.19/0.35  set(auto).
% 0.19/0.35     dependent: set(auto1).
% 0.19/0.35     dependent: set(process_input).
% 0.19/0.35     dependent: clear(print_kept).
% 0.19/0.35     dependent: clear(print_new_demod).
% 0.19/0.35     dependent: clear(print_back_demod).
% 0.19/0.35     dependent: clear(print_back_sub).
% 0.19/0.35     dependent: set(control_memory).
% 0.19/0.35     dependent: assign(max_mem, 12000).
% 0.19/0.35     dependent: assign(pick_given_ratio, 4).
% 0.19/0.35     dependent: assign(stats_level, 1).
% 0.19/0.35     dependent: assign(pick_semantic_ratio, 3).
% 0.19/0.35     dependent: assign(sos_limit, 5000).
% 0.19/0.35     dependent: assign(max_weight, 60).
% 0.19/0.35  clear(print_given).
% 0.19/0.35  
% 0.19/0.35  list(usable).
% 0.19/0.35  
% 0.19/0.35  SCAN INPUT: prop=0, horn=0, equality=0, symmetry=0, max_lits=5.
% 0.19/0.35  
% 0.19/0.35  This is a non-Horn set without equality.  The strategy
% 0.19/0.35  will be ordered hyper_res, ur_res, unit deletion, and
% 0.19/0.35  factoring, with satellites in sos and nuclei in usable.
% 0.19/0.35  
% 0.19/0.35     dependent: set(hyper_res).
% 0.19/0.35     dependent: set(factor).
% 0.19/0.35     dependent: set(unit_deletion).
% 0.19/0.35  
% 0.19/0.35  ------------> process usable:
% 0.19/0.35  
% 0.19/0.35  ------------> process sos:
% 0.19/0.35  
% 0.19/0.35  ======= end of input processing =======
% 0.19/0.45  
% 0.19/0.45  Model 1 (0.00 seconds, 0 Inserts)
% 0.19/0.45  
% 0.19/0.45  Stopped by limit on number of solutions
% 0.19/0.45  
% 0.19/0.45  
% 0.19/0.45  -------------- Softie stats --------------
% 0.19/0.45  
% 0.19/0.45  UPDATE_STOP: 300
% 0.19/0.45  SFINDER_TIME_LIMIT: 2
% 0.19/0.45  SHORT_CLAUSE_CUTOFF: 4
% 0.19/0.45  number of clauses in intial UL: 50
% 0.19/0.45  number of clauses initially in problem: 57
% 0.19/0.45  percentage of clauses intially in UL: 87
% 0.19/0.45  percentage of distinct symbols occuring in initial UL: 100
% 0.19/0.45  percent of all initial clauses that are short: 100
% 0.19/0.45  absolute distinct symbol count: 14
% 0.19/0.45     distinct predicate count: 4
% 0.19/0.45     distinct function count: 4
% 0.19/0.45     distinct constant count: 6
% 0.19/0.45  
% 0.19/0.45  ---------- no more Softie stats ----------
% 0.19/0.45  
% 0.19/0.45  
% 0.19/0.45  
% 0.19/0.45  Model 2 (0.00 seconds, 0 Inserts)
% 0.19/0.45  
% 0.19/0.45  Stopped by limit on number of solutions
% 0.19/0.45  
% 0.19/0.45  =========== start of search ===========
% 3.01/3.21  
% 3.01/3.21  
% 3.01/3.21  Changing weight limit from 60 to 14.
% 3.01/3.21  
% 3.01/3.21  Stopped by limit on insertions
% 3.01/3.21  
% 3.01/3.21  Model 3 [ 1 2 270 ] (0.00 seconds, 250000 Inserts)
% 3.01/3.21  
% 3.01/3.21  Stopped by limit on insertions
% 3.01/3.21  
% 3.01/3.21  Model 4 [ 2 1 315 ] (0.00 seconds, 250000 Inserts)
% 3.01/3.21  
% 3.01/3.21  Stopped by limit on insertions
% 3.01/3.21  
% 3.01/3.21  Model 5 [ 3 1 547 ] (0.00 seconds, 250000 Inserts)
% 3.01/3.21  
% 3.01/3.21  Stopped by limit on insertions
% 3.01/3.21  
% 3.01/3.21  Model 6 [ 5 1 168 ] (0.00 seconds, 250000 Inserts)
% 3.01/3.21  
% 3.01/3.21  Stopped by limit on insertions
% 3.01/3.21  
% 3.01/3.21  Model 7 [ 4 1 457 ] (0.00 seconds, 250000 Inserts)
% 3.01/3.21  
% 3.01/3.21  Stopped by limit on insertions
% 3.01/3.21  
% 3.01/3.21  Model 8 [ 4 1 121 ] (0.00 seconds, 250000 Inserts)
% 3.01/3.21  
% 3.01/3.21  Stopped by limit on insertions
% 3.01/3.21  
% 3.01/3.21  Model 9 [ 3 2 253 ] (0.00 seconds, 250000 Inserts)
% 3.01/3.21  
% 3.01/3.21  Stopped by limit on insertions
% 3.01/3.21  
% 3.01/3.21  Model 10 [ 11 1 138 ] (0.00 seconds, 250000 Inserts)
% 3.01/3.21  
% 3.01/3.21  Stopped by limit on insertions
% 3.01/3.21  
% 3.01/3.21  Model 11 [ 6 1 219 ] (0.00 seconds, 250000 Inserts)
% 3.01/3.21  
% 3.01/3.21  Stopped by limit on insertions
% 3.01/3.21  
% 3.01/3.21  Model 12 [ 11 1 142 ] (0.00 seconds, 250000 Inserts)
% 3.01/3.21  
% 3.01/3.21  Stopped by limit on insertions
% 3.01/3.21  
% 3.01/3.21  Model 13 [ 4 1 395 ] (0.00 seconds, 250000 Inserts)
% 3.01/3.21  
% 3.01/3.21  Stopped by limit on insertions
% 3.01/3.21  
% 3.01/3.21  Model 14 [ 4 1 1243 ] (0.00 seconds, 250000 Inserts)
% 3.01/3.21  
% 3.01/3.21  Stopped by limit on insertions
% 3.01/3.21  
% 3.01/3.21  Model 15 [ 5 1 375 ] (0.00 seconds, 250000 Inserts)
% 3.01/3.21  
% 3.01/3.21  Stopped by limit on insertions
% 3.01/3.21  
% 3.01/3.21  Model 16 [ 4 2 142 ] (0.00 seconds, 250000 Inserts)
% 3.01/3.21  
% 3.01/3.21  Stopped by limit on insertions
% 3.01/3.21  
% 3.01/3.21  Model 17 [ 7 2 39008 ] (0.00 seconds, 250000 Inserts)
% 3.01/3.21  
% 3.01/3.21  Stopped by limit on insertions
% 3.01/3.21  
% 3.01/3.21  Model 18 [ 8 1 281 ] (0.00 seconds, 250000 Inserts)
% 3.01/3.21  
% 3.01/3.21  Stopped by limit on insertions
% 3.01/3.21  
% 3.01/3.21  Model 19 [ 8 1 127 ] (0.00 seconds, 250000 Inserts)
% 3.01/3.21  
% 3.01/3.21  Stopped by limit on insertions
% 3.01/3.21  
% 3.01/3.21  Model 20 [ 5 3 80420 ] (0.00 seconds, 250000 Inserts)
% 3.01/3.21  
% 3.01/3.21  Stopped by limit on insertions
% 3.01/3.21  
% 3.01/3.21  Model 21 [ 5 1 277 ] (0.00 seconds, 250000 Inserts)
% 3.01/3.21  
% 3.01/3.21  Stopped by limit on insertions
% 3.01/3.21  
% 3.01/3.21  Model 22 [ 6 2 187 ] (0.00 seconds, 250000 Inserts)
% 3.01/3.21  
% 3.01/3.21  Stopped by limit on insertions
% 3.01/3.21  
% 3.01/3.21  Model 23 [ 4 1 109 ] (0.00 seconds, 250000 Inserts)
% 3.01/3.21  
% 3.01/3.21  Stopped by limit on insertions
% 3.01/3.21  
% 3.01/3.21  Model 24 [ 8 3 70997 ] (0.00 seconds, 250000 Inserts)
% 3.01/3.21  
% 3.01/3.21  Stopped by limit on insertions
% 3.01/3.21  
% 3.01/3.21  Model 25 [ 22 1 254 ] (0.00 seconds, 250000 Inserts)
% 3.01/3.21  
% 3.01/3.21  Stopped by limit on insertions
% 3.01/3.21  
% 3.01/3.21  Model 26 [ 23 1 119 ] (0.00 seconds, 250000 Inserts)
% 3.01/3.21  
% 3.01/3.21  Stopped by limit on insertions
% 3.01/3.21  
% 3.01/3.21  Model 27 [ 24 1 170 ] (0.00 seconds, 250000 Inserts)
% 3.01/3.21  
% 3.01/3.21  Stopped by limit on insertions
% 3.01/3.21  
% 3.01/3.21  Model 28 [ 4 1 148 ] (0.00 seconds, 250000 Inserts)
% 3.01/3.21  
% 3.01/3.21  Stopped by limit on insertions
% 3.01/3.21  
% 3.01/3.21  Model 29 [ 6 2 364 ] (0.00 seconds, 250000 Inserts)
% 3.01/3.21  
% 3.01/3.21  Stopped by limit on insertions
% 3.01/3.21  
% 3.01/3.21  Model 30 [ 13 6 219368 ] (0.00 seconds, 250000 Inserts)
% 3.01/3.21  
% 3.01/3.21  Stopped by limit on insertions
% 3.01/3.21  
% 3.01/3.21  Model 31 [ 5 2 120 ] (0.00 seconds, 250000 Inserts)
% 3.01/3.21  
% 3.01/3.21  Resetting weight limit to 14 after 40 givens.
% 3.01/3.21  
% 9.91/10.14  
% 9.91/10.14  
% 9.91/10.14  Changing weight limit from 14 to 10.
% 9.91/10.14  
% 9.91/10.14  Stopped by limit on insertions
% 9.91/10.14  
% 9.91/10.14  Model 32 [ 27 1 144 ] (0.00 seconds, 250000 Inserts)
% 9.91/10.14  
% 9.91/10.14  Stopped by limit on insertions
% 9.91/10.14  
% 9.91/10.14  Model 33 [ 6 2 12374 ] (0.00 seconds, 250000 Inserts)
% 9.91/10.14  
% 9.91/10.14  Stopped by limit on insertions
% 9.91/10.14  
% 9.91/10.14  Model 34 [ 12 1 148 ] (0.00 seconds, 250000 Inserts)
% 9.91/10.14  
% 9.91/10.14  Stopped by limit on insertions
% 9.91/10.14  
% 9.91/10.14  Model 35 [ 31 1 113 ] (0.00 seconds, 250000 Inserts)
% 9.91/10.14  
% 9.91/10.14  Stopped by limit on insertions
% 9.91/10.14  
% 9.91/10.14  Stopped by limit on insertions
% 9.91/10.14  
% 9.91/10.14  Model 36 [ 32 2 32302 ] (0.00 seconds, 250000 Inserts)
% 9.91/10.14  
% 9.91/10.14  Stopped by limit on insertions
% 9.91/10.14  
% 9.91/10.14  Model 37 [ 13 1 3516 ] (0.00 seconds, 250000 Inserts)
% 9.91/10.14  
% 9.91/10.14  Stopped by limit on insertions
% 9.91/10.14  
% 9.91/10.14  Model 38 [ 9 8 119918 ] (0.00 seconds, 250000 Inserts)
% 9.91/10.14  
% 9.91/10.14  Stopped by limit on insertions
% 9.91/10.14  
% 9.91/10.14  Model 39 [ 11 1 1084 ] (0.00 seconds, 250000 Inserts)
% 9.91/10.14  
% 9.91/10.14  Stopped by limit on insertions
% 9.91/10.14  
% 9.91/10.14  Model 40 [ 38 1 198 ] (0.00 seconds, 250000 Inserts)
% 9.91/10.14  
% 9.91/10.14  Stopped by limit on insertions
% 9.91/10.14  
% 9.91/10.14  Model 41 [ 32 1 191 ] (0.00 seconds, 250000 Inserts)
% 9.91/10.14  
% 9.91/10.14  Stopped by limit on insertions
% 9.91/10.14  
% 9.91/10.14  Model 42 [ 12 1 821 ] (0.00 seconds, 250000 Inserts)
% 9.91/10.14  
% 9.91/10.14  Stopped by limit on insertions
% 9.91/10.14  
% 9.91/10.14  Model 43 [ 8 9 160951 ] (0.00 seconds, 250000 Inserts)
% 9.91/10.14  
% 9.91/10.14  Stopped by limit on insertions
% 9.91/10.14  
% 9.91/10.14  Model 44 [ 14 7 76958 ] (0.00 seconds, 250000 Inserts)
% 9.91/10.14  
% 9.91/10.14  Stopped by limit on insertions
% 9.91/10.14  
% 9.91/10.14  Model 45 [ 11 4 26629 ] (0.00 seconds, 250000 Inserts)
% 9.91/10.14  
% 9.91/10.14  Stopped by limit on insertions
% 9.91/10.14  
% 9.91/10.14  Model 46 [ 10 8 90716 ] (0.00 seconds, 250000 Inserts)
% 9.91/10.14  
% 9.91/10.14  Stopped by limit on insertions
% 9.91/10.14  
% 9.91/10.14  Model 47 [ 13 1 1307 ] (0.00 seconds, 250000 Inserts)
% 9.91/10.14  
% 9.91/10.14  Stopped by limit on insertions
% 9.91/10.14  
% 9.91/10.14  Model 48 [ 12 2 1141 ] (0.00 seconds, 250000 Inserts)
% 9.91/10.14  
% 9.91/10.14  Stopped by limit on insertions
% 9.91/10.14  
% 9.91/10.14  Model 49 [ 48 2 249 ] (0.00 seconds, 250000 Inserts)
% 9.91/10.14  
% 9.91/10.14  Stopped by limit on insertions
% 9.91/10.14  
% 9.91/10.14  Model 50 [ 45 2 521 ] (0.00 seconds, 250000 Inserts)
% 9.91/10.14  
% 9.91/10.14  Stopped by limit on insertions
% 9.91/10.14  
% 9.91/10.14  Model 51 [ 17 4 45237 ] (0.00 seconds, 250000 Inserts)
% 9.91/10.14  
% 9.91/10.14  Stopped by limit on insertions
% 9.91/10.14  
% 9.91/10.14  Model 52 [ 14 8 51244 ] (0.00 seconds, 250000 Inserts)
% 9.91/10.14  
% 9.91/10.14  Stopped by limit on insertions
% 9.91/10.14  
% 9.91/10.14  Model 53 [ 18 10 112193 ] (0.00 seconds, 250000 Inserts)
% 9.91/10.14  
% 9.91/10.14  Stopped by limit on insertions
% 9.91/10.14  
% 9.91/10.14  Stopped by limit on insertions
% 9.91/10.14  
% 9.91/10.14  Model 54 [ 49 1 190 ] (0.00 seconds, 250000 Inserts)
% 9.91/10.14  
% 9.91/10.14  Stopped by limit on insertions
% 9.91/10.14  
% 9.91/10.14  Model 55 [ 41 1 391 ] (0.00 seconds, 250000 Inserts)
% 9.91/10.14  
% 9.91/10.14  Stopped by limit on insertions
% 9.91/10.14  
% 9.91/10.14  Model 56 [ 15 2 1038 ] (0.00 seconds, 250000 Inserts)
% 9.91/10.14  
% 9.91/10.14  Stopped by limit on insertions
% 9.91/10.14  
% 9.91/10.14  Model 57 [ 15 2 5471 ] (0.00 seconds, 250000 Inserts)
% 9.91/10.14  
% 9.91/10.14  Stopped by limit on insertions
% 9.91/10.14  
% 9.91/10.14  Model 58 [ 10 1 313 ] (0.00 seconds, 250000 Inserts)
% 9.91/10.14  
% 9.91/10.14  Resetting weight limit to 10 after 70 givens.
% 9.91/10.14  
% 18.81/19.00  
% 18.81/19.00  
% 18.81/19.00  Changing weight limit from 10 to 8.
% 18.81/19.00  
% 18.81/19.00  Stopped by limit on insertions
% 18.81/19.00  
% 18.81/19.00  Model 59 [ 47 1 355 ] (0.00 seconds, 250000 Inserts)
% 18.81/19.00  
% 18.81/19.00  Stopped by limit on insertions
% 18.81/19.00  
% 18.81/19.00  Model 60 [ 12 1 479 ] (0.00 seconds, 250000 Inserts)
% 18.81/19.00  
% 18.81/19.00  Stopped by limit on insertions
% 18.81/19.00  
% 18.81/19.00  Model 61 [ 23 35 230657 ] (0.00 seconds, 250000 Inserts)
% 18.81/19.00  
% 18.81/19.00  Stopped by limit on insertions
% 18.81/19.00  
% 18.81/19.00  Model 62 [ 18 43 248829 ] (0.00 seconds, 250000 Inserts)
% 18.81/19.00  
% 18.81/19.00  Stopped by limit on insertions
% 18.81/19.00  
% 18.81/19.00  Model 63 [ 13 2 1624 ] (0.00 seconds, 250000 Inserts)
% 18.81/19.00  
% 18.81/19.00  Stopped by limit on insertions
% 18.81/19.00  
% 18.81/19.00  Stopped by limit on insertions
% 18.81/19.00  
% 18.81/19.00  Model 64 [ 54 2 1267 ] (0.00 seconds, 250000 Inserts)
% 18.81/19.00  
% 18.81/19.00  Stopped by limit on insertions
% 18.81/19.00  
% 18.81/19.00  Model 65 [ 11 10 102166 ] (0.00 seconds, 250000 Inserts)
% 18.81/19.00  
% 18.81/19.00  Stopped by limit on insertions
% 18.81/19.00  
% 18.81/19.00  Model 66 [ 14 1 217 ] (0.00 seconds, 250000 Inserts)
% 18.81/19.00  
% 18.81/19.00  Stopped by limit on insertions
% 18.81/19.00  
% 18.81/19.00  Model 67 [ 20 5 32399 ] (0.00 seconds, 250000 Inserts)
% 18.81/19.00  
% 18.81/19.00  Stopped by limit on insertions
% 18.81/19.00  
% 18.81/19.00  Model 68 [ 15 2 2158 ] (0.00 seconds, 250000 Inserts)
% 18.81/19.00  
% 18.81/19.00  Stopped by limit on insertions
% 18.81/19.00  
% 18.81/19.00  Model 69 [ 61 1 108 ] (0.00 seconds, 250000 Inserts)
% 18.81/19.00  
% 18.81/19.00  Stopped by limit on insertions
% 18.81/19.00  
% 18.81/19.00  Model 70 [ 29 2 1480 ] (0.00 seconds, 250000 Inserts)
% 18.81/19.00  
% 18.81/19.00  Stopped by limit on insertions
% 18.81/19.00  
% 18.81/19.00  Model 71 [ 19 33 197915 ] (0.00 seconds, 250000 Inserts)
% 18.81/19.00  
% 18.81/19.00  Stopped by limit on insertions
% 18.81/19.00  
% 18.81/19.00  Model 72 [ 22 7 27970 ] (0.00 seconds, 250000 Inserts)
% 18.81/19.00  
% 18.81/19.00  Stopped by limit on insertions
% 18.81/19.00  
% 18.81/19.00  Model 73 [ 10 2 556 ] (0.00 seconds, 250000 Inserts)
% 18.81/19.00  
% 18.81/19.00  Stopped by limit on insertions
% 18.81/19.00  
% 18.81/19.00  Model 74 [ 58 1 178 ] (0.00 seconds, 250000 Inserts)
% 18.81/19.00  
% 18.81/19.00  Stopped by limit on insertions
% 18.81/19.00  
% 18.81/19.00  Stopped by limit on insertions
% 18.81/19.00  
% 18.81/19.00  Model 75 [ 13 1 213 ] (0.00 seconds, 250000 Inserts)
% 18.81/19.00  
% 18.81/19.00  Stopped by limit on insertions
% 18.81/19.00  
% 18.81/19.00  Model 76 [ 69 1 106 ] (0.00 seconds, 250000 Inserts)
% 18.81/19.00  
% 18.81/19.00  Stopped by limit on insertions
% 18.81/19.00  
% 18.81/19.00  Stopped by limit on insertions
% 18.81/19.00  
% 18.81/19.00  Model 77 [ 23 2 600 ] (0.00 seconds, 250000 Inserts)
% 18.81/19.00  
% 18.81/19.00  Stopped by limit on insertions
% 18.81/19.00  
% 18.81/19.00  Stopped by limit on insertions
% 18.81/19.00  
% 18.81/19.00  Model 78 [ 16 1 3237 ] (0.00 seconds, 250000 Inserts)
% 18.81/19.00  
% 18.81/19.00  Stopped by limit on insertions
% 18.81/19.00  
% 18.81/19.00  Model 79 [ 15 2 445 ] (0.00 seconds, 250000 Inserts)
% 18.81/19.00  
% 18.81/19.00  Stopped by limit on insertions
% 18.81/19.00  
% 18.81/19.00  Model 80 [ 15 1 114 ] (0.00 seconds, 250000 Inserts)
% 18.81/19.00  
% 18.81/19.00  Stopped by limit on insertions
% 18.81/19.00  
% 18.81/19.00  Model 81 [ 12 10 51091 ] (0.00 seconds, 250000 Inserts)
% 18.81/19.00  
% 18.81/19.00  Stopped by limit on insertions
% 18.81/19.00  
% 18.81/19.00  Model 82 [ 85 1 399 ] (0.00 seconds, 250000 Inserts)
% 18.81/19.00  
% 18.81/19.00  Stopped by limit on insertions
% 18.81/19.00  
% 18.81/19.00  Resetting weight limit to 8 after 105 givens.
% 18.81/19.00  
% 25.30/25.53  
% 25.30/25.53  
% 25.30/25.53  Changing weight limit from 8 to 7.
% 25.30/25.53  
% 25.30/25.53  Stopped by limit on insertions
% 25.30/25.53  
% 25.30/25.53  Model 83 [ 82 2 190 ] (0.00 seconds, 250000 Inserts)
% 25.30/25.53  
% 25.30/25.53  Stopped by limit on insertions
% 25.30/25.53  
% 25.30/25.53  Model 84 [ 34 30 99043 ] (0.00 seconds, 250000 Inserts)
% 25.30/25.53  
% 25.30/25.53  Stopped by limit on insertions
% 25.30/25.53  
% 25.30/25.53  Model 85 [ 79 2 889 ] (0.00 seconds, 250000 Inserts)
% 25.30/25.53  
% 25.30/25.53  Stopped by limit on insertions
% 25.30/25.53  
% 25.30/25.53  Model 86 [ 11 1 108 ] (0.00 seconds, 250000 Inserts)
% 25.30/25.53  
% 25.30/25.53  Stopped by limit on insertions
% 25.30/25.53  
% 25.30/25.53  Model 87 [ 74 1 327 ] (0.00 seconds, 250000 Inserts)
% 25.30/25.53  
% 25.30/25.53  Stopped by limit on insertions
% 25.30/25.53  
% 25.30/25.53  Stopped by limit on insertions
% 25.30/25.53  
% 25.30/25.53  Model 88 [ 19 2 140 ] (0.00 seconds, 250000 Inserts)
% 25.30/25.53  
% 25.30/25.53  Stopped by limit on insertions
% 25.30/25.53  
% 25.30/25.53  Model 89 [ 80 1 141 ] (0.00 seconds, 250000 Inserts)
% 25.30/25.53  
% 25.30/25.53  Stopped by limit on insertions
% 25.30/25.53  
% 25.30/25.53  Model 90 [ 19 1 270 ] (0.00 seconds, 250000 Inserts)
% 25.30/25.53  
% 25.30/25.53  Stopped by limit on insertions
% 25.30/25.53  
% 25.30/25.53  Model 91 [ 79 2 461 ] (0.00 seconds, 250000 Inserts)
% 25.30/25.53  
% 25.30/25.53  Stopped by limit on insertions
% 25.30/25.53  
% 25.30/25.53  Model 92 [ 32 7 22948 ] (0.00 seconds, 250000 Inserts)
% 25.30/25.53  
% 25.30/25.53  Stopped by limit on insertions
% 25.30/25.53  
% 25.30/25.53  Model 93 [ 18 2 1118 ] (0.00 seconds, 250000 Inserts)
% 25.30/25.53  
% 25.30/25.53  Resetting weight limit to 7 after 120 givens.
% 25.30/25.53  
% 30.92/31.15  
% 30.92/31.15  
% 30.92/31.15  Changing weight limit from 7 to 8.
% 30.92/31.15  
% 30.92/31.15  Stopped by limit on insertions
% 30.92/31.15  
% 30.92/31.15  Model 94 [ 80 4 9240 ] (0.00 seconds, 250000 Inserts)
% 30.92/31.15  
% 30.92/31.15  Stopped by limit on insertions
% 30.92/31.15  
% 30.92/31.15  Model 95 [ 14 41 214871 ] (0.00 seconds, 250000 Inserts)
% 30.92/31.15  
% 30.92/31.15  Stopped by limit on insertions
% 30.92/31.15  
% 30.92/31.15  Model 96 [ 93 1 228 ] (0.00 seconds, 250000 Inserts)
% 30.92/31.15  
% 30.92/31.15  Stopped by limit on insertions
% 30.92/31.15  
% 30.92/31.15  Model 97 [ 36 2 786 ] (0.00 seconds, 250000 Inserts)
% 30.92/31.15  
% 30.92/31.15  Stopped by limit on insertions
% 30.92/31.15  
% 30.92/31.15  Model 98 [ 30 2 106 ] (0.00 seconds, 250000 Inserts)
% 30.92/31.15  
% 30.92/31.15  Stopped by limit on insertions
% 30.92/31.15  
% 30.92/31.15  Model 99 [ 99 2 106 ] (0.00 seconds, 250000 Inserts)
% 30.92/31.15  
% 30.92/31.15  Stopped by limit on insertions
% 30.92/31.15  
% 30.92/31.15  Model 100 [ 27 34 179729 ] (0.00 seconds, 250000 Inserts)
% 30.92/31.15  
% 30.92/31.15  Stopped by limit on insertions
% 30.92/31.15  
% 30.92/31.15  Stopped by limit on insertions
% 30.92/31.15  
% 30.92/31.15  Model 101 [ 30 71 239639 ] (0.00 seconds, 250000 Inserts)
% 30.92/31.15  
% 30.92/31.15  Resetting weight limit to 8 after 130 givens.
% 30.92/31.15  
% 33.53/33.75  
% 33.53/33.75  
% 33.53/33.75  Changing weight limit from 8 to 7.
% 33.53/33.75  
% 33.53/33.75  Stopped by limit on insertions
% 33.53/33.75  
% 33.53/33.75  Model 102 [ 95 3 1513 ] (0.00 seconds, 250000 Inserts)
% 33.53/33.75  
% 33.53/33.75  Stopped by limit on insertions
% 33.53/33.75  
% 33.53/33.75  Model 103 [ 20 2 718 ] (0.00 seconds, 250000 Inserts)
% 33.53/33.75  
% 33.53/33.75  Stopped by limit on insertions
% 33.53/33.75  
% 33.53/33.75  Model 104 [ 14 2 379 ] (0.00 seconds, 250000 Inserts)
% 33.53/33.75  
% 33.53/33.75  Stopped by limit on insertions
% 33.53/33.75  
% 33.53/33.75  Model 105 [ 90 1 195 ] (0.00 seconds, 250000 Inserts)
% 33.53/33.75  
% 33.53/33.75  Stopped by limit on insertions
% 33.53/33.75  
% 33.53/33.75  Model 106 [ 22 2 961 ] (0.00 seconds, 250000 Inserts)
% 33.53/33.75  
% 33.53/33.75  Resetting weight limit to 7 after 135 givens.
% 33.53/33.75  
% 34.12/34.34  
% 34.12/34.34  
% 34.12/34.34  Changing weight limit from 7 to 8.
% 34.12/34.34  
% 34.12/34.34  Stopped by limit on insertions
% 34.12/34.34  
% 34.12/34.34  Model 107 [ 24 2 575 ] (0.00 seconds, 250000 Inserts)
% 34.12/34.34  
% 34.12/34.34  Resetting weight limit to 8 after 140 givens.
% 34.12/34.34  
% 34.12/34.35  
% 34.12/34.35  
% 34.12/34.35  Changing weight limit from 8 to 9.
% 34.12/34.35  
% 34.12/34.35  Resetting weight limit to 9 after 145 givens.
% 34.12/34.35  
% 37.52/37.75  
% 37.52/37.75  
% 37.52/37.75  Changing weight limit from 9 to 8.
% 37.52/37.75  
% 37.52/37.75  Stopped by limit on insertions
% 37.52/37.75  
% 37.52/37.75  Model 108 [ 101 2 196 ] (0.00 seconds, 250000 Inserts)
% 37.52/37.75  
% 37.52/37.75  Stopped by limit on insertions
% 37.52/37.75  
% 37.52/37.75  Model 109 [ 31 19 66199 ] (0.00 seconds, 250000 Inserts)
% 37.52/37.75  
% 37.52/37.75  Stopped by limit on insertions
% 37.52/37.75  
% 37.52/37.75  Model 110 [ 15 2 223 ] (0.00 seconds, 250000 Inserts)
% 37.52/37.75  
% 37.52/37.75  Stopped by limit on insertions
% 37.52/37.75  
% 37.52/37.75  Model 111 [ 24 2 2899 ] (0.00 seconds, 250000 Inserts)
% 37.52/37.75  
% 37.52/37.75  Stopped by limit on insertions
% 37.52/37.75  
% 37.52/37.75  Model 112 [ 91 1 106 ] (0.00 seconds, 250000 Inserts)
% 37.52/37.75  
% 37.52/37.75  Stopped by limit on insertions
% 37.52/37.75  
% 37.52/37.75  Model 113 [ 24 6 22341 ] (0.00 seconds, 250000 Inserts)
% 37.52/37.75  
% 37.52/37.75  Resetting weight limit to 8 after 160 givens.
% 37.52/37.75  
% 48.02/48.27  
% 48.02/48.27  
% 48.02/48.27  Changing weight limit from 8 to 9.
% 48.02/48.27  
% 48.02/48.27  Stopped by limit on insertions
% 48.02/48.27  
% 48.02/48.27  Model 114 [ 33 2 170 ] (0.00 seconds, 250000 Inserts)
% 48.02/48.27  
% 48.02/48.27  Stopped by limit on insertions
% 48.02/48.27  
% 48.02/48.27  Model 115 [ 91 2 2634 ] (0.00 seconds, 250000 Inserts)
% 48.02/48.27  
% 48.02/48.27  Stopped by limit on insertions
% 48.02/48.27  
% 48.02/48.27  Model 116 [ 24 24 117080 ] (0.00 seconds, 250000 Inserts)
% 48.02/48.27  
% 48.02/48.27  Stopped by limit on insertions
% 48.02/48.27  
% 48.02/48.27  Model 117 [ 106 2 241 ] (0.00 seconds, 250000 Inserts)
% 48.02/48.27  
% 48.02/48.27  Stopped by limit on insertions
% 48.02/48.27  
% 48.02/48.27  Model 118 [ 28 6 22451 ] (0.00 seconds, 250000 Inserts)
% 48.02/48.27  
% 48.02/48.27  Stopped by limit on insertions
% 48.02/48.27  
% 48.02/48.27  Model 119 [ 34 14 35031 ] (0.00 seconds, 250000 Inserts)
% 48.02/48.27  
% 48.02/48.27  Stopped by limit on insertions
% 48.02/48.27  
% 48.02/48.27  Model 120 [ 32 2 168 ] (0.00 seconds, 250000 Inserts)
% 48.02/48.27  
% 48.02/48.27  Stopped by limit on insertions
% 48.02/48.27  
% 48.02/48.27  Stopped by limit on insertions
% 48.02/48.27  
% 48.02/48.27  Model 121 [ 40 15 40420 ] (0.00 seconds, 250000 Inserts)
% 48.02/48.27  
% 48.02/48.27  Stopped by limit on insertions
% 48.02/48.27  
% 48.02/48.27  Stopped by limit on insertions
% 48.02/48.27  
% 48.02/48.27  Model 122 [ 37 10 37360 ] (0.00 seconds, 250000 Inserts)
% 48.02/48.27  
% 48.02/48.27  Stopped by limit on insertions
% 48.02/48.27  
% 48.02/48.27  Model 123 [ 104 7 15738 ] (0.00 seconds, 250000 Inserts)
% 48.02/48.27  
% 48.02/48.27  Stopped by limit on insertions
% 48.02/48.27  
% 48.02/48.27  Model 124 [ 23 2 1608 ] (0.00 seconds, 250000 Inserts)
% 48.02/48.27  
% 48.02/48.27  Stopped by limit on insertions
% 48.02/48.27  
% 48.02/48.27  Model 125 [ 46 11 29176 ] (0.00 seconds, 250000 Inserts)
% 48.02/48.27  
% 48.02/48.27  Resetting weight limit to 9 after 200 givens.
% 48.02/48.27  
% 53.22/53.43  
% 53.22/53.43  
% 53.22/53.43  Changing weight limit from 9 to 8.
% 53.22/53.43  
% 53.22/53.43  Stopped by limit on insertions
% 53.22/53.43  
% 53.22/53.43  Model 126 [ 27 2 146 ] (0.00 seconds, 250000 Inserts)
% 53.22/53.43  
% 53.22/53.43  Stopped by limit on insertions
% 53.22/53.43  
% 53.22/53.43  Model 127 [ 48 26 106057 ] (0.00 seconds, 250000 Inserts)
% 53.22/53.43  
% 53.22/53.43  Stopped by limit on insertions
% 53.22/53.43  
% 53.22/53.43  Model 128 [ 108 56 101588 ] (0.00 seconds, 250000 Inserts)
% 53.22/53.43  
% 53.22/53.43  Stopped by limit on insertions
% 53.22/53.43  
% 53.22/53.43  Model 129 [ 45 54 137955 ] (0.00 seconds, 250000 Inserts)
% 53.22/53.43  
% 53.22/53.43  Stopped by limit on insertions
% 53.22/53.43  
% 53.22/53.43  Model 130 [ 122 1 107 ] (0.00 seconds, 250000 Inserts)
% 53.22/53.43  
% 53.22/53.43  Stopped by limit on insertions
% 53.22/53.43  
% 53.22/53.43  Model 131 [ 29 2 282 ] (0.00 seconds, 250000 Inserts)
% 53.22/53.43  
% 53.22/53.43  Resetting weight limit to 8 after 215 givens.
% 53.22/53.43  
% 56.45/56.66  
% 56.45/56.66  
% 56.45/56.66  Changing weight limit from 8 to 9.
% 56.45/56.66  
% 56.45/56.66  Stopped by limit on insertions
% 56.45/56.66  
% 56.45/56.66  Model 132 [ 117 1 104 ] (0.00 seconds, 250000 Inserts)
% 56.45/56.66  
% 56.45/56.66  Stopped by limit on insertions
% 56.45/56.66  
% 56.45/56.66  Model 133 [ 121 4 4149 ] (0.00 seconds, 250000 Inserts)
% 56.45/56.66  
% 56.45/56.66  Stopped by limit on insertions
% 56.45/56.66  
% 56.45/56.66  Model 134 [ 33 8 26586 ] (0.00 seconds, 250000 Inserts)
% 56.45/56.66  
% 56.45/56.66  Resetting weight limit to 9 after 230 givens.
% 56.45/56.66  
% 60.72/60.92  
% 60.72/60.92  
% 60.72/60.92  Changing weight limit from 9 to 7.
% 60.72/60.92  
% 60.72/60.92  Stopped by limit on insertions
% 60.72/60.92  
% 60.72/60.92  Model 135 [ 45 100 219050 ] (0.00 seconds, 250000 Inserts)
% 60.72/60.92  
% 60.72/60.92  Stopped by limit on insertions
% 60.72/60.92  
% 60.72/60.92  Model 136 [ 111 2 433 ] (0.00 seconds, 250000 Inserts)
% 60.72/60.92  
% 60.72/60.92  Stopped by limit on insertions
% 60.72/60.92  
% 60.72/60.92  Model 137 [ 119 4 4332 ] (0.00 seconds, 250000 Inserts)
% 60.72/60.92  
% 60.72/60.92  Stopped by limit on insertions
% 60.72/60.92  
% 60.72/60.92  Model 138 [ 27 2 1446 ] (0.00 seconds, 250000 Inserts)
% 60.72/60.92  
% 60.72/60.92  Resetting weight limit to 7 after 300 givens.
% 60.72/60.92  
% 63.96/64.23  
% 63.96/64.23  
% 63.96/64.23  Changing weight limit from 7 to 8.
% 63.96/64.23  
% 63.96/64.23  Stopped by limit on insertions
% 63.96/64.23  
% 63.96/64.23  Model 139 [ 44 18 34254 ] (0.00 seconds, 250000 Inserts)
% 63.96/64.23  
% 63.96/64.23  Stopped by limit on insertions
% 63.96/64.23  
% 63.96/64.23  Model 140 [ 22 1 119 ] (0.00 seconds, 250000 Inserts)
% 63.96/64.23  
% 63.96/64.23  Stopped by limit on insertions
% 63.96/64.23  
% 63.96/64.23  Model 141 [ 122 144 235287 ] (0.00 seconds, 250000 Inserts)
% 63.96/64.23  
% 63.96/64.23  Stopped by limit on insertions
% 63.96/64.23  
% 63.96/64.23  Model 142 [ 39 6 26901 ] (0.00 seconds, 250000 Inserts)
% 63.96/64.23  
% 63.96/64.23  Resetting weight limit to 8 after 310 givens.
% 63.96/64.23  
% 69.04/69.25  
% 69.04/69.25  
% 69.04/69.25  Changing weight limit from 8 to 9.
% 69.04/69.25  
% 69.04/69.25  Stopped by limit on insertions
% 69.04/69.25  
% 69.04/69.25  Model 143 [ 111 19 24240 ] (0.00 seconds, 250000 Inserts)
% 69.04/69.25  
% 69.04/69.25  Stopped by limit on insertions
% 69.04/69.25  
% 69.04/69.25  Model 144 [ 32 11 41753 ] (0.00 seconds, 250000 Inserts)
% 69.04/69.25  
% 69.04/69.25  Stopped by limit on insertions
% 69.04/69.25  
% 69.04/69.25  Model 145 [ 24 2 121 ] (0.00 seconds, 250000 Inserts)
% 69.04/69.25  
% 69.04/69.25  Stopped by limit on insertions
% 69.04/69.25  
% 69.04/69.25  Model 146 [ 119 10 17545 ] (0.00 seconds, 250000 Inserts)
% 69.04/69.25  
% 69.04/69.25  Stopped by limit on insertions
% 69.04/69.25  
% 69.04/69.25  Model 147 [ 47 25 50990 ] (0.00 seconds, 250000 Inserts)
% 69.04/69.25  
% 69.04/69.25  Resetting weight limit to 9 after 325 givens.
% 69.04/69.25  
% 75.46/75.65  
% 75.46/75.65  
% 75.46/75.65  Changing weight limit from 9 to 8.
% 75.46/75.65  
% 75.46/75.65  Stopped by limit on insertions
% 75.46/75.65  
% 75.46/75.65  Model 148 [ 143 2 160 ] (0.00 seconds, 250000 Inserts)
% 75.46/75.65  
% 75.46/75.65  Stopped by limit on insertions
% 75.46/75.65  
% 75.46/75.65  Model 149 [ 54 54 94349 ] (0.00 seconds, 250000 Inserts)
% 75.46/75.65  
% 75.46/75.65  Stopped by limit on insertions
% 75.46/75.65  
% 75.46/75.65  Model 150 [ 45 4 4804 ] (0.00 seconds, 250000 Inserts)
% 75.46/75.65  
% 75.46/75.65  Stopped by limit on insertions
% 75.46/75.65  
% 75.46/75.65  Model 151 [ 44 2 773 ] (0.00 seconds, 250000 Inserts)
% 75.46/75.65  
% 75.46/75.65  Stopped by limit on insertions
% 75.46/75.65  
% 75.46/75.65  Model 152 [ 136 2 120 ] (0.00 seconds, 250000 Inserts)
% 75.46/75.65  
% 75.46/75.65  Stopped by limit on insertions
% 75.46/75.65  
% 75.46/75.65  Model 153 [ 109 2 246 ] (0.00 seconds, 250000 Inserts)
% 75.46/75.65  
% 75.46/75.65  Stopped by limit on insertions
% 75.46/75.65  
% 75.46/75.65  Model 154 [ 26 2 200 ] (0.00 seconds, 250000 Inserts)
% 75.46/75.65  
% 75.46/75.65  Modelling stopped after 300 given clauses and 0.00 seconds
% 75.46/75.65  
% 75.46/75.65  
% 75.46/75.65  Resetting weight limit to 8 after 355 givens.
% 75.46/75.65  
% 97.30/97.53  
% 97.30/97.53  
% 97.30/97.53  Changing weight limit from 8 to 7.
% 97.30/97.53  
% 97.30/97.53  Resetting weight limit to 7 after 3470 givens.
% 97.30/97.53  
% 97.43/97.65  
% 97.43/97.65  
% 97.43/97.65  Changing weight limit from 7 to 8.
% 97.43/97.65  
% 97.43/97.65  Resetting weight limit to 8 after 3475 givens.
% 97.43/97.65  
% 97.57/97.77  
% 97.57/97.77  
% 97.57/97.77  Changing weight limit from 8 to 7.
% 97.57/97.77  
% 97.57/97.77  Resetting weight limit to 7 after 3480 givens.
% 97.57/97.77  
% 97.67/97.88  
% 97.67/97.88  
% 97.67/97.88  Changing weight limit from 7 to 8.
% 97.67/97.88  
% 97.67/97.88  Resetting weight limit to 8 after 3485 givens.
% 97.67/97.88  
% 97.81/98.00  
% 97.81/98.00  
% 97.81/98.00  Changing weight limit from 8 to 7.
% 97.81/98.00  
% 97.81/98.00  Resetting weight limit to 7 after 3490 givens.
% 97.81/98.00  
% 98.06/98.28  
% 98.06/98.28  
% 98.06/98.28  Changing weight limit from 7 to 8.
% 98.06/98.28  
% 98.06/98.28  Resetting weight limit to 8 after 3505 givens.
% 98.06/98.28  
% 98.19/98.40  
% 98.19/98.40  
% 98.19/98.40  Changing weight limit from 8 to 7.
% 98.19/98.40  
% 98.19/98.40  Resetting weight limit to 7 after 3510 givens.
% 98.19/98.40  
% 98.25/98.52  
% 98.25/98.52  
% 98.25/98.52  Changing weight limit from 7 to 8.
% 98.25/98.52  
% 98.25/98.52  Resetting weight limit to 8 after 3515 givens.
% 98.25/98.52  
% 98.41/98.64  
% 98.41/98.64  
% 98.41/98.64  Changing weight limit from 8 to 7.
% 98.41/98.64  
% 98.41/98.64  Resetting weight limit to 7 after 3520 givens.
% 98.41/98.64  
% 98.53/98.73  
% 98.53/98.73  
% 98.53/98.73  Changing weight limit from 7 to 8.
% 98.53/98.73  
% 98.53/98.73  Resetting weight limit to 8 after 3525 givens.
% 98.53/98.73  
% 139.06/139.33  
% 139.06/139.33  
% 139.06/139.33  Changing weight limit from 8 to 9.
% 139.06/139.33  
% 139.06/139.33  Resetting weight limit to 9 after 5550 givens.
% 139.06/139.33  
% 139.32/139.53  
% 139.32/139.53  
% 139.32/139.53  Changing weight limit from 9 to 8.
% 139.32/139.53  
% 139.32/139.53  Resetting weight limit to 8 after 5555 givens.
% 139.32/139.53  
% 139.68/139.87  
% 139.68/139.87  
% 139.68/139.87  Changing weight limit from 8 to 9.
% 139.68/139.87  
% 139.68/139.87  Resetting weight limit to 9 after 5565 givens.
% 139.68/139.87  
% 141.17/141.35  
% 141.17/141.35  
% 141.17/141.35  Changing weight limit from 9 to 8.
% 141.17/141.35  
% 141.17/141.35  Resetting weight limit to 8 after 5605 givens.
% 141.17/141.35  
% 141.32/141.52  
% 141.32/141.52  
% 141.32/141.52  Changing weight limit from 8 to 9.
% 141.32/141.52  
% 141.32/141.52  Resetting weight limit to 9 after 5610 givens.
% 141.32/141.52  
% 142.13/142.35  
% 142.13/142.35  
% 142.13/142.35  Changing weight limit from 9 to 8.
% 142.13/142.35  
% 142.13/142.35  Resetting weight limit to 8 after 5635 givens.
% 142.13/142.35  
% 142.39/142.56  
% 142.39/142.56  
% 142.39/142.56  Changing weight limit from 8 to 9.
% 142.39/142.56  
% 142.39/142.56  Resetting weight limit to 9 after 5640 givens.
% 142.39/142.56  
% 146.01/146.23  
% 146.01/146.23  
% 146.01/146.23  Changing weight limit from 9 to 8.
% 146.01/146.23  
% 146.01/146.23  Resetting weight limit to 8 after 5735 givens.
% 146.01/146.23  
% 146.16/146.36  
% 146.16/146.36  
% 146.16/146.36  Changing weight limit from 8 to 9.
% 146.16/146.36  
% 146.16/146.36  Resetting weight limit to 9 after 5740 givens.
% 146.16/146.36  
% 150.08/150.28  
% 150.08/150.28  
% 150.08/150.28  Changing weight limit from 9 to 8.
% 150.08/150.28  
% 150.08/150.28  Resetting weight limit to 8 after 5960 givens.
% 150.08/150.28  
% 150.38/150.64  
% 150.38/150.64  
% 150.38/150.64  Changing weight limit from 8 to 9.
% 150.38/150.64  
% 150.38/150.64  Resetting weight limit to 9 after 5970 givens.
% 150.38/150.64  
% 150.69/150.87  
% 150.69/150.87  
% 150.69/150.87  Changing weight limit from 9 to 8.
% 150.69/150.87  
% 150.69/150.87  Resetting weight limit to 8 after 5975 givens.
% 150.69/150.87  
% 150.77/150.96  
% 150.77/150.96  
% 150.77/150.96  Changing weight limit from 8 to 9.
% 150.77/150.96  
% 150.77/150.96  Resetting weight limit to 9 after 5980 givens.
% 150.77/150.96  
% 150.98/151.19  
% 150.98/151.19  
% 150.98/151.19  Changing weight limit from 9 to 8.
% 150.98/151.19  
% 150.98/151.19  Resetting weight limit to 8 after 5985 givens.
% 150.98/151.19  
% 151.56/151.75  
% 151.56/151.75  
% 151.56/151.75  Changing weight limit from 8 to 9.
% 151.56/151.75  
% 151.56/151.75  Resetting weight limit to 9 after 6000 givens.
% 151.56/151.75  
% 151.79/151.98  
% 151.79/151.98  
% 151.79/151.98  Changing weight limit from 9 to 8.
% 151.79/151.98  
% 151.79/151.98  Resetting weight limit to 8 after 6005 givens.
% 151.79/151.98  
% 152.02/152.21  
% 152.02/152.21  
% 152.02/152.21  Changing weight limit from 8 to 9.
% 152.02/152.21  
% 152.02/152.21  Resetting weight limit to 9 after 6010 givens.
% 152.02/152.21  
% 152.21/152.43  
% 152.21/152.43  
% 152.21/152.43  Changing weight limit from 9 to 8.
% 152.21/152.43  
% 152.21/152.43  Resetting weight limit to 8 after 6015 givens.
% 152.21/152.43  
% 152.47/152.66  
% 152.47/152.66  
% 152.47/152.66  Changing weight limit from 8 to 9.
% 152.47/152.66  
% 152.47/152.66  Resetting weight limit to 9 after 6020 givens.
% 152.47/152.66  
% 156.06/156.24  
% 156.06/156.24  
% 156.06/156.24  Changing weight limit from 9 to 8.
% 156.06/156.24  
% 156.06/156.24  Resetting weight limit to 8 after 6120 givens.
% 156.06/156.24  
% 156.28/156.48  
% 156.28/156.48  
% 156.28/156.48  Changing weight limit from 8 to 9.
% 156.28/156.48  
% 156.28/156.48  Resetting weight limit to 9 after 6125 givens.
% 156.28/156.48  
% 156.59/156.82  
% 156.59/156.82  
% 156.59/156.82  Changing weight limit from 9 to 8.
% 156.59/156.82  
% 156.59/156.82  Resetting weight limit to 8 after 6135 givens.
% 156.59/156.82  
% 156.83/157.01  
% 156.83/157.01  
% 156.83/157.01  Changing weight limit from 8 to 9.
% 156.83/157.01  
% 156.83/157.01  Resetting weight limit to 9 after 6140 givens.
% 156.83/157.01  
% 159.01/159.22  
% 159.01/159.22  
% 159.01/159.22  Changing weight limit from 9 to 8.
% 159.01/159.22  
% 159.01/159.22  Resetting weight limit to 8 after 6190 givens.
% 159.01/159.22  
% 159.18/159.41  
% 159.18/159.41  
% 159.18/159.41  Changing weight limit from 8 to 9.
% 159.18/159.41  
% 159.18/159.41  Resetting weight limit to 9 after 6195 givens.
% 159.18/159.41  
% 159.47/159.66  
% 159.47/159.66  
% 159.47/159.66  Changing weight limit from 9 to 8.
% 159.47/159.66  
% 159.47/159.66  Resetting weight limit to 8 after 6200 givens.
% 159.47/159.66  
% 159.69/159.90  
% 159.69/159.90  
% 159.69/159.90  Changing weight limit from 8 to 9.
% 159.69/159.90  
% 159.69/159.90  Resetting weight limit to 9 after 6205 givens.
% 159.69/159.90  
% 159.93/160.14  
% 159.93/160.14  
% 159.93/160.14  Changing weight limit from 9 to 8.
% 159.93/160.14  
% 159.93/160.14  Resetting weight limit to 8 after 6210 givens.
% 159.93/160.14  
% 160.16/160.38  
% 160.16/160.38  
% 160.16/160.38  Changing weight limit from 8 to 9.
% 160.16/160.38  
% 160.16/160.38  Resetting weight limit to 9 after 6215 givens.
% 160.16/160.38  
% 160.42/160.63  
% 160.42/160.63  
% 160.42/160.63  Changing weight limit from 9 to 8.
% 160.42/160.63  
% 160.42/160.63  Resetting weight limit to 8 after 6220 givens.
% 160.42/160.63  
% 160.59/160.82  
% 160.59/160.82  
% 160.59/160.82  Changing weight limit from 8 to 9.
% 160.59/160.82  
% 160.59/160.82  Resetting weight limit to 9 after 6225 givens.
% 160.59/160.82  
% 160.89/161.07  
% 160.89/161.07  
% 160.89/161.07  Changing weight limit from 9 to 8.
% 160.89/161.07  
% 160.89/161.07  Resetting weight limit to 8 after 6230 givens.
% 160.89/161.07  
% 161.09/161.31  
% 161.09/161.31  
% 161.09/161.31  Changing weight limit from 8 to 9.
% 161.09/161.31  
% 161.09/161.31  Resetting weight limit to 9 after 6235 givens.
% 161.09/161.31  
% 161.36/161.56  
% 161.36/161.56  
% 161.36/161.56  Changing weight limit from 9 to 8.
% 161.36/161.56  
% 161.36/161.56  Resetting weight limit to 8 after 6240 givens.
% 161.36/161.56  
% 161.61/161.80  
% 161.61/161.80  
% 161.61/161.80  Changing weight limit from 8 to 9.
% 161.61/161.80  
% 161.61/161.80  Resetting weight limit to 9 after 6245 givens.
% 161.61/161.80  
% 161.86/162.05  
% 161.86/162.05  
% 161.86/162.05  Changing weight limit from 9 to 8.
% 161.86/162.05  
% 161.86/162.05  Resetting weight limit to 8 after 6250 givens.
% 161.86/162.05  
% 162.08/162.30  
% 162.08/162.30  
% 162.08/162.30  Changing weight limit from 8 to 9.
% 162.08/162.30  
% 162.08/162.30  Resetting weight limit to 9 after 6255 givens.
% 162.08/162.30  
% 162.28/162.54  
% 162.28/162.54  
% 162.28/162.54  Changing weight limit from 9 to 8.
% 162.28/162.54  
% 162.28/162.54  Resetting weight limit to 8 after 6260 givens.
% 162.28/162.54  
% 162.58/162.79  
% 162.58/162.79  
% 162.58/162.79  Changing weight limit from 8 to 9.
% 162.58/162.79  
% 162.58/162.79  Resetting weight limit to 9 after 6265 givens.
% 162.58/162.79  
% 162.82/163.04  
% 162.82/163.04  
% 162.82/163.04  Changing weight limit from 9 to 8.
% 162.82/163.04  
% 162.82/163.04  Resetting weight limit to 8 after 6270 givens.
% 162.82/163.04  
% 163.09/163.28  
% 163.09/163.28  
% 163.09/163.28  Changing weight limit from 8 to 9.
% 163.09/163.28  
% 163.09/163.28  Resetting weight limit to 9 after 6275 givens.
% 163.09/163.28  
% 163.32/163.53  
% 163.32/163.53  
% 163.32/163.53  Changing weight limit from 9 to 8.
% 163.32/163.53  
% 163.32/163.53  Resetting weight limit to 8 after 6280 givens.
% 163.32/163.53  
% 163.56/163.77  
% 163.56/163.77  
% 163.56/163.77  Changing weight limit from 8 to 9.
% 163.56/163.77  
% 163.56/163.77  Resetting weight limit to 9 after 6285 givens.
% 163.56/163.77  
% 163.82/164.02  
% 163.82/164.02  
% 163.82/164.02  Changing weight limit from 9 to 8.
% 163.82/164.02  
% 163.82/164.02  Resetting weight limit to 8 after 6290 givens.
% 163.82/164.02  
% 164.07/164.27  
% 164.07/164.27  
% 164.07/164.27  Changing weight limit from 8 to 9.
% 164.07/164.27  
% 164.07/164.27  Resetting weight limit to 9 after 6295 givens.
% 164.07/164.27  
% 164.29/164.52  
% 164.29/164.52  
% 164.29/164.52  Changing weight limit from 9 to 8.
% 164.29/164.52  
% 164.29/164.52  Resetting weight limit to 8 after 6300 givens.
% 164.29/164.52  
% 164.58/164.76  
% 164.58/164.76  
% 164.58/164.76  Changing weight limit from 8 to 9.
% 164.58/164.76  
% 164.58/164.76  Resetting weight limit to 9 after 6305 givens.
% 164.58/164.76  
% 164.79/165.01  
% 164.79/165.01  
% 164.79/165.01  Changing weight limit from 9 to 8.
% 164.79/165.01  
% 164.79/165.01  Resetting weight limit to 8 after 6310 givens.
% 164.79/165.01  
% 165.09/165.26  
% 165.09/165.26  
% 165.09/165.26  Changing weight limit from 8 to 9.
% 165.09/165.26  
% 165.09/165.26  Resetting weight limit to 9 after 6315 givens.
% 165.09/165.26  
% 165.31/165.51  
% 165.31/165.51  
% 165.31/165.51  Changing weight limit from 9 to 8.
% 165.31/165.51  
% 165.31/165.51  Resetting weight limit to 8 after 6320 givens.
% 165.31/165.51  
% 165.57/165.76  
% 165.57/165.76  
% 165.57/165.76  Changing weight limit from 8 to 9.
% 165.57/165.76  
% 165.57/165.76  Resetting weight limit to 9 after 6325 givens.
% 165.57/165.76  
% 165.81/166.02  
% 165.81/166.02  
% 165.81/166.02  Changing weight limit from 9 to 8.
% 165.81/166.02  
% 165.81/166.02  Resetting weight limit to 8 after 6330 givens.
% 165.81/166.02  
% 166.07/166.27  
% 166.07/166.27  
% 166.07/166.27  Changing weight limit from 8 to 9.
% 166.07/166.27  
% 166.07/166.27  Resetting weight limit to 9 after 6335 givens.
% 166.07/166.27  
% 166.27/166.52  
% 166.27/166.52  
% 166.27/166.52  Changing weight limit from 9 to 8.
% 166.27/166.52  
% 166.27/166.52  Resetting weight limit to 8 after 6340 givens.
% 166.27/166.52  
% 166.57/166.77  
% 166.57/166.77  
% 166.57/166.77  Changing weight limit from 8 to 9.
% 166.57/166.77  
% 166.57/166.77  Resetting weight limit to 9 after 6345 givens.
% 166.57/166.77  
% 166.79/167.02  
% 166.79/167.02  
% 166.79/167.02  Changing weight limit from 9 to 8.
% 166.79/167.02  
% 166.79/167.02  Resetting weight limit to 8 after 6350 givens.
% 166.79/167.02  
% 167.09/167.28  
% 167.09/167.28  
% 167.09/167.28  Changing weight limit from 8 to 9.
% 167.09/167.28  
% 167.09/167.28  Resetting weight limit to 9 after 6355 givens.
% 167.09/167.28  
% 167.34/167.53  
% 167.34/167.53  
% 167.34/167.53  Changing weight limit from 9 to 8.
% 167.34/167.53  
% 167.34/167.53  Resetting weight limit to 8 after 6360 givens.
% 167.34/167.53  
% 167.58/167.78  
% 167.58/167.78  
% 167.58/167.78  Changing weight limit from 8 to 9.
% 167.58/167.78  
% 167.58/167.78  Resetting weight limit to 9 after 6365 givens.
% 167.58/167.78  
% 167.81/168.04  
% 167.81/168.04  
% 167.81/168.04  Changing weight limit from 9 to 8.
% 167.81/168.04  
% 167.81/168.04  Resetting weight limit to 8 after 6370 givens.
% 167.81/168.04  
% 168.11/168.29  
% 168.11/168.29  
% 168.11/168.29  Changing weight limit from 8 to 9.
% 168.11/168.29  
% 168.11/168.29  Resetting weight limit to 9 after 6375 givens.
% 168.11/168.29  
% 168.37/168.55  
% 168.37/168.55  
% 168.37/168.55  Changing weight limit from 9 to 8.
% 168.37/168.55  
% 168.37/168.55  Resetting weight limit to 8 after 6380 givens.
% 168.37/168.55  
% 168.56/168.81  
% 168.56/168.81  
% 168.56/168.81  Changing weight limit from 8 to 9.
% 168.56/168.81  
% 168.56/168.81  Resetting weight limit to 9 after 6385 givens.
% 168.56/168.81  
% 168.88/169.07  
% 168.88/169.07  
% 168.88/169.07  Changing weight limit from 9 to 8.
% 168.88/169.07  
% 168.88/169.07  Resetting weight limit to 8 after 6390 givens.
% 168.88/169.07  
% 169.08/169.32  
% 169.08/169.32  
% 169.08/169.32  Changing weight limit from 8 to 9.
% 169.08/169.32  
% 169.08/169.32  Resetting weight limit to 9 after 6395 givens.
% 169.08/169.32  
% 169.38/169.58  
% 169.38/169.58  
% 169.38/169.58  Changing weight limit from 9 to 8.
% 169.38/169.58  
% 169.38/169.58  Resetting weight limit to 8 after 6400 givens.
% 169.38/169.58  
% 169.62/169.84  
% 169.62/169.84  
% 169.62/169.84  Changing weight limit from 8 to 9.
% 169.62/169.84  
% 169.62/169.84  Resetting weight limit to 9 after 6405 givens.
% 169.62/169.84  
% 169.89/170.09  
% 169.89/170.09  
% 169.89/170.09  Changing weight limit from 9 to 8.
% 169.89/170.09  
% 169.89/170.09  Resetting weight limit to 8 after 6410 givens.
% 169.89/170.09  
% 170.12/170.35  
% 170.12/170.35  
% 170.12/170.35  Changing weight limit from 8 to 9.
% 170.12/170.35  
% 170.12/170.35  Resetting weight limit to 9 after 6415 givens.
% 170.12/170.35  
% 170.43/170.60  
% 170.43/170.60  
% 170.43/170.60  Changing weight limit from 9 to 8.
% 170.43/170.60  
% 170.43/170.60  Resetting weight limit to 8 after 6420 givens.
% 170.43/170.60  
% 170.67/170.86  
% 170.67/170.86  
% 170.67/170.86  Changing weight limit from 8 to 9.
% 170.67/170.86  
% 170.67/170.86  Resetting weight limit to 9 after 6425 givens.
% 170.67/170.86  
% 170.90/171.12  
% 170.90/171.12  
% 170.90/171.12  Changing weight limit from 9 to 8.
% 170.90/171.12  
% 170.90/171.12  Resetting weight limit to 8 after 6430 givens.
% 170.90/171.12  
% 171.17/171.38  
% 171.17/171.38  
% 171.17/171.38  Changing weight limit from 8 to 9.
% 171.17/171.38  
% 171.17/171.38  Resetting weight limit to 9 after 6435 givens.
% 171.17/171.38  
% 171.46/171.64  
% 171.46/171.64  
% 171.46/171.64  Changing weight limit from 9 to 8.
% 171.46/171.64  
% 171.46/171.64  Resetting weight limit to 8 after 6440 givens.
% 171.46/171.64  
% 171.67/171.90  
% 171.67/171.90  
% 171.67/171.90  Changing weight limit from 8 to 9.
% 171.67/171.90  
% 171.67/171.90  Resetting weight limit to 9 after 6445 givens.
% 171.67/171.90  
% 171.96/172.16  
% 171.96/172.16  
% 171.96/172.16  Changing weight limit from 9 to 8.
% 171.96/172.16  
% 171.96/172.16  Resetting weight limit to 8 after 6450 givens.
% 171.96/172.16  
% 172.23/172.42  
% 172.23/172.42  
% 172.23/172.42  Changing weight limit from 8 to 9.
% 172.23/172.42  
% 172.23/172.42  Resetting weight limit to 9 after 6455 givens.
% 172.23/172.42  
% 172.48/172.68  
% 172.48/172.68  
% 172.48/172.68  Changing weight limit from 9 to 8.
% 172.48/172.68  
% 172.48/172.68  Resetting weight limit to 8 after 6460 givens.
% 172.48/172.68  
% 172.72/172.95  
% 172.72/172.95  
% 172.72/172.95  Changing weight limit from 8 to 9.
% 172.72/172.95  
% 172.72/172.95  Resetting weight limit to 9 after 6465 givens.
% 172.72/172.95  
% 173.03/173.21  
% 173.03/173.21  
% 173.03/173.21  Changing weight limit from 9 to 8.
% 173.03/173.21  
% 173.03/173.21  Resetting weight limit to 8 after 6470 givens.
% 173.03/173.21  
% 173.28/173.47  
% 173.28/173.47  
% 173.28/173.47  Changing weight limit from 8 to 9.
% 173.28/173.47  
% 173.28/173.47  Resetting weight limit to 9 after 6475 givens.
% 173.28/173.47  
% 173.53/173.74  
% 173.53/173.74  
% 173.53/173.74  Changing weight limit from 9 to 8.
% 173.53/173.74  
% 173.53/173.74  Resetting weight limit to 8 after 6480 givens.
% 173.53/173.74  
% 173.82/174.00  
% 173.82/174.00  
% 173.82/174.00  Changing weight limit from 8 to 9.
% 173.82/174.00  
% 173.82/174.00  Resetting weight limit to 9 after 6485 givens.
% 173.82/174.00  
% 174.07/174.27  
% 174.07/174.27  
% 174.07/174.27  Changing weight limit from 9 to 8.
% 174.07/174.27  
% 174.07/174.27  Resetting weight limit to 8 after 6490 givens.
% 174.07/174.27  
% 174.36/174.53  
% 174.36/174.53  
% 174.36/174.53  Changing weight limit from 8 to 9.
% 174.36/174.53  
% 174.36/174.53  Resetting weight limit to 9 after 6495 givens.
% 174.36/174.53  
% 174.61/174.80  
% 174.61/174.80  
% 174.61/174.80  Changing weight limit from 9 to 8.
% 174.61/174.80  
% 174.61/174.80  Resetting weight limit to 8 after 6500 givens.
% 174.61/174.80  
% 174.85/175.06  
% 174.85/175.06  
% 174.85/175.06  Changing weight limit from 8 to 9.
% 174.85/175.06  
% 174.85/175.06  Resetting weight limit to 9 after 6505 givens.
% 174.85/175.06  
% 175.07/175.32  
% 175.07/175.32  
% 175.07/175.32  Changing weight limit from 9 to 8.
% 175.07/175.32  
% 175.07/175.32  Resetting weight limit to 8 after 6510 givens.
% 175.07/175.32  
% 175.36/175.58  
% 175.36/175.58  
% 175.36/175.58  Changing weight limit from 8 to 9.
% 175.36/175.58  
% 175.36/175.58  Resetting weight limit to 9 after 6515 givens.
% 175.36/175.58  
% 175.67/175.85  
% 175.67/175.85  
% 175.67/175.85  Changing weight limit from 9 to 8.
% 175.67/175.85  
% 175.67/175.85  Resetting weight limit to 8 after 6520 givens.
% 175.67/175.85  
% 175.88/176.11  
% 175.88/176.11  
% 175.88/176.11  Changing weight limit from 8 to 9.
% 175.88/176.11  
% 175.88/176.11  Resetting weight limit to 9 after 6525 givens.
% 175.88/176.11  
% 176.18/176.38  
% 176.18/176.38  
% 176.18/176.38  Changing weight limit from 9 to 8.
% 176.18/176.38  
% 176.18/176.38  Resetting weight limit to 8 after 6530 givens.
% 176.18/176.38  
% 176.46/176.64  
% 176.46/176.64  
% 176.46/176.64  Changing weight limit from 8 to 9.
% 176.46/176.64  
% 176.46/176.64  Resetting weight limit to 9 after 6535 givens.
% 176.46/176.64  
% 176.73/176.91  
% 176.73/176.91  
% 176.73/176.91  Changing weight limit from 9 to 8.
% 176.73/176.91  
% 176.73/176.91  Resetting weight limit to 8 after 6540 givens.
% 176.73/176.91  
% 176.99/177.18  
% 176.99/177.18  
% 176.99/177.18  Changing weight limit from 8 to 9.
% 176.99/177.18  
% 176.99/177.18  Resetting weight limit to 9 after 6545 givens.
% 176.99/177.18  
% 177.23/177.44  
% 177.23/177.44  
% 177.23/177.44  Changing weight limit from 9 to 8.
% 177.23/177.44  
% 177.23/177.44  Resetting weight limit to 8 after 6550 givens.
% 177.23/177.44  
% 177.48/177.71  
% 177.48/177.71  
% 177.48/177.71  Changing weight limit from 8 to 9.
% 177.48/177.71  
% 177.48/177.71  Resetting weight limit to 9 after 6555 givens.
% 177.48/177.71  
% 177.78/177.98  
% 177.78/177.98  
% 177.78/177.98  Changing weight limit from 9 to 8.
% 177.78/177.98  
% 177.78/177.98  Resetting weight limit to 8 after 6560 givens.
% 177.78/177.98  
% 178.08/178.25  
% 178.08/178.25  
% 178.08/178.25  Changing weight limit from 8 to 9.
% 178.08/178.25  
% 178.08/178.25  Resetting weight limit to 9 after 6565 givens.
% 178.08/178.25  
% 178.31/178.52  
% 178.31/178.52  
% 178.31/178.52  Changing weight limit from 9 to 8.
% 178.31/178.52  
% 178.31/178.52  Resetting weight limit to 8 after 6570 givens.
% 178.31/178.52  
% 178.58/178.78  
% 178.58/178.78  
% 178.58/178.78  Changing weight limit from 8 to 9.
% 178.58/178.78  
% 178.58/178.78  Resetting weight limit to 9 after 6575 givens.
% 178.58/178.78  
% 178.86/179.05  
% 178.86/179.05  
% 178.86/179.05  Changing weight limit from 9 to 8.
% 178.86/179.05  
% 178.86/179.05  Resetting weight limit to 8 after 6580 givens.
% 178.86/179.05  
% 179.08/179.32  
% 179.08/179.32  
% 179.08/179.32  Changing weight limit from 8 to 9.
% 179.08/179.32  
% 179.08/179.32  Resetting weight limit to 9 after 6585 givens.
% 179.08/179.32  
% 179.43/179.59  
% 179.43/179.59  
% 179.43/179.59  Changing weight limit from 9 to 8.
% 179.43/179.59  
% 179.43/179.59  Resetting weight limit to 8 after 6590 givens.
% 179.43/179.59  
% 179.69/179.86  
% 179.69/179.86  
% 179.69/179.86  Changing weight limit from 8 to 9.
% 179.69/179.86  
% 179.69/179.86  Resetting weight limit to 9 after 6595 givens.
% 179.69/179.86  
% 179.88/180.13  
% 179.88/180.13  
% 179.88/180.13  Changing weight limit from 9 to 8.
% 179.88/180.13  
% 179.88/180.13  Resetting weight limit to 8 after 6600 givens.
% 179.88/180.13  
% 180.18/180.40  
% 180.18/180.40  
% 180.18/180.40  Changing weight limit from 8 to 9.
% 180.18/180.40  
% 180.18/180.40  Resetting weight limit to 9 after 6605 givens.
% 180.18/180.40  
% 180.49/180.67  
% 180.49/180.67  
% 180.49/180.67  Changing weight limit from 9 to 8.
% 180.49/180.67  
% 180.49/180.67  Resetting weight limit to 8 after 6610 givens.
% 180.49/180.67  
% 180.70/180.94  
% 180.70/180.94  
% 180.70/180.94  Changing weight limit from 8 to 9.
% 180.70/180.94  
% 180.70/180.94  Resetting weight limit to 9 after 6615 givens.
% 180.70/180.94  
% 181.00/181.22  
% 181.00/181.22  
% 181.00/181.22  Changing weight limit from 9 to 8.
% 181.00/181.22  
% 181.00/181.22  Resetting weight limit to 8 after 6620 givens.
% 181.00/181.22  
% 181.29/181.50  
% 181.29/181.50  
% 181.29/181.50  Changing weight limit from 8 to 9.
% 181.29/181.50  
% 181.29/181.50  Resetting weight limit to 9 after 6625 givens.
% 181.29/181.50  
% 181.58/181.77  
% 181.58/181.77  
% 181.58/181.77  Changing weight limit from 9 to 8.
% 181.58/181.77  
% 181.58/181.77  Resetting weight limit to 8 after 6630 givens.
% 181.58/181.77  
% 181.86/182.04  
% 181.86/182.04  
% 181.86/182.04  Changing weight limit from 8 to 9.
% 181.86/182.04  
% 181.86/182.04  Resetting weight limit to 9 after 6635 givens.
% 181.86/182.04  
% 182.14/182.32  
% 182.14/182.32  
% 182.14/182.32  Changing weight limit from 9 to 8.
% 182.14/182.32  
% 182.14/182.32  Resetting weight limit to 8 after 6640 givens.
% 182.14/182.32  
% 182.39/182.59  
% 182.39/182.59  
% 182.39/182.59  Changing weight limit from 8 to 9.
% 182.39/182.59  
% 182.39/182.59  Resetting weight limit to 9 after 6645 givens.
% 182.39/182.59  
% 182.69/182.87  
% 182.69/182.87  
% 182.69/182.87  Changing weight limit from 9 to 8.
% 182.69/182.87  
% 182.69/182.87  Resetting weight limit to 8 after 6650 givens.
% 182.69/182.87  
% 182.94/183.14  
% 182.94/183.14  
% 182.94/183.14  Changing weight limit from 8 to 9.
% 182.94/183.14  
% 182.94/183.14  Resetting weight limit to 9 after 6655 givens.
% 182.94/183.14  
% 183.24/183.42  
% 183.24/183.42  
% 183.24/183.42  Changing weight limit from 9 to 8.
% 183.24/183.42  
% 183.24/183.42  Resetting weight limit to 8 after 6660 givens.
% 183.24/183.42  
% 183.50/183.69  
% 183.50/183.69  
% 183.50/183.69  Changing weight limit from 8 to 9.
% 183.50/183.69  
% 183.50/183.69  Resetting weight limit to 9 after 6665 givens.
% 183.50/183.69  
% 183.80/183.97  
% 183.80/183.97  
% 183.80/183.97  Changing weight limit from 9 to 8.
% 183.80/183.97  
% 183.80/183.97  Resetting weight limit to 8 after 6670 givens.
% 183.80/183.97  
% 184.04/184.25  
% 184.04/184.25  
% 184.04/184.25  Changing weight limit from 8 to 9.
% 184.04/184.25  
% 184.04/184.25  Resetting weight limit to 9 after 6675 givens.
% 184.04/184.25  
% 184.35/184.53  
% 184.35/184.53  
% 184.35/184.53  Changing weight limit from 9 to 8.
% 184.35/184.53  
% 184.35/184.53  Resetting weight limit to 8 after 6680 givens.
% 184.35/184.53  
% 184.58/184.81  
% 184.58/184.81  
% 184.58/184.81  Changing weight limit from 8 to 9.
% 184.58/184.81  
% 184.58/184.81  Resetting weight limit to 9 after 6685 givens.
% 184.58/184.81  
% 184.90/185.09  
% 184.90/185.09  
% 184.90/185.09  Changing weight limit from 9 to 8.
% 184.90/185.09  
% 184.90/185.09  Resetting weight limit to 8 after 6690 givens.
% 184.90/185.09  
% 185.20/185.37  
% 185.20/185.37  
% 185.20/185.37  Changing weight limit from 8 to 9.
% 185.20/185.37  
% 185.20/185.37  Resetting weight limit to 9 after 6695 givens.
% 185.20/185.37  
% 185.43/185.65  
% 185.43/185.65  
% 185.43/185.65  Changing weight limit from 9 to 8.
% 185.43/185.65  
% 185.43/185.65  Resetting weight limit to 8 after 6700 givens.
% 185.43/185.65  
% 185.73/185.92  
% 185.73/185.92  
% 185.73/185.92  Changing weight limit from 8 to 9.
% 185.73/185.92  
% 185.73/185.92  Resetting weight limit to 9 after 6705 givens.
% 185.73/185.92  
% 186.04/186.21  
% 186.04/186.21  
% 186.04/186.21  Changing weight limit from 9 to 8.
% 186.04/186.21  
% 186.04/186.21  Resetting weight limit to 8 after 6710 givens.
% 186.04/186.21  
% 186.28/186.48  
% 186.28/186.48  
% 186.28/186.48  Changing weight limit from 8 to 9.
% 186.28/186.48  
% 186.28/186.48  Resetting weight limit to 9 after 6715 givens.
% 186.28/186.48  
% 186.60/186.76  
% 186.60/186.76  
% 186.60/186.76  Changing weight limit from 9 to 8.
% 186.60/186.76  
% 186.60/186.76  Resetting weight limit to 8 after 6720 givens.
% 186.60/186.76  
% 186.83/187.04  
% 186.83/187.04  
% 186.83/187.04  Changing weight limit from 8 to 9.
% 186.83/187.04  
% 186.83/187.04  Resetting weight limit to 9 after 6725 givens.
% 186.83/187.04  
% 187.14/187.33  
% 187.14/187.33  
% 187.14/187.33  Changing weight limit from 9 to 8.
% 187.14/187.33  
% 187.14/187.33  Resetting weight limit to 8 after 6730 givens.
% 187.14/187.33  
% 187.44/187.60  
% 187.44/187.60  
% 187.44/187.60  Changing weight limit from 8 to 9.
% 187.44/187.60  
% 187.44/187.60  Resetting weight limit to 9 after 6735 givens.
% 187.44/187.60  
% 187.69/187.89  
% 187.69/187.89  
% 187.69/187.89  Changing weight limit from 9 to 8.
% 187.69/187.89  
% 187.69/187.89  Resetting weight limit to 8 after 6740 givens.
% 187.69/187.89  
% 188.00/188.17  
% 188.00/188.17  
% 188.00/188.17  Changing weight limit from 8 to 9.
% 188.00/188.17  
% 188.00/188.17  Resetting weight limit to 9 after 6745 givens.
% 188.00/188.17  
% 188.29/188.45  
% 188.29/188.45  
% 188.29/188.45  Changing weight limit from 9 to 8.
% 188.29/188.45  
% 188.29/188.45  Resetting weight limit to 8 after 6750 givens.
% 188.29/188.45  
% 188.53/188.73  
% 188.53/188.73  
% 188.53/188.73  Changing weight limit from 8 to 9.
% 188.53/188.73  
% 188.53/188.73  Resetting weight limit to 9 after 6755 givens.
% 188.53/188.73  
% 188.84/189.01  
% 188.84/189.01  
% 188.84/189.01  Changing weight limit from 9 to 8.
% 188.84/189.01  
% 188.84/189.01  Resetting weight limit to 8 after 6760 givens.
% 188.84/189.01  
% 189.13/189.29  
% 189.13/189.29  
% 189.13/189.29  Changing weight limit from 8 to 9.
% 189.13/189.29  
% 189.13/189.29  Resetting weight limit to 9 after 6765 givens.
% 189.13/189.29  
% 189.39/189.58  
% 189.39/189.58  
% 189.39/189.58  Changing weight limit from 9 to 8.
% 189.39/189.58  
% 189.39/189.58  Resetting weight limit to 8 after 6770 givens.
% 189.39/189.58  
% 190.09/190.31  
% 190.09/190.31  
% 190.09/190.31  Changing weight limit from 8 to 9.
% 190.09/190.31  
% 190.09/190.31  Resetting weight limit to 9 after 6790 givens.
% 190.09/190.31  
% 190.39/190.60  
% 190.39/190.60  
% 190.39/190.60  Changing weight limit from 9 to 8.
% 190.39/190.60  
% 190.39/190.60  Resetting weight limit to 8 after 6795 givens.
% 190.39/190.60  
% 190.70/190.88  
% 190.70/190.88  
% 190.70/190.88  Changing weight limit from 8 to 9.
% 190.70/190.88  
% 190.70/190.88  Resetting weight limit to 9 after 6800 givens.
% 190.70/190.88  
% 191.01/191.17  
% 191.01/191.17  
% 191.01/191.17  Changing weight limit from 9 to 8.
% 191.01/191.17  
% 191.01/191.17  Resetting weight limit to 8 after 6805 givens.
% 191.01/191.17  
% 191.39/191.59  
% 191.39/191.59  
% 191.39/191.59  Changing weight limit from 8 to 9.
% 191.39/191.59  
% 191.39/191.59  Resetting weight limit to 9 after 6815 givens.
% 191.39/191.59  
% 191.71/191.88  
% 191.71/191.88  
% 191.71/191.88  Changing weight limit from 9 to 8.
% 191.71/191.88  
% 191.71/191.88  Resetting weight limit to 8 after 6820 givens.
% 191.71/191.88  
% 192.01/192.17  
% 192.01/192.17  
% 192.01/192.17  Changing weight limit from 8 to 9.
% 192.01/192.17  
% 192.01/192.17  Resetting weight limit to 9 after 6825 givens.
% 192.01/192.17  
% 192.24/192.46  
% 192.24/192.46  
% 192.24/192.46  Changing weight limit from 9 to 8.
% 192.24/192.46  
% 192.24/192.46  Resetting weight limit to 8 after 6830 givens.
% 192.24/192.46  
% 192.54/192.74  
% 192.54/192.74  
% 192.54/192.74  Changing weight limit from 8 to 9.
% 192.54/192.74  
% 192.54/192.74  Resetting weight limit to 9 after 6835 givens.
% 192.54/192.74  
% 192.85/193.03  
% 192.85/193.03  
% 192.85/193.03  Changing weight limit from 9 to 8.
% 192.85/193.03  
% 192.85/193.03  Resetting weight limit to 8 after 6840 givens.
% 192.85/193.03  
% 193.15/193.32  
% 193.15/193.32  
% 193.15/193.32  Changing weight limit from 8 to 9.
% 193.15/193.32  
% 193.15/193.32  Resetting weight limit to 9 after 6845 givens.
% 193.15/193.32  
% 193.45/193.62  
% 193.45/193.62  
% 193.45/193.62  Changing weight limit from 9 to 8.
% 193.45/193.62  
% 193.45/193.62  Resetting weight limit to 8 after 6850 givens.
% 193.45/193.62  
% 193.75/193.90  
% 193.75/193.90  
% 193.75/193.90  Changing weight limit from 8 to 9.
% 193.75/193.90  
% 193.75/193.90  Resetting weight limit to 9 after 6855 givens.
% 193.75/193.90  
% 194.01/194.19  
% 194.01/194.19  
% 194.01/194.19  Changing weight limit from 9 to 8.
% 194.01/194.19  
% 194.01/194.19  Resetting weight limit to 8 after 6860 givens.
% 194.01/194.19  
% 194.30/194.48  
% 194.30/194.48  
% 194.30/194.48  Changing weight limit from 8 to 9.
% 194.30/194.48  
% 194.30/194.48  Resetting weight limit to 9 after 6865 givens.
% 194.30/194.48  
% 194.60/194.78  
% 194.60/194.78  
% 194.60/194.78  Changing weight limit from 9 to 8.
% 194.60/194.78  
% 194.60/194.78  Resetting weight limit to 8 after 6870 givens.
% 194.60/194.78  
% 194.91/195.07  
% 194.91/195.07  
% 194.91/195.07  Changing weight limit from 8 to 9.
% 194.91/195.07  
% 194.91/195.07  Resetting weight limit to 9 after 6875 givens.
% 194.91/195.07  
% 195.20/195.36  
% 195.20/195.36  
% 195.20/195.36  Changing weight limit from 9 to 8.
% 195.20/195.36  
% 195.20/195.36  Resetting weight limit to 8 after 6880 givens.
% 195.20/195.36  
% 195.50/195.65  
% 195.50/195.65  
% 195.50/195.65  Changing weight limit from 8 to 9.
% 195.50/195.65  
% 195.50/195.65  Resetting weight limit to 9 after 6885 givens.
% 195.50/195.65  
% 195.78/195.95  
% 195.78/195.95  
% 195.78/195.95  Changing weight limit from 9 to 8.
% 195.78/195.95  
% 195.78/195.95  Resetting weight limit to 8 after 6890 givens.
% 195.78/195.95  
% 196.05/196.24  
% 196.05/196.24  
% 196.05/196.24  Changing weight limit from 8 to 9.
% 196.05/196.24  
% 196.05/196.24  Resetting weight limit to 9 after 6895 givens.
% 196.05/196.24  
% 196.30/196.53  
% 196.30/196.53  
% 196.30/196.53  Changing weight limit from 9 to 8.
% 196.30/196.53  
% 196.30/196.53  Resetting weight limit to 8 after 6900 givens.
% 196.30/196.53  
% 196.89/197.06  
% 196.89/197.06  
% 196.89/197.06  Changing weight limit from 8 to 9.
% 196.89/197.06  
% 196.89/197.06  Resetting weight limit to 9 after 6910 givens.
% 196.89/197.06  
% 197.19/197.36  
% 197.19/197.36  
% 197.19/197.36  Changing weight limit from 9 to 8.
% 197.19/197.36  
% 197.19/197.36  Resetting weight limit to 8 after 6915 givens.
% 197.19/197.36  
% 197.42/197.65  
% 197.42/197.65  
% 197.42/197.65  Changing weight limit from 8 to 9.
% 197.42/197.65  
% 197.42/197.65  Resetting weight limit to 9 after 6920 givens.
% 197.42/197.65  
% 197.71/197.95  
% 197.71/197.95  
% 197.71/197.95  Changing weight limit from 9 to 8.
% 197.71/197.95  
% 197.71/197.95  Resetting weight limit to 8 after 6925 givens.
% 197.71/197.95  
% 198.31/198.48  
% 198.31/198.48  
% 198.31/198.48  Changing weight limit from 8 to 9.
% 198.31/198.48  
% 198.31/198.48  Resetting weight limit to 9 after 6935 givens.
% 198.31/198.48  
% 198.60/198.78  
% 198.60/198.78  
% 198.60/198.78  Changing weight limit from 9 to 8.
% 198.60/198.78  
% 198.60/198.78  Resetting weight limit to 8 after 6940 givens.
% 198.60/198.78  
% 198.90/199.08  
% 198.90/199.08  
% 198.90/199.08  Changing weight limit from 8 to 9.
% 198.90/199.08  
% 198.90/199.08  Resetting weight limit to 9 after 6945 givens.
% 198.90/199.08  
% 199.19/199.38  
% 199.19/199.38  
% 199.19/199.38  Changing weight limit from 9 to 8.
% 199.19/199.38  
% 199.19/199.38  Resetting weight limit to 8 after 6950 givens.
% 199.19/199.38  
% 199.50/199.67  
% 199.50/199.67  
% 199.50/199.67  Changing weight limit from 8 to 9.
% 199.50/199.67  
% 199.50/199.67  Resetting weight limit to 9 after 6955 givens.
% 199.50/199.67  
% 199.79/199.97  
% 199.79/199.97  
% 199.79/199.97  Changing weight limit from 9 to 8.
% 199.79/199.97  
% 199.79/199.97  Resetting weight limit to 8 after 6960 givens.
% 199.79/199.97  
% 200.10/200.27  
% 200.10/200.27  
% 200.10/200.27  Changing weight limit from 8 to 9.
% 200.10/200.27  
% 200.10/200.27  Resetting weight limit to 9 after 6965 givens.
% 200.10/200.27  
% 200.38/200.57  
% 200.38/200.57  
% 200.38/200.57  Changing weight limit from 9 to 8.
% 200.38/200.57  
% 200.38/200.57  Resetting weight limit to 8 after 6970 givens.
% 200.38/200.57  
% 200.69/200.86  
% 200.69/200.86  
% 200.69/200.86  Changing weight limit from 8 to 9.
% 200.69/200.86  
% 200.69/200.86  Resetting weight limit to 9 after 6975 givens.
% 200.69/200.86  
% 200.98/201.16  
% 200.98/201.16  
% 200.98/201.16  Changing weight limit from 9 to 8.
% 200.98/201.16  
% 200.98/201.16  Resetting weight limit to 8 after 6980 givens.
% 200.98/201.16  
% 201.30/201.46  
% 201.30/201.46  
% 201.30/201.46  Changing weight limit from 8 to 9.
% 201.30/201.46  
% 201.30/201.46  Resetting weight limit to 9 after 6985 givens.
% 201.30/201.46  
% 201.60/201.77  
% 201.60/201.77  
% 201.60/201.77  Changing weight limit from 9 to 8.
% 201.60/201.77  
% 201.60/201.77  Resetting weight limit to 8 after 6990 givens.
% 201.60/201.77  
% 201.91/202.06  
% 201.91/202.06  
% 201.91/202.06  Changing weight limit from 8 to 9.
% 201.91/202.06  
% 201.91/202.06  Resetting weight limit to 9 after 6995 givens.
% 201.91/202.06  
% 202.21/202.37  
% 202.21/202.37  
% 202.21/202.37  Changing weight limit from 9 to 8.
% 202.21/202.37  
% 202.21/202.37  Resetting weight limit to 8 after 7000 givens.
% 202.21/202.37  
% 202.51/202.67  
% 202.51/202.67  
% 202.51/202.67  Changing weight limit from 8 to 9.
% 202.51/202.67  
% 202.51/202.67  Resetting weight limit to 9 after 7005 givens.
% 202.51/202.67  
% 202.81/202.97  
% 202.81/202.97  
% 202.81/202.97  Changing weight limit from 9 to 8.
% 202.81/202.97  
% 202.81/202.97  Resetting weight limit to 8 after 7010 givens.
% 202.81/202.97  
% 203.10/203.27  
% 203.10/203.27  
% 203.10/203.27  Changing weight limit from 8 to 9.
% 203.10/203.27  
% 203.10/203.27  Resetting weight limit to 9 after 7015 givens.
% 203.10/203.27  
% 203.40/203.58  
% 203.40/203.58  
% 203.40/203.58  Changing weight limit from 9 to 8.
% 203.40/203.58  
% 203.40/203.58  Resetting weight limit to 8 after 7020 givens.
% 203.40/203.58  
% 203.69/203.88  
% 203.69/203.88  
% 203.69/203.88  Changing weight limit from 8 to 9.
% 203.69/203.88  
% 203.69/203.88  Resetting weight limit to 9 after 7025 givens.
% 203.69/203.88  
% 203.99/204.19  
% 203.99/204.19  
% 203.99/204.19  Changing weight limit from 9 to 8.
% 203.99/204.19  
% 203.99/204.19  Resetting weight limit to 8 after 7030 givens.
% 203.99/204.19  
% 204.34/204.49  
% 204.34/204.49  
% 204.34/204.49  Changing weight limit from 8 to 9.
% 204.34/204.49  
% 204.34/204.49  Resetting weight limit to 9 after 7035 givens.
% 204.34/204.49  
% 204.63/204.80  
% 204.63/204.80  
% 204.63/204.80  Changing weight limit from 9 to 8.
% 204.63/204.80  
% 204.63/204.80  Resetting weight limit to 8 after 7040 givens.
% 204.63/204.80  
% 204.92/205.10  
% 204.92/205.10  
% 204.92/205.10  Changing weight limit from 8 to 9.
% 204.92/205.10  
% 204.92/205.10  Resetting weight limit to 9 after 7045 givens.
% 204.92/205.10  
% 205.23/205.41  
% 205.23/205.41  
% 205.23/205.41  Changing weight limit from 9 to 8.
% 205.23/205.41  
% 205.23/205.41  Resetting weight limit to 8 after 7050 givens.
% 205.23/205.41  
% 205.52/205.71  
% 205.52/205.71  
% 205.52/205.71  Changing weight limit from 8 to 9.
% 205.52/205.71  
% 205.52/205.71  Resetting weight limit to 9 after 7055 givens.
% 205.52/205.71  
% 205.83/206.02  
% 205.83/206.02  
% 205.83/206.02  Changing weight limit from 9 to 8.
% 205.83/206.02  
% 205.83/206.02  Resetting weight limit to 8 after 7060 givens.
% 205.83/206.02  
% 206.14/206.33  
% 206.14/206.33  
% 206.14/206.33  Changing weight limit from 8 to 9.
% 206.14/206.33  
% 206.14/206.33  Resetting weight limit to 9 after 7065 givens.
% 206.14/206.33  
% 206.45/206.63  
% 206.45/206.63  
% 206.45/206.63  Changing weight limit from 9 to 8.
% 206.45/206.63  
% 206.45/206.63  Resetting weight limit to 8 after 7070 givens.
% 206.45/206.63  
% 206.75/206.94  
% 206.75/206.94  
% 206.75/206.94  Changing weight limit from 8 to 9.
% 206.75/206.94  
% 206.75/206.94  Resetting weight limit to 9 after 7075 givens.
% 206.75/206.94  
% 207.09/207.25  
% 207.09/207.25  
% 207.09/207.25  Changing weight limit from 9 to 8.
% 207.09/207.25  
% 207.09/207.25  Resetting weight limit to 8 after 7080 givens.
% 207.09/207.25  
% 207.39/207.55  
% 207.39/207.55  
% 207.39/207.55  Changing weight limit from 8 to 9.
% 207.39/207.55  
% 207.39/207.55  Resetting weight limit to 9 after 7085 givens.
% 207.39/207.55  
% 207.71/207.86  
% 207.71/207.86  
% 207.71/207.86  Changing weight limit from 9 to 8.
% 207.71/207.86  
% 207.71/207.86  Resetting weight limit to 8 after 7090 givens.
% 207.71/207.86  
% 208.01/208.17  
% 208.01/208.17  
% 208.01/208.17  Changing weight limit from 8 to 9.
% 208.01/208.17  
% 208.01/208.17  Resetting weight limit to 9 after 7095 givens.
% 208.01/208.17  
% 208.29/208.47  
% 208.29/208.47  
% 208.29/208.47  Changing weight limit from 9 to 8.
% 208.29/208.47  
% 208.29/208.47  Resetting weight limit to 8 after 7100 givens.
% 208.29/208.47  
% 208.59/208.78  
% 208.59/208.78  
% 208.59/208.78  Changing weight limit from 8 to 9.
% 208.59/208.78  
% 208.59/208.78  Resetting weight limit to 9 after 7105 givens.
% 208.59/208.78  
% 208.92/209.09  
% 208.92/209.09  
% 208.92/209.09  Changing weight limit from 9 to 8.
% 208.92/209.09  
% 208.92/209.09  Resetting weight limit to 8 after 7110 givens.
% 208.92/209.09  
% 209.24/209.40  
% 209.24/209.40  
% 209.24/209.40  Changing weight limit from 8 to 9.
% 209.24/209.40  
% 209.24/209.40  Resetting weight limit to 9 after 7115 givens.
% 209.24/209.40  
% 209.53/209.72  
% 209.53/209.72  
% 209.53/209.72  Changing weight limit from 9 to 8.
% 209.53/209.72  
% 209.53/209.72  Resetting weight limit to 8 after 7120 givens.
% 209.53/209.72  
% 209.85/210.03  
% 209.85/210.03  
% 209.85/210.03  Changing weight limit from 8 to 9.
% 209.85/210.03  
% 209.85/210.03  Resetting weight limit to 9 after 7125 givens.
% 209.85/210.03  
% 210.15/210.34  
% 210.15/210.34  
% 210.15/210.34  Changing weight limit from 9 to 8.
% 210.15/210.34  
% 210.15/210.34  Resetting weight limit to 8 after 7130 givens.
% 210.15/210.34  
% 210.49/210.65  
% 210.49/210.65  
% 210.49/210.65  Changing weight limit from 8 to 9.
% 210.49/210.65  
% 210.49/210.65  Resetting weight limit to 9 after 7135 givens.
% 210.49/210.65  
% 210.79/210.96  
% 210.79/210.96  
% 210.79/210.96  Changing weight limit from 9 to 8.
% 210.79/210.96  
% 210.79/210.96  Resetting weight limit to 8 after 7140 givens.
% 210.79/210.96  
% 211.10/211.27  
% 211.10/211.27  
% 211.10/211.27  Changing weight limit from 8 to 9.
% 211.10/211.27  
% 211.10/211.27  Resetting weight limit to 9 after 7145 givens.
% 211.10/211.27  
% 211.41/211.59  
% 211.41/211.59  
% 211.41/211.59  Changing weight limit from 9 to 8.
% 211.41/211.59  
% 211.41/211.59  Resetting weight limit to 8 after 7150 givens.
% 211.41/211.59  
% 211.72/211.90  
% 211.72/211.90  
% 211.72/211.90  Changing weight limit from 8 to 9.
% 211.72/211.90  
% 211.72/211.90  Resetting weight limit to 9 after 7155 givens.
% 211.72/211.90  
% 212.04/212.21  
% 212.04/212.21  
% 212.04/212.21  Changing weight limit from 9 to 8.
% 212.04/212.21  
% 212.04/212.21  Resetting weight limit to 8 after 7160 givens.
% 212.04/212.21  
% 212.33/212.52  
% 212.33/212.52  
% 212.33/212.52  Changing weight limit from 8 to 9.
% 212.33/212.52  
% 212.33/212.52  Resetting weight limit to 9 after 7165 givens.
% 212.33/212.52  
% 212.63/212.84  
% 212.63/212.84  
% 212.63/212.84  Changing weight limit from 9 to 8.
% 212.63/212.84  
% 212.63/212.84  Resetting weight limit to 8 after 7170 givens.
% 212.63/212.84  
% 212.94/213.14  
% 212.94/213.14  
% 212.94/213.14  Changing weight limit from 8 to 9.
% 212.94/213.14  
% 212.94/213.14  Resetting weight limit to 9 after 7175 givens.
% 212.94/213.14  
% 213.31/213.46  
% 213.31/213.46  
% 213.31/213.46  Changing weight limit from 9 to 8.
% 213.31/213.46  
% 213.31/213.46  Resetting weight limit to 8 after 7180 givens.
% 213.31/213.46  
% 213.61/213.77  
% 213.61/213.77  
% 213.61/213.77  Changing weight limit from 8 to 9.
% 213.61/213.77  
% 213.61/213.77  Resetting weight limit to 9 after 7185 givens.
% 213.61/213.77  
% 213.89/214.09  
% 213.89/214.09  
% 213.89/214.09  Changing weight limit from 9 to 8.
% 213.89/214.09  
% 213.89/214.09  Resetting weight limit to 8 after 7190 givens.
% 213.89/214.09  
% 214.19/214.40  
% 214.19/214.40  
% 214.19/214.40  Changing weight limit from 8 to 9.
% 214.19/214.40  
% 214.19/214.40  Resetting weight limit to 9 after 7195 givens.
% 214.19/214.40  
% 214.54/214.71  
% 214.54/214.71  
% 214.54/214.71  Changing weight limit from 9 to 8.
% 214.54/214.71  
% 214.54/214.71  Resetting weight limit to 8 after 7200 givens.
% 214.54/214.71  
% 214.84/215.02  
% 214.84/215.02  
% 214.84/215.02  Changing weight limit from 8 to 9.
% 214.84/215.02  
% 214.84/215.02  Resetting weight limit to 9 after 7205 givens.
% 214.84/215.02  
% 215.18/215.34  
% 215.18/215.34  
% 215.18/215.34  Changing weight limit from 9 to 8.
% 215.18/215.34  
% 215.18/215.34  Resetting weight limit to 8 after 7210 givens.
% 215.18/215.34  
% 215.49/215.66  
% 215.49/215.66  
% 215.49/215.66  Changing weight limit from 8 to 9.
% 215.49/215.66  
% 215.49/215.66  Resetting weight limit to 9 after 7215 givens.
% 215.49/215.66  
% 215.81/215.97  
% 215.81/215.97  
% 215.81/215.97  Changing weight limit from 9 to 8.
% 215.81/215.97  
% 215.81/215.97  Resetting weight limit to 8 after 7220 givens.
% 215.81/215.97  
% 216.11/216.29  
% 216.11/216.29  
% 216.11/216.29  Changing weight limit from 8 to 9.
% 216.11/216.29  
% 216.11/216.29  Resetting weight limit to 9 after 7225 givens.
% 216.11/216.29  
% 216.46/216.61  
% 216.46/216.61  
% 216.46/216.61  Changing weight limit from 9 to 8.
% 216.46/216.61  
% 216.46/216.61  Resetting weight limit to 8 after 7230 givens.
% 216.46/216.61  
% 216.71/216.93  
% 216.71/216.93  
% 216.71/216.93  Changing weight limit from 8 to 9.
% 216.71/216.93  
% 216.71/216.93  Resetting weight limit to 9 after 7235 givens.
% 216.71/216.93  
% 217.10/217.25  
% 217.10/217.25  
% 217.10/217.25  Changing weight limit from 9 to 8.
% 217.10/217.25  
% 217.10/217.25  Resetting weight limit to 8 after 7240 givens.
% 217.10/217.25  
% 217.39/217.57  
% 217.39/217.57  
% 217.39/217.57  Changing weight limit from 8 to 9.
% 217.39/217.57  
% 217.39/217.57  Resetting weight limit to 9 after 7245 givens.
% 217.39/217.57  
% 217.70/217.90  
% 217.70/217.90  
% 217.70/217.90  Changing weight limit from 9 to 8.
% 217.70/217.90  
% 217.70/217.90  Resetting weight limit to 8 after 7250 givens.
% 217.70/217.90  
% 218.06/218.22  
% 218.06/218.22  
% 218.06/218.22  Changing weight limit from 8 to 9.
% 218.06/218.22  
% 218.06/218.22  Resetting weight limit to 9 after 7255 givens.
% 218.06/218.22  
% 218.37/218.54  
% 218.37/218.54  
% 218.37/218.54  Changing weight limit from 9 to 8.
% 218.37/218.54  
% 218.37/218.54  Resetting weight limit to 8 after 7260 givens.
% 218.37/218.54  
% 218.67/218.86  
% 218.67/218.86  
% 218.67/218.86  Changing weight limit from 8 to 9.
% 218.67/218.86  
% 218.67/218.86  Resetting weight limit to 9 after 7265 givens.
% 218.67/218.86  
% 219.00/219.18  
% 219.00/219.18  
% 219.00/219.18  Changing weight limit from 9 to 8.
% 219.00/219.18  
% 219.00/219.18  Resetting weight limit to 8 after 7270 givens.
% 219.00/219.18  
% 219.30/219.50  
% 219.30/219.50  
% 219.30/219.50  Changing weight limit from 8 to 9.
% 219.30/219.50  
% 219.30/219.50  Resetting weight limit to 9 after 7275 givens.
% 219.30/219.50  
% 219.58/219.82  
% 219.58/219.82  
% 219.58/219.82  Changing weight limit from 9 to 8.
% 219.58/219.82  
% 219.58/219.82  Resetting weight limit to 8 after 7280 givens.
% 219.58/219.82  
% 219.99/220.14  
% 219.99/220.14  
% 219.99/220.14  Changing weight limit from 8 to 9.
% 219.99/220.14  
% 219.99/220.14  Resetting weight limit to 9 after 7285 givens.
% 219.99/220.14  
% 220.29/220.47  
% 220.29/220.47  
% 220.29/220.47  Changing weight limit from 9 to 8.
% 220.29/220.47  
% 220.29/220.47  Resetting weight limit to 8 after 7290 givens.
% 220.29/220.47  
% 220.61/220.79  
% 220.61/220.79  
% 220.61/220.79  Changing weight limit from 8 to 9.
% 220.61/220.79  
% 220.61/220.79  Resetting weight limit to 9 after 7295 givens.
% 220.61/220.79  
% 220.95/221.12  
% 220.95/221.12  
% 220.95/221.12  Changing weight limit from 9 to 8.
% 220.95/221.12  
% 220.95/221.12  Resetting weight limit to 8 after 7300 givens.
% 220.95/221.12  
% 221.22/221.44  
% 221.22/221.44  
% 221.22/221.44  Changing weight limit from 8 to 9.
% 221.22/221.44  
% 221.22/221.44  Resetting weight limit to 9 after 7305 givens.
% 221.22/221.44  
% 221.61/221.77  
% 221.61/221.77  
% 221.61/221.77  Changing weight limit from 9 to 8.
% 221.61/221.77  
% 221.61/221.77  Resetting weight limit to 8 after 7310 givens.
% 221.61/221.77  
% 221.93/222.09  
% 221.93/222.09  
% 221.93/222.09  Changing weight limit from 8 to 9.
% 221.93/222.09  
% 221.93/222.09  Resetting weight limit to 9 after 7315 givens.
% 221.93/222.09  
% 222.24/222.42  
% 222.24/222.42  
% 222.24/222.42  Changing weight limit from 9 to 8.
% 222.24/222.42  
% 222.24/222.42  Resetting weight limit to 8 after 7320 givens.
% 222.24/222.42  
% 222.59/222.75  
% 222.59/222.75  
% 222.59/222.75  Changing weight limit from 8 to 9.
% 222.59/222.75  
% 222.59/222.75  Resetting weight limit to 9 after 7325 givens.
% 222.59/222.75  
% 222.91/223.08  
% 222.91/223.08  
% 222.91/223.08  Changing weight limit from 9 to 8.
% 222.91/223.08  
% 222.91/223.08  Resetting weight limit to 8 after 7330 givens.
% 222.91/223.08  
% 223.25/223.40  
% 223.25/223.40  
% 223.25/223.40  Changing weight limit from 8 to 9.
% 223.25/223.40  
% 223.25/223.40  Resetting weight limit to 9 after 7335 givens.
% 223.25/223.40  
% 223.51/223.73  
% 223.51/223.73  
% 223.51/223.73  Changing weight limit from 9 to 8.
% 223.51/223.73  
% 223.51/223.73  Resetting weight limit to 8 after 7340 givens.
% 223.51/223.73  
% 223.90/224.06  
% 223.90/224.06  
% 223.90/224.06  Changing weight limit from 8 to 9.
% 223.90/224.06  
% 223.90/224.06  Resetting weight limit to 9 after 7345 givens.
% 223.90/224.06  
% 224.19/224.38  
% 224.19/224.38  
% 224.19/224.38  Changing weight limit from 9 to 8.
% 224.19/224.38  
% 224.19/224.38  Resetting weight limit to 8 after 7350 givens.
% 224.19/224.38  
% 224.55/224.71  
% 224.55/224.71  
% 224.55/224.71  Changing weight limit from 8 to 9.
% 224.55/224.71  
% 224.55/224.71  Resetting weight limit to 9 after 7355 givens.
% 224.55/224.71  
% 224.85/225.04  
% 224.85/225.04  
% 224.85/225.04  Changing weight limit from 9 to 8.
% 224.85/225.04  
% 224.85/225.04  Resetting weight limit to 8 after 7360 givens.
% 224.85/225.04  
% 225.21/225.36  
% 225.21/225.36  
% 225.21/225.36  Changing weight limit from 8 to 9.
% 225.21/225.36  
% 225.21/225.36  Resetting weight limit to 9 after 7365 givens.
% 225.21/225.36  
% 225.51/225.70  
% 225.51/225.70  
% 225.51/225.70  Changing weight limit from 9 to 8.
% 225.51/225.70  
% 225.51/225.70  Resetting weight limit to 8 after 7370 givens.
% 225.51/225.70  
% 225.88/226.03  
% 225.88/226.03  
% 225.88/226.03  Changing weight limit from 8 to 9.
% 225.88/226.03  
% 225.88/226.03  Resetting weight limit to 9 after 7375 givens.
% 225.88/226.03  
% 226.19/226.36  
% 226.19/226.36  
% 226.19/226.36  Changing weight limit from 9 to 8.
% 226.19/226.36  
% 226.19/226.36  Resetting weight limit to 8 after 7380 givens.
% 226.19/226.36  
% 226.54/226.69  
% 226.54/226.69  
% 226.54/226.69  Changing weight limit from 8 to 9.
% 226.54/226.69  
% 226.54/226.69  Resetting weight limit to 9 after 7385 givens.
% 226.54/226.69  
% 226.85/227.02  
% 226.85/227.02  
% 226.85/227.02  Changing weight limit from 9 to 8.
% 226.85/227.02  
% 226.85/227.02  Resetting weight limit to 8 after 7390 givens.
% 226.85/227.02  
% 227.15/227.35  
% 227.15/227.35  
% 227.15/227.35  Changing weight limit from 8 to 9.
% 227.15/227.35  
% 227.15/227.35  Resetting weight limit to 9 after 7395 givens.
% 227.15/227.35  
% 227.49/227.69  
% 227.49/227.69  
% 227.49/227.69  Changing weight limit from 9 to 8.
% 227.49/227.69  
% 227.49/227.69  Resetting weight limit to 8 after 7400 givens.
% 227.49/227.69  
% 227.79/228.02  
% 227.79/228.02  
% 227.79/228.02  Changing weight limit from 8 to 9.
% 227.79/228.02  
% 227.79/228.02  Resetting weight limit to 9 after 7405 givens.
% 227.79/228.02  
% 228.19/228.35  
% 228.19/228.35  
% 228.19/228.35  Changing weight limit from 9 to 8.
% 228.19/228.35  
% 228.19/228.35  Resetting weight limit to 8 after 7410 givens.
% 228.19/228.35  
% 228.50/228.68  
% 228.50/228.68  
% 228.50/228.68  Changing weight limit from 8 to 9.
% 228.50/228.68  
% 228.50/228.68  Resetting weight limit to 9 after 7415 givens.
% 228.50/228.68  
% 228.81/229.02  
% 228.81/229.02  
% 228.81/229.02  Changing weight limit from 9 to 8.
% 228.81/229.02  
% 228.81/229.02  Resetting weight limit to 8 after 7420 givens.
% 228.81/229.02  
% 229.19/229.35  
% 229.19/229.35  
% 229.19/229.35  Changing weight limit from 8 to 9.
% 229.19/229.35  
% 229.19/229.35  Resetting weight limit to 9 after 7425 givens.
% 229.19/229.35  
% 229.50/229.69  
% 229.50/229.69  
% 229.50/229.69  Changing weight limit from 9 to 8.
% 229.50/229.69  
% 229.50/229.69  Resetting weight limit to 8 after 7430 givens.
% 229.50/229.69  
% 229.78/230.02  
% 229.78/230.02  
% 229.78/230.02  Changing weight limit from 8 to 9.
% 229.78/230.02  
% 229.78/230.02  Resetting weight limit to 9 after 7435 givens.
% 229.78/230.02  
% 230.18/230.36  
% 230.18/230.36  
% 230.18/230.36  Changing weight limit from 9 to 8.
% 230.18/230.36  
% 230.18/230.36  Resetting weight limit to 8 after 7440 givens.
% 230.18/230.36  
% 230.49/230.69  
% 230.49/230.69  
% 230.49/230.69  Changing weight limit from 8 to 9.
% 230.49/230.69  
% 230.49/230.69  Resetting weight limit to 9 after 7445 givens.
% 230.49/230.69  
% 230.85/231.03  
% 230.85/231.03  
% 230.85/231.03  Changing weight limit from 9 to 8.
% 230.85/231.03  
% 230.85/231.03  Resetting weight limit to 8 after 7450 givens.
% 230.85/231.03  
% 231.20/231.37  
% 231.20/231.37  
% 231.20/231.37  Changing weight limit from 8 to 9.
% 231.20/231.37  
% 231.20/231.37  Resetting weight limit to 9 after 7455 givens.
% 231.20/231.37  
% 231.53/231.71  
% 231.53/231.71  
% 231.53/231.71  Changing weight limit from 9 to 8.
% 231.53/231.71  
% 231.53/231.71  Resetting weight limit to 8 after 7460 givens.
% 231.53/231.71  
% 231.89/232.05  
% 231.89/232.05  
% 231.89/232.05  Changing weight limit from 8 to 9.
% 231.89/232.05  
% 231.89/232.05  Resetting weight limit to 9 after 7465 givens.
% 231.89/232.05  
% 232.20/232.39  
% 232.20/232.39  
% 232.20/232.39  Changing weight limit from 9 to 8.
% 232.20/232.39  
% 232.20/232.39  Resetting weight limit to 8 after 7470 givens.
% 232.20/232.39  
% 232.57/232.73  
% 232.57/232.73  
% 232.57/232.73  Changing weight limit from 8 to 9.
% 232.57/232.73  
% 232.57/232.73  Resetting weight limit to 9 after 7475 givens.
% 232.57/232.73  
% 232.89/233.07  
% 232.89/233.07  
% 232.89/233.07  Changing weight limit from 9 to 8.
% 232.89/233.07  
% 232.89/233.07  Resetting weight limit to 8 after 7480 givens.
% 232.89/233.07  
% 233.18/233.41  
% 233.18/233.41  
% 233.18/233.41  Changing weight limit from 8 to 9.
% 233.18/233.41  
% 233.18/233.41  Resetting weight limit to 9 after 7485 givens.
% 233.18/233.41  
% 233.58/233.75  
% 233.58/233.75  
% 233.58/233.75  Changing weight limit from 9 to 8.
% 233.58/233.75  
% 233.58/233.75  Resetting weight limit to 8 after 7490 givens.
% 233.58/233.75  
% 233.89/234.09  
% 233.89/234.09  
% 233.89/234.09  Changing weight limit from 8 to 9.
% 233.89/234.09  
% 233.89/234.09  Resetting weight limit to 9 after 7495 givens.
% 233.89/234.09  
% 234.25/234.44  
% 234.25/234.44  
% 234.25/234.44  Changing weight limit from 9 to 8.
% 234.25/234.44  
% 234.25/234.44  Resetting weight limit to 8 after 7500 givens.
% 234.25/234.44  
% 234.60/234.78  
% 234.60/234.78  
% 234.60/234.78  Changing weight limit from 8 to 9.
% 234.60/234.78  
% 234.60/234.78  Resetting weight limit to 9 after 7505 givens.
% 234.60/234.78  
% 234.94/235.12  
% 234.94/235.12  
% 234.94/235.12  Changing weight limit from 9 to 8.
% 234.94/235.12  
% 234.94/235.12  Resetting weight limit to 8 after 7510 givens.
% 234.94/235.12  
% 235.30/235.46  
% 235.30/235.46  
% 235.30/235.46  Changing weight limit from 8 to 9.
% 235.30/235.46  
% 235.30/235.46  Resetting weight limit to 9 after 7515 givens.
% 235.30/235.46  
% 235.61/235.80  
% 235.61/235.80  
% 235.61/235.80  Changing weight limit from 9 to 8.
% 235.61/235.80  
% 235.61/235.80  Resetting weight limit to 8 after 7520 givens.
% 235.61/235.80  
% 236.30/236.46  
% 236.30/236.46  
% 236.30/236.46  Changing weight limit from 8 to 9.
% 236.30/236.46  
% 236.30/236.46  Resetting weight limit to 9 after 7535 givens.
% 236.30/236.46  
% 236.57/236.80  
% 236.57/236.80  
% 236.57/236.80  Changing weight limit from 9 to 8.
% 236.57/236.80  
% 236.57/236.80  Resetting weight limit to 8 after 7540 givens.
% 236.57/236.80  
% 236.99/237.15  
% 236.99/237.15  
% 236.99/237.15  Changing weight limit from 8 to 9.
% 236.99/237.15  
% 236.99/237.15  Resetting weight limit to 9 after 7545 givens.
% 236.99/237.15  
% 237.29/237.49  
% 237.29/237.49  
% 237.29/237.49  Changing weight limit from 9 to 8.
% 237.29/237.49  
% 237.29/237.49  Resetting weight limit to 8 after 7550 givens.
% 237.29/237.49  
% 237.65/237.84  
% 237.65/237.84  
% 237.65/237.84  Changing weight limit from 8 to 9.
% 237.65/237.84  
% 237.65/237.84  Resetting weight limit to 9 after 7555 givens.
% 237.65/237.84  
% 237.79/237.98  
% 237.79/237.98  
% 237.79/237.98  Changing weight limit from 9 to 8.
% 237.79/237.98  
% 237.79/237.98  Resetting weight limit to 8 after 7560 givens.
% 237.79/237.98  
% 238.15/238.35  
% 238.15/238.35  
% 238.15/238.35  Changing weight limit from 8 to 9.
% 238.15/238.35  
% 238.15/238.35  Resetting weight limit to 9 after 7570 givens.
% 238.15/238.35  
% 238.51/238.70  
% 238.51/238.70  
% 238.51/238.70  Changing weight limit from 9 to 8.
% 238.51/238.70  
% 238.51/238.70  Resetting weight limit to 8 after 7575 givens.
% 238.51/238.70  
% 238.89/239.04  
% 238.89/239.04  
% 238.89/239.04  Changing weight limit from 8 to 9.
% 238.89/239.04  
% 238.89/239.04  Resetting weight limit to 9 after 7580 givens.
% 238.89/239.04  
% 239.19/239.38  
% 239.19/239.38  
% 239.19/239.38  Changing weight limit from 9 to 8.
% 239.19/239.38  
% 239.19/239.38  Resetting weight limit to 8 after 7585 givens.
% 239.19/239.38  
% 239.53/239.72  
% 239.53/239.72  
% 239.53/239.72  Changing weight limit from 8 to 9.
% 239.53/239.72  
% 239.53/239.72  Resetting weight limit to 9 after 7590 givens.
% 239.53/239.72  
% 239.92/240.07  
% 239.92/240.07  
% 239.92/240.07  Changing weight limit from 9 to 8.
% 239.92/240.07  
% 239.92/240.07  Resetting weight limit to 8 after 7595 givens.
% 239.92/240.07  
% 240.25/240.42  
% 240.25/240.42  
% 240.25/240.42  Changing weight limit from 8 to 9.
% 240.25/240.42  
% 240.25/240.42  Resetting weight limit to 9 after 7600 givens.
% 240.25/240.42  
% 240.61/240.77  
% 240.61/240.77  
% 240.61/240.77  Changing weight limit from 9 to 8.
% 240.61/240.77  
% 240.61/240.77  Resetting weight limit to 8 after 7605 givens.
% 240.61/240.77  
% 240.96/241.12  
% 240.96/241.12  
% 240.96/241.12  Changing weight limit from 8 to 9.
% 240.96/241.12  
% 240.96/241.12  Resetting weight limit to 9 after 7610 givens.
% 240.96/241.12  
% 241.30/241.47  
% 241.30/241.47  
% 241.30/241.47  Changing weight limit from 9 to 8.
% 241.30/241.47  
% 241.30/241.47  Resetting weight limit to 8 after 7615 givens.
% 241.30/241.47  
% 241.60/241.81  
% 241.60/241.81  
% 241.60/241.81  Changing weight limit from 8 to 9.
% 241.60/241.81  
% 241.60/241.81  Resetting weight limit to 9 after 7620 givens.
% 241.60/241.81  
% 241.99/242.17  
% 241.99/242.17  
% 241.99/242.17  Changing weight limit from 9 to 8.
% 241.99/242.17  
% 241.99/242.17  Resetting weight limit to 8 after 7625 givens.
% 241.99/242.17  
% 242.73/242.90  
% 242.73/242.90  
% 242.73/242.90  Changing weight limit from 8 to 9.
% 242.73/242.90  
% 242.73/242.90  Resetting weight limit to 9 after 7640 givens.
% 242.73/242.90  
% 243.09/243.25  
% 243.09/243.25  
% 243.09/243.25  Changing weight limit from 9 to 8.
% 243.09/243.25  
% 243.09/243.25  Resetting weight limit to 8 after 7645 givens.
% 243.09/243.25  
% 243.69/243.88  
% 243.69/243.88  
% 243.69/243.88  Changing weight limit from 8 to 9.
% 243.69/243.88  
% 243.69/243.88  Resetting weight limit to 9 after 7655 givens.
% 243.69/243.88  
% 244.07/244.23  
% 244.07/244.23  
% 244.07/244.23  Changing weight limit from 9 to 8.
% 244.07/244.23  
% 244.07/244.23  Resetting weight limit to 8 after 7660 givens.
% 244.07/244.23  
% 244.40/244.58  
% 244.40/244.58  
% 244.40/244.58  Changing weight limit from 8 to 9.
% 244.40/244.58  
% 244.40/244.58  Resetting weight limit to 9 after 7665 givens.
% 244.40/244.58  
% 244.76/244.93  
% 244.76/244.93  
% 244.76/244.93  Changing weight limit from 9 to 8.
% 244.76/244.93  
% 244.76/244.93  Resetting weight limit to 8 after 7670 givens.
% 244.76/244.93  
% 245.09/245.28  
% 245.09/245.28  
% 245.09/245.28  Changing weight limit from 8 to 9.
% 245.09/245.28  
% 245.09/245.28  Resetting weight limit to 9 after 7675 givens.
% 245.09/245.28  
% 245.44/245.63  
% 245.44/245.63  
% 245.44/245.63  Changing weight limit from 9 to 8.
% 245.44/245.63  
% 245.44/245.63  Resetting weight limit to 8 after 7680 givens.
% 245.44/245.63  
% 245.81/246.00  
% 245.81/246.00  
% 245.81/246.00  Changing weight limit from 8 to 9.
% 245.81/246.00  
% 245.81/246.00  Resetting weight limit to 9 after 7685 givens.
% 245.81/246.00  
% 246.19/246.38  
% 246.19/246.38  
% 246.19/246.38  Changing weight limit from 9 to 8.
% 246.19/246.38  
% 246.19/246.38  Resetting weight limit to 8 after 7690 givens.
% 246.19/246.38  
% 248.54/248.71  
% 248.54/248.71  
% 248.54/248.71  Changing weight limit from 8 to 9.
% 248.54/248.71  
% 248.54/248.71  Resetting weight limit to 9 after 7765 givens.
% 248.54/248.71  
% 248.84/249.02  
% 248.84/249.02  
% 248.84/249.02  Changing weight limit from 9 to 8.
% 248.84/249.02  
% 248.84/249.02  Resetting weight limit to 8 after 7770 givens.
% 248.84/249.02  
% 249.89/250.13  
% 249.89/250.13  
% 249.89/250.13  Changing weight limit from 8 to 9.
% 249.89/250.13  
% 249.89/250.13  Resetting weight limit to 9 after 7790 givens.
% 249.89/250.13  
% 250.12/250.29  
% 250.12/250.29  
% 250.12/250.29  Changing weight limit from 9 to 8.
% 250.12/250.29  
% 250.12/250.29  Resetting weight limit to 8 after 7795 givens.
% 250.12/250.29  
% 250.72/250.93  
% 250.72/250.93  
% 250.72/250.93  Changing weight limit from 8 to 9.
% 250.72/250.93  
% 250.72/250.93  Resetting weight limit to 9 after 7805 givens.
% 250.72/250.93  
% 251.11/251.29  
% 251.11/251.29  
% 251.11/251.29  Changing weight limit from 9 to 8.
% 251.11/251.29  
% 251.11/251.29  Resetting weight limit to 8 after 7810 givens.
% 251.11/251.29  
% 252.49/252.64  
% 252.49/252.64  
% 252.49/252.64  Changing weight limit from 8 to 9.
% 252.49/252.64  
% 252.49/252.64  Resetting weight limit to 9 after 7845 givens.
% 252.49/252.64  
% 252.71/252.88  
% 252.71/252.88  
% 252.71/252.88  Changing weight limit from 9 to 8.
% 252.71/252.88  
% 252.71/252.88  Resetting weight limit to 8 after 7850 givens.
% 252.71/252.88  
% 253.38/253.54  
% 253.38/253.54  
% 253.38/253.54  Changing weight limit from 8 to 9.
% 253.38/253.54  
% 253.38/253.54  Resetting weight limit to 9 after 7860 givens.
% 253.38/253.54  
% 257.26/257.44  
% 257.26/257.44  
% 257.26/257.44  Changing weight limit from 9 to 8.
% 257.26/257.44  
% 257.26/257.44  Resetting weight limit to 8 after 7920 givens.
% 257.26/257.44  
% 259.87/260.03  
% 259.87/260.03  
% 259.87/260.03  Changing weight limit from 8 to 9.
% 259.87/260.03  
% 259.87/260.03  Resetting weight limit to 9 after 8170 givens.
% 259.87/260.03  
% 259.92/260.15  
% 259.92/260.15  
% 259.92/260.15  Changing weight limit from 9 to 8.
% 259.92/260.15  
% 259.92/260.15  Resetting weight limit to 8 after 8175 givens.
% 259.92/260.15  
% 261.51/261.66  
% 261.51/261.66  
% 261.51/261.66  Changing weight limit from 8 to 9.
% 261.51/261.66  
% 261.51/261.66  Resetting weight limit to 9 after 8220 givens.
% 261.51/261.66  
% 261.81/262.03  
% 261.81/262.03  
% 261.81/262.03  Changing weight limit from 9 to 10.
% 261.81/262.03  
% 261.81/262.03  Resetting weight limit to 10 after 8225 givens.
% 261.81/262.03  
% 262.14/262.31  
% 262.14/262.31  
% 262.14/262.31  Changing weight limit from 10 to 9.
% 262.14/262.31  
% 262.14/262.31  Resetting weight limit to 9 after 8230 givens.
% 262.14/262.31  
% 262.52/262.68  
% 262.52/262.68  
% 262.52/262.68  Changing weight limit from 9 to 10.
% 262.52/262.68  
% 262.52/262.68  Resetting weight limit to 10 after 8235 givens.
% 262.52/262.68  
% 262.90/263.07  
% 262.90/263.07  
% 262.90/263.07  Changing weight limit from 10 to 9.
% 262.90/263.07  
% 262.90/263.07  Resetting weight limit to 9 after 8240 givens.
% 262.90/263.07  
% 263.27/263.45  
% 263.27/263.45  
% 263.27/263.45  Changing weight limit from 9 to 10.
% 263.27/263.45  
% 263.27/263.45  Resetting weight limit to 10 after 8245 givens.
% 263.27/263.45  
% 263.63/263.84  
% 263.63/263.84  
% 263.63/263.84  Changing weight limit from 10 to 9.
% 263.63/263.84  
% 263.63/263.84  Resetting weight limit to 9 after 8250 givens.
% 263.63/263.84  
% 263.94/264.11  
% 263.94/264.11  
% 263.94/264.11  Changing weight limit from 9 to 8.
% 263.94/264.11  
% 263.94/264.11  Resetting weight limit to 8 after 8255 givens.
% 263.94/264.11  
% 264.33/264.49  
% 264.33/264.49  
% 264.33/264.49  Changing weight limit from 8 to 9.
% 264.33/264.49  
% 264.33/264.49  Resetting weight limit to 9 after 8260 givens.
% 264.33/264.49  
% 264.73/264.87  
% 264.73/264.87  
% 264.73/264.87  Changing weight limit from 9 to 10.
% 264.73/264.87  
% 264.73/264.87  Resetting weight limit to 10 after 8265 givens.
% 264.73/264.87  
% 265.37/265.51  
% 265.37/265.51  
% 265.37/265.51  Changing weight limit from 10 to 9.
% 265.37/265.51  
% 265.37/265.51  Resetting weight limit to 9 after 8275 givens.
% 265.37/265.51  
% 266.09/266.23  
% 266.09/266.23  
% 266.09/266.23  Changing weight limit from 9 to 10.
% 266.09/266.23  
% 266.09/266.23  Resetting weight limit to 10 after 8285 givens.
% 266.09/266.23  
% 266.45/266.62  
% 266.45/266.62  
% 266.45/266.62  Changing weight limit from 10 to 9.
% 266.45/266.62  
% 266.45/266.62  Resetting weight limit to 9 after 8290 givens.
% 266.45/266.62  
% 267.73/267.90  
% 267.73/267.90  
% 267.73/267.90  Changing weight limit from 9 to 10.
% 267.73/267.90  
% 267.73/267.90  Resetting weight limit to 10 after 8310 givens.
% 267.73/267.90  
% 268.13/268.29  
% 268.13/268.29  
% 268.13/268.29  Changing weight limit from 10 to 9.
% 268.13/268.29  
% 268.13/268.29  Resetting weight limit to 9 after 8315 givens.
% 268.13/268.29  
% 269.12/269.32  
% 269.12/269.32  
% 269.12/269.32  Changing weight limit from 9 to 10.
% 269.12/269.32  
% 269.12/269.32  Resetting weight limit to 10 after 8330 givens.
% 269.12/269.32  
% 269.54/269.71  
% 269.54/269.71  
% 269.54/269.71  Changing weight limit from 10 to 9.
% 269.54/269.71  
% 269.54/269.71  Resetting weight limit to 9 after 8335 givens.
% 269.54/269.71  
% 269.94/270.10  
% 269.94/270.10  
% 269.94/270.10  Changing weight limit from 9 to 10.
% 269.94/270.10  
% 269.94/270.10  Resetting weight limit to 10 after 8340 givens.
% 269.94/270.10  
% 270.30/270.50  
% 270.30/270.50  
% 270.30/270.50  Changing weight limit from 10 to 9.
% 270.30/270.50  
% 270.30/270.50  Resetting weight limit to 9 after 8345 givens.
% 270.30/270.50  
% 270.68/270.89  
% 270.68/270.89  
% 270.68/270.89  Changing weight limit from 9 to 10.
% 270.68/270.89  
% 270.68/270.89  Resetting weight limit to 10 after 8350 givens.
% 270.68/270.89  
% 271.07/271.26  
% 271.07/271.26  
% 271.07/271.26  Changing weight limit from 10 to 9.
% 271.07/271.26  
% 271.07/271.26  Resetting weight limit to 9 after 8355 givens.
% 271.07/271.26  
% 271.44/271.63  
% 271.44/271.63  
% 271.44/271.63  Changing weight limit from 9 to 10.
% 271.44/271.63  
% 271.44/271.63  Resetting weight limit to 10 after 8360 givens.
% 271.44/271.63  
% 271.85/272.01  
% 271.85/272.01  
% 271.85/272.01  Changing weight limit from 10 to 9.
% 271.85/272.01  
% 271.85/272.01  Resetting weight limit to 9 after 8365 givens.
% 271.85/272.01  
% 272.21/272.38  
% 272.21/272.38  
% 272.21/272.38  Changing weight limit from 9 to 10.
% 272.21/272.38  
% 272.21/272.38  Resetting weight limit to 10 after 8370 givens.
% 272.21/272.38  
% 272.60/272.76  
% 272.60/272.76  
% 272.60/272.76  Changing weight limit from 10 to 9.
% 272.60/272.76  
% 272.60/272.76  Resetting weight limit to 9 after 8375 givens.
% 272.60/272.76  
% 273.25/273.45  
% 273.25/273.45  
% 273.25/273.45  Changing weight limit from 9 to 10.
% 273.25/273.45  
% 273.25/273.45  Resetting weight limit to 10 after 8385 givens.
% 273.25/273.45  
% 273.68/273.83  
% 273.68/273.83  
% 273.68/273.83  Changing weight limit from 10 to 9.
% 273.68/273.83  
% 273.68/273.83  Resetting weight limit to 9 after 8390 givens.
% 273.68/273.83  
% 274.54/274.70  
% 274.54/274.70  
% 274.54/274.70  Changing weight limit from 9 to 10.
% 274.54/274.70  
% 274.54/274.70  Resetting weight limit to 10 after 8410 givens.
% 274.54/274.70  
% 274.83/275.03  
% 274.83/275.03  
% 274.83/275.03  Changing weight limit from 10 to 9.
% 274.83/275.03  
% 274.83/275.03  Resetting weight limit to 9 after 8415 givens.
% 274.83/275.03  
% 275.36/275.54  
% 275.36/275.54  
% 275.36/275.54  Changing weight limit from 9 to 10.
% 275.36/275.54  
% 275.36/275.54  Resetting weight limit to 10 after 8425 givens.
% 275.36/275.54  
% 275.75/275.92  
% 275.75/275.92  
% 275.75/275.92  Changing weight limit from 10 to 9.
% 275.75/275.92  
% 275.75/275.92  Resetting weight limit to 9 after 8430 givens.
% 275.75/275.92  
% 276.41/276.56  
% 276.41/276.56  
% 276.41/276.56  Changing weight limit from 9 to 10.
% 276.41/276.56  
% 276.41/276.56  Resetting weight limit to 10 after 8440 givens.
% 276.41/276.56  
% 276.59/276.78  
% 276.59/276.78  
% 276.59/276.78  Changing weight limit from 10 to 9.
% 276.59/276.78  
% 276.59/276.78  Resetting weight limit to 9 after 8445 givens.
% 276.59/276.78  
% 276.94/277.15  
% 276.94/277.15  
% 276.94/277.15  Changing weight limit from 9 to 10.
% 276.94/277.15  
% 276.94/277.15  Resetting weight limit to 10 after 8450 givens.
% 276.94/277.15  
% 277.34/277.48  
% 277.34/277.48  
% 277.34/277.48  Changing weight limit from 10 to 9.
% 277.34/277.48  
% 277.34/277.48  Resetting weight limit to 9 after 8455 givens.
% 277.34/277.48  
% 277.70/277.86  
% 277.70/277.86  
% 277.70/277.86  Changing weight limit from 9 to 10.
% 277.70/277.86  
% 277.70/277.86  Resetting weight limit to 10 after 8460 givens.
% 277.70/277.86  
% 278.09/278.24  
% 278.09/278.24  
% 278.09/278.24  Changing weight limit from 10 to 9.
% 278.09/278.24  
% 278.09/278.24  Resetting weight limit to 9 after 8465 givens.
% 278.09/278.24  
% 278.46/278.62  
% 278.46/278.62  
% 278.46/278.62  Changing weight limit from 9 to 10.
% 278.46/278.62  
% 278.46/278.62  Resetting weight limit to 10 after 8470 givens.
% 278.46/278.62  
% 278.70/278.89  
% 278.70/278.89  
% 278.70/278.89  Changing weight limit from 10 to 9.
% 278.70/278.89  
% 278.70/278.89  Resetting weight limit to 9 after 8475 givens.
% 278.70/278.89  
% 279.11/279.27  
% 279.11/279.27  
% 279.11/279.27  Changing weight limit from 9 to 10.
% 279.11/279.27  
% 279.11/279.27  Resetting weight limit to 10 after 8480 givens.
% 279.11/279.27  
% 279.45/279.65  
% 279.45/279.65  
% 279.45/279.65  Changing weight limit from 10 to 9.
% 279.45/279.65  
% 279.45/279.65  Resetting weight limit to 9 after 8485 givens.
% 279.45/279.65  
% 279.88/280.03  
% 279.88/280.03  
% 279.88/280.03  Changing weight limit from 9 to 10.
% 279.88/280.03  
% 279.88/280.03  Resetting weight limit to 10 after 8490 givens.
% 279.88/280.03  
% 280.14/280.29  
% 280.14/280.29  
% 280.14/280.29  Changing weight limit from 10 to 9.
% 280.14/280.29  
% 280.14/280.29  Resetting weight limit to 9 after 8495 givens.
% 280.14/280.29  
% 281.33/281.56  
% 281.33/281.56  
% 281.33/281.56  Changing weight limit from 9 to 10.
% 281.33/281.56  
% 281.33/281.56  Resetting weight limit to 10 after 8515 givens.
% 281.33/281.56  
% 281.64/281.84  
% 281.64/281.84  
% 281.64/281.84  Changing weight limit from 10 to 9.
% 281.64/281.84  
% 281.64/281.84  Resetting weight limit to 9 after 8520 givens.
% 281.64/281.84  
% 282.41/282.55  
% 282.41/282.55  
% 282.41/282.55  Changing weight limit from 9 to 10.
% 282.41/282.55  
% 282.41/282.55  Resetting weight limit to 10 after 8530 givens.
% 282.41/282.55  
% 282.61/282.75  
% 282.61/282.75  
% 282.61/282.75  Changing weight limit from 10 to 9.
% 282.61/282.75  
% 282.61/282.75  Resetting weight limit to 9 after 8535 givens.
% 282.61/282.75  
% 283.31/283.46  
% 283.31/283.46  
% 283.31/283.46  Changing weight limit from 9 to 10.
% 283.31/283.46  
% 283.31/283.46  Resetting weight limit to 10 after 8545 givens.
% 283.31/283.46  
% 283.68/283.84  
% 283.68/283.84  
% 283.68/283.84  Changing weight limit from 10 to 9.
% 283.68/283.84  
% 283.68/283.84  Resetting weight limit to 9 after 8550 givens.
% 283.68/283.84  
% 284.05/284.23  
% 284.05/284.23  
% 284.05/284.23  Changing weight limit from 9 to 10.
% 284.05/284.23  
% 284.05/284.23  Resetting weight limit to 10 after 8555 givens.
% 284.05/284.23  
% 284.47/284.63  
% 284.47/284.63  
% 284.47/284.63  Changing weight limit from 10 to 9.
% 284.47/284.63  
% 284.47/284.63  Resetting weight limit to 9 after 8560 givens.
% 284.47/284.63  
% 286.54/286.70  
% 286.54/286.70  
% 286.54/286.70  Changing weight limit from 9 to 10.
% 286.54/286.70  
% 286.54/286.70  Resetting weight limit to 10 after 8595 givens.
% 286.54/286.70  
% 286.94/287.09  
% 286.94/287.09  
% 286.94/287.09  Changing weight limit from 10 to 9.
% 286.94/287.09  
% 286.94/287.09  Resetting weight limit to 9 after 8600 givens.
% 286.94/287.09  
% 287.31/287.48  
% 287.31/287.48  
% 287.31/287.48  Changing weight limit from 9 to 10.
% 287.31/287.48  
% 287.31/287.48  Resetting weight limit to 10 after 8605 givens.
% 287.31/287.48  
% 287.69/287.87  
% 287.69/287.87  
% 287.69/287.87  Changing weight limit from 10 to 9.
% 287.69/287.87  
% 287.69/287.87  Resetting weight limit to 9 after 8610 givens.
% 287.69/287.87  
% 288.07/288.26  
% 288.07/288.26  
% 288.07/288.26  Changing weight limit from 9 to 10.
% 288.07/288.26  
% 288.07/288.26  Resetting weight limit to 10 after 8615 givens.
% 288.07/288.26  
% 288.45/288.65  
% 288.45/288.65  
% 288.45/288.65  Changing weight limit from 10 to 9.
% 288.45/288.65  
% 288.45/288.65  Resetting weight limit to 9 after 8620 givens.
% 288.45/288.65  
% 288.91/289.04  
% 288.91/289.04  
% 288.91/289.04  Changing weight limit from 9 to 10.
% 288.91/289.04  
% 288.91/289.04  Resetting weight limit to 10 after 8625 givens.
% 288.91/289.04  
% 289.23/289.43  
% 289.23/289.43  
% 289.23/289.43  Changing weight limit from 10 to 9.
% 289.23/289.43  
% 289.23/289.43  Resetting weight limit to 9 after 8630 givens.
% 289.23/289.43  
% 289.67/289.82  
% 289.67/289.82  
% 289.67/289.82  Changing weight limit from 9 to 10.
% 289.67/289.82  
% 289.67/289.82  Resetting weight limit to 10 after 8635 givens.
% 289.67/289.82  
% 290.09/290.22  
% 290.09/290.22  
% 290.09/290.22  Changing weight limit from 10 to 9.
% 290.09/290.22  
% 290.09/290.22  Resetting weight limit to 9 after 8640 givens.
% 290.09/290.22  
% 290.41/290.61  
% 290.41/290.61  
% 290.41/290.61  Changing weight limit from 9 to 10.
% 290.41/290.61  
% 290.41/290.61  Resetting weight limit to 10 after 8645 givens.
% 290.41/290.61  
% 290.71/290.85  
% 290.71/290.85  
% 290.71/290.85  Changing weight limit from 10 to 9.
% 290.71/290.85  
% 290.71/290.85  Resetting weight limit to 9 after 8650 givens.
% 290.71/290.85  
% 292.38/292.52  
% 292.38/292.52  
% 292.38/292.52  Changing weight limit from 9 to 10.
% 292.38/292.52  
% 292.38/292.52  Resetting weight limit to 10 after 8685 givens.
% 292.38/292.52  
% 292.76/292.92  
% 292.76/292.92  
% 292.76/292.92  Changing weight limit from 10 to 9.
% 292.76/292.92  
% 292.76/292.92  Resetting weight limit to 9 after 8690 givens.
% 292.76/292.92  
% 293.14/293.31  
% 293.14/293.31  
% 293.14/293.31  Changing weight limit from 9 to 10.
% 293.14/293.31  
% 293.14/293.31  Resetting weight limit to 10 after 8695 givens.
% 293.14/293.31  
% 293.53/293.71  
% 293.53/293.71  
% 293.53/293.71  Changing weight limit from 10 to 9.
% 293.53/293.71  
% 293.53/293.71  Resetting weight limit to 9 after 8700 givens.
% 293.53/293.71  
% 293.95/294.10  
% 293.95/294.10  
% 293.95/294.10  Changing weight limit from 9 to 10.
% 293.95/294.10  
% 293.95/294.10  Resetting weight limit to 10 after 8705 givens.
% 293.95/294.10  
% 294.35/294.50  
% 294.35/294.50  
% 294.35/294.50  Changing weight limit from 10 to 9.
% 294.35/294.50  
% 294.35/294.50  Resetting weight limit to 9 after 8710 givens.
% 294.35/294.50  
% 294.71/294.90  
% 294.71/294.90  
% 294.71/294.90  Changing weight limit from 9 to 10.
% 294.71/294.90  
% 294.71/294.90  Resetting weight limit to 10 after 8715 givens.
% 294.71/294.90  
% 295.10/295.24  
% 295.10/295.24  
% 295.10/295.24  Changing weight limit from 10 to 9.
% 295.10/295.24  
% 295.10/295.24  Resetting weight limit to 9 after 8720 givens.
% 295.10/295.24  
% 295.47/295.64  
% 295.47/295.64  
% 295.47/295.64  Changing weight limit from 9 to 10.
% 295.47/295.64  
% 295.47/295.64  Resetting weight limit to 10 after 8725 givens.
% 295.47/295.64  
% 300.01/300.14  Wow, sos-wrapper got a signal XCPU
%------------------------------------------------------------------------------