TSTP Solution File: NLP211-1 by SOS---2.0

View Problem - Process Solution

%------------------------------------------------------------------------------
% File     : SOS---2.0
% Problem  : NLP211-1 : TPTP v8.1.0. Released v2.4.0.
% Transfm  : none
% Format   : tptp:raw
% Command  : sos-script %s

% Computer : n029.cluster.edu
% Model    : x86_64 x86_64
% CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory   : 8042.1875MB
% OS       : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit  : 600s
% DateTime : Mon Jul 18 05:24:46 EDT 2022

% Result   : Timeout 285.99s 286.15s
% Output   : None 
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12  % Problem  : NLP211-1 : TPTP v8.1.0. Released v2.4.0.
% 0.11/0.12  % Command  : sos-script %s
% 0.12/0.33  % Computer : n029.cluster.edu
% 0.12/0.33  % Model    : x86_64 x86_64
% 0.12/0.33  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33  % Memory   : 8042.1875MB
% 0.12/0.33  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33  % CPULimit : 300
% 0.12/0.33  % WCLimit  : 600
% 0.12/0.33  % DateTime : Fri Jul  1 00:01:38 EDT 2022
% 0.12/0.33  % CPUTime  : 
% 0.12/0.35  
% 0.12/0.35  
% 0.12/0.35  WARNING, multiple arity: set/1, set/2.
% 0.12/0.35  
% 0.12/0.36  ----- Otter 3.2, August 2001 -----
% 0.12/0.36  The process was started by sandbox on n029.cluster.edu,
% 0.12/0.36  Fri Jul  1 00:01:38 2022
% 0.12/0.36  The command was "./sos".  The process ID is 20631.
% 0.12/0.36  
% 0.12/0.36  set(prolog_style_variables).
% 0.12/0.36  set(auto).
% 0.12/0.36     dependent: set(auto1).
% 0.12/0.36     dependent: set(process_input).
% 0.12/0.36     dependent: clear(print_kept).
% 0.12/0.36     dependent: clear(print_new_demod).
% 0.12/0.36     dependent: clear(print_back_demod).
% 0.12/0.36     dependent: clear(print_back_sub).
% 0.12/0.36     dependent: set(control_memory).
% 0.12/0.36     dependent: assign(max_mem, 12000).
% 0.12/0.36     dependent: assign(pick_given_ratio, 4).
% 0.12/0.36     dependent: assign(stats_level, 1).
% 0.12/0.36     dependent: assign(pick_semantic_ratio, 3).
% 0.12/0.36     dependent: assign(sos_limit, 5000).
% 0.12/0.36     dependent: assign(max_weight, 60).
% 0.12/0.36  clear(print_given).
% 0.12/0.36  
% 0.12/0.36  list(usable).
% 0.12/0.36  
% 0.12/0.36  SCAN INPUT: prop=0, horn=0, equality=1, symmetry=0, max_lits=35.
% 0.12/0.36  
% 0.12/0.36  This ia a non-Horn set with equality.  The strategy will be
% 0.12/0.36  Knuth-Bendix, ordered hyper_res, ur_res, factoring, and
% 0.12/0.36  unit deletion, with positive clauses in sos and nonpositive
% 0.12/0.36  clauses in usable.
% 0.12/0.36  
% 0.12/0.36     dependent: set(knuth_bendix).
% 0.12/0.36     dependent: set(para_from).
% 0.12/0.36     dependent: set(para_into).
% 0.12/0.36     dependent: clear(para_from_right).
% 0.12/0.36     dependent: clear(para_into_right).
% 0.12/0.36     dependent: set(para_from_vars).
% 0.12/0.36     dependent: set(eq_units_both_ways).
% 0.12/0.36     dependent: set(dynamic_demod_all).
% 0.12/0.36     dependent: set(dynamic_demod).
% 0.12/0.36     dependent: set(order_eq).
% 0.12/0.36     dependent: set(back_demod).
% 0.12/0.36     dependent: set(lrpo).
% 0.12/0.36     dependent: set(hyper_res).
% 0.12/0.36     dependent: set(unit_deletion).
% 0.12/0.36     dependent: set(factor).
% 0.12/0.36  
% 0.12/0.36  ------------> process usable:
% 0.12/0.36  99 back subsumes 98.
% 0.12/0.36  
% 0.12/0.36  ------------> process sos:
% 0.12/0.36    Following clause subsumed by 136 during input processing: 0 [copy,136,flip.1] {-} A=A.
% 0.12/0.36  136 back subsumes 101.
% 0.12/0.36  136 back subsumes 100.
% 0.12/0.36  136 back subsumes 99.
% 0.12/0.36  136 back subsumes 97.
% 0.12/0.36  
% 0.12/0.36  ======= end of input processing =======
% 0.54/0.73  
% 0.54/0.73  Model 1 (0.00 seconds, 0 Inserts)
% 0.54/0.73  
% 0.54/0.73  Stopped by limit on number of solutions
% 0.54/0.73  
% 0.54/0.73  
% 0.54/0.73  -------------- Softie stats --------------
% 0.54/0.73  
% 0.54/0.73  UPDATE_STOP: 300
% 0.54/0.73  SFINDER_TIME_LIMIT: 2
% 0.54/0.73  SHORT_CLAUSE_CUTOFF: 4
% 0.54/0.73  number of clauses in intial UL: 102
% 0.54/0.73  number of clauses initially in problem: 131
% 0.54/0.73  percentage of clauses intially in UL: 77
% 0.54/0.73  percentage of distinct symbols occuring in initial UL: 93
% 0.54/0.73  percent of all initial clauses that are short: 99
% 0.54/0.73  absolute distinct symbol count: 94
% 0.54/0.73     distinct predicate count: 75
% 0.54/0.73     distinct function count: 11
% 0.54/0.73     distinct constant count: 8
% 0.54/0.73  
% 0.54/0.73  ---------- no more Softie stats ----------
% 0.54/0.73  
% 0.54/0.73  
% 0.54/0.73  
% 0.54/0.73  Model 2 (0.00 seconds, 0 Inserts)
% 0.54/0.73  
% 0.54/0.73  Stopped by limit on number of solutions
% 0.54/0.73  
% 0.54/0.73  =========== start of search ===========
% 14.22/14.44  
% 14.22/14.44  Model 3 (0.00 seconds, 0 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on number of solutions
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 4 [ 1 8 44140 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 5 [ 1 10 71486 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 6 [ 2 13 98066 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 7 [ 2 18 117393 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 8 [ 5 12 76681 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 9 [ 2 21 122485 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 10 [ 1 15 100210 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 11 [ 1 15 87826 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 12 [ 7 14 97648 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 13 [ 6 11 76020 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 14 [ 4 22 133391 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 15 [ 6 10 71254 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 16 [ 3 19 104760 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 17 [ 8 5 28279 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 18 [ 4 23 142477 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 19 [ 5 16 96821 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 20 [ 6 14 82710 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 21 [ 12 13 77462 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 22 [ 13 2 4432 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 23 [ 14 4 20899 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 24 [ 12 11 74690 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 25 [ 5 22 138899 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 26 [ 12 14 98100 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 27 [ 15 4 19944 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 28 [ 12 6 33506 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 29 [ 15 21 137660 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 30 [ 17 13 84007 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 31 [ 17 13 96900 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 32 [ 13 11 68757 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 33 [ 17 4 19442 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 34 [ 14 14 96559 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 35 [ 21 15 92556 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 36 [ 20 2 12705 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 37 [ 14 14 99604 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 38 [ 25 10 75516 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 39 [ 28 18 129534 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 40 [ 18 26 193553 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 41 [ 19 19 136545 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 42 [ 29 11 75414 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 43 [ 13 5 27967 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 44 [ 17 9 57594 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 45 [ 24 14 69575 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 46 [ 27 21 112934 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 47 [ 20 16 112443 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 14.22/14.44  Model 48 [ 22 10 58353 ] (0.00 seconds, 250000 Inserts)
% 14.22/14.44  
% 14.22/14.44  Stopped by limit on insertions
% 14.22/14.44  
% 34.95/35.18  Model 49 [ 24 15 107434 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 50 [ 33 9 49388 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 51 [ 28 13 84360 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 52 [ 38 8 45145 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 53 [ 31 17 100482 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 54 [ 31 10 38742 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 55 [ 56 9 38597 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 56 [ 42 12 72977 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 57 [ 64 8 40539 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 58 [ 31 16 95841 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 59 [ 37 13 79440 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 60 [ 40 12 71156 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 61 [ 42 15 93307 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 62 [ 69 10 53409 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 63 [ 62 11 58461 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 64 [ 75 12 63329 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 65 [ 35 9 51638 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 66 [ 46 22 132865 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 67 [ 52 13 67053 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 68 [ 57 24 135946 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 69 [ 59 11 63309 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 70 [ 30 7 42384 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 71 [ 94 8 42381 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 72 [ 55 12 62870 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 73 [ 65 14 83627 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 74 [ 32 17 101583 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 75 [ 65 18 97010 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 76 [ 69 14 80354 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 77 [ 61 14 78216 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 78 [ 56 12 74670 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 79 [ 38 12 70645 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 80 [ 85 7 35761 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 81 [ 67 13 72867 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 82 [ 38 15 90362 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 83 [ 58 25 153927 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 84 [ 57 5 25998 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 85 [ 87 10 47438 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 86 [ 59 15 79681 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 87 [ 73 11 56592 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 88 [ 79 13 74936 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 89 [ 73 7 36904 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 90 [ 86 8 39759 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 91 [ 72 11 59840 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 92 [ 78 16 87798 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 93 [ 79 9 42401 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 34.95/35.18  Model 94 [ 55 13 81392 ] (0.00 seconds, 250000 Inserts)
% 34.95/35.18  
% 34.95/35.18  Stopped by limit on insertions
% 34.95/35.18  
% 64.80/65.01  Model 95 [ 7
% 64.80/65.01  
% 64.80/65.01  Changing weight limit from 60 to 39.
% 64.80/65.01  7 5 18428 ] (0.00 seconds, 250000 Inserts)
% 64.80/65.01  
% 64.80/65.01  Stopped by limit on insertions
% 64.80/65.01  
% 64.80/65.01  Model 96 [ 70 14 73159 ] (0.00 seconds, 250000 Inserts)
% 64.80/65.01  
% 64.80/65.01  Stopped by limit on insertions
% 64.80/65.01  
% 64.80/65.01  Model 97 [ 47 11 61527 ] (0.00 seconds, 250000 Inserts)
% 64.80/65.01  
% 64.80/65.01  Stopped by limit on insertions
% 64.80/65.01  
% 64.80/65.01  Model 98 [ 79 24 133241 ] (0.00 seconds, 250000 Inserts)
% 64.80/65.01  
% 64.80/65.01  Stopped by limit on insertions
% 64.80/65.01  
% 64.80/65.01  Model 99 [ 63 16 89849 ] (0.00 seconds, 250000 Inserts)
% 64.80/65.01  
% 64.80/65.01  Stopped by limit on insertions
% 64.80/65.01  
% 64.80/65.01  Model 100 [ 112 8 41963 ] (0.00 seconds, 250000 Inserts)
% 64.80/65.01  
% 64.80/65.01  Stopped by limit on insertions
% 64.80/65.01  
% 64.80/65.01  Model 101 [ 69 9 51958 ] (0.00 seconds, 250000 Inserts)
% 64.80/65.01  
% 64.80/65.01  Stopped by limit on insertions
% 64.80/65.01  
% 64.80/65.01  Model 102 [ 51 14 82446 ] (0.00 seconds, 250000 Inserts)
% 64.80/65.01  
% 64.80/65.01  Stopped by limit on insertions
% 64.80/65.01  
% 64.80/65.01  Model 103 [ 89 11 53451 ] (0.00 seconds, 250000 Inserts)
% 64.80/65.01  
% 64.80/65.01  Stopped by limit on insertions
% 64.80/65.01  
% 64.80/65.01  Model 104 [ 50 14 79989 ] (0.00 seconds, 250000 Inserts)
% 64.80/65.01  
% 64.80/65.01  Stopped by limit on insertions
% 64.80/65.01  
% 64.80/65.01  Model 105 [ 83 22 126327 ] (0.00 seconds, 250000 Inserts)
% 64.80/65.01  
% 64.80/65.01  Stopped by limit on insertions
% 64.80/65.01  
% 64.80/65.01  Model 106 [ 64 7 33759 ] (0.00 seconds, 250000 Inserts)
% 64.80/65.01  
% 64.80/65.01  Stopped by limit on insertions
% 64.80/65.01  
% 64.80/65.01  Model 107 [ 68 7 32026 ] (0.00 seconds, 250000 Inserts)
% 64.80/65.01  
% 64.80/65.01  Stopped by limit on insertions
% 64.80/65.01  
% 64.80/65.01  Model 108 [ 84 19 97127 ] (0.00 seconds, 250000 Inserts)
% 64.80/65.01  
% 64.80/65.01  Stopped by limit on insertions
% 64.80/65.01  
% 64.80/65.01  Model 109 [ 55 18 99101 ] (0.00 seconds, 250000 Inserts)
% 64.80/65.01  
% 64.80/65.01  Stopped by limit on insertions
% 64.80/65.01  
% 64.80/65.01  Model 110 [ 100 21 121559 ] (0.00 seconds, 250000 Inserts)
% 64.80/65.01  
% 64.80/65.01  Stopped by limit on insertions
% 64.80/65.01  
% 64.80/65.01  Model 111 [ 97 12 57034 ] (0.00 seconds, 250000 Inserts)
% 64.80/65.01  
% 64.80/65.01  Stopped by limit on insertions
% 64.80/65.01  
% 64.80/65.01  Model 112 [ 64 14 73494 ] (0.00 seconds, 250000 Inserts)
% 64.80/65.01  
% 64.80/65.01  Stopped by limit on insertions
% 64.80/65.01  
% 64.80/65.01  Model 113 [ 87 13 66369 ] (0.00 seconds, 250000 Inserts)
% 64.80/65.01  
% 64.80/65.01  Stopped by limit on insertions
% 64.80/65.01  
% 64.80/65.01  Model 114 [ 131 10 54924 ] (0.00 seconds, 250000 Inserts)
% 64.80/65.01  
% 64.80/65.01  Stopped by limit on insertions
% 64.80/65.01  
% 64.80/65.01  Model 115 [ 100 13 63792 ] (0.00 seconds, 250000 Inserts)
% 64.80/65.01  
% 64.80/65.01  Stopped by limit on insertions
% 64.80/65.01  
% 64.80/65.01  Model 116 [ 117 18 94251 ] (0.00 seconds, 250000 Inserts)
% 64.80/65.01  
% 64.80/65.01  Stopped by limit on insertions
% 64.80/65.01  
% 64.80/65.01  Model 117 [ 119 12 62816 ] (0.00 seconds, 250000 Inserts)
% 64.80/65.01  
% 64.80/65.01  Stopped by limit on insertions
% 64.80/65.01  
% 64.80/65.01  Model 118 [ 86 17 88134 ] (0.00 seconds, 250000 Inserts)
% 64.80/65.01  
% 64.80/65.01  Stopped by limit on insertions
% 64.80/65.01  
% 64.80/65.01  Model 119 [ 126 8 37419 ] (0.00 seconds, 250000 Inserts)
% 64.80/65.01  
% 64.80/65.01  Stopped by limit on insertions
% 64.80/65.01  
% 64.80/65.01  Model 120 [ 112 14 67729 ] (0.00 seconds, 250000 Inserts)
% 64.80/65.01  
% 64.80/65.01  Stopped by limit on insertions
% 64.80/65.01  
% 64.80/65.01  Model 121 [ 73 14 73068 ] (0.00 seconds, 250000 Inserts)
% 64.80/65.01  
% 64.80/65.01  Stopped by limit on insertions
% 64.80/65.01  
% 64.80/65.01  Model 122 [ 103 11 52070 ] (0.00 seconds, 250000 Inserts)
% 64.80/65.01  
% 64.80/65.01  Stopped by limit on insertions
% 64.80/65.01  
% 64.80/65.01  Model 123 [ 118 16 75071 ] (0.00 seconds, 250000 Inserts)
% 64.80/65.01  
% 64.80/65.01  Stopped by limit on insertions
% 64.80/65.01  
% 64.80/65.01  Model 124 [ 121 12 48815 ] (0.00 seconds, 250000 Inserts)
% 64.80/65.01  
% 64.80/65.01  Resetting weight limit to 39 after 160 givens.
% 64.80/65.01  
% 66.02/66.25  
% 66.02/66.25  
% 66.02/66.25  Changing weight limit from 39 to 35.
% 66.02/66.25  
% 66.02/66.25  Stopped by limit on insertions
% 66.02/66.25  
% 66.02/66.25  Model 125 [ 47 9 43297 ] (0.00 seconds, 250000 Inserts)
% 66.02/66.25  
% 66.02/66.25  Resetting weight limit to 35 after 165 givens.
% 66.02/66.25  
% 77.92/78.16  
% 77.92/78.16  
% 77.92/78.16  Changing weight limit from 35 to 36.
% 77.92/78.16  
% 77.92/78.16  Stopped by limit on insertions
% 77.92/78.16  
% 77.92/78.16  Model 126 [ 112 23 110354 ] (0.00 seconds, 250000 Inserts)
% 77.92/78.16  
% 77.92/78.16  Stopped by limit on insertions
% 77.92/78.16  
% 77.92/78.16  Model 127 [ 71 18 99512 ] (0.00 seconds, 250000 Inserts)
% 77.92/78.16  
% 77.92/78.16  Stopped by limit on insertions
% 77.92/78.16  
% 77.92/78.16  Model 128 [ 102 13 61794 ] (0.00 seconds, 250000 Inserts)
% 77.92/78.16  
% 77.92/78.16  Stopped by limit on insertions
% 77.92/78.16  
% 77.92/78.16  Model 129 [ 125 12 57358 ] (0.00 seconds, 250000 Inserts)
% 77.92/78.16  
% 77.92/78.16  Stopped by limit on insertions
% 77.92/78.16  
% 77.92/78.16  Model 130 [ 181 26 126394 ] (0.00 seconds, 250000 Inserts)
% 77.92/78.16  
% 77.92/78.16  Stopped by limit on insertions
% 77.92/78.16  
% 77.92/78.16  Model 131 [ 123 23 118812 ] (0.00 seconds, 250000 Inserts)
% 77.92/78.16  
% 77.92/78.16  Resetting weight limit to 36 after 230 givens.
% 77.92/78.16  
% 80.42/80.63  
% 80.42/80.63  
% 80.42/80.63  Changing weight limit from 36 to 37.
% 80.42/80.63  
% 80.42/80.63  Stopped by limit on insertions
% 80.42/80.63  
% 80.42/80.63  Model 132 [ 163 17 89134 ] (0.00 seconds, 250000 Inserts)
% 80.42/80.63  
% 80.42/80.63  Stopped by limit on insertions
% 80.42/80.63  
% 80.42/80.63  Model 133 [ 84 17 74181 ] (0.00 seconds, 250000 Inserts)
% 80.42/80.63  
% 80.42/80.63  Resetting weight limit to 37 after 235 givens.
% 80.42/80.63  
% 84.10/84.31  
% 84.10/84.31  
% 84.10/84.31  Changing weight limit from 37 to 36.
% 84.10/84.31  
% 84.10/84.31  Stopped by limit on insertions
% 84.10/84.31  
% 84.10/84.31  Model 134 [ 104 17 71012 ] (0.00 seconds, 250000 Inserts)
% 84.10/84.31  
% 84.10/84.31  Stopped by limit on insertions
% 84.10/84.31  
% 84.10/84.31  Model 135 [ 102 16 74939 ] (0.00 seconds, 250000 Inserts)
% 84.10/84.31  
% 84.10/84.31  Stopped by limit on insertions
% 84.10/84.31  
% 84.10/84.31  Model 136 [ 92 14 56697 ] (0.00 seconds, 250000 Inserts)
% 84.10/84.31  
% 84.10/84.31  Resetting weight limit to 36 after 240 givens.
% 84.10/84.31  
% 91.88/92.08  
% 91.88/92.08  
% 91.88/92.08  Changing weight limit from 36 to 33.
% 91.88/92.08  
% 91.88/92.08  Resetting weight limit to 33 after 345 givens.
% 91.88/92.08  
% 97.37/97.57  
% 97.37/97.57  
% 97.37/97.57  Changing weight limit from 33 to 34.
% 97.37/97.57  
% 97.37/97.57  Stopped by limit on insertions
% 97.37/97.57  
% 97.37/97.57  Model 137 [ 198 19 72279 ] (0.00 seconds, 250000 Inserts)
% 97.37/97.57  
% 97.37/97.57  Stopped by limit on insertions
% 97.37/97.57  
% 97.37/97.57  Model 138 [ 74 24 115889 ] (0.00 seconds, 250000 Inserts)
% 97.37/97.57  
% 97.37/97.57  Stopped by limit on insertions
% 97.37/97.57  
% 97.37/97.57  Model 139 [ 194 20 75126 ] (0.00 seconds, 250000 Inserts)
% 97.37/97.57  
% 97.37/97.57  Stopped by limit on insertions
% 97.37/97.57  
% 97.37/97.57  Model 140 [ 251 11 33849 ] (0.00 seconds, 250000 Inserts)
% 97.37/97.57  
% 97.37/97.57  Resetting weight limit to 34 after 355 givens.
% 97.37/97.57  
% 98.37/98.65  
% 98.37/98.65  
% 98.37/98.65  Changing weight limit from 34 to 33.
% 98.37/98.65  
% 98.37/98.65  Stopped by limit on insertions
% 98.37/98.65  
% 98.37/98.65  Model 141 [ 90 13 39090 ] (0.00 seconds, 250000 Inserts)
% 98.37/98.65  
% 98.37/98.65  Resetting weight limit to 33 after 360 givens.
% 98.37/98.65  
% 101.48/101.68  
% 101.48/101.68  
% 101.48/101.68  Changing weight limit from 33 to 34.
% 101.48/101.68  
% 101.48/101.68  Stopped by limit on insertions
% 101.48/101.68  
% 101.48/101.68  Model 142 [ 150 10 26633 ] (0.00 seconds, 250000 Inserts)
% 101.48/101.68  
% 101.48/101.68  Resetting weight limit to 34 after 400 givens.
% 101.48/101.68  
% 101.61/101.80  
% 101.61/101.80  
% 101.61/101.80  Changing weight limit from 34 to 33.
% 101.61/101.80  
% 101.61/101.80  Modelling stopped after 300 given clauses and 0.00 seconds
% 101.61/101.80  
% 101.61/101.80  
% 101.61/101.80  Resetting weight limit to 33 after 405 givens.
% 101.61/101.80  
% 112.70/112.90  
% 112.70/112.90  
% 112.70/112.90  Changing weight limit from 33 to 32.
% 112.70/112.90  
% 112.70/112.90  Resetting weight limit to 32 after 655 givens.
% 112.70/112.90  
% 115.38/115.63  
% 115.38/115.63  
% 115.38/115.63  Changing weight limit from 32 to 31.
% 115.38/115.63  
% 115.38/115.63  Resetting weight limit to 31 after 685 givens.
% 115.38/115.63  
% 130.89/131.14  
% 130.89/131.14  
% 130.89/131.14  Changing weight limit from 31 to 30.
% 130.89/131.14  
% 130.89/131.14  Resetting weight limit to 30 after 880 givens.
% 130.89/131.14  
% 134.45/134.73  
% 134.45/134.73  
% 134.45/134.73  Changing weight limit from 30 to 29.
% 134.45/134.73  
% 134.45/134.73  Resetting weight limit to 29 after 945 givens.
% 134.45/134.73  
% 150.27/150.47  
% 150.27/150.47  
% 150.27/150.47  Changing weight limit from 29 to 28.
% 150.27/150.47  
% 150.27/150.47  Resetting weight limit to 28 after 1135 givens.
% 150.27/150.47  
% 191.99/192.22  
% 191.99/192.22  
% 191.99/192.22  Changing weight limit from 28 to 27.
% 191.99/192.22  
% 191.99/192.22  Resetting weight limit to 27 after 1540 givens.
% 191.99/192.22  
% 199.41/199.64  
% 199.41/199.64  
% 199.41/199.64  Changing weight limit from 27 to 26.
% 199.41/199.64  
% 199.41/199.64  Resetting weight limit to 26 after 1615 givens.
% 199.41/199.64  
% 211.57/211.80  
% 211.57/211.80  
% 211.57/211.80  Changing weight limit from 26 to 25.
% 211.57/211.80  
% 211.57/211.80  Resetting weight limit to 25 after 1895 givens.
% 211.57/211.80  
% 212.06/212.24  
% 212.06/212.24  
% 212.06/212.24  Changing weight limit from 25 to 24.
% 212.06/212.24  
% 212.06/212.24  Resetting weight limit to 24 after 1905 givens.
% 212.06/212.24  
% 212.11/212.32  
% 212.11/212.32  
% 212.11/212.32  Changing weight limit from 24 to 23.
% 212.11/212.32  
% 212.11/212.32  Resetting weight limit to 23 after 1910 givens.
% 212.11/212.32  
% 212.71/212.92  
% 212.71/212.92  
% 212.71/212.92  Changing weight limit from 23 to 21.
% 212.71/212.92  
% 212.71/212.92  Resetting weight limit to 21 after 1965 givens.
% 212.71/212.92  
% 213.01/213.22  
% 213.01/213.22  
% 213.01/213.22  Changing weight limit from 21 to 20.
% 213.01/213.22  
% 213.01/213.22  Resetting weight limit to 20 after 1995 givens.
% 213.01/213.22  
% 239.65/239.84  
% 239.65/239.84  
% 239.65/239.84  Changing weight limit from 20 to 17.
% 239.65/239.84  
% 239.65/239.84  Resetting weight limit to 17 after 6600 givens.
% 239.65/239.84  
% 247.01/247.24  
% 247.01/247.24  
% 247.01/247.24  Changing weight limit from 17 to 18.
% 247.01/247.24  
% 247.01/247.24  Resetting weight limit to 18 after 7795 givens.
% 247.01/247.24  
% 249.40/249.58  
% 249.40/249.58  
% 249.40/249.58  Changing weight limit from 18 to 19.
% 249.40/249.58  
% 249.40/249.58  Resetting weight limit to 19 after 8165 givens.
% 249.40/249.58  
% 249.40/249.60  
% 249.40/249.60  
% 249.40/249.60  Changing weight limit from 19 to 18.
% 249.40/249.60  
% 249.40/249.60  Resetting weight limit to 18 after 8170 givens.
% 249.40/249.60  
% 249.40/249.64  
% 249.40/249.64  
% 249.40/249.64  Changing weight limit from 18 to 19.
% 249.40/249.64  
% 249.40/249.64  Resetting weight limit to 19 after 8185 givens.
% 249.40/249.64  
% 249.48/249.66  
% 249.48/249.66  
% 249.48/249.66  Changing weight limit from 19 to 18.
% 249.48/249.66  
% 249.48/249.66  Resetting weight limit to 18 after 8190 givens.
% 249.48/249.66  
% 249.51/249.70  
% 249.51/249.70  
% 249.51/249.70  Changing weight limit from 18 to 19.
% 249.51/249.70  
% 249.51/249.70  Resetting weight limit to 19 after 8205 givens.
% 249.51/249.70  
% 249.51/249.72  
% 249.51/249.72  
% 249.51/249.72  Changing weight limit from 19 to 18.
% 249.51/249.72  
% 249.51/249.72  Resetting weight limit to 18 after 8210 givens.
% 249.51/249.72  
% 249.56/249.76  
% 249.56/249.76  
% 249.56/249.76  Changing weight limit from 18 to 19.
% 249.56/249.76  
% 249.56/249.76  Resetting weight limit to 19 after 8225 givens.
% 249.56/249.76  
% 249.59/249.78  
% 249.59/249.78  
% 249.59/249.78  Changing weight limit from 19 to 18.
% 249.59/249.78  
% 249.59/249.78  Resetting weight limit to 18 after 8230 givens.
% 249.59/249.78  
% 249.59/249.82  
% 249.59/249.82  
% 249.59/249.82  Changing weight limit from 18 to 19.
% 249.59/249.82  
% 249.59/249.82  Resetting weight limit to 19 after 8245 givens.
% 249.59/249.82  
% 249.65/249.84  
% 249.65/249.84  
% 249.65/249.84  Changing weight limit from 19 to 18.
% 249.65/249.84  
% 249.65/249.84  Resetting weight limit to 18 after 8250 givens.
% 249.65/249.84  
% 249.69/249.88  
% 249.69/249.88  
% 249.69/249.88  Changing weight limit from 18 to 19.
% 249.69/249.88  
% 249.69/249.88  Resetting weight limit to 19 after 8265 givens.
% 249.69/249.88  
% 249.69/249.91  
% 249.69/249.91  
% 249.69/249.91  Changing weight limit from 19 to 18.
% 249.69/249.91  
% 249.69/249.91  Resetting weight limit to 18 after 8270 givens.
% 249.69/249.91  
% 250.28/250.51  
% 250.28/250.51  
% 250.28/250.51  Changing weight limit from 18 to 19.
% 250.28/250.51  
% 250.28/250.51  Resetting weight limit to 19 after 8410 givens.
% 250.28/250.51  
% 250.36/250.53  
% 250.36/250.53  
% 250.36/250.53  Changing weight limit from 19 to 18.
% 250.36/250.53  
% 250.36/250.53  Resetting weight limit to 18 after 8415 givens.
% 250.36/250.53  
% 250.36/250.55  
% 250.36/250.55  
% 250.36/250.55  Changing weight limit from 18 to 19.
% 250.36/250.55  
% 250.36/250.55  Resetting weight limit to 19 after 8420 givens.
% 250.36/250.55  
% 251.17/251.36  
% 251.17/251.36  
% 251.17/251.36  Changing weight limit from 19 to 18.
% 251.17/251.36  
% 251.17/251.36  Resetting weight limit to 18 after 8510 givens.
% 251.17/251.36  
% 251.24/251.44  
% 251.24/251.44  
% 251.24/251.44  Changing weight limit from 18 to 19.
% 251.24/251.44  
% 251.24/251.44  Resetting weight limit to 19 after 8530 givens.
% 251.24/251.44  
% 251.30/251.47  
% 251.30/251.47  
% 251.30/251.47  Changing weight limit from 19 to 18.
% 251.30/251.47  
% 251.30/251.47  Resetting weight limit to 18 after 8535 givens.
% 251.30/251.47  
% 251.30/251.49  
% 251.30/251.49  
% 251.30/251.49  Changing weight limit from 18 to 19.
% 251.30/251.49  
% 251.30/251.49  Resetting weight limit to 19 after 8540 givens.
% 251.30/251.49  
% 251.33/251.53  
% 251.33/251.53  
% 251.33/251.53  Changing weight limit from 19 to 18.
% 251.33/251.53  
% 251.33/251.53  Resetting weight limit to 18 after 8545 givens.
% 251.33/251.53  
% 251.36/251.54  
% 251.36/251.54  
% 251.36/251.54  Changing weight limit from 18 to 19.
% 251.36/251.54  
% 251.36/251.54  Resetting weight limit to 19 after 8550 givens.
% 251.36/251.54  
% 251.36/251.58  
% 251.36/251.58  
% 251.36/251.58  Changing weight limit from 19 to 18.
% 251.36/251.58  
% 251.36/251.58  Resetting weight limit to 18 after 8555 givens.
% 251.36/251.58  
% 251.36/251.60  
% 251.36/251.60  
% 251.36/251.60  Changing weight limit from 18 to 19.
% 251.36/251.60  
% 251.36/251.60  Resetting weight limit to 19 after 8560 givens.
% 251.36/251.60  
% 251.46/251.64  
% 251.46/251.64  
% 251.46/251.64  Changing weight limit from 19 to 18.
% 251.46/251.64  
% 251.46/251.64  Resetting weight limit to 18 after 8565 givens.
% 251.46/251.64  
% 251.46/251.65  
% 251.46/251.65  
% 251.46/251.65  Changing weight limit from 18 to 19.
% 251.46/251.65  
% 251.46/251.65  Resetting weight limit to 19 after 8570 givens.
% 251.46/251.65  
% 251.91/252.16  
% 251.91/252.16  
% 251.91/252.16  Changing weight limit from 19 to 18.
% 251.91/252.16  
% 251.91/252.16  Resetting weight limit to 18 after 8630 givens.
% 251.91/252.16  
% 251.99/252.18  
% 251.99/252.18  
% 251.99/252.18  Changing weight limit from 18 to 19.
% 251.99/252.18  
% 251.99/252.18  Resetting weight limit to 19 after 8635 givens.
% 251.99/252.18  
% 252.14/252.34  
% 252.14/252.34  
% 252.14/252.34  Changing weight limit from 19 to 18.
% 252.14/252.34  
% 252.14/252.34  Resetting weight limit to 18 after 8650 givens.
% 252.14/252.34  
% 252.31/252.50  
% 252.31/252.50  
% 252.31/252.50  Changing weight limit from 18 to 19.
% 252.31/252.50  
% 252.31/252.50  Resetting weight limit to 19 after 8695 givens.
% 252.31/252.50  
% 252.36/252.54  
% 252.36/252.54  
% 252.36/252.54  Changing weight limit from 19 to 18.
% 252.36/252.54  
% 252.36/252.54  Resetting weight limit to 18 after 8700 givens.
% 252.36/252.54  
% 252.37/252.55  
% 252.37/252.55  
% 252.37/252.55  Changing weight limit from 18 to 19.
% 252.37/252.55  
% 252.37/252.55  Resetting weight limit to 19 after 8705 givens.
% 252.37/252.55  
% 252.37/252.59  
% 252.37/252.59  
% 252.37/252.59  Changing weight limit from 19 to 18.
% 252.37/252.59  
% 252.37/252.59  Resetting weight limit to 18 after 8710 givens.
% 252.37/252.59  
% 252.37/252.61  
% 252.37/252.61  
% 252.37/252.61  Changing weight limit from 18 to 19.
% 252.37/252.61  
% 252.37/252.61  Resetting weight limit to 19 after 8715 givens.
% 252.37/252.61  
% 252.45/252.65  
% 252.45/252.65  
% 252.45/252.65  Changing weight limit from 19 to 18.
% 252.45/252.65  
% 252.45/252.65  Resetting weight limit to 18 after 8720 givens.
% 252.45/252.65  
% 252.45/252.66  
% 252.45/252.66  
% 252.45/252.66  Changing weight limit from 18 to 19.
% 252.45/252.66  
% 252.45/252.66  Resetting weight limit to 19 after 8725 givens.
% 252.45/252.66  
% 252.88/253.05  
% 252.88/253.05  
% 252.88/253.05  Changing weight limit from 19 to 18.
% 252.88/253.05  
% 252.88/253.05  Resetting weight limit to 18 after 8770 givens.
% 252.88/253.05  
% 252.88/253.07  
% 252.88/253.07  
% 252.88/253.07  Changing weight limit from 18 to 19.
% 252.88/253.07  
% 252.88/253.07  Resetting weight limit to 19 after 8775 givens.
% 252.88/253.07  
% 256.91/257.12  
% 256.91/257.12  
% 256.91/257.12  Changing weight limit from 19 to 20.
% 256.91/257.12  
% 256.91/257.12  Resetting weight limit to 20 after 9285 givens.
% 256.91/257.12  
% 265.10/265.35  
% 265.10/265.35  
% 265.10/265.35  Changing weight limit from 20 to 21.
% 265.10/265.35  
% 265.10/265.35  Resetting weight limit to 21 after 10300 givens.
% 265.10/265.35  
% 266.35/266.53  
% 266.35/266.53  
% 266.35/266.53  Changing weight limit from 21 to 20.
% 266.35/266.53  
% 266.35/266.53  Resetting weight limit to 20 after 10435 givens.
% 266.35/266.53  
% 266.35/266.54  
% 266.35/266.54  
% 266.35/266.54  Changing weight limit from 20 to 21.
% 266.35/266.54  
% 266.35/266.54  Resetting weight limit to 21 after 10440 givens.
% 266.35/266.54  
% 266.41/266.62  
% 266.41/266.62  
% 266.41/266.62  Changing weight limit from 21 to 20.
% 266.41/266.62  
% 266.41/266.62  Resetting weight limit to 20 after 10445 givens.
% 266.41/266.62  
% 268.19/268.39  
% 268.19/268.39  
% 268.19/268.39  Changing weight limit from 20 to 21.
% 268.19/268.39  
% 268.19/268.39  Resetting weight limit to 21 after 10875 givens.
% 268.19/268.39  
% 268.29/268.47  
% 268.29/268.47  
% 268.29/268.47  Changing weight limit from 21 to 20.
% 268.29/268.47  
% 268.29/268.47  Resetting weight limit to 20 after 10880 givens.
% 268.29/268.47  
% 268.29/268.48  
% 268.29/268.48  
% 268.29/268.48  Changing weight limit from 20 to 21.
% 268.29/268.48  
% 268.29/268.48  Resetting weight limit to 21 after 10885 givens.
% 268.29/268.48  
% 268.36/268.55  
% 268.36/268.55  
% 268.36/268.55  Changing weight limit from 21 to 20.
% 268.36/268.55  
% 268.36/268.55  Resetting weight limit to 20 after 10890 givens.
% 268.36/268.55  
% 268.43/268.61  
% 268.43/268.61  
% 268.43/268.61  Changing weight limit from 20 to 21.
% 268.43/268.61  
% 268.43/268.61  Resetting weight limit to 21 after 10905 givens.
% 268.43/268.61  
% 268.74/268.95  
% 268.74/268.95  
% 268.74/268.95  Changing weight limit from 21 to 22.
% 268.74/268.95  
% 268.74/268.95  Resetting weight limit to 22 after 10950 givens.
% 268.74/268.95  
% 268.81/269.00  
% 268.81/269.00  
% 268.81/269.00  Changing weight limit from 22 to 21.
% 268.81/269.00  
% 268.81/269.00  Resetting weight limit to 21 after 10955 givens.
% 268.81/269.00  
% 268.81/269.02  
% 268.81/269.02  
% 268.81/269.02  Changing weight limit from 21 to 22.
% 268.81/269.02  
% 268.81/269.02  Resetting weight limit to 22 after 10960 givens.
% 268.81/269.02  
% 268.89/269.08  
% 268.89/269.08  
% 268.89/269.08  Changing weight limit from 22 to 20.
% 268.89/269.08  
% 268.89/269.08  Resetting weight limit to 20 after 10965 givens.
% 268.89/269.08  
% 268.91/269.09  
% 268.91/269.09  
% 268.91/269.09  Changing weight limit from 20 to 21.
% 268.91/269.09  
% 268.91/269.09  Resetting weight limit to 21 after 10970 givens.
% 268.91/269.09  
% 268.91/269.10  
% 268.91/269.10  
% 268.91/269.10  Changing weight limit from 21 to 22.
% 268.91/269.10  
% 268.91/269.10  Resetting weight limit to 22 after 10975 givens.
% 268.91/269.10  
% 268.96/269.16  
% 268.96/269.16  
% 268.96/269.16  Changing weight limit from 22 to 20.
% 268.96/269.16  
% 268.96/269.16  Resetting weight limit to 20 after 10980 givens.
% 268.96/269.16  
% 268.96/269.17  
% 268.96/269.17  
% 268.96/269.17  Changing weight limit from 20 to 21.
% 268.96/269.17  
% 268.96/269.17  Resetting weight limit to 21 after 10985 givens.
% 268.96/269.17  
% 268.96/269.19  
% 268.96/269.19  
% 268.96/269.19  Changing weight limit from 21 to 22.
% 268.96/269.19  
% 268.96/269.19  Resetting weight limit to 22 after 10990 givens.
% 268.96/269.19  
% 269.04/269.25  
% 269.04/269.25  
% 269.04/269.25  Changing weight limit from 22 to 20.
% 269.04/269.25  
% 269.04/269.25  Resetting weight limit to 20 after 10995 givens.
% 269.04/269.25  
% 269.04/269.26  
% 269.04/269.26  
% 269.04/269.26  Changing weight limit from 20 to 21.
% 269.04/269.26  
% 269.04/269.26  Resetting weight limit to 21 after 11000 givens.
% 269.04/269.26  
% 269.04/269.27  
% 269.04/269.27  
% 269.04/269.27  Changing weight limit from 21 to 22.
% 269.04/269.27  
% 269.04/269.27  Resetting weight limit to 22 after 11005 givens.
% 269.04/269.27  
% 269.11/269.33  
% 269.11/269.33  
% 269.11/269.33  Changing weight limit from 22 to 20.
% 269.11/269.33  
% 269.11/269.33  Resetting weight limit to 20 after 11010 givens.
% 269.11/269.33  
% 269.11/269.35  
% 269.11/269.35  
% 269.11/269.35  Changing weight limit from 20 to 21.
% 269.11/269.35  
% 269.11/269.35  Resetting weight limit to 21 after 11015 givens.
% 269.11/269.35  
% 269.19/269.37  
% 269.19/269.37  
% 269.19/269.37  Changing weight limit from 21 to 22.
% 269.19/269.37  
% 269.19/269.37  Resetting weight limit to 22 after 11020 givens.
% 269.19/269.37  
% 269.25/269.44  
% 269.25/269.44  
% 269.25/269.44  Changing weight limit from 22 to 20.
% 269.25/269.44  
% 269.25/269.44  Resetting weight limit to 20 after 11025 givens.
% 269.25/269.44  
% 269.27/269.46  
% 269.27/269.46  
% 269.27/269.46  Changing weight limit from 20 to 21.
% 269.27/269.46  
% 269.27/269.46  Resetting weight limit to 21 after 11030 givens.
% 269.27/269.46  
% 269.27/269.48  
% 269.27/269.48  
% 269.27/269.48  Changing weight limit from 21 to 22.
% 269.27/269.48  
% 269.27/269.48  Resetting weight limit to 22 after 11035 givens.
% 269.27/269.48  
% 269.35/269.55  
% 269.35/269.55  
% 269.35/269.55  Changing weight limit from 22 to 20.
% 269.35/269.55  
% 269.35/269.55  Resetting weight limit to 20 after 11040 givens.
% 269.35/269.55  
% 269.35/269.57  
% 269.35/269.57  
% 269.35/269.57  Changing weight limit from 20 to 21.
% 269.35/269.57  
% 269.35/269.57  Resetting weight limit to 21 after 11045 givens.
% 269.35/269.57  
% 269.41/269.59  
% 269.41/269.59  
% 269.41/269.59  Changing weight limit from 21 to 22.
% 269.41/269.59  
% 269.41/269.59  Resetting weight limit to 22 after 11050 givens.
% 269.41/269.59  
% 269.41/269.65  
% 269.41/269.65  
% 269.41/269.65  Changing weight limit from 22 to 20.
% 269.41/269.65  
% 269.41/269.65  Resetting weight limit to 20 after 11055 givens.
% 269.41/269.65  
% 269.48/269.66  
% 269.48/269.66  
% 269.48/269.66  Changing weight limit from 20 to 21.
% 269.48/269.66  
% 269.48/269.66  Resetting weight limit to 21 after 11060 givens.
% 269.48/269.66  
% 269.49/269.68  
% 269.49/269.68  
% 269.49/269.68  Changing weight limit from 21 to 22.
% 269.49/269.68  
% 269.49/269.68  Resetting weight limit to 22 after 11065 givens.
% 269.49/269.68  
% 269.54/269.74  
% 269.54/269.74  
% 269.54/269.74  Changing weight limit from 22 to 20.
% 269.54/269.74  
% 269.54/269.74  Resetting weight limit to 20 after 11070 givens.
% 269.54/269.74  
% 269.57/269.75  
% 269.57/269.75  
% 269.57/269.75  Changing weight limit from 20 to 21.
% 269.57/269.75  
% 269.57/269.75  Resetting weight limit to 21 after 11075 givens.
% 269.57/269.75  
% 269.57/269.77  
% 269.57/269.77  
% 269.57/269.77  Changing weight limit from 21 to 22.
% 269.57/269.77  
% 269.57/269.77  Resetting weight limit to 22 after 11080 givens.
% 269.57/269.77  
% 269.57/269.83  
% 269.57/269.83  
% 269.57/269.83  Changing weight limit from 22 to 20.
% 269.57/269.83  
% 269.57/269.83  Resetting weight limit to 20 after 11085 givens.
% 269.57/269.83  
% 269.65/269.84  
% 269.65/269.84  
% 269.65/269.84  Changing weight limit from 20 to 21.
% 269.65/269.84  
% 269.65/269.84  Resetting weight limit to 21 after 11090 givens.
% 269.65/269.84  
% 269.65/269.85  
% 269.65/269.85  
% 269.65/269.85  Changing weight limit from 21 to 22.
% 269.65/269.85  
% 269.65/269.85  Resetting weight limit to 22 after 11095 givens.
% 269.65/269.85  
% 269.71/269.89  
% 269.71/269.89  
% 269.71/269.89  Changing weight limit from 22 to 20.
% 269.71/269.89  
% 269.71/269.89  Resetting weight limit to 20 after 11100 givens.
% 269.71/269.89  
% 269.71/269.90  
% 269.71/269.90  
% 269.71/269.90  Changing weight limit from 20 to 21.
% 269.71/269.90  
% 269.71/269.90  Resetting weight limit to 21 after 11105 givens.
% 269.71/269.90  
% 269.71/269.92  
% 269.71/269.92  
% 269.71/269.92  Changing weight limit from 21 to 22.
% 269.71/269.92  
% 269.71/269.92  Resetting weight limit to 22 after 11110 givens.
% 269.71/269.92  
% 269.78/269.96  
% 269.78/269.96  
% 269.78/269.96  Changing weight limit from 22 to 20.
% 269.78/269.96  
% 269.78/269.96  Resetting weight limit to 20 after 11115 givens.
% 269.78/269.96  
% 269.78/269.97  
% 269.78/269.97  
% 269.78/269.97  Changing weight limit from 20 to 21.
% 269.78/269.97  
% 269.78/269.97  Resetting weight limit to 21 after 11120 givens.
% 269.78/269.97  
% 269.80/269.98  
% 269.80/269.98  
% 269.80/269.98  Changing weight limit from 21 to 22.
% 269.80/269.98  
% 269.80/269.98  Resetting weight limit to 22 after 11125 givens.
% 269.80/269.98  
% 269.85/270.04  
% 269.85/270.04  
% 269.85/270.04  Changing weight limit from 22 to 20.
% 269.85/270.04  
% 269.85/270.04  Resetting weight limit to 20 after 11130 givens.
% 269.85/270.04  
% 269.88/270.06  
% 269.88/270.06  
% 269.88/270.06  Changing weight limit from 20 to 21.
% 269.88/270.06  
% 269.88/270.06  Resetting weight limit to 21 after 11135 givens.
% 269.88/270.06  
% 269.88/270.07  
% 269.88/270.07  
% 269.88/270.07  Changing weight limit from 21 to 22.
% 269.88/270.07  
% 269.88/270.07  Resetting weight limit to 22 after 11140 givens.
% 269.88/270.07  
% 269.95/270.14  
% 269.95/270.14  
% 269.95/270.14  Changing weight limit from 22 to 20.
% 269.95/270.14  
% 269.95/270.14  Resetting weight limit to 20 after 11145 givens.
% 269.95/270.14  
% 269.95/270.16  
% 269.95/270.16  
% 269.95/270.16  Changing weight limit from 20 to 21.
% 269.95/270.16  
% 269.95/270.16  Resetting weight limit to 21 after 11150 givens.
% 269.95/270.16  
% 269.99/270.18  
% 269.99/270.18  
% 269.99/270.18  Changing weight limit from 21 to 22.
% 269.99/270.18  
% 269.99/270.18  Resetting weight limit to 22 after 11155 givens.
% 269.99/270.18  
% 270.06/270.24  
% 270.06/270.24  
% 270.06/270.24  Changing weight limit from 22 to 20.
% 270.06/270.24  
% 270.06/270.24  Resetting weight limit to 20 after 11160 givens.
% 270.06/270.24  
% 270.06/270.26  
% 270.06/270.26  
% 270.06/270.26  Changing weight limit from 20 to 21.
% 270.06/270.26  
% 270.06/270.26  Resetting weight limit to 21 after 11165 givens.
% 270.06/270.26  
% 270.09/270.27  
% 270.09/270.27  
% 270.09/270.27  Changing weight limit from 21 to 22.
% 270.09/270.27  
% 270.09/270.27  Resetting weight limit to 22 after 11170 givens.
% 270.09/270.27  
% 270.09/270.32  
% 270.09/270.32  
% 270.09/270.32  Changing weight limit from 22 to 20.
% 270.09/270.32  
% 270.09/270.32  Resetting weight limit to 20 after 11175 givens.
% 270.09/270.32  
% 270.15/270.33  
% 270.15/270.33  
% 270.15/270.33  Changing weight limit from 20 to 21.
% 270.15/270.33  
% 270.15/270.33  Resetting weight limit to 21 after 11180 givens.
% 270.15/270.33  
% 270.15/270.34  
% 270.15/270.34  
% 270.15/270.34  Changing weight limit from 21 to 22.
% 270.15/270.34  
% 270.15/270.34  Resetting weight limit to 22 after 11185 givens.
% 270.15/270.34  
% 270.18/270.40  
% 270.18/270.40  
% 270.18/270.40  Changing weight limit from 22 to 20.
% 270.18/270.40  
% 270.18/270.40  Resetting weight limit to 20 after 11190 givens.
% 270.18/270.40  
% 270.18/270.42  
% 270.18/270.42  
% 270.18/270.42  Changing weight limit from 20 to 21.
% 270.18/270.42  
% 270.18/270.42  Resetting weight limit to 21 after 11195 givens.
% 270.18/270.42  
% 270.25/270.43  
% 270.25/270.43  
% 270.25/270.43  Changing weight limit from 21 to 22.
% 270.25/270.43  
% 270.25/270.43  Resetting weight limit to 22 after 11200 givens.
% 270.25/270.43  
% 270.29/270.50  
% 270.29/270.50  
% 270.29/270.50  Changing weight limit from 22 to 20.
% 270.29/270.50  
% 270.29/270.50  Resetting weight limit to 20 after 11205 givens.
% 270.29/270.50  
% 270.29/270.52  
% 270.29/270.52  
% 270.29/270.52  Changing weight limit from 20 to 21.
% 270.29/270.52  
% 270.29/270.52  Resetting weight limit to 21 after 11210 givens.
% 270.29/270.52  
% 270.29/270.54  
% 270.29/270.54  
% 270.29/270.54  Changing weight limit from 21 to 22.
% 270.29/270.54  
% 270.29/270.54  Resetting weight limit to 22 after 11215 givens.
% 270.29/270.54  
% 270.41/270.60  
% 270.41/270.60  
% 270.41/270.60  Changing weight limit from 22 to 20.
% 270.41/270.60  
% 270.41/270.60  Resetting weight limit to 20 after 11220 givens.
% 270.41/270.60  
% 270.41/270.61  
% 270.41/270.61  
% 270.41/270.61  Changing weight limit from 20 to 21.
% 270.41/270.61  
% 270.41/270.61  Resetting weight limit to 21 after 11225 givens.
% 270.41/270.61  
% 270.41/270.63  
% 270.41/270.63  
% 270.41/270.63  Changing weight limit from 21 to 22.
% 270.41/270.63  
% 270.41/270.63  Resetting weight limit to 22 after 11230 givens.
% 270.41/270.63  
% 270.48/270.67  
% 270.48/270.67  
% 270.48/270.67  Changing weight limit from 22 to 20.
% 270.48/270.67  
% 270.48/270.67  Resetting weight limit to 20 after 11235 givens.
% 270.48/270.67  
% 270.48/270.68  
% 270.48/270.68  
% 270.48/270.68  Changing weight limit from 20 to 21.
% 270.48/270.68  
% 270.48/270.68  Resetting weight limit to 21 after 11240 givens.
% 270.48/270.68  
% 270.48/270.70  
% 270.48/270.70  
% 270.48/270.70  Changing weight limit from 21 to 22.
% 270.48/270.70  
% 270.48/270.70  Resetting weight limit to 22 after 11245 givens.
% 270.48/270.70  
% 270.58/270.76  
% 270.58/270.76  
% 270.58/270.76  Changing weight limit from 22 to 20.
% 270.58/270.76  
% 270.58/270.76  Resetting weight limit to 20 after 11250 givens.
% 270.58/270.76  
% 270.58/270.77  
% 270.58/270.77  
% 270.58/270.77  Changing weight limit from 20 to 21.
% 270.58/270.77  
% 270.58/270.77  Resetting weight limit to 21 after 11255 givens.
% 270.58/270.77  
% 270.58/270.79  
% 270.58/270.79  
% 270.58/270.79  Changing weight limit from 21 to 22.
% 270.58/270.79  
% 270.58/270.79  Resetting weight limit to 22 after 11260 givens.
% 270.58/270.79  
% 270.66/270.85  
% 270.66/270.85  
% 270.66/270.85  Changing weight limit from 22 to 20.
% 270.66/270.85  
% 270.66/270.85  Resetting weight limit to 20 after 11265 givens.
% 270.66/270.85  
% 270.66/270.87  
% 270.66/270.87  
% 270.66/270.87  Changing weight limit from 20 to 21.
% 270.66/270.87  
% 270.66/270.87  Resetting weight limit to 21 after 11270 givens.
% 270.66/270.87  
% 270.71/270.88  
% 270.71/270.88  
% 270.71/270.88  Changing weight limit from 21 to 22.
% 270.71/270.88  
% 270.71/270.88  Resetting weight limit to 22 after 11275 givens.
% 270.71/270.88  
% 270.77/270.94  
% 270.77/270.94  
% 270.77/270.94  Changing weight limit from 22 to 20.
% 270.77/270.94  
% 270.77/270.94  Resetting weight limit to 20 after 11280 givens.
% 270.77/270.94  
% 270.78/270.96  
% 270.78/270.96  
% 270.78/270.96  Changing weight limit from 20 to 21.
% 270.78/270.96  
% 270.78/270.96  Resetting weight limit to 21 after 11285 givens.
% 270.78/270.96  
% 270.78/270.97  
% 270.78/270.97  
% 270.78/270.97  Changing weight limit from 21 to 22.
% 270.78/270.97  
% 270.78/270.97  Resetting weight limit to 22 after 11290 givens.
% 270.78/270.97  
% 270.84/271.02  
% 270.84/271.02  
% 270.84/271.02  Changing weight limit from 22 to 20.
% 270.84/271.02  
% 270.84/271.02  Resetting weight limit to 20 after 11295 givens.
% 270.84/271.02  
% 270.84/271.03  
% 270.84/271.03  
% 270.84/271.03  Changing weight limit from 20 to 21.
% 270.84/271.03  
% 270.84/271.03  Resetting weight limit to 21 after 11300 givens.
% 270.84/271.03  
% 270.84/271.04  
% 270.84/271.04  
% 270.84/271.04  Changing weight limit from 21 to 22.
% 270.84/271.04  
% 270.84/271.04  Resetting weight limit to 22 after 11305 givens.
% 270.84/271.04  
% 270.89/271.10  
% 270.89/271.10  
% 270.89/271.10  Changing weight limit from 22 to 20.
% 270.89/271.10  
% 270.89/271.10  Resetting weight limit to 20 after 11310 givens.
% 270.89/271.10  
% 270.89/271.12  
% 270.89/271.12  
% 270.89/271.12  Changing weight limit from 20 to 21.
% 270.89/271.12  
% 270.89/271.12  Resetting weight limit to 21 after 11315 givens.
% 270.89/271.12  
% 270.89/271.13  
% 270.89/271.13  
% 270.89/271.13  Changing weight limit from 21 to 22.
% 270.89/271.13  
% 270.89/271.13  Resetting weight limit to 22 after 11320 givens.
% 270.89/271.13  
% 270.98/271.19  
% 270.98/271.19  
% 270.98/271.19  Changing weight limit from 22 to 20.
% 270.98/271.19  
% 270.98/271.19  Resetting weight limit to 20 after 11325 givens.
% 270.98/271.19  
% 271.02/271.21  
% 271.02/271.21  
% 271.02/271.21  Changing weight limit from 20 to 21.
% 271.02/271.21  
% 271.02/271.21  Resetting weight limit to 21 after 11330 givens.
% 271.02/271.21  
% 271.02/271.22  
% 271.02/271.22  
% 271.02/271.22  Changing weight limit from 21 to 22.
% 271.02/271.22  
% 271.02/271.22  Resetting weight limit to 22 after 11335 givens.
% 271.02/271.22  
% 271.07/271.28  
% 271.07/271.28  
% 271.07/271.28  Changing weight limit from 22 to 20.
% 271.07/271.28  
% 271.07/271.28  Resetting weight limit to 20 after 11340 givens.
% 271.07/271.28  
% 271.07/271.29  
% 271.07/271.29  
% 271.07/271.29  Changing weight limit from 20 to 21.
% 271.07/271.29  
% 271.07/271.29  Resetting weight limit to 21 after 11345 givens.
% 271.07/271.29  
% 271.07/271.31  
% 271.07/271.31  
% 271.07/271.31  Changing weight limit from 21 to 22.
% 271.07/271.31  
% 271.07/271.31  Resetting weight limit to 22 after 11350 givens.
% 271.07/271.31  
% 271.17/271.35  
% 271.17/271.35  
% 271.17/271.35  Changing weight limit from 22 to 20.
% 271.17/271.35  
% 271.17/271.35  Resetting weight limit to 20 after 11355 givens.
% 271.17/271.35  
% 271.17/271.36  
% 271.17/271.36  
% 271.17/271.36  Changing weight limit from 20 to 21.
% 271.17/271.36  
% 271.17/271.36  Resetting weight limit to 21 after 11360 givens.
% 271.17/271.36  
% 271.17/271.37  
% 271.17/271.37  
% 271.17/271.37  Changing weight limit from 21 to 22.
% 271.17/271.37  
% 271.17/271.37  Resetting weight limit to 22 after 11365 givens.
% 271.17/271.37  
% 271.22/271.44  
% 271.22/271.44  
% 271.22/271.44  Changing weight limit from 22 to 20.
% 271.22/271.44  
% 271.22/271.44  Resetting weight limit to 20 after 11370 givens.
% 271.22/271.44  
% 271.28/271.45  
% 271.28/271.45  
% 271.28/271.45  Changing weight limit from 20 to 21.
% 271.28/271.45  
% 271.28/271.45  Resetting weight limit to 21 after 11375 givens.
% 271.28/271.45  
% 271.28/271.46  
% 271.28/271.46  
% 271.28/271.46  Changing weight limit from 21 to 22.
% 271.28/271.46  
% 271.28/271.46  Resetting weight limit to 22 after 11380 givens.
% 271.28/271.46  
% 271.32/271.52  
% 271.32/271.52  
% 271.32/271.52  Changing weight limit from 22 to 20.
% 271.32/271.52  
% 271.32/271.52  Resetting weight limit to 20 after 11385 givens.
% 271.32/271.52  
% 271.32/271.54  
% 271.32/271.54  
% 271.32/271.54  Changing weight limit from 20 to 21.
% 271.32/271.54  
% 271.32/271.54  Resetting weight limit to 21 after 11390 givens.
% 271.32/271.54  
% 271.37/271.55  
% 271.37/271.55  
% 271.37/271.55  Changing weight limit from 21 to 22.
% 271.37/271.55  
% 271.37/271.55  Resetting weight limit to 22 after 11395 givens.
% 271.37/271.55  
% 271.37/271.61  
% 271.37/271.61  
% 271.37/271.61  Changing weight limit from 22 to 20.
% 271.37/271.61  
% 271.37/271.61  Resetting weight limit to 20 after 11400 givens.
% 271.37/271.61  
% 271.37/271.63  
% 271.37/271.63  
% 271.37/271.63  Changing weight limit from 20 to 21.
% 271.37/271.63  
% 271.37/271.63  Resetting weight limit to 21 after 11405 givens.
% 271.37/271.63  
% 271.37/271.64  
% 271.37/271.64  
% 271.37/271.64  Changing weight limit from 21 to 22.
% 271.37/271.64  
% 271.37/271.64  Resetting weight limit to 22 after 11410 givens.
% 271.37/271.64  
% 271.47/271.68  
% 271.47/271.68  
% 271.47/271.68  Changing weight limit from 22 to 20.
% 271.47/271.68  
% 271.47/271.68  Resetting weight limit to 20 after 11415 givens.
% 271.47/271.68  
% 271.47/271.69  
% 271.47/271.69  
% 271.47/271.69  Changing weight limit from 20 to 21.
% 271.47/271.69  
% 271.47/271.69  Resetting weight limit to 21 after 11420 givens.
% 271.47/271.69  
% 271.47/271.70  
% 271.47/271.70  
% 271.47/271.70  Changing weight limit from 21 to 22.
% 271.47/271.70  
% 271.47/271.70  Resetting weight limit to 22 after 11425 givens.
% 271.47/271.70  
% 271.53/271.75  
% 271.53/271.75  
% 271.53/271.75  Changing weight limit from 22 to 20.
% 271.53/271.75  
% 271.53/271.75  Resetting weight limit to 20 after 11430 givens.
% 271.53/271.75  
% 271.59/271.76  
% 271.59/271.76  
% 271.59/271.76  Changing weight limit from 20 to 21.
% 271.59/271.76  
% 271.59/271.76  Resetting weight limit to 21 after 11435 givens.
% 271.59/271.76  
% 271.59/271.78  
% 271.59/271.78  
% 271.59/271.78  Changing weight limit from 21 to 22.
% 271.59/271.78  
% 271.59/271.78  Resetting weight limit to 22 after 11440 givens.
% 271.59/271.78  
% 271.65/271.84  
% 271.65/271.84  
% 271.65/271.84  Changing weight limit from 22 to 20.
% 271.65/271.84  
% 271.65/271.84  Resetting weight limit to 20 after 11445 givens.
% 271.65/271.84  
% 271.65/271.85  
% 271.65/271.85  
% 271.65/271.85  Changing weight limit from 20 to 21.
% 271.65/271.85  
% 271.65/271.85  Resetting weight limit to 21 after 11450 givens.
% 271.65/271.85  
% 271.65/271.87  
% 271.65/271.87  
% 271.65/271.87  Changing weight limit from 21 to 22.
% 271.65/271.87  
% 271.65/271.87  Resetting weight limit to 22 after 11455 givens.
% 271.65/271.87  
% 271.75/271.93  
% 271.75/271.93  
% 271.75/271.93  Changing weight limit from 22 to 20.
% 271.75/271.93  
% 271.75/271.93  Resetting weight limit to 20 after 11460 givens.
% 271.75/271.93  
% 271.75/271.94  
% 271.75/271.94  
% 271.75/271.94  Changing weight limit from 20 to 21.
% 271.75/271.94  
% 271.75/271.94  Resetting weight limit to 21 after 11465 givens.
% 271.75/271.94  
% 271.75/271.96  
% 271.75/271.96  
% 271.75/271.96  Changing weight limit from 21 to 22.
% 271.75/271.96  
% 271.75/271.96  Resetting weight limit to 22 after 11470 givens.
% 271.75/271.96  
% 271.82/272.00  
% 271.82/272.00  
% 271.82/272.00  Changing weight limit from 22 to 20.
% 271.82/272.00  
% 271.82/272.00  Resetting weight limit to 20 after 11475 givens.
% 271.82/272.00  
% 271.82/272.01  
% 271.82/272.01  
% 271.82/272.01  Changing weight limit from 20 to 21.
% 271.82/272.01  
% 271.82/272.01  Resetting weight limit to 21 after 11480 givens.
% 271.82/272.01  
% 271.82/272.03  
% 271.82/272.03  
% 271.82/272.03  Changing weight limit from 21 to 22.
% 271.82/272.03  
% 271.82/272.03  Resetting weight limit to 22 after 11485 givens.
% 271.82/272.03  
% 271.89/272.07  
% 271.89/272.07  
% 271.89/272.07  Changing weight limit from 22 to 20.
% 271.89/272.07  
% 271.89/272.07  Resetting weight limit to 20 after 11490 givens.
% 271.89/272.07  
% 271.89/272.08  
% 271.89/272.08  
% 271.89/272.08  Changing weight limit from 20 to 21.
% 271.89/272.08  
% 271.89/272.08  Resetting weight limit to 21 after 11495 givens.
% 271.89/272.08  
% 271.89/272.10  
% 271.89/272.10  
% 271.89/272.10  Changing weight limit from 21 to 22.
% 271.89/272.10  
% 271.89/272.10  Resetting weight limit to 22 after 11500 givens.
% 271.89/272.10  
% 271.89/272.16  
% 271.89/272.16  
% 271.89/272.16  Changing weight limit from 22 to 20.
% 271.89/272.16  
% 271.89/272.16  Resetting weight limit to 20 after 11505 givens.
% 271.89/272.16  
% 271.99/272.17  
% 271.99/272.17  
% 271.99/272.17  Changing weight limit from 20 to 21.
% 271.99/272.17  
% 271.99/272.17  Resetting weight limit to 21 after 11510 givens.
% 271.99/272.17  
% 271.99/272.18  
% 271.99/272.18  
% 271.99/272.18  Changing weight limit from 21 to 22.
% 271.99/272.18  
% 271.99/272.18  Resetting weight limit to 22 after 11515 givens.
% 271.99/272.18  
% 272.05/272.25  
% 272.05/272.25  
% 272.05/272.25  Changing weight limit from 22 to 20.
% 272.05/272.25  
% 272.05/272.25  Resetting weight limit to 20 after 11520 givens.
% 272.05/272.25  
% 272.05/272.26  
% 272.05/272.26  
% 272.05/272.26  Changing weight limit from 20 to 21.
% 272.05/272.26  
% 272.05/272.26  Resetting weight limit to 21 after 11525 givens.
% 272.05/272.26  
% 272.05/272.27  
% 272.05/272.27  
% 272.05/272.27  Changing weight limit from 21 to 22.
% 272.05/272.27  
% 272.05/272.27  Resetting weight limit to 22 after 11530 givens.
% 272.05/272.27  
% 272.05/272.34  
% 272.05/272.34  
% 272.05/272.34  Changing weight limit from 22 to 20.
% 272.05/272.34  
% 272.05/272.34  Resetting weight limit to 20 after 11535 givens.
% 272.05/272.34  
% 272.17/272.35  
% 272.17/272.35  
% 272.17/272.35  Changing weight limit from 20 to 21.
% 272.17/272.35  
% 272.17/272.35  Resetting weight limit to 21 after 11540 givens.
% 272.17/272.35  
% 272.17/272.36  
% 272.17/272.36  
% 272.17/272.36  Changing weight limit from 21 to 22.
% 272.17/272.36  
% 272.17/272.36  Resetting weight limit to 22 after 11545 givens.
% 272.17/272.36  
% 272.17/272.40  
% 272.17/272.40  
% 272.17/272.40  Changing weight limit from 22 to 20.
% 272.17/272.40  
% 272.17/272.40  Resetting weight limit to 20 after 11550 givens.
% 272.17/272.40  
% 272.24/272.42  
% 272.24/272.42  
% 272.24/272.42  Changing weight limit from 20 to 21.
% 272.24/272.42  
% 272.24/272.42  Resetting weight limit to 21 after 11555 givens.
% 272.24/272.42  
% 272.24/272.43  
% 272.24/272.43  
% 272.24/272.43  Changing weight limit from 21 to 22.
% 272.24/272.43  
% 272.24/272.43  Resetting weight limit to 22 after 11560 givens.
% 272.24/272.43  
% 272.24/272.48  
% 272.24/272.48  
% 272.24/272.48  Changing weight limit from 22 to 20.
% 272.24/272.48  
% 272.24/272.48  Resetting weight limit to 20 after 11565 givens.
% 272.24/272.48  
% 272.30/272.49  
% 272.30/272.49  
% 272.30/272.49  Changing weight limit from 20 to 21.
% 272.30/272.49  
% 272.30/272.49  Resetting weight limit to 21 after 11570 givens.
% 272.30/272.49  
% 272.30/272.50  
% 272.30/272.50  
% 272.30/272.50  Changing weight limit from 21 to 22.
% 272.30/272.50  
% 272.30/272.50  Resetting weight limit to 22 after 11575 givens.
% 272.30/272.50  
% 272.30/272.56  
% 272.30/272.56  
% 272.30/272.56  Changing weight limit from 22 to 20.
% 272.30/272.56  
% 272.30/272.56  Resetting weight limit to 20 after 11580 givens.
% 272.30/272.56  
% 272.39/272.58  
% 272.39/272.58  
% 272.39/272.58  Changing weight limit from 20 to 21.
% 272.39/272.58  
% 272.39/272.58  Resetting weight limit to 21 after 11585 givens.
% 272.39/272.58  
% 272.41/272.59  
% 272.41/272.59  
% 272.41/272.59  Changing weight limit from 21 to 22.
% 272.41/272.59  
% 272.41/272.59  Resetting weight limit to 22 after 11590 givens.
% 272.41/272.59  
% 272.45/272.65  
% 272.45/272.65  
% 272.45/272.65  Changing weight limit from 22 to 20.
% 272.45/272.65  
% 272.45/272.65  Resetting weight limit to 20 after 11595 givens.
% 272.45/272.65  
% 272.45/272.66  
% 272.45/272.66  
% 272.45/272.66  Changing weight limit from 20 to 21.
% 272.45/272.66  
% 272.45/272.66  Resetting weight limit to 21 after 11600 givens.
% 272.45/272.66  
% 272.45/272.67  
% 272.45/272.67  
% 272.45/272.67  Changing weight limit from 21 to 22.
% 272.45/272.67  
% 272.45/272.67  Resetting weight limit to 22 after 11605 givens.
% 272.45/272.67  
% 272.54/272.72  
% 272.54/272.72  
% 272.54/272.72  Changing weight limit from 22 to 20.
% 272.54/272.72  
% 272.54/272.72  Resetting weight limit to 20 after 11610 givens.
% 272.54/272.72  
% 272.54/272.73  
% 272.54/272.73  
% 272.54/272.73  Changing weight limit from 20 to 21.
% 272.54/272.73  
% 272.54/272.73  Resetting weight limit to 21 after 11615 givens.
% 272.54/272.73  
% 272.54/272.74  
% 272.54/272.74  
% 272.54/272.74  Changing weight limit from 21 to 22.
% 272.54/272.74  
% 272.54/272.74  Resetting weight limit to 22 after 11620 givens.
% 272.54/272.74  
% 272.60/272.78  
% 272.60/272.78  
% 272.60/272.78  Changing weight limit from 22 to 20.
% 272.60/272.78  
% 272.60/272.78  Resetting weight limit to 20 after 11625 givens.
% 272.60/272.78  
% 272.60/272.80  
% 272.60/272.80  
% 272.60/272.80  Changing weight limit from 20 to 21.
% 272.60/272.80  
% 272.60/272.80  Resetting weight limit to 21 after 11630 givens.
% 272.60/272.80  
% 272.60/272.81  
% 272.60/272.81  
% 272.60/272.81  Changing weight limit from 21 to 22.
% 272.60/272.81  
% 272.60/272.81  Resetting weight limit to 22 after 11635 givens.
% 272.60/272.81  
% 272.69/272.87  
% 272.69/272.87  
% 272.69/272.87  Changing weight limit from 22 to 20.
% 272.69/272.87  
% 272.69/272.87  Resetting weight limit to 20 after 11640 givens.
% 272.69/272.87  
% 272.71/272.88  
% 272.71/272.88  
% 272.71/272.88  Changing weight limit from 20 to 21.
% 272.71/272.88  
% 272.71/272.88  Resetting weight limit to 21 after 11645 givens.
% 272.71/272.88  
% 272.71/272.90  
% 272.71/272.90  
% 272.71/272.90  Changing weight limit from 21 to 22.
% 272.71/272.90  
% 272.71/272.90  Resetting weight limit to 22 after 11650 givens.
% 272.71/272.90  
% 272.77/272.96  
% 272.77/272.96  
% 272.77/272.96  Changing weight limit from 22 to 20.
% 272.77/272.96  
% 272.77/272.96  Resetting weight limit to 20 after 11655 givens.
% 272.77/272.96  
% 272.77/272.97  
% 272.77/272.97  
% 272.77/272.97  Changing weight limit from 20 to 21.
% 272.77/272.97  
% 272.77/272.97  Resetting weight limit to 21 after 11660 givens.
% 272.77/272.97  
% 272.77/272.99  
% 272.77/272.99  
% 272.77/272.99  Changing weight limit from 21 to 22.
% 272.77/272.99  
% 272.77/272.99  Resetting weight limit to 22 after 11665 givens.
% 272.77/272.99  
% 272.85/273.05  
% 272.85/273.05  
% 272.85/273.05  Changing weight limit from 22 to 20.
% 272.85/273.05  
% 272.85/273.05  Resetting weight limit to 20 after 11670 givens.
% 272.85/273.05  
% 272.85/273.06  
% 272.85/273.06  
% 272.85/273.06  Changing weight limit from 20 to 21.
% 272.85/273.06  
% 272.85/273.06  Resetting weight limit to 21 after 11675 givens.
% 272.85/273.06  
% 272.85/273.08  
% 272.85/273.08  
% 272.85/273.08  Changing weight limit from 21 to 22.
% 272.85/273.08  
% 272.85/273.08  Resetting weight limit to 22 after 11680 givens.
% 272.85/273.08  
% 272.90/273.14  
% 272.90/273.14  
% 272.90/273.14  Changing weight limit from 22 to 20.
% 272.90/273.14  
% 272.90/273.14  Resetting weight limit to 20 after 11685 givens.
% 272.90/273.14  
% 272.98/273.15  
% 272.98/273.15  
% 272.98/273.15  Changing weight limit from 20 to 21.
% 272.98/273.15  
% 272.98/273.15  Resetting weight limit to 21 after 11690 givens.
% 272.98/273.15  
% 272.98/273.16  
% 272.98/273.16  
% 272.98/273.16  Changing weight limit from 21 to 22.
% 272.98/273.16  
% 272.98/273.16  Resetting weight limit to 22 after 11695 givens.
% 272.98/273.16  
% 273.04/273.23  
% 273.04/273.23  
% 273.04/273.23  Changing weight limit from 22 to 20.
% 273.04/273.23  
% 273.04/273.23  Resetting weight limit to 20 after 11700 givens.
% 273.04/273.23  
% 273.04/273.24  
% 273.04/273.24  
% 273.04/273.24  Changing weight limit from 20 to 21.
% 273.04/273.24  
% 273.04/273.24  Resetting weight limit to 21 after 11705 givens.
% 273.04/273.24  
% 273.07/273.25  
% 273.07/273.25  
% 273.07/273.25  Changing weight limit from 21 to 22.
% 273.07/273.25  
% 273.07/273.25  Resetting weight limit to 22 after 11710 givens.
% 273.07/273.25  
% 273.07/273.29  
% 273.07/273.29  
% 273.07/273.29  Changing weight limit from 22 to 20.
% 273.07/273.29  
% 273.07/273.29  Resetting weight limit to 20 after 11715 givens.
% 273.07/273.29  
% 273.07/273.31  
% 273.07/273.31  
% 273.07/273.31  Changing weight limit from 20 to 21.
% 273.07/273.31  
% 273.07/273.31  Resetting weight limit to 21 after 11720 givens.
% 273.07/273.31  
% 273.07/273.32  
% 273.07/273.32  
% 273.07/273.32  Changing weight limit from 21 to 22.
% 273.07/273.32  
% 273.07/273.32  Resetting weight limit to 22 after 11725 givens.
% 273.07/273.32  
% 273.20/273.38  
% 273.20/273.38  
% 273.20/273.38  Changing weight limit from 22 to 20.
% 273.20/273.38  
% 273.20/273.38  Resetting weight limit to 20 after 11730 givens.
% 273.20/273.38  
% 273.20/273.39  
% 273.20/273.39  
% 273.20/273.39  Changing weight limit from 20 to 21.
% 273.20/273.39  
% 273.20/273.39  Resetting weight limit to 21 after 11735 givens.
% 273.20/273.39  
% 273.20/273.41  
% 273.20/273.41  
% 273.20/273.41  Changing weight limit from 21 to 22.
% 273.20/273.41  
% 273.20/273.41  Resetting weight limit to 22 after 11740 givens.
% 273.20/273.41  
% 273.28/273.47  
% 273.28/273.47  
% 273.28/273.47  Changing weight limit from 22 to 20.
% 273.28/273.47  
% 273.28/273.47  Resetting weight limit to 20 after 11745 givens.
% 273.28/273.47  
% 273.31/273.48  
% 273.31/273.48  
% 273.31/273.48  Changing weight limit from 20 to 21.
% 273.31/273.48  
% 273.31/273.48  Resetting weight limit to 21 after 11750 givens.
% 273.31/273.48  
% 273.31/273.50  
% 273.31/273.50  
% 273.31/273.50  Changing weight limit from 21 to 22.
% 273.31/273.50  
% 273.31/273.50  Resetting weight limit to 22 after 11755 givens.
% 273.31/273.50  
% 273.38/273.56  
% 273.38/273.56  
% 273.38/273.56  Changing weight limit from 22 to 20.
% 273.38/273.56  
% 273.38/273.56  Resetting weight limit to 20 after 11760 givens.
% 273.38/273.56  
% 273.38/273.57  
% 273.38/273.57  
% 273.38/273.57  Changing weight limit from 20 to 21.
% 273.38/273.57  
% 273.38/273.57  Resetting weight limit to 21 after 11765 givens.
% 273.38/273.57  
% 273.38/273.58  
% 273.38/273.58  
% 273.38/273.58  Changing weight limit from 21 to 22.
% 273.38/273.58  
% 273.38/273.58  Resetting weight limit to 22 after 11770 givens.
% 273.38/273.58  
% 273.45/273.63  
% 273.45/273.63  
% 273.45/273.63  Changing weight limit from 22 to 20.
% 273.45/273.63  
% 273.45/273.63  Resetting weight limit to 20 after 11775 givens.
% 273.45/273.63  
% 273.45/273.64  
% 273.45/273.64  
% 273.45/273.64  Changing weight limit from 20 to 21.
% 273.45/273.64  
% 273.45/273.64  Resetting weight limit to 21 after 11780 givens.
% 273.45/273.64  
% 273.45/273.65  
% 273.45/273.65  
% 273.45/273.65  Changing weight limit from 21 to 22.
% 273.45/273.65  
% 273.45/273.65  Resetting weight limit to 22 after 11785 givens.
% 273.45/273.65  
% 273.49/273.70  
% 273.49/273.70  
% 273.49/273.70  Changing weight limit from 22 to 20.
% 273.49/273.70  
% 273.49/273.70  Resetting weight limit to 20 after 11790 givens.
% 273.49/273.70  
% 273.49/273.71  
% 273.49/273.71  
% 273.49/273.71  Changing weight limit from 20 to 21.
% 273.49/273.71  
% 273.49/273.71  Resetting weight limit to 21 after 11795 givens.
% 273.49/273.71  
% 273.49/273.72  
% 273.49/273.72  
% 273.49/273.72  Changing weight limit from 21 to 22.
% 273.49/273.72  
% 273.49/273.72  Resetting weight limit to 22 after 11800 givens.
% 273.49/273.72  
% 273.60/273.78  
% 273.60/273.78  
% 273.60/273.78  Changing weight limit from 22 to 20.
% 273.60/273.78  
% 273.60/273.78  Resetting weight limit to 20 after 11805 givens.
% 273.60/273.78  
% 273.60/273.79  
% 273.60/273.79  
% 273.60/273.79  Changing weight limit from 20 to 21.
% 273.60/273.79  
% 273.60/273.79  Resetting weight limit to 21 after 11810 givens.
% 273.60/273.79  
% 273.60/273.81  
% 273.60/273.81  
% 273.60/273.81  Changing weight limit from 21 to 22.
% 273.60/273.81  
% 273.60/273.81  Resetting weight limit to 22 after 11815 givens.
% 273.60/273.81  
% 273.68/273.87  
% 273.68/273.87  
% 273.68/273.87  Changing weight limit from 22 to 20.
% 273.68/273.87  
% 273.68/273.87  Resetting weight limit to 20 after 11820 givens.
% 273.68/273.87  
% 273.68/273.88  
% 273.68/273.88  
% 273.68/273.88  Changing weight limit from 20 to 21.
% 273.68/273.88  
% 273.68/273.88  Resetting weight limit to 21 after 11825 givens.
% 273.68/273.88  
% 273.68/273.90  
% 273.68/273.90  
% 273.68/273.90  Changing weight limit from 21 to 22.
% 273.68/273.90  
% 273.68/273.90  Resetting weight limit to 22 after 11830 givens.
% 273.68/273.90  
% 273.75/273.96  
% 273.75/273.96  
% 273.75/273.96  Changing weight limit from 22 to 20.
% 273.75/273.96  
% 273.75/273.96  Resetting weight limit to 20 after 11835 givens.
% 273.75/273.96  
% 273.80/273.97  
% 273.80/273.97  
% 273.80/273.97  Changing weight limit from 20 to 21.
% 273.80/273.97  
% 273.80/273.97  Resetting weight limit to 21 after 11840 givens.
% 273.80/273.97  
% 273.80/273.98  
% 273.80/273.98  
% 273.80/273.98  Changing weight limit from 21 to 22.
% 273.80/273.98  
% 273.80/273.98  Resetting weight limit to 22 after 11845 givens.
% 273.80/273.98  
% 273.80/274.03  
% 273.80/274.03  
% 273.80/274.03  Changing weight limit from 22 to 20.
% 273.80/274.03  
% 273.80/274.03  Resetting weight limit to 20 after 11850 givens.
% 273.80/274.03  
% 273.80/274.04  
% 273.80/274.04  
% 273.80/274.04  Changing weight limit from 20 to 21.
% 273.80/274.04  
% 273.80/274.04  Resetting weight limit to 21 after 11855 givens.
% 273.80/274.04  
% 273.88/274.05  
% 273.88/274.05  
% 273.88/274.05  Changing weight limit from 21 to 22.
% 273.88/274.05  
% 273.88/274.05  Resetting weight limit to 22 after 11860 givens.
% 273.88/274.05  
% 273.92/274.11  
% 273.92/274.11  
% 273.92/274.11  Changing weight limit from 22 to 20.
% 273.92/274.11  
% 273.92/274.11  Resetting weight limit to 20 after 11865 givens.
% 273.92/274.11  
% 273.92/274.13  
% 273.92/274.13  
% 273.92/274.13  Changing weight limit from 20 to 21.
% 273.92/274.13  
% 273.92/274.13  Resetting weight limit to 21 after 11870 givens.
% 273.92/274.13  
% 273.98/274.14  
% 273.98/274.14  
% 273.98/274.14  Changing weight limit from 21 to 22.
% 273.98/274.14  
% 273.98/274.14  Resetting weight limit to 22 after 11875 givens.
% 273.98/274.14  
% 273.99/274.20  
% 273.99/274.20  
% 273.99/274.20  Changing weight limit from 22 to 20.
% 273.99/274.20  
% 273.99/274.20  Resetting weight limit to 20 after 11880 givens.
% 273.99/274.20  
% 274.04/274.22  
% 274.04/274.22  
% 274.04/274.22  Changing weight limit from 20 to 21.
% 274.04/274.22  
% 274.04/274.22  Resetting weight limit to 21 after 11885 givens.
% 274.04/274.22  
% 274.04/274.23  
% 274.04/274.23  
% 274.04/274.23  Changing weight limit from 21 to 22.
% 274.04/274.23  
% 274.04/274.23  Resetting weight limit to 22 after 11890 givens.
% 274.04/274.23  
% 274.09/274.30  
% 274.09/274.30  
% 274.09/274.30  Changing weight limit from 22 to 20.
% 274.09/274.30  
% 274.09/274.30  Resetting weight limit to 20 after 11895 givens.
% 274.09/274.30  
% 274.09/274.31  
% 274.09/274.31  
% 274.09/274.31  Changing weight limit from 20 to 21.
% 274.09/274.31  
% 274.09/274.31  Resetting weight limit to 21 after 11900 givens.
% 274.09/274.31  
% 274.09/274.32  
% 274.09/274.32  
% 274.09/274.32  Changing weight limit from 21 to 22.
% 274.09/274.32  
% 274.09/274.32  Resetting weight limit to 22 after 11905 givens.
% 274.09/274.32  
% 274.17/274.37  
% 274.17/274.37  
% 274.17/274.37  Changing weight limit from 22 to 20.
% 274.17/274.37  
% 274.17/274.37  Resetting weight limit to 20 after 11910 givens.
% 274.17/274.37  
% 274.17/274.38  
% 274.17/274.38  
% 274.17/274.38  Changing weight limit from 20 to 21.
% 274.17/274.38  
% 274.17/274.38  Resetting weight limit to 21 after 11915 givens.
% 274.17/274.38  
% 274.22/274.39  
% 274.22/274.39  
% 274.22/274.39  Changing weight limit from 21 to 22.
% 274.22/274.39  
% 274.22/274.39  Resetting weight limit to 22 after 11920 givens.
% 274.22/274.39  
% 274.28/274.45  
% 274.28/274.45  
% 274.28/274.45  Changing weight limit from 22 to 20.
% 274.28/274.45  
% 274.28/274.45  Resetting weight limit to 20 after 11925 givens.
% 274.28/274.45  
% 274.29/274.47  
% 274.29/274.47  
% 274.29/274.47  Changing weight limit from 20 to 21.
% 274.29/274.47  
% 274.29/274.47  Resetting weight limit to 21 after 11930 givens.
% 274.29/274.47  
% 274.29/274.48  
% 274.29/274.48  
% 274.29/274.48  Changing weight limit from 21 to 22.
% 274.29/274.48  
% 274.29/274.48  Resetting weight limit to 22 after 11935 givens.
% 274.29/274.48  
% 274.34/274.53  
% 274.34/274.53  
% 274.34/274.53  Changing weight limit from 22 to 20.
% 274.34/274.53  
% 274.34/274.53  Resetting weight limit to 20 after 11940 givens.
% 274.34/274.53  
% 274.34/274.55  
% 274.34/274.55  
% 274.34/274.55  Changing weight limit from 20 to 21.
% 274.34/274.55  
% 274.34/274.55  Resetting weight limit to 21 after 11945 givens.
% 274.34/274.55  
% 274.34/274.56  
% 274.34/274.56  
% 274.34/274.56  Changing weight limit from 21 to 22.
% 274.34/274.56  
% 274.34/274.56  Resetting weight limit to 22 after 11950 givens.
% 274.34/274.56  
% 274.40/274.62  
% 274.40/274.62  
% 274.40/274.62  Changing weight limit from 22 to 20.
% 274.40/274.62  
% 274.40/274.62  Resetting weight limit to 20 after 11955 givens.
% 274.40/274.62  
% 274.40/274.63  
% 274.40/274.63  
% 274.40/274.63  Changing weight limit from 20 to 21.
% 274.40/274.63  
% 274.40/274.63  Resetting weight limit to 21 after 11960 givens.
% 274.40/274.63  
% 274.40/274.64  
% 274.40/274.64  
% 274.40/274.64  Changing weight limit from 21 to 22.
% 274.40/274.64  
% 274.40/274.64  Resetting weight limit to 22 after 11965 givens.
% 274.40/274.64  
% 274.49/274.68  
% 274.49/274.68  
% 274.49/274.68  Changing weight limit from 22 to 20.
% 274.49/274.68  
% 274.49/274.68  Resetting weight limit to 20 after 11970 givens.
% 274.49/274.68  
% 274.49/274.69  
% 274.49/274.69  
% 274.49/274.69  Changing weight limit from 20 to 21.
% 274.49/274.69  
% 274.49/274.69  Resetting weight limit to 21 after 11975 givens.
% 274.49/274.69  
% 274.53/274.70  
% 274.53/274.70  
% 274.53/274.70  Changing weight limit from 21 to 22.
% 274.53/274.70  
% 274.53/274.70  Resetting weight limit to 22 after 11980 givens.
% 274.53/274.70  
% 274.58/274.79  
% 274.58/274.79  
% 274.58/274.79  Changing weight limit from 22 to 20.
% 274.58/274.79  
% 274.58/274.79  Resetting weight limit to 20 after 11990 givens.
% 274.58/274.79  
% 274.58/274.81  
% 274.58/274.81  
% 274.58/274.81  Changing weight limit from 20 to 21.
% 274.58/274.81  
% 274.58/274.81  Resetting weight limit to 21 after 11995 givens.
% 274.58/274.81  
% 274.58/274.82  
% 274.58/274.82  
% 274.58/274.82  Changing weight limit from 21 to 22.
% 274.58/274.82  
% 274.58/274.82  Resetting weight limit to 22 after 12000 givens.
% 274.58/274.82  
% 274.68/274.87  
% 274.68/274.87  
% 274.68/274.87  Changing weight limit from 22 to 20.
% 274.68/274.87  
% 274.68/274.87  Resetting weight limit to 20 after 12005 givens.
% 274.68/274.87  
% 274.68/274.89  
% 274.68/274.89  
% 274.68/274.89  Changing weight limit from 20 to 21.
% 274.68/274.89  
% 274.68/274.89  Resetting weight limit to 21 after 12010 givens.
% 274.68/274.89  
% 274.73/274.90  
% 274.73/274.90  
% 274.73/274.90  Changing weight limit from 21 to 22.
% 274.73/274.90  
% 274.73/274.90  Resetting weight limit to 22 after 12015 givens.
% 274.73/274.90  
% 274.79/274.95  
% 274.79/274.95  
% 274.79/274.95  Changing weight limit from 22 to 20.
% 274.79/274.95  
% 274.79/274.95  Resetting weight limit to 20 after 12020 givens.
% 274.79/274.95  
% 274.79/274.96  
% 274.79/274.96  
% 274.79/274.96  Changing weight limit from 20 to 21.
% 274.79/274.96  
% 274.79/274.96  Resetting weight limit to 21 after 12025 givens.
% 274.79/274.96  
% 274.79/274.98  
% 274.79/274.98  
% 274.79/274.98  Changing weight limit from 21 to 22.
% 274.79/274.98  
% 274.79/274.98  Resetting weight limit to 22 after 12030 givens.
% 274.79/274.98  
% 274.89/275.06  
% 274.89/275.06  
% 274.89/275.06  Changing weight limit from 22 to 20.
% 274.89/275.06  
% 274.89/275.06  Resetting weight limit to 20 after 12040 givens.
% 274.89/275.06  
% 275.08/275.27  
% 275.08/275.27  
% 275.08/275.27  Changing weight limit from 20 to 21.
% 275.08/275.27  
% 275.08/275.27  Resetting weight limit to 21 after 12055 givens.
% 275.08/275.27  
% 275.08/275.28  
% 275.08/275.28  
% 275.08/275.28  Changing weight limit from 21 to 22.
% 275.08/275.28  
% 275.08/275.28  Resetting weight limit to 22 after 12060 givens.
% 275.08/275.28  
% 275.14/275.33  
% 275.14/275.33  
% 275.14/275.33  Changing weight limit from 22 to 20.
% 275.14/275.33  
% 275.14/275.33  Resetting weight limit to 20 after 12065 givens.
% 275.14/275.33  
% 275.36/275.54  
% 275.36/275.54  
% 275.36/275.54  Changing weight limit from 20 to 21.
% 275.36/275.54  
% 275.36/275.54  Resetting weight limit to 21 after 12080 givens.
% 275.36/275.54  
% 275.36/275.55  
% 275.36/275.55  
% 275.36/275.55  Changing weight limit from 21 to 22.
% 275.36/275.55  
% 275.36/275.55  Resetting weight limit to 22 after 12085 givens.
% 275.36/275.55  
% 275.36/275.60  
% 275.36/275.60  
% 275.36/275.60  Changing weight limit from 22 to 20.
% 275.36/275.60  
% 275.36/275.60  Resetting weight limit to 20 after 12090 givens.
% 275.36/275.60  
% 275.60/275.81  
% 275.60/275.81  
% 275.60/275.81  Changing weight limit from 20 to 21.
% 275.60/275.81  
% 275.60/275.81  Resetting weight limit to 21 after 12105 givens.
% 275.60/275.81  
% 275.60/275.82  
% 275.60/275.82  
% 275.60/275.82  Changing weight limit from 21 to 22.
% 275.60/275.82  
% 275.60/275.82  Resetting weight limit to 22 after 12110 givens.
% 275.60/275.82  
% 275.70/275.87  
% 275.70/275.87  
% 275.70/275.87  Changing weight limit from 22 to 20.
% 275.70/275.87  
% 275.70/275.87  Resetting weight limit to 20 after 12115 givens.
% 275.70/275.87  
% 275.88/276.08  
% 275.88/276.08  
% 275.88/276.08  Changing weight limit from 20 to 21.
% 275.88/276.08  
% 275.88/276.08  Resetting weight limit to 21 after 12130 givens.
% 275.88/276.08  
% 275.88/276.09  
% 275.88/276.09  
% 275.88/276.09  Changing weight limit from 21 to 22.
% 275.88/276.09  
% 275.88/276.09  Resetting weight limit to 22 after 12135 givens.
% 275.88/276.09  
% 276.01/276.23  
% 276.01/276.23  
% 276.01/276.23  Changing weight limit from 22 to 20.
% 276.01/276.23  
% 276.01/276.23  Resetting weight limit to 20 after 12140 givens.
% 276.01/276.23  
% 276.16/276.34  
% 276.16/276.34  
% 276.16/276.34  Changing weight limit from 20 to 19.
% 276.16/276.34  
% 276.16/276.34  Resetting weight limit to 19 after 12145 givens.
% 276.16/276.34  
% 276.16/276.37  
% 276.16/276.37  
% 276.16/276.37  Changing weight limit from 19 to 20.
% 276.16/276.37  
% 276.16/276.37  Resetting weight limit to 20 after 12150 givens.
% 276.16/276.37  
% 276.16/276.38  
% 276.16/276.38  
% 276.16/276.38  Changing weight limit from 20 to 21.
% 276.16/276.38  
% 276.16/276.38  Resetting weight limit to 21 after 12155 givens.
% 276.16/276.38  
% 276.16/276.39  
% 276.16/276.39  
% 276.16/276.39  Changing weight limit from 21 to 22.
% 276.16/276.39  
% 276.16/276.39  Resetting weight limit to 22 after 12160 givens.
% 276.16/276.39  
% 276.32/276.55  
% 276.32/276.55  
% 276.32/276.55  Changing weight limit from 22 to 20.
% 276.32/276.55  
% 276.32/276.55  Resetting weight limit to 20 after 12165 givens.
% 276.32/276.55  
% 276.49/276.67  
% 276.49/276.67  
% 276.49/276.67  Changing weight limit from 20 to 19.
% 276.49/276.67  
% 276.49/276.67  Resetting weight limit to 19 after 12170 givens.
% 276.49/276.67  
% 276.49/276.70  
% 276.49/276.70  
% 276.49/276.70  Changing weight limit from 19 to 20.
% 276.49/276.70  
% 276.49/276.70  Resetting weight limit to 20 after 12175 givens.
% 276.49/276.70  
% 276.49/276.71  
% 276.49/276.71  
% 276.49/276.71  Changing weight limit from 20 to 21.
% 276.49/276.71  
% 276.49/276.71  Resetting weight limit to 21 after 12180 givens.
% 276.49/276.71  
% 276.57/276.73  
% 276.57/276.73  
% 276.57/276.73  Changing weight limit from 21 to 22.
% 276.57/276.73  
% 276.57/276.73  Resetting weight limit to 22 after 12185 givens.
% 276.57/276.73  
% 276.71/276.89  
% 276.71/276.89  
% 276.71/276.89  Changing weight limit from 22 to 20.
% 276.71/276.89  
% 276.71/276.89  Resetting weight limit to 20 after 12190 givens.
% 276.71/276.89  
% 276.79/277.02  
% 276.79/277.02  
% 276.79/277.02  Changing weight limit from 20 to 19.
% 276.79/277.02  
% 276.79/277.02  Resetting weight limit to 19 after 12195 givens.
% 276.79/277.02  
% 276.87/277.05  
% 276.87/277.05  
% 276.87/277.05  Changing weight limit from 19 to 20.
% 276.87/277.05  
% 276.87/277.05  Resetting weight limit to 20 after 12200 givens.
% 276.87/277.05  
% 276.87/277.06  
% 276.87/277.06  
% 276.87/277.06  Changing weight limit from 20 to 21.
% 276.87/277.06  
% 276.87/277.06  Resetting weight limit to 21 after 12205 givens.
% 276.87/277.06  
% 276.87/277.07  
% 276.87/277.07  
% 276.87/277.07  Changing weight limit from 21 to 22.
% 276.87/277.07  
% 276.87/277.07  Resetting weight limit to 22 after 12210 givens.
% 276.87/277.07  
% 277.03/277.21  
% 277.03/277.21  
% 277.03/277.21  Changing weight limit from 22 to 20.
% 277.03/277.21  
% 277.03/277.21  Resetting weight limit to 20 after 12215 givens.
% 277.03/277.21  
% 277.17/277.33  
% 277.17/277.33  
% 277.17/277.33  Changing weight limit from 20 to 19.
% 277.17/277.33  
% 277.17/277.33  Resetting weight limit to 19 after 12220 givens.
% 277.17/277.33  
% 277.17/277.36  
% 277.17/277.36  
% 277.17/277.36  Changing weight limit from 19 to 20.
% 277.17/277.36  
% 277.17/277.36  Resetting weight limit to 20 after 12225 givens.
% 277.17/277.36  
% 277.21/277.37  
% 277.21/277.37  
% 277.21/277.37  Changing weight limit from 20 to 21.
% 277.21/277.37  
% 277.21/277.37  Resetting weight limit to 21 after 12230 givens.
% 277.21/277.37  
% 277.21/277.38  
% 277.21/277.38  
% 277.21/277.38  Changing weight limit from 21 to 22.
% 277.21/277.38  
% 277.21/277.38  Resetting weight limit to 22 after 12235 givens.
% 277.21/277.38  
% 277.69/277.84  
% 277.69/277.84  
% 277.69/277.84  Changing weight limit from 22 to 19.
% 277.69/277.84  
% 277.69/277.84  Resetting weight limit to 19 after 12280 givens.
% 277.69/277.84  
% 277.70/277.87  
% 277.70/277.87  
% 277.70/277.87  Changing weight limit from 19 to 20.
% 277.70/277.87  
% 277.70/277.87  Resetting weight limit to 20 after 12285 givens.
% 277.70/277.87  
% 277.76/277.91  
% 277.76/277.91  
% 277.76/277.91  Changing weight limit from 20 to 19.
% 277.76/277.91  
% 277.76/277.91  Resetting weight limit to 19 after 12290 givens.
% 277.76/277.91  
% 277.76/277.92  
% 277.76/277.92  
% 277.76/277.92  Changing weight limit from 19 to 20.
% 277.76/277.92  
% 277.76/277.92  Resetting weight limit to 20 after 12295 givens.
% 277.76/277.92  
% 277.80/277.97  
% 277.80/277.97  
% 277.80/277.97  Changing weight limit from 20 to 19.
% 277.80/277.97  
% 277.80/277.97  Resetting weight limit to 19 after 12300 givens.
% 277.80/277.97  
% 277.80/277.98  
% 277.80/277.98  
% 277.80/277.98  Changing weight limit from 19 to 20.
% 277.80/277.98  
% 277.80/277.98  Resetting weight limit to 20 after 12305 givens.
% 277.80/277.98  
% 277.80/278.03  
% 277.80/278.03  
% 277.80/278.03  Changing weight limit from 20 to 19.
% 277.80/278.03  
% 277.80/278.03  Resetting weight limit to 19 after 12310 givens.
% 277.80/278.03  
% 277.88/278.04  
% 277.88/278.04  
% 277.88/278.04  Changing weight limit from 19 to 20.
% 277.88/278.04  
% 277.88/278.04  Resetting weight limit to 20 after 12315 givens.
% 277.88/278.04  
% 277.93/278.08  
% 277.93/278.08  
% 277.93/278.08  Changing weight limit from 20 to 19.
% 277.93/278.08  
% 277.93/278.08  Resetting weight limit to 19 after 12320 givens.
% 277.93/278.08  
% 277.93/278.10  
% 277.93/278.10  
% 277.93/278.10  Changing weight limit from 19 to 20.
% 277.93/278.10  
% 277.93/278.10  Resetting weight limit to 20 after 12325 givens.
% 277.93/278.10  
% 277.93/278.14  
% 277.93/278.14  
% 277.93/278.14  Changing weight limit from 20 to 19.
% 277.93/278.14  
% 277.93/278.14  Resetting weight limit to 19 after 12330 givens.
% 277.93/278.14  
% 277.99/278.15  
% 277.99/278.15  
% 277.99/278.15  Changing weight limit from 19 to 20.
% 277.99/278.15  
% 277.99/278.15  Resetting weight limit to 20 after 12335 givens.
% 277.99/278.15  
% 278.00/278.17  
% 278.00/278.17  
% 278.00/278.17  Changing weight limit from 20 to 19.
% 278.00/278.17  
% 278.00/278.17  Resetting weight limit to 19 after 12340 givens.
% 278.00/278.17  
% 278.00/278.18  
% 278.00/278.18  
% 278.00/278.18  Changing weight limit from 19 to 20.
% 278.00/278.18  
% 278.00/278.18  Resetting weight limit to 20 after 12345 givens.
% 278.00/278.18  
% 278.00/278.19  
% 278.00/278.19  
% 278.00/278.19  Changing weight limit from 20 to 21.
% 278.00/278.19  
% 278.00/278.19  Resetting weight limit to 21 after 12350 givens.
% 278.00/278.19  
% 278.00/278.20  
% 278.00/278.20  
% 278.00/278.20  Changing weight limit from 21 to 22.
% 278.00/278.20  
% 278.00/278.20  Resetting weight limit to 22 after 12355 givens.
% 278.00/278.20  
% 278.11/278.34  
% 278.11/278.34  
% 278.11/278.34  Changing weight limit from 22 to 20.
% 278.11/278.34  
% 278.11/278.34  Resetting weight limit to 20 after 12360 givens.
% 278.11/278.34  
% 278.20/278.35  
% 278.20/278.35  
% 278.20/278.35  Changing weight limit from 20 to 21.
% 278.20/278.35  
% 278.20/278.35  Resetting weight limit to 21 after 12365 givens.
% 278.20/278.35  
% 278.20/278.37  
% 278.20/278.37  
% 278.20/278.37  Changing weight limit from 21 to 22.
% 278.20/278.37  
% 278.20/278.37  Resetting weight limit to 22 after 12370 givens.
% 278.20/278.37  
% 278.64/278.81  
% 278.64/278.81  
% 278.64/278.81  Changing weight limit from 22 to 20.
% 278.64/278.81  
% 278.64/278.81  Resetting weight limit to 20 after 12415 givens.
% 278.64/278.81  
% 278.69/278.85  
% 278.69/278.85  
% 278.69/278.85  Changing weight limit from 20 to 21.
% 278.69/278.85  
% 278.69/278.85  Resetting weight limit to 21 after 12425 givens.
% 278.69/278.85  
% 278.69/278.87  
% 278.69/278.87  
% 278.69/278.87  Changing weight limit from 21 to 22.
% 278.69/278.87  
% 278.69/278.87  Resetting weight limit to 22 after 12430 givens.
% 278.69/278.87  
% 278.79/278.94  
% 278.79/278.94  
% 278.79/278.94  Changing weight limit from 22 to 20.
% 278.79/278.94  
% 278.79/278.94  Resetting weight limit to 20 after 12435 givens.
% 278.79/278.94  
% 278.85/279.02  
% 278.85/279.02  
% 278.85/279.02  Changing weight limit from 20 to 19.
% 278.85/279.02  
% 278.85/279.02  Resetting weight limit to 19 after 12450 givens.
% 278.85/279.02  
% 278.91/279.16  
% 278.91/279.16  
% 278.91/279.16  Changing weight limit from 19 to 20.
% 278.91/279.16  
% 278.91/279.16  Resetting weight limit to 20 after 12480 givens.
% 278.91/279.16  
% 279.01/279.18  
% 279.01/279.18  
% 279.01/279.18  Changing weight limit from 20 to 19.
% 279.01/279.18  
% 279.01/279.18  Resetting weight limit to 19 after 12485 givens.
% 279.01/279.18  
% 279.04/279.21  
% 279.04/279.21  
% 279.04/279.21  Changing weight limit from 19 to 20.
% 279.04/279.21  
% 279.04/279.21  Resetting weight limit to 20 after 12490 givens.
% 279.04/279.21  
% 279.07/279.23  
% 279.07/279.23  
% 279.07/279.23  Changing weight limit from 20 to 19.
% 279.07/279.23  
% 279.07/279.23  Resetting weight limit to 19 after 12495 givens.
% 279.07/279.23  
% 279.07/279.25  
% 279.07/279.25  
% 279.07/279.25  Changing weight limit from 19 to 20.
% 279.07/279.25  
% 279.07/279.25  Resetting weight limit to 20 after 12500 givens.
% 279.07/279.25  
% 279.07/279.26  
% 279.07/279.26  
% 279.07/279.26  Changing weight limit from 20 to 19.
% 279.07/279.26  
% 279.07/279.26  Resetting weight limit to 19 after 12505 givens.
% 279.07/279.26  
% 279.07/279.30  
% 279.07/279.30  
% 279.07/279.30  Changing weight limit from 19 to 20.
% 279.07/279.30  
% 279.07/279.30  Resetting weight limit to 20 after 12510 givens.
% 279.07/279.30  
% 279.24/279.40  
% 279.24/279.40  
% 279.24/279.40  Changing weight limit from 20 to 21.
% 279.24/279.40  
% 279.24/279.40  Resetting weight limit to 21 after 12520 givens.
% 279.24/279.40  
% 279.24/279.41  
% 279.24/279.41  
% 279.24/279.41  Changing weight limit from 21 to 22.
% 279.24/279.41  
% 279.24/279.41  Resetting weight limit to 22 after 12525 givens.
% 279.24/279.41  
% 279.31/279.54  
% 279.31/279.54  
% 279.31/279.54  Changing weight limit from 22 to 20.
% 279.31/279.54  
% 279.31/279.54  Resetting weight limit to 20 after 12540 givens.
% 279.31/279.54  
% 279.31/279.56  
% 279.31/279.56  
% 279.31/279.56  Changing weight limit from 20 to 21.
% 279.31/279.56  
% 279.31/279.56  Resetting weight limit to 21 after 12545 givens.
% 279.31/279.56  
% 279.41/279.57  
% 279.41/279.57  
% 279.41/279.57  Changing weight limit from 21 to 22.
% 279.41/279.57  
% 279.41/279.57  Resetting weight limit to 22 after 12550 givens.
% 279.41/279.57  
% 279.58/279.75  
% 279.58/279.75  
% 279.58/279.75  Changing weight limit from 22 to 20.
% 279.58/279.75  
% 279.58/279.75  Resetting weight limit to 20 after 12570 givens.
% 279.58/279.75  
% 279.58/279.76  
% 279.58/279.76  
% 279.58/279.76  Changing weight limit from 20 to 21.
% 279.58/279.76  
% 279.58/279.76  Resetting weight limit to 21 after 12575 givens.
% 279.58/279.76  
% 279.58/279.77  
% 279.58/279.77  
% 279.58/279.77  Changing weight limit from 21 to 22.
% 279.58/279.77  
% 279.58/279.77  Resetting weight limit to 22 after 12580 givens.
% 279.58/279.77  
% 279.72/279.95  
% 279.72/279.95  
% 279.72/279.95  Changing weight limit from 22 to 20.
% 279.72/279.95  
% 279.72/279.95  Resetting weight limit to 20 after 12600 givens.
% 279.72/279.95  
% 279.72/279.96  
% 279.72/279.96  
% 279.72/279.96  Changing weight limit from 20 to 21.
% 279.72/279.96  
% 279.72/279.96  Resetting weight limit to 21 after 12605 givens.
% 279.72/279.96  
% 279.81/279.97  
% 279.81/279.97  
% 279.81/279.97  Changing weight limit from 21 to 22.
% 279.81/279.97  
% 279.81/279.97  Resetting weight limit to 22 after 12610 givens.
% 279.81/279.97  
% 279.95/280.17  
% 279.95/280.17  
% 279.95/280.17  Changing weight limit from 22 to 20.
% 279.95/280.17  
% 279.95/280.17  Resetting weight limit to 20 after 12630 givens.
% 279.95/280.17  
% 280.02/280.19  
% 280.02/280.19  
% 280.02/280.19  Changing weight limit from 20 to 21.
% 280.02/280.19  
% 280.02/280.19  Resetting weight limit to 21 after 12635 givens.
% 280.02/280.19  
% 280.02/280.21  
% 280.02/280.21  
% 280.02/280.21  Changing weight limit from 21 to 22.
% 280.02/280.21  
% 280.02/280.21  Resetting weight limit to 22 after 12640 givens.
% 280.02/280.21  
% 280.19/280.41  
% 280.19/280.41  
% 280.19/280.41  Changing weight limit from 22 to 20.
% 280.19/280.41  
% 280.19/280.41  Resetting weight limit to 20 after 12660 givens.
% 280.19/280.41  
% 280.19/280.42  
% 280.19/280.42  
% 280.19/280.42  Changing weight limit from 20 to 21.
% 280.19/280.42  
% 280.19/280.42  Resetting weight limit to 21 after 12665 givens.
% 280.19/280.42  
% 280.27/280.43  
% 280.27/280.43  
% 280.27/280.43  Changing weight limit from 21 to 22.
% 280.27/280.43  
% 280.27/280.43  Resetting weight limit to 22 after 12670 givens.
% 280.27/280.43  
% 280.41/280.61  
% 280.41/280.61  
% 280.41/280.61  Changing weight limit from 22 to 20.
% 280.41/280.61  
% 280.41/280.61  Resetting weight limit to 20 after 12690 givens.
% 280.41/280.61  
% 280.46/280.62  
% 280.46/280.62  
% 280.46/280.62  Changing weight limit from 20 to 21.
% 280.46/280.62  
% 280.46/280.62  Resetting weight limit to 21 after 12695 givens.
% 280.46/280.62  
% 280.46/280.63  
% 280.46/280.63  
% 280.46/280.63  Changing weight limit from 21 to 22.
% 280.46/280.63  
% 280.46/280.63  Resetting weight limit to 22 after 12700 givens.
% 280.46/280.63  
% 280.87/281.06  
% 280.87/281.06  
% 280.87/281.06  Changing weight limit from 22 to 20.
% 280.87/281.06  
% 280.87/281.06  Resetting weight limit to 20 after 12750 givens.
% 280.87/281.06  
% 280.91/281.07  
% 280.91/281.07  
% 280.91/281.07  Changing weight limit from 20 to 21.
% 280.91/281.07  
% 280.91/281.07  Resetting weight limit to 21 after 12755 givens.
% 280.91/281.07  
% 280.91/281.08  
% 280.91/281.08  
% 280.91/281.08  Changing weight limit from 21 to 22.
% 280.91/281.08  
% 280.91/281.08  Resetting weight limit to 22 after 12760 givens.
% 280.91/281.08  
% 281.11/281.26  
% 281.11/281.26  
% 281.11/281.26  Changing weight limit from 22 to 20.
% 281.11/281.26  
% 281.11/281.26  Resetting weight limit to 20 after 12780 givens.
% 281.11/281.26  
% 281.11/281.27  
% 281.11/281.27  
% 281.11/281.27  Changing weight limit from 20 to 21.
% 281.11/281.27  
% 281.11/281.27  Resetting weight limit to 21 after 12785 givens.
% 281.11/281.27  
% 281.11/281.28  
% 281.11/281.28  
% 281.11/281.28  Changing weight limit from 21 to 22.
% 281.11/281.28  
% 281.11/281.28  Resetting weight limit to 22 after 12790 givens.
% 281.11/281.28  
% 281.39/281.55  
% 281.39/281.55  
% 281.39/281.55  Changing weight limit from 22 to 20.
% 281.39/281.55  
% 281.39/281.55  Resetting weight limit to 20 after 12820 givens.
% 281.39/281.55  
% 281.41/281.56  
% 281.41/281.56  
% 281.41/281.56  Changing weight limit from 20 to 21.
% 281.41/281.56  
% 281.41/281.56  Resetting weight limit to 21 after 12825 givens.
% 281.41/281.56  
% 281.41/281.57  
% 281.41/281.57  
% 281.41/281.57  Changing weight limit from 21 to 22.
% 281.41/281.57  
% 281.41/281.57  Resetting weight limit to 22 after 12830 givens.
% 281.41/281.57  
% 281.50/281.66  
% 281.50/281.66  
% 281.50/281.66  Changing weight limit from 22 to 20.
% 281.50/281.66  
% 281.50/281.66  Resetting weight limit to 20 after 12840 givens.
% 281.50/281.66  
% 281.50/281.67  
% 281.50/281.67  
% 281.50/281.67  Changing weight limit from 20 to 21.
% 281.50/281.67  
% 281.50/281.67  Resetting weight limit to 21 after 12845 givens.
% 281.50/281.67  
% 281.50/281.69  
% 281.50/281.69  
% 281.50/281.69  Changing weight limit from 21 to 22.
% 281.50/281.69  
% 281.50/281.69  Resetting weight limit to 22 after 12850 givens.
% 281.50/281.69  
% 281.59/281.78  
% 281.59/281.78  
% 281.59/281.78  Changing weight limit from 22 to 20.
% 281.59/281.78  
% 281.59/281.78  Resetting weight limit to 20 after 12860 givens.
% 281.59/281.78  
% 281.64/281.79  
% 281.64/281.79  
% 281.64/281.79  Changing weight limit from 20 to 21.
% 281.64/281.79  
% 281.64/281.79  Resetting weight limit to 21 after 12865 givens.
% 281.64/281.79  
% 281.64/281.80  
% 281.64/281.80  
% 281.64/281.80  Changing weight limit from 21 to 22.
% 281.64/281.80  
% 281.64/281.80  Resetting weight limit to 22 after 12870 givens.
% 281.64/281.80  
% 281.90/282.06  
% 281.90/282.06  
% 281.90/282.06  Changing weight limit from 22 to 20.
% 281.90/282.06  
% 281.90/282.06  Resetting weight limit to 20 after 12900 givens.
% 281.90/282.06  
% 281.90/282.08  
% 281.90/282.08  
% 281.90/282.08  Changing weight limit from 20 to 21.
% 281.90/282.08  
% 281.90/282.08  Resetting weight limit to 21 after 12905 givens.
% 281.90/282.08  
% 281.90/282.09  
% 281.90/282.09  
% 281.90/282.09  Changing weight limit from 21 to 22.
% 281.90/282.09  
% 281.90/282.09  Resetting weight limit to 22 after 12910 givens.
% 281.90/282.09  
% 282.10/282.27  
% 282.10/282.27  
% 282.10/282.27  Changing weight limit from 22 to 20.
% 282.10/282.27  
% 282.10/282.27  Resetting weight limit to 20 after 12930 givens.
% 282.10/282.27  
% 282.10/282.28  
% 282.10/282.28  
% 282.10/282.28  Changing weight limit from 20 to 21.
% 282.10/282.28  
% 282.10/282.28  Resetting weight limit to 21 after 12935 givens.
% 282.10/282.28  
% 282.10/282.30  
% 282.10/282.30  
% 282.10/282.30  Changing weight limit from 21 to 22.
% 282.10/282.30  
% 282.10/282.30  Resetting weight limit to 22 after 12940 givens.
% 282.10/282.30  
% 282.39/282.56  
% 282.39/282.56  
% 282.39/282.56  Changing weight limit from 22 to 20.
% 282.39/282.56  
% 282.39/282.56  Resetting weight limit to 20 after 12970 givens.
% 282.39/282.56  
% 282.39/282.57  
% 282.39/282.57  
% 282.39/282.57  Changing weight limit from 20 to 21.
% 282.39/282.57  
% 282.39/282.57  Resetting weight limit to 21 after 12975 givens.
% 282.39/282.57  
% 282.39/282.58  
% 282.39/282.58  
% 282.39/282.58  Changing weight limit from 21 to 22.
% 282.39/282.58  
% 282.39/282.58  Resetting weight limit to 22 after 12980 givens.
% 282.39/282.58  
% 282.52/282.68  
% 282.52/282.68  
% 282.52/282.68  Changing weight limit from 22 to 20.
% 282.52/282.68  
% 282.52/282.68  Resetting weight limit to 20 after 12990 givens.
% 282.52/282.68  
% 282.52/282.69  
% 282.52/282.69  
% 282.52/282.69  Changing weight limit from 20 to 21.
% 282.52/282.69  
% 282.52/282.69  Resetting weight limit to 21 after 12995 givens.
% 282.52/282.69  
% 282.52/282.70  
% 282.52/282.70  
% 282.52/282.70  Changing weight limit from 21 to 22.
% 282.52/282.70  
% 282.52/282.70  Resetting weight limit to 22 after 13000 givens.
% 282.52/282.70  
% 282.65/282.80  
% 282.65/282.80  
% 282.65/282.80  Changing weight limit from 22 to 20.
% 282.65/282.80  
% 282.65/282.80  Resetting weight limit to 20 after 13010 givens.
% 282.65/282.80  
% 282.65/282.81  
% 282.65/282.81  
% 282.65/282.81  Changing weight limit from 20 to 21.
% 282.65/282.81  
% 282.65/282.81  Resetting weight limit to 21 after 13015 givens.
% 282.65/282.81  
% 282.65/282.82  
% 282.65/282.82  
% 282.65/282.82  Changing weight limit from 21 to 22.
% 282.65/282.82  
% 282.65/282.82  Resetting weight limit to 22 after 13020 givens.
% 282.65/282.82  
% 282.85/283.04  
% 282.85/283.04  
% 282.85/283.04  Changing weight limit from 22 to 20.
% 282.85/283.04  
% 282.85/283.04  Resetting weight limit to 20 after 13045 givens.
% 282.85/283.04  
% 282.85/283.05  
% 282.85/283.05  
% 282.85/283.05  Changing weight limit from 20 to 21.
% 282.85/283.05  
% 282.85/283.05  Resetting weight limit to 21 after 13050 givens.
% 282.85/283.05  
% 282.85/283.06  
% 282.85/283.06  
% 282.85/283.06  Changing weight limit from 21 to 22.
% 282.85/283.06  
% 282.85/283.06  Resetting weight limit to 22 after 13055 givens.
% 282.85/283.06  
% 283.08/283.25  
% 283.08/283.25  
% 283.08/283.25  Changing weight limit from 22 to 20.
% 283.08/283.25  
% 283.08/283.25  Resetting weight limit to 20 after 13075 givens.
% 283.08/283.25  
% 283.08/283.26  
% 283.08/283.26  
% 283.08/283.26  Changing weight limit from 20 to 21.
% 283.08/283.26  
% 283.08/283.26  Resetting weight limit to 21 after 13080 givens.
% 283.08/283.26  
% 283.08/283.27  
% 283.08/283.27  
% 283.08/283.27  Changing weight limit from 21 to 22.
% 283.08/283.27  
% 283.08/283.27  Resetting weight limit to 22 after 13085 givens.
% 283.08/283.27  
% 283.48/283.70  
% 283.48/283.70  
% 283.48/283.70  Changing weight limit from 22 to 20.
% 283.48/283.70  
% 283.48/283.70  Resetting weight limit to 20 after 13135 givens.
% 283.48/283.70  
% 283.56/283.71  
% 283.56/283.71  
% 283.56/283.71  Changing weight limit from 20 to 21.
% 283.56/283.71  
% 283.56/283.71  Resetting weight limit to 21 after 13140 givens.
% 283.56/283.71  
% 283.56/283.72  
% 283.56/283.72  
% 283.56/283.72  Changing weight limit from 21 to 22.
% 283.56/283.72  
% 283.56/283.72  Resetting weight limit to 22 after 13145 givens.
% 283.56/283.72  
% 284.00/284.16  
% 284.00/284.16  
% 284.00/284.16  Changing weight limit from 22 to 20.
% 284.00/284.16  
% 284.00/284.16  Resetting weight limit to 20 after 13195 givens.
% 284.00/284.16  
% 284.02/284.17  
% 284.02/284.17  
% 284.02/284.17  Changing weight limit from 20 to 21.
% 284.02/284.17  
% 284.02/284.17  Resetting weight limit to 21 after 13200 givens.
% 284.02/284.17  
% 284.02/284.18  
% 284.02/284.18  
% 284.02/284.18  Changing weight limit from 21 to 22.
% 284.02/284.18  
% 284.02/284.18  Resetting weight limit to 22 after 13205 givens.
% 284.02/284.18  
% 284.18/284.37  
% 284.18/284.37  
% 284.18/284.37  Changing weight limit from 22 to 20.
% 284.18/284.37  
% 284.18/284.37  Resetting weight limit to 20 after 13225 givens.
% 284.18/284.37  
% 284.23/284.38  
% 284.23/284.38  
% 284.23/284.38  Changing weight limit from 20 to 21.
% 284.23/284.38  
% 284.23/284.38  Resetting weight limit to 21 after 13230 givens.
% 284.23/284.38  
% 284.23/284.39  
% 284.23/284.39  
% 284.23/284.39  Changing weight limit from 21 to 22.
% 284.23/284.39  
% 284.23/284.39  Resetting weight limit to 22 after 13235 givens.
% 284.23/284.39  
% 284.59/284.76  
% 284.59/284.76  
% 284.59/284.76  Changing weight limit from 22 to 20.
% 284.59/284.76  
% 284.59/284.76  Resetting weight limit to 20 after 13275 givens.
% 284.59/284.76  
% 284.62/284.77  
% 284.62/284.77  
% 284.62/284.77  Changing weight limit from 20 to 21.
% 284.62/284.77  
% 284.62/284.77  Resetting weight limit to 21 after 13280 givens.
% 284.62/284.77  
% 284.62/284.78  
% 284.62/284.78  
% 284.62/284.78  Changing weight limit from 21 to 22.
% 284.62/284.78  
% 284.62/284.78  Resetting weight limit to 22 after 13285 givens.
% 284.62/284.78  
% 284.71/284.88  
% 284.71/284.88  
% 284.71/284.88  Changing weight limit from 22 to 20.
% 284.71/284.88  
% 284.71/284.88  Resetting weight limit to 20 after 13295 givens.
% 284.71/284.88  
% 284.71/284.89  
% 284.71/284.89  
% 284.71/284.89  Changing weight limit from 20 to 21.
% 284.71/284.89  
% 284.71/284.89  Resetting weight limit to 21 after 13300 givens.
% 284.71/284.89  
% 284.71/284.90  
% 284.71/284.90  
% 284.71/284.90  Changing weight limit from 21 to 22.
% 284.71/284.90  
% 284.71/284.90  Resetting weight limit to 22 after 13305 givens.
% 284.71/284.90  
% 285.19/285.38  
% 285.19/285.38  
% 285.19/285.38  Changing weight limit from 22 to 20.
% 285.19/285.38  
% 285.19/285.38  Resetting weight limit to 20 after 13355 givens.
% 285.19/285.38  
% 285.19/285.39  
% 285.19/285.39  
% 285.19/285.39  Changing weight limit from 20 to 21.
% 285.19/285.39  
% 285.19/285.39  Resetting weight limit to 21 after 13360 givens.
% 285.19/285.39  
% 285.24/285.40  
% 285.24/285.40  
% 285.24/285.40  Changing weight limit from 21 to 22.
% 285.24/285.40  
% 285.24/285.40  Resetting weight limit to 22 after 13365 givens.
% 285.24/285.40  
% 285.40/285.59  
% 285.40/285.59  
% 285.40/285.59  Changing weight limit from 22 to 20.
% 285.40/285.59  
% 285.40/285.59  Resetting weight limit to 20 after 13375 givens.
% 285.40/285.59  
% 285.40/285.61  
% 285.40/285.61  
% 285.40/285.61  Changing weight limit from 20 to 21.
% 285.40/285.61  
% 285.40/285.61  Resetting weight limit to 21 after 13380 givens.
% 285.40/285.61  
% 285.40/285.64  
% 285.40/285.64  
% 285.40/285.64  Changing weight limit from 21 to 22.
% 285.40/285.64  
% 285.40/285.64  Resetting weight limit to 22 after 13385 givens.
% 285.40/285.64  
% 285.69/285.85  
% 285.69/285.85  
% 285.69/285.85  Changing weight limit from 22 to 20.
% 285.69/285.85  
% 285.69/285.85  Resetting weight limit to 20 after 13405 givens.
% 285.69/285.85  
% 285.69/285.86  
% 285.69/285.86  
% 285.69/285.86  Changing weight limit from 20 to 21.
% 285.69/285.86  
% 285.69/285.86  Resetting weight limit to 21 after 13410 givens.
% 285.69/285.86  
% 285.69/285.87  
% 285.69/285.87  
% 285.69/285.87  Changing weight limit from 21 to 22.
% 285.69/285.87  
% 285.69/285.87  Resetting weight limit to 22 after 13415 givens.
% 285.69/285.87  
% 285.99/286.15  
% 285.99/286.15  
% 285.99/286.15  Changing weight limit from 22 to 20.
% 285.99/286.15  
% 285.99/286.15  Resetting weight limit to 20 after 13445 givens.
% 285.99/286.15  
% 285.99/286.16  
% 285.99/286.16  
% 285.99/286.16  Changing weight limit from 20 to 21.
% 285.99/286.16  
% 285.99/286.16  Resetting weight limit to 21 after 13450 givens.
% 285.99/286.16  
% 285.99/286.17  
% 285.99/286.17  
% 285.99/286.17  Changing weight limit from 21 to 22.
% 285.99/286.17  
% 285.99/286.17  Resetting weight limit to 22 after 13455 givens.
% 285.99/286.17  
% 286.18/286.37  
% 286.18/286.37  
% 286.18/286.37  Changing weight limit from 22 to 20.
% 286.18/286.37  
% 286.18/286.37  Resetting weight limit to 20 after 13475 givens.
% 286.18/286.37  
% 286.18/286.38  
% 286.18/286.38  
% 286.18/286.38  Changing weight limit from 20 to 21.
% 286.18/286.38  
% 286.18/286.38  Resetting weight limit to 21 after 13480 givens.
% 286.18/286.38  
% 286.18/286.39  
% 286.18/286.39  
% 286.18/286.39  Changing weight limit from 21 to 22.
% 286.18/286.39  
% 286.18/286.39  Resetting weight limit to 22 after 13485 givens.
% 286.18/286.39  
% 286.59/286.74  
% 286.59/286.74  
% 286.59/286.74  Changing weight limit from 22 to 20.
% 286.59/286.74  
% 286.59/286.74  Resetting weight limit to 20 after 13525 givens.
% 286.59/286.74  
% 286.59/286.75  
% 286.59/286.75  
% 286.59/286.75  Changing weight limit from 20 to 21.
% 286.59/286.75  
% 286.59/286.75  Resetting weight limit to 21 after 13530 givens.
% 286.59/286.75  
% 286.59/286.76  
% 286.59/286.76  
% 286.59/286.76  Changing weight limit from 21 to 22.
% 286.59/286.76  
% 286.59/286.76  Resetting weight limit to 22 after 13535 givens.
% 286.59/286.76  
% 286.65/286.86  
% 286.65/286.86  
% 286.65/286.86  Changing weight limit from 22 to 20.
% 286.65/286.86  
% 286.65/286.86  Resetting weight limit to 20 after 13545 givens.
% 286.65/286.86  
% 286.65/286.87  
% 286.65/286.87  
% 286.65/286.87  Changing weight limit from 20 to 21.
% 286.65/286.87  
% 286.65/286.87  Resetting weight limit to 21 after 13550 givens.
% 286.65/286.87  
% 286.72/286.88  
% 286.72/286.88  
% 286.72/286.88  Changing weight limit from 21 to 22.
% 286.72/286.88  
% 286.72/286.88  Resetting weight limit to 22 after 13555 givens.
% 286.72/286.88  
% 287.02/287.20  
% 287.02/287.20  
% 287.02/287.20  Changing weight limit from 22 to 20.
% 287.02/287.20  
% 287.02/287.20  Resetting weight limit to 20 after 13590 givens.
% 287.02/287.20  
% 287.02/287.21  
% 287.02/287.21  
% 287.02/287.21  Changing weight limit from 20 to 21.
% 287.02/287.21  
% 287.02/287.21  Resetting weight limit to 21 after 13595 givens.
% 287.02/287.21  
% 287.02/287.22  
% 287.02/287.22  
% 287.02/287.22  Changing weight limit from 21 to 22.
% 287.02/287.22  
% 287.02/287.22  Resetting weight limit to 22 after 13600 givens.
% 287.02/287.22  
% 287.26/287.41  
% 287.26/287.41  
% 287.26/287.41  Changing weight limit from 22 to 20.
% 287.26/287.41  
% 287.26/287.41  Resetting weight limit to 20 after 13620 givens.
% 287.26/287.41  
% 287.26/287.42  
% 287.26/287.42  
% 287.26/287.42  Changing weight limit from 20 to 21.
% 287.26/287.42  
% 287.26/287.42  Resetting weight limit to 21 after 13625 givens.
% 287.26/287.42  
% 287.26/287.44  
% 287.26/287.44  
% 287.26/287.44  Changing weight limit from 21 to 22.
% 287.26/287.44  
% 287.26/287.44  Resetting weight limit to 22 after 13630 givens.
% 287.26/287.44  
% 287.56/287.75  
% 287.56/287.75  
% 287.56/287.75  Changing weight limit from 22 to 20.
% 287.56/287.75  
% 287.56/287.75  Resetting weight limit to 20 after 13665 givens.
% 287.56/287.75  
% 287.56/287.77  
% 287.56/287.77  
% 287.56/287.77  Changing weight limit from 20 to 21.
% 287.56/287.77  
% 287.56/287.77  Resetting weight limit to 21 after 13670 givens.
% 287.56/287.77  
% 287.62/287.78  
% 287.62/287.78  
% 287.62/287.78  Changing weight limit from 21 to 22.
% 287.62/287.78  
% 287.62/287.78  Resetting weight limit to 22 after 13675 givens.
% 287.62/287.78  
% 287.86/288.06  
% 287.86/288.06  
% 287.86/288.06  Changing weight limit from 22 to 20.
% 287.86/288.06  
% 287.86/288.06  Resetting weight limit to 20 after 13705 givens.
% 287.86/288.06  
% 287.91/288.07  
% 287.91/288.07  
% 287.91/288.07  Changing weight limit from 20 to 21.
% 287.91/288.07  
% 287.91/288.07  Resetting weight limit to 21 after 13710 givens.
% 287.91/288.07  
% 287.91/288.08  
% 287.91/288.08  
% 287.91/288.08  Changing weight limit from 21 to 22.
% 287.91/288.08  
% 287.91/288.08  Resetting weight limit to 22 after 13715 givens.
% 287.91/288.08  
% 288.49/288.71  
% 288.49/288.71  
% 288.49/288.71  Changing weight limit from 22 to 20.
% 288.49/288.71  
% 288.49/288.71  Resetting weight limit to 20 after 13785 givens.
% 288.49/288.71  
% 288.59/288.77  
% 288.59/288.77  
% 288.59/288.77  Changing weight limit from 20 to 19.
% 288.59/288.77  
% 288.59/288.77  Resetting weight limit to 19 after 13790 givens.
% 288.59/288.77  
% 288.59/288.78  
% 288.59/288.78  
% 288.59/288.78  Changing weight limit from 19 to 20.
% 288.59/288.78  
% 288.59/288.78  Resetting weight limit to 20 after 13795 givens.
% 288.59/288.78  
% 288.70/288.87  
% 288.70/288.87  
% 288.70/288.87  Changing weight limit from 20 to 21.
% 288.70/288.87  
% 288.70/288.87  Resetting weight limit to 21 after 13800 givens.
% 288.70/288.87  
% 288.81/288.97  
% 288.81/288.97  
% 288.81/288.97  Changing weight limit from 21 to 22.
% 288.81/288.97  
% 288.81/288.97  Resetting weight limit to 22 after 13805 givens.
% 288.81/288.97  
% 288.96/289.12  
% 288.96/289.12  
% 288.96/289.12  Changing weight limit from 22 to 20.
% 288.96/289.12  
% 288.96/289.12  Resetting weight limit to 20 after 13810 givens.
% 288.96/289.12  
% 289.00/289.21  
% 289.00/289.21  
% 289.00/289.21  Changing weight limit from 20 to 21.
% 289.00/289.21  
% 289.00/289.21  Resetting weight limit to 21 after 13815 givens.
% 289.00/289.21  
% 289.13/289.30  
% 289.13/289.30  
% 289.13/289.30  Changing weight limit from 21 to 22.
% 289.13/289.30  
% 289.13/289.30  Resetting weight limit to 22 after 13820 givens.
% 289.13/289.30  
% 289.30/289.45  
% 289.30/289.45  
% 289.30/289.45  Changing weight limit from 22 to 20.
% 289.30/289.45  
% 289.30/289.45  Resetting weight limit to 20 after 13825 givens.
% 289.30/289.45  
% 289.39/289.55  
% 289.39/289.55  
% 289.39/289.55  Changing weight limit from 20 to 21.
% 289.39/289.55  
% 289.39/289.55  Resetting weight limit to 21 after 13830 givens.
% 289.39/289.55  
% 289.44/289.64  
% 289.44/289.64  
% 289.44/289.64  Changing weight limit from 21 to 22.
% 289.44/289.64  
% 289.44/289.64  Resetting weight limit to 22 after 13835 givens.
% 289.44/289.64  
% 289.73/289.89  
% 289.73/289.89  
% 289.73/289.89  Changing weight limit from 22 to 19.
% 289.73/289.89  
% 289.73/289.89  Resetting weight limit to 19 after 13850 givens.
% 289.73/289.89  
% 289.73/289.95  
% 289.73/289.95  
% 289.73/289.95  Changing weight limit from 19 to 20.
% 289.73/289.95  
% 289.73/289.95  Resetting weight limit to 20 after 13860 givens.
% 289.73/289.95  
% 289.88/290.04  
% 289.88/290.04  
% 289.88/290.04  Changing weight limit from 20 to 21.
% 289.88/290.04  
% 289.88/290.04  Resetting weight limit to 21 after 13865 givens.
% 289.88/290.04  
% 289.88/290.14  
% 289.88/290.14  
% 289.88/290.14  Changing weight limit from 21 to 22.
% 289.88/290.14  
% 289.88/290.14  Resetting weight limit to 22 after 13870 givens.
% 289.88/290.14  
% 290.12/290.29  
% 290.12/290.29  
% 290.12/290.29  Changing weight limit from 22 to 20.
% 290.12/290.29  
% 290.12/290.29  Resetting weight limit to 20 after 13875 givens.
% 290.12/290.29  
% 290.22/290.38  
% 290.22/290.38  
% 290.22/290.38  Changing weight limit from 20 to 21.
% 290.22/290.38  
% 290.22/290.38  Resetting weight limit to 21 after 13880 givens.
% 290.22/290.38  
% 290.27/290.47  
% 290.27/290.47  
% 290.27/290.47  Changing weight limit from 21 to 22.
% 290.27/290.47  
% 290.27/290.47  Resetting weight limit to 22 after 13885 givens.
% 290.27/290.47  
% 290.42/290.63  
% 290.42/290.63  
% 290.42/290.63  Changing weight limit from 22 to 20.
% 290.42/290.63  
% 290.42/290.63  Resetting weight limit to 20 after 13890 givens.
% 290.42/290.63  
% 290.54/290.72  
% 290.54/290.72  
% 290.54/290.72  Changing weight limit from 20 to 21.
% 290.54/290.72  
% 290.54/290.72  Resetting weight limit to 21 after 13895 givens.
% 290.54/290.72  
% 290.58/290.80  
% 290.58/290.80  
% 290.58/290.80  Changing weight limit from 21 to 22.
% 290.58/290.80  
% 290.58/290.80  Resetting weight limit to 22 after 13900 givens.
% 290.58/290.80  
% 290.72/290.90  
% 290.72/290.90  
% 290.72/290.90  Changing weight limit from 22 to 20.
% 290.72/290.90  
% 290.72/290.90  Resetting weight limit to 20 after 13910 givens.
% 290.72/290.90  
% 290.80/290.96  
% 290.80/290.96  
% 290.80/290.96  Changing weight limit from 20 to 19.
% 290.80/290.96  
% 290.80/290.96  Resetting weight limit to 19 after 13915 givens.
% 290.80/290.96  
% 290.80/290.98  
% 290.80/290.98  
% 290.80/290.98  Changing weight limit from 19 to 20.
% 290.80/290.98  
% 290.80/290.98  Resetting weight limit to 20 after 13920 givens.
% 290.80/290.98  
% 290.88/291.07  
% 290.88/291.07  
% 290.88/291.07  Changing weight limit from 20 to 21.
% 290.88/291.07  
% 290.88/291.07  Resetting weight limit to 21 after 13925 givens.
% 290.88/291.07  
% 290.96/291.16  
% 290.96/291.16  
% 290.96/291.16  Changing weight limit from 21 to 22.
% 290.96/291.16  
% 290.96/291.16  Resetting weight limit to 22 after 13930 givens.
% 290.96/291.16  
% 291.14/291.31  
% 291.14/291.31  
% 291.14/291.31  Changing weight limit from 22 to 20.
% 291.14/291.31  
% 291.14/291.31  Resetting weight limit to 20 after 13935 givens.
% 291.14/291.31  
% 291.20/291.40  
% 291.20/291.40  
% 291.20/291.40  Changing weight limit from 20 to 21.
% 291.20/291.40  
% 291.20/291.40  Resetting weight limit to 21 after 13940 givens.
% 291.20/291.40  
% 291.30/291.50  
% 291.30/291.50  
% 291.30/291.50  Changing weight limit from 21 to 22.
% 291.30/291.50  
% 291.30/291.50  Resetting weight limit to 22 after 13945 givens.
% 291.30/291.50  
% 291.48/291.65  
% 291.48/291.65  
% 291.48/291.65  Changing weight limit from 22 to 20.
% 291.48/291.65  
% 291.48/291.65  Resetting weight limit to 20 after 13950 givens.
% 291.48/291.65  
% 291.56/291.74  
% 291.56/291.74  
% 291.56/291.74  Changing weight limit from 20 to 21.
% 291.56/291.74  
% 291.56/291.74  Resetting weight limit to 21 after 13955 givens.
% 291.56/291.74  
% 291.60/291.84  
% 291.60/291.84  
% 291.60/291.84  Changing weight limit from 21 to 22.
% 291.60/291.84  
% 291.60/291.84  Resetting weight limit to 22 after 13960 givens.
% 291.60/291.84  
% 291.89/292.08  
% 291.89/292.08  
% 291.89/292.08  Changing weight limit from 22 to 19.
% 291.89/292.08  
% 291.89/292.08  Resetting weight limit to 19 after 13975 givens.
% 291.89/292.08  
% 291.99/292.14  
% 291.99/292.14  
% 291.99/292.14  Changing weight limit from 19 to 20.
% 291.99/292.14  
% 291.99/292.14  Resetting weight limit to 20 after 13985 givens.
% 291.99/292.14  
% 292.04/292.24  
% 292.04/292.24  
% 292.04/292.24  Changing weight limit from 20 to 21.
% 292.04/292.24  
% 292.04/292.24  Resetting weight limit to 21 after 13990 givens.
% 292.04/292.24  
% 292.14/292.33  
% 292.14/292.33  
% 292.14/292.33  Changing weight limit from 21 to 22.
% 292.14/292.33  
% 292.14/292.33  Resetting weight limit to 22 after 13995 givens.
% 292.14/292.33  
% 292.30/292.48  
% 292.30/292.48  
% 292.30/292.48  Changing weight limit from 22 to 20.
% 292.30/292.48  
% 292.30/292.48  Resetting weight limit to 20 after 14000 givens.
% 292.30/292.48  
% 292.39/292.57  
% 292.39/292.57  
% 292.39/292.57  Changing weight limit from 20 to 21.
% 292.39/292.57  
% 292.39/292.57  Resetting weight limit to 21 after 14005 givens.
% 292.39/292.57  
% 292.48/292.66  
% 292.48/292.66  
% 292.48/292.66  Changing weight limit from 21 to 22.
% 292.48/292.66  
% 292.48/292.66  Resetting weight limit to 22 after 14010 givens.
% 292.48/292.66  
% 292.65/292.82  
% 292.65/292.82  
% 292.65/292.82  Changing weight limit from 22 to 20.
% 292.65/292.82  
% 292.65/292.82  Resetting weight limit to 20 after 14015 givens.
% 292.65/292.82  
% 292.69/292.91  
% 292.69/292.91  
% 292.69/292.91  Changing weight limit from 20 to 21.
% 292.69/292.91  
% 292.69/292.91  Resetting weight limit to 21 after 14020 givens.
% 292.69/292.91  
% 292.78/292.99  
% 292.78/292.99  
% 292.78/292.99  Changing weight limit from 21 to 22.
% 292.78/292.99  
% 292.78/292.99  Resetting weight limit to 22 after 14025 givens.
% 292.78/292.99  
% 292.98/293.16  
% 292.98/293.16  
% 292.98/293.16  Changing weight limit from 22 to 19.
% 292.98/293.16  
% 292.98/293.16  Resetting weight limit to 19 after 14035 givens.
% 292.98/293.16  
% 292.98/293.21  
% 292.98/293.21  
% 292.98/293.21  Changing weight limit from 19 to 20.
% 292.98/293.21  
% 292.98/293.21  Resetting weight limit to 20 after 14045 givens.
% 292.98/293.21  
% 293.13/293.31  
% 293.13/293.31  
% 293.13/293.31  Changing weight limit from 20 to 21.
% 293.13/293.31  
% 293.13/293.31  Resetting weight limit to 21 after 14050 givens.
% 293.13/293.31  
% 293.22/293.40  
% 293.22/293.40  
% 293.22/293.40  Changing weight limit from 21 to 22.
% 293.22/293.40  
% 293.22/293.40  Resetting weight limit to 22 after 14055 givens.
% 293.22/293.40  
% 293.38/293.55  
% 293.38/293.55  
% 293.38/293.55  Changing weight limit from 22 to 20.
% 293.38/293.55  
% 293.38/293.55  Resetting weight limit to 20 after 14060 givens.
% 293.38/293.55  
% 293.45/293.64  
% 293.45/293.64  
% 293.45/293.64  Changing weight limit from 20 to 21.
% 293.45/293.64  
% 293.45/293.64  Resetting weight limit to 21 after 14065 givens.
% 293.45/293.64  
% 293.52/293.74  
% 293.52/293.74  
% 293.52/293.74  Changing weight limit from 21 to 22.
% 293.52/293.74  
% 293.52/293.74  Resetting weight limit to 22 after 14070 givens.
% 293.52/293.74  
% 293.67/293.89  
% 293.67/293.89  
% 293.67/293.89  Changing weight limit from 22 to 20.
% 293.67/293.89  
% 293.67/293.89  Resetting weight limit to 20 after 14075 givens.
% 293.67/293.89  
% 293.82/293.99  
% 293.82/293.99  
% 293.82/293.99  Changing weight limit from 20 to 21.
% 293.82/293.99  
% 293.82/293.99  Resetting weight limit to 21 after 14080 givens.
% 293.82/293.99  
% 293.82/294.06  
% 293.82/294.06  
% 293.82/294.06  Changing weight limit from 21 to 22.
% 293.82/294.06  
% 293.82/294.06  Resetting weight limit to 22 after 14085 givens.
% 293.82/294.06  
% 294.06/294.27  
% 294.06/294.27  
% 294.06/294.27  Changing weight limit from 22 to 19.
% 294.06/294.27  
% 294.06/294.27  Resetting weight limit to 19 after 14095 givens.
% 294.06/294.27  
% 294.12/294.28  
% 294.12/294.28  
% 294.12/294.28  Changing weight limit from 19 to 20.
% 294.12/294.28  
% 294.12/294.28  Resetting weight limit to 20 after 14100 givens.
% 294.12/294.28  
% 294.20/294.38  
% 294.20/294.38  
% 294.20/294.38  Changing weight limit from 20 to 21.
% 294.20/294.38  
% 294.20/294.38  Resetting weight limit to 21 after 14105 givens.
% 294.20/294.38  
% 294.28/294.47  
% 294.28/294.47  
% 294.28/294.47  Changing weight limit from 21 to 22.
% 294.28/294.47  
% 294.28/294.47  Resetting weight limit to 22 after 14110 givens.
% 294.28/294.47  
% 294.42/294.62  
% 294.42/294.62  
% 294.42/294.62  Changing weight limit from 22 to 20.
% 294.42/294.62  
% 294.42/294.62  Resetting weight limit to 20 after 14115 givens.
% 294.42/294.62  
% 294.54/294.71  
% 294.54/294.71  
% 294.54/294.71  Changing weight limit from 20 to 21.
% 294.54/294.71  
% 294.54/294.71  Resetting weight limit to 21 after 14120 givens.
% 294.54/294.71  
% 294.60/294.81  
% 294.60/294.81  
% 294.60/294.81  Changing weight limit from 21 to 22.
% 294.60/294.81  
% 294.60/294.81  Resetting weight limit to 22 after 14125 givens.
% 294.60/294.81  
% 294.80/294.96  
% 294.80/294.96  
% 294.80/294.96  Changing weight limit from 22 to 20.
% 294.80/294.96  
% 294.80/294.96  Resetting weight limit to 20 after 14130 givens.
% 294.80/294.96  
% 294.91/295.06  
% 294.91/295.06  
% 294.91/295.06  Changing weight limit from 20 to 21.
% 294.91/295.06  
% 294.91/295.06  Resetting weight limit to 21 after 14135 givens.
% 294.91/295.06  
% 294.97/295.15  
% 294.97/295.15  
% 294.97/295.15  Changing weight limit from 21 to 22.
% 294.97/295.15  
% 294.97/295.15  Resetting weight limit to 22 after 14140 givens.
% 294.97/295.15  
% 295.01/295.25  
% 295.01/295.25  
% 295.01/295.25  Changing weight limit from 22 to 20.
% 295.01/295.25  
% 295.01/295.25  Resetting weight limit to 20 after 14145 givens.
% 295.01/295.25  
% 295.21/295.36  
% 295.21/295.36  
% 295.21/295.36  Changing weight limit from 20 to 19.
% 295.21/295.36  
% 295.21/295.36  Resetting weight limit to 19 after 14155 givens.
% 295.21/295.36  
% 295.21/295.37  
% 295.21/295.37  
% 295.21/295.37  Changing weight limit from 19 to 20.
% 295.21/295.37  
% 295.21/295.37  Resetting weight limit to 20 after 14160 givens.
% 295.21/295.37  
% 295.30/295.46  
% 295.30/295.46  
% 295.30/295.46  Changing weight limit from 20 to 21.
% 295.30/295.46  
% 295.30/295.46  Resetting weight limit to 21 after 14165 givens.
% 295.30/295.46  
% 295.40/295.56  
% 295.40/295.56  
% 295.40/295.56  Changing weight limit from 21 to 22.
% 295.40/295.56  
% 295.40/295.56  Resetting weight limit to 22 after 14170 givens.
% 295.40/295.56  
% 295.56/295.71  
% 295.56/295.71  
% 295.56/295.71  Changing weight limit from 22 to 20.
% 295.56/295.71  
% 295.56/295.71  Resetting weight limit to 20 after 14175 givens.
% 295.56/295.71  
% 295.61/295.80  
% 295.61/295.80  
% 295.61/295.80  Changing weight limit from 20 to 21.
% 295.61/295.80  
% 295.61/295.80  Resetting weight limit to 21 after 14180 givens.
% 295.61/295.80  
% 295.71/295.89  
% 295.71/295.89  
% 295.71/295.89  Changing weight limit from 21 to 22.
% 295.71/295.89  
% 295.71/295.89  Resetting weight limit to 22 after 14185 givens.
% 295.71/295.89  
% 295.89/296.05  
% 295.89/296.05  
% 295.89/296.05  Changing weight limit from 22 to 20.
% 295.89/296.05  
% 295.89/296.05  Resetting weight limit to 20 after 14190 givens.
% 295.89/296.05  
% 295.94/296.14  
% 295.94/296.14  
% 295.94/296.14  Changing weight limit from 20 to 21.
% 295.94/296.14  
% 295.94/296.14  Resetting weight limit to 21 after 14195 givens.
% 295.94/296.14  
% 296.06/296.21  
% 296.06/296.21  
% 296.06/296.21  Changing weight limit from 21 to 22.
% 296.06/296.21  
% 296.06/296.21  Resetting weight limit to 22 after 14200 givens.
% 296.06/296.21  
% 296.25/296.42  
% 296.25/296.42  
% 296.25/296.42  Changing weight limit from 22 to 19.
% 296.25/296.42  
% 296.25/296.42  Resetting weight limit to 19 after 14210 givens.
% 296.25/296.42  
% 296.25/296.44  
% 296.25/296.44  
% 296.25/296.44  Changing weight limit from 19 to 20.
% 296.25/296.44  
% 296.25/296.44  Resetting weight limit to 20 after 14215 givens.
% 296.25/296.44  
% 296.36/296.53  
% 296.36/296.53  
% 296.36/296.53  Changing weight limit from 20 to 21.
% 296.36/296.53  
% 296.36/296.53  Resetting weight limit to 21 after 14220 givens.
% 296.36/296.53  
% 296.39/296.62  
% 296.39/296.62  
% 296.39/296.62  Changing weight limit from 21 to 22.
% 296.39/296.62  
% 296.39/296.62  Resetting weight limit to 22 after 14225 givens.
% 296.39/296.62  
% 296.63/296.77  
% 296.63/296.77  
% 296.63/296.77  Changing weight limit from 22 to 20.
% 296.63/296.77  
% 296.63/296.77  Resetting weight limit to 20 after 14230 givens.
% 296.63/296.77  
% 296.69/296.87  
% 296.69/296.87  
% 296.69/296.87  Changing weight limit from 20 to 21.
% 296.69/296.87  
% 296.69/296.87  Resetting weight limit to 21 after 14235 givens.
% 296.69/296.87  
% 296.79/296.96  
% 296.79/296.96  
% 296.79/296.96  Changing weight limit from 21 to 22.
% 296.79/296.96  
% 296.79/296.96  Resetting weight limit to 22 after 14240 givens.
% 296.79/296.96  
% 296.93/297.11  
% 296.93/297.11  
% 296.93/297.11  Changing weight limit from 22 to 20.
% 296.93/297.11  
% 296.93/297.11  Resetting weight limit to 20 after 14245 givens.
% 296.93/297.11  
% 297.05/297.21  
% 297.05/297.21  
% 297.05/297.21  Changing weight limit from 20 to 21.
% 297.05/297.21  
% 297.05/297.21  Resetting weight limit to 21 after 14250 givens.
% 297.05/297.21  
% 297.16/297.30  
% 297.16/297.30  
% 297.16/297.30  Changing weight limit from 21 to 22.
% 297.16/297.30  
% 297.16/297.30  Resetting weight limit to 22 after 14255 givens.
% 297.16/297.30  
% 297.61/297.77  
% 297.61/297.77  
% 297.61/297.77  Changing weight limit from 22 to 19.
% 297.61/297.77  
% 297.61/297.77  Resetting weight limit to 19 after 14300 givens.
% 297.61/297.77  
% 297.61/297.78  
% 297.61/297.78  
% 297.61/297.78  Changing weight limit from 19 to 20.
% 297.61/297.78  
% 297.61/297.78  Resetting weight limit to 20 after 14305 givens.
% 297.61/297.78  
% 297.68/297.84  
% 297.68/297.84  
% 297.68/297.84  Changing weight limit from 20 to 21.
% 297.68/297.84  
% 297.68/297.84  Resetting weight limit to 21 after 14310 givens.
% 297.68/297.84  
% 297.69/297.89  
% 297.69/297.89  
% 297.69/297.89  Changing weight limit from 21 to 22.
% 297.69/297.89  
% 297.69/297.89  Resetting weight limit to 22 after 14315 givens.
% 297.69/297.89  
% 297.83/298.00  
% 297.83/298.00  
% 297.83/298.00  Changing weight limit from 22 to 19.
% 297.83/298.00  
% 297.83/298.00  Resetting weight limit to 19 after 14320 givens.
% 297.83/298.00  
% 297.83/298.02  
% 297.83/298.02  
% 297.83/298.02  Changing weight limit from 19 to 20.
% 297.83/298.02  
% 297.83/298.02  Resetting weight limit to 20 after 14325 givens.
% 297.83/298.02  
% 297.91/298.07  
% 297.91/298.07  
% 297.91/298.07  Changing weight limit from 20 to 21.
% 297.91/298.07  
% 297.91/298.07  Resetting weight limit to 21 after 14330 givens.
% 297.91/298.07  
% 297.95/298.13  
% 297.95/298.13  
% 297.95/298.13  Changing weight limit from 21 to 22.
% 297.95/298.13  
% 297.95/298.13  Resetting weight limit to 22 after 14335 givens.
% 297.95/298.13  
% 298.11/298.27  
% 298.11/298.27  
% 298.11/298.27  Changing weight limit from 22 to 20.
% 298.11/298.27  
% 298.11/298.27  Resetting weight limit to 20 after 14345 givens.
% 298.11/298.27  
% 298.11/298.28  
% 298.11/298.28  
% 298.11/298.28  Changing weight limit from 20 to 21.
% 298.11/298.28  
% 298.11/298.28  Resetting weight limit to 21 after 14350 givens.
% 298.11/298.28  
% 298.11/298.29  
% 298.11/298.29  
% 298.11/298.29  Changing weight limit from 21 to 22.
% 298.11/298.29  
% 298.11/298.29  Resetting weight limit to 22 after 14355 givens.
% 298.11/298.29  
% 300.03/300.18  Wow, sos-wrapper got a signal XCPU
%------------------------------------------------------------------------------