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

View Problem - Process Solution

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

% Computer : n013.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:47 EDT 2022

% Result   : Timeout 285.80s 285.98s
% Output   : None 
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12  % Problem  : NLP213-1 : TPTP v8.1.0. Released v2.4.0.
% 0.11/0.13  % Command  : sos-script %s
% 0.12/0.34  % Computer : n013.cluster.edu
% 0.12/0.34  % Model    : x86_64 x86_64
% 0.12/0.34  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34  % Memory   : 8042.1875MB
% 0.12/0.34  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34  % CPULimit : 300
% 0.12/0.34  % WCLimit  : 600
% 0.12/0.34  % DateTime : Fri Jul  1 08:18:44 EDT 2022
% 0.12/0.34  % CPUTime  : 
% 0.12/0.36  
% 0.12/0.36  
% 0.12/0.36  WARNING, multiple arity: set/1, set/2.
% 0.12/0.36  
% 0.12/0.37  ----- Otter 3.2, August 2001 -----
% 0.12/0.37  The process was started by sandbox on n013.cluster.edu,
% 0.12/0.37  Fri Jul  1 08:18:44 2022
% 0.12/0.37  The command was "./sos".  The process ID is 18246.
% 0.12/0.37  
% 0.12/0.37  set(prolog_style_variables).
% 0.12/0.37  set(auto).
% 0.12/0.37     dependent: set(auto1).
% 0.12/0.37     dependent: set(process_input).
% 0.12/0.37     dependent: clear(print_kept).
% 0.12/0.37     dependent: clear(print_new_demod).
% 0.12/0.37     dependent: clear(print_back_demod).
% 0.12/0.37     dependent: clear(print_back_sub).
% 0.12/0.37     dependent: set(control_memory).
% 0.12/0.37     dependent: assign(max_mem, 12000).
% 0.12/0.37     dependent: assign(pick_given_ratio, 4).
% 0.12/0.37     dependent: assign(stats_level, 1).
% 0.12/0.37     dependent: assign(pick_semantic_ratio, 3).
% 0.12/0.37     dependent: assign(sos_limit, 5000).
% 0.12/0.37     dependent: assign(max_weight, 60).
% 0.12/0.37  clear(print_given).
% 0.12/0.37  
% 0.12/0.37  list(usable).
% 0.12/0.37  
% 0.12/0.37  SCAN INPUT: prop=0, horn=0, equality=1, symmetry=0, max_lits=35.
% 0.12/0.37  
% 0.12/0.37  This ia a non-Horn set with equality.  The strategy will be
% 0.12/0.37  Knuth-Bendix, ordered hyper_res, ur_res, factoring, and
% 0.12/0.37  unit deletion, with positive clauses in sos and nonpositive
% 0.12/0.37  clauses in usable.
% 0.12/0.37  
% 0.12/0.37     dependent: set(knuth_bendix).
% 0.12/0.37     dependent: set(para_from).
% 0.12/0.37     dependent: set(para_into).
% 0.12/0.37     dependent: clear(para_from_right).
% 0.12/0.37     dependent: clear(para_into_right).
% 0.12/0.37     dependent: set(para_from_vars).
% 0.12/0.37     dependent: set(eq_units_both_ways).
% 0.12/0.37     dependent: set(dynamic_demod_all).
% 0.12/0.37     dependent: set(dynamic_demod).
% 0.12/0.37     dependent: set(order_eq).
% 0.12/0.37     dependent: set(back_demod).
% 0.12/0.37     dependent: set(lrpo).
% 0.12/0.37     dependent: set(hyper_res).
% 0.12/0.37     dependent: set(unit_deletion).
% 0.12/0.37     dependent: set(factor).
% 0.12/0.37  
% 0.12/0.37  ------------> process usable:
% 0.12/0.37  99 back subsumes 98.
% 0.12/0.37  
% 0.12/0.37  ------------> process sos:
% 0.12/0.37    Following clause subsumed by 136 during input processing: 0 [copy,136,flip.1] {-} A=A.
% 0.12/0.37  136 back subsumes 101.
% 0.12/0.37  136 back subsumes 100.
% 0.12/0.37  136 back subsumes 99.
% 0.12/0.37  136 back subsumes 97.
% 0.12/0.37  
% 0.12/0.37  ======= end of input processing =======
% 0.53/0.75  
% 0.53/0.75  Model 1 (0.00 seconds, 0 Inserts)
% 0.53/0.75  
% 0.53/0.75  Stopped by limit on number of solutions
% 0.53/0.75  
% 0.53/0.75  
% 0.53/0.75  -------------- Softie stats --------------
% 0.53/0.75  
% 0.53/0.75  UPDATE_STOP: 300
% 0.53/0.75  SFINDER_TIME_LIMIT: 2
% 0.53/0.75  SHORT_CLAUSE_CUTOFF: 4
% 0.53/0.75  number of clauses in intial UL: 102
% 0.53/0.75  number of clauses initially in problem: 131
% 0.53/0.75  percentage of clauses intially in UL: 77
% 0.53/0.75  percentage of distinct symbols occuring in initial UL: 93
% 0.53/0.75  percent of all initial clauses that are short: 99
% 0.53/0.75  absolute distinct symbol count: 94
% 0.53/0.75     distinct predicate count: 75
% 0.53/0.75     distinct function count: 11
% 0.53/0.75     distinct constant count: 8
% 0.53/0.75  
% 0.53/0.75  ---------- no more Softie stats ----------
% 0.53/0.75  
% 0.53/0.75  
% 0.53/0.75  
% 0.53/0.75  Model 2 (0.00 seconds, 0 Inserts)
% 0.53/0.75  
% 0.53/0.75  Stopped by limit on number of solutions
% 0.53/0.75  
% 0.53/0.75  =========== start of search ===========
% 14.49/14.67  
% 14.49/14.67  Model 3 (0.00 seconds, 0 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on number of solutions
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 4 [ 1 8 44140 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 5 [ 1 11 71486 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 6 [ 2 14 98066 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 7 [ 2 18 117393 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 8 [ 5 11 76681 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 9 [ 2 21 122485 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 10 [ 1 15 100210 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 11 [ 1 15 87826 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 12 [ 7 14 97648 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 13 [ 6 11 76020 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 14 [ 4 23 133391 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 15 [ 6 12 71254 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 16 [ 3 18 104760 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 17 [ 8 5 28279 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 18 [ 4 23 142477 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 19 [ 5 16 96821 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 20 [ 6 15 82710 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 21 [ 12 12 77462 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 22 [ 13 2 4432 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 23 [ 14 5 20899 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 24 [ 12 11 74690 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 25 [ 5 22 138899 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 26 [ 12 14 98100 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 27 [ 15 4 19944 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 28 [ 12 6 33506 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 29 [ 15 21 137660 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 30 [ 17 12 84007 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 31 [ 17 13 96900 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 32 [ 13 12 68757 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 33 [ 17 4 19442 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 34 [ 14 13 96559 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 35 [ 21 14 92556 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 36 [ 20 3 12705 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 37 [ 14 14 99604 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 38 [ 25 11 75516 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 39 [ 28 19 129534 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 40 [ 18 26 193553 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 41 [ 19 20 136545 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 42 [ 29 11 75414 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 43 [ 13 5 27967 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 44 [ 17 9 57594 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 45 [ 24 14 69575 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 46 [ 27 22 112934 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 47 [ 20 16 112443 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 14.49/14.67  Model 48 [ 22 9 58353 ] (0.00 seconds, 250000 Inserts)
% 14.49/14.67  
% 14.49/14.67  Stopped by limit on insertions
% 14.49/14.67  
% 34.62/34.80  Model 49 [ 24 15 107434 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.80  
% 34.62/34.80  Stopped by limit on insertions
% 34.62/34.80  
% 34.62/34.80  Model 50 [ 33 8 49388 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.80  
% 34.62/34.80  Stopped by limit on insertions
% 34.62/34.80  
% 34.62/34.80  Model 51 [ 28 14 84360 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.80  
% 34.62/34.80  Stopped by limit on insertions
% 34.62/34.80  
% 34.62/34.80  Model 52 [ 38 8 45145 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.80  
% 34.62/34.80  Stopped by limit on insertions
% 34.62/34.80  
% 34.62/34.80  Model 53 [ 31 17 100482 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.80  
% 34.62/34.80  Stopped by limit on insertions
% 34.62/34.80  
% 34.62/34.80  Model 54 [ 31 10 38742 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.80  
% 34.62/34.80  Stopped by limit on insertions
% 34.62/34.80  
% 34.62/34.80  Model 55 [ 56 9 38597 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.80  
% 34.62/34.80  Stopped by limit on insertions
% 34.62/34.80  
% 34.62/34.80  Model 56 [ 42 12 72977 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.80  
% 34.62/34.80  Stopped by limit on insertions
% 34.62/34.80  
% 34.62/34.80  Model 57 [ 64 8 40539 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.80  
% 34.62/34.80  Stopped by limit on insertions
% 34.62/34.80  
% 34.62/34.80  Model 58 [ 31 17 95841 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.80  
% 34.62/34.80  Stopped by limit on insertions
% 34.62/34.80  
% 34.62/34.80  Model 59 [ 37 13 79440 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.80  
% 34.62/34.80  Stopped by limit on insertions
% 34.62/34.80  
% 34.62/34.80  Model 60 [ 40 12 71156 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.80  
% 34.62/34.80  Stopped by limit on insertions
% 34.62/34.80  
% 34.62/34.80  Model 61 [ 42 14 93307 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.80  
% 34.62/34.80  Stopped by limit on insertions
% 34.62/34.80  
% 34.62/34.80  Model 62 [ 69 10 53409 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.80  
% 34.62/34.80  Stopped by limit on insertions
% 34.62/34.80  
% 34.62/34.80  Model 63 [ 62 10 58461 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.80  
% 34.62/34.80  Stopped by limit on insertions
% 34.62/34.80  
% 34.62/34.80  Model 64 [ 75 12 63329 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.80  
% 34.62/34.80  Stopped by limit on insertions
% 34.62/34.80  
% 34.62/34.80  Model 65 [ 35 9 51638 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.80  
% 34.62/34.80  Stopped by limit on insertions
% 34.62/34.80  
% 34.62/34.80  Model 66 [ 46 21 132865 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.80  
% 34.62/34.80  Stopped by limit on insertions
% 34.62/34.80  
% 34.62/34.80  Model 67 [ 52 12 67053 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.80  
% 34.62/34.80  Stopped by limit on insertions
% 34.62/34.80  
% 34.62/34.80  Model 68 [ 57 22 135946 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.80  
% 34.62/34.80  Stopped by limit on insertions
% 34.62/34.80  
% 34.62/34.80  Model 69 [ 59 10 63309 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.80  
% 34.62/34.80  Stopped by limit on insertions
% 34.62/34.80  
% 34.62/34.80  Model 70 [ 30 7 42384 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.80  
% 34.62/34.80  Stopped by limit on insertions
% 34.62/34.80  
% 34.62/34.80  Model 71 [ 94 8 42381 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.80  
% 34.62/34.80  Stopped by limit on insertions
% 34.62/34.80  
% 34.62/34.80  Model 72 [ 55 11 62870 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.80  
% 34.62/34.80  Stopped by limit on insertions
% 34.62/34.80  
% 34.62/34.80  Model 73 [ 65 14 83627 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.80  
% 34.62/34.80  Stopped by limit on insertions
% 34.62/34.80  
% 34.62/34.80  Model 74 [ 32 15 101583 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.80  
% 34.62/34.80  Stopped by limit on insertions
% 34.62/34.80  
% 34.62/34.80  Model 75 [ 65 18 97010 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.80  
% 34.62/34.80  Stopped by limit on insertions
% 34.62/34.80  
% 34.62/34.80  Model 76 [ 69 13 80354 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.80  
% 34.62/34.80  Stopped by limit on insertions
% 34.62/34.80  
% 34.62/34.80  Model 77 [ 61 14 78216 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.80  
% 34.62/34.80  Stopped by limit on insertions
% 34.62/34.80  
% 34.62/34.80  Model 78 [ 56 12 74670 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.80  
% 34.62/34.80  Stopped by limit on insertions
% 34.62/34.80  
% 34.62/34.80  Model 79 [ 38 11 70645 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.80  
% 34.62/34.80  Stopped by limit on insertions
% 34.62/34.80  
% 34.62/34.80  Model 80 [ 85 6 35761 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.80  
% 34.62/34.80  Stopped by limit on insertions
% 34.62/34.80  
% 34.62/34.80  Model 81 [ 67 11 72867 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.80  
% 34.62/34.80  Stopped by limit on insertions
% 34.62/34.80  
% 34.62/34.80  Model 82 [ 38 14 90362 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.80  
% 34.62/34.80  Stopped by limit on insertions
% 34.62/34.80  
% 34.62/34.80  Model 83 [ 58 24 153927 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.80  
% 34.62/34.80  Stopped by limit on insertions
% 34.62/34.81  
% 34.62/34.81  Model 84 [ 57 6 25998 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.81  
% 34.62/34.81  Stopped by limit on insertions
% 34.62/34.81  
% 34.62/34.81  Model 85 [ 87 10 47438 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.81  
% 34.62/34.81  Stopped by limit on insertions
% 34.62/34.81  
% 34.62/34.81  Model 86 [ 59 14 79681 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.81  
% 34.62/34.81  Stopped by limit on insertions
% 34.62/34.81  
% 34.62/34.81  Model 87 [ 73 11 56592 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.81  
% 34.62/34.81  Stopped by limit on insertions
% 34.62/34.81  
% 34.62/34.81  Model 88 [ 79 13 74936 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.81  
% 34.62/34.81  Stopped by limit on insertions
% 34.62/34.81  
% 34.62/34.81  Model 89 [ 73 7 36904 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.81  
% 34.62/34.81  Stopped by limit on insertions
% 34.62/34.81  
% 34.62/34.81  Model 90 [ 86 8 39759 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.81  
% 34.62/34.81  Stopped by limit on insertions
% 34.62/34.81  
% 34.62/34.81  Model 91 [ 72 11 59840 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.81  
% 34.62/34.81  Stopped by limit on insertions
% 34.62/34.81  
% 34.62/34.81  Model 92 [ 78 15 87798 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.81  
% 34.62/34.81  Stopped by limit on insertions
% 34.62/34.81  
% 34.62/34.81  Model 93 [ 79 9 42401 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.81  
% 34.62/34.81  Stopped by limit on insertions
% 34.62/34.81  
% 34.62/34.81  Model 94 [ 55 13 81392 ] (0.00 seconds, 250000 Inserts)
% 34.62/34.81  
% 34.62/34.81  Stopped by limit on insertions
% 34.62/34.81  
% 63.93/64.17  Model 95 [ 77
% 63.93/64.17  
% 63.93/64.17  Changing weight limit from 60 to 39.
% 63.93/64.17   5 18428 ] (0.00 seconds, 250000 Inserts)
% 63.93/64.17  
% 63.93/64.17  Stopped by limit on insertions
% 63.93/64.17  
% 63.93/64.17  Model 96 [ 70 14 73159 ] (0.00 seconds, 250000 Inserts)
% 63.93/64.17  
% 63.93/64.17  Stopped by limit on insertions
% 63.93/64.17  
% 63.93/64.17  Model 97 [ 47 11 61527 ] (0.00 seconds, 250000 Inserts)
% 63.93/64.17  
% 63.93/64.17  Stopped by limit on insertions
% 63.93/64.17  
% 63.93/64.17  Model 98 [ 79 24 133241 ] (0.00 seconds, 250000 Inserts)
% 63.93/64.17  
% 63.93/64.17  Stopped by limit on insertions
% 63.93/64.17  
% 63.93/64.17  Model 99 [ 63 16 89849 ] (0.00 seconds, 250000 Inserts)
% 63.93/64.17  
% 63.93/64.17  Stopped by limit on insertions
% 63.93/64.17  
% 63.93/64.17  Model 100 [ 112 8 41963 ] (0.00 seconds, 250000 Inserts)
% 63.93/64.17  
% 63.93/64.17  Stopped by limit on insertions
% 63.93/64.17  
% 63.93/64.17  Model 101 [ 69 9 51958 ] (0.00 seconds, 250000 Inserts)
% 63.93/64.17  
% 63.93/64.17  Stopped by limit on insertions
% 63.93/64.17  
% 63.93/64.17  Model 102 [ 51 14 82446 ] (0.00 seconds, 250000 Inserts)
% 63.93/64.17  
% 63.93/64.17  Stopped by limit on insertions
% 63.93/64.17  
% 63.93/64.17  Model 103 [ 89 10 53451 ] (0.00 seconds, 250000 Inserts)
% 63.93/64.17  
% 63.93/64.17  Stopped by limit on insertions
% 63.93/64.17  
% 63.93/64.17  Model 104 [ 50 14 79989 ] (0.00 seconds, 250000 Inserts)
% 63.93/64.17  
% 63.93/64.17  Stopped by limit on insertions
% 63.93/64.17  
% 63.93/64.17  Model 105 [ 83 22 126327 ] (0.00 seconds, 250000 Inserts)
% 63.93/64.17  
% 63.93/64.17  Stopped by limit on insertions
% 63.93/64.17  
% 63.93/64.17  Model 106 [ 64 7 33759 ] (0.00 seconds, 250000 Inserts)
% 63.93/64.17  
% 63.93/64.17  Stopped by limit on insertions
% 63.93/64.17  
% 63.93/64.17  Model 107 [ 68 7 32026 ] (0.00 seconds, 250000 Inserts)
% 63.93/64.17  
% 63.93/64.17  Stopped by limit on insertions
% 63.93/64.17  
% 63.93/64.17  Model 108 [ 84 18 97127 ] (0.00 seconds, 250000 Inserts)
% 63.93/64.17  
% 63.93/64.17  Stopped by limit on insertions
% 63.93/64.17  
% 63.93/64.17  Model 109 [ 55 18 99101 ] (0.00 seconds, 250000 Inserts)
% 63.93/64.17  
% 63.93/64.17  Stopped by limit on insertions
% 63.93/64.17  
% 63.93/64.17  Model 110 [ 100 20 121559 ] (0.00 seconds, 250000 Inserts)
% 63.93/64.17  
% 63.93/64.17  Stopped by limit on insertions
% 63.93/64.17  
% 63.93/64.17  Model 111 [ 97 12 57034 ] (0.00 seconds, 250000 Inserts)
% 63.93/64.17  
% 63.93/64.17  Stopped by limit on insertions
% 63.93/64.17  
% 63.93/64.17  Model 112 [ 64 14 73494 ] (0.00 seconds, 250000 Inserts)
% 63.93/64.17  
% 63.93/64.17  Stopped by limit on insertions
% 63.93/64.17  
% 63.93/64.17  Model 113 [ 87 12 66369 ] (0.00 seconds, 250000 Inserts)
% 63.93/64.17  
% 63.93/64.17  Stopped by limit on insertions
% 63.93/64.17  
% 63.93/64.17  Model 114 [ 131 10 54924 ] (0.00 seconds, 250000 Inserts)
% 63.93/64.17  
% 63.93/64.17  Stopped by limit on insertions
% 63.93/64.17  
% 63.93/64.17  Model 115 [ 100 13 63792 ] (0.00 seconds, 250000 Inserts)
% 63.93/64.17  
% 63.93/64.17  Stopped by limit on insertions
% 63.93/64.17  
% 63.93/64.17  Model 116 [ 117 17 94251 ] (0.00 seconds, 250000 Inserts)
% 63.93/64.17  
% 63.93/64.17  Stopped by limit on insertions
% 63.93/64.17  
% 63.93/64.17  Model 117 [ 119 11 62816 ] (0.00 seconds, 250000 Inserts)
% 63.93/64.17  
% 63.93/64.17  Stopped by limit on insertions
% 63.93/64.17  
% 63.93/64.17  Model 118 [ 86 16 88134 ] (0.00 seconds, 250000 Inserts)
% 63.93/64.17  
% 63.93/64.17  Stopped by limit on insertions
% 63.93/64.17  
% 63.93/64.17  Model 119 [ 126 8 37419 ] (0.00 seconds, 250000 Inserts)
% 63.93/64.17  
% 63.93/64.17  Stopped by limit on insertions
% 63.93/64.17  
% 63.93/64.17  Model 120 [ 112 14 67729 ] (0.00 seconds, 250000 Inserts)
% 63.93/64.17  
% 63.93/64.17  Stopped by limit on insertions
% 63.93/64.17  
% 63.93/64.17  Model 121 [ 73 13 73068 ] (0.00 seconds, 250000 Inserts)
% 63.93/64.17  
% 63.93/64.17  Stopped by limit on insertions
% 63.93/64.17  
% 63.93/64.17  Model 122 [ 103 11 52070 ] (0.00 seconds, 250000 Inserts)
% 63.93/64.17  
% 63.93/64.17  Stopped by limit on insertions
% 63.93/64.17  
% 63.93/64.17  Model 123 [ 118 16 75071 ] (0.00 seconds, 250000 Inserts)
% 63.93/64.17  
% 63.93/64.17  Stopped by limit on insertions
% 63.93/64.17  
% 63.93/64.17  Model 124 [ 121 13 48815 ] (0.00 seconds, 250000 Inserts)
% 63.93/64.17  
% 63.93/64.17  Resetting weight limit to 39 after 160 givens.
% 63.93/64.17  
% 65.18/65.39  
% 65.18/65.39  
% 65.18/65.39  Changing weight limit from 39 to 35.
% 65.18/65.39  
% 65.18/65.39  Stopped by limit on insertions
% 65.18/65.39  
% 65.18/65.39  Model 125 [ 47 9 43297 ] (0.00 seconds, 250000 Inserts)
% 65.18/65.39  
% 65.18/65.39  Resetting weight limit to 35 after 165 givens.
% 65.18/65.39  
% 76.60/76.83  
% 76.60/76.83  
% 76.60/76.83  Changing weight limit from 35 to 36.
% 76.60/76.83  
% 76.60/76.83  Stopped by limit on insertions
% 76.60/76.83  
% 76.60/76.83  Model 126 [ 112 22 110354 ] (0.00 seconds, 250000 Inserts)
% 76.60/76.83  
% 76.60/76.83  Stopped by limit on insertions
% 76.60/76.83  
% 76.60/76.83  Model 127 [ 71 18 99512 ] (0.00 seconds, 250000 Inserts)
% 76.60/76.83  
% 76.60/76.83  Stopped by limit on insertions
% 76.60/76.83  
% 76.60/76.83  Model 128 [ 102 14 61794 ] (0.00 seconds, 250000 Inserts)
% 76.60/76.83  
% 76.60/76.83  Stopped by limit on insertions
% 76.60/76.83  
% 76.60/76.83  Model 129 [ 125 13 57358 ] (0.00 seconds, 250000 Inserts)
% 76.60/76.83  
% 76.60/76.83  Stopped by limit on insertions
% 76.60/76.83  
% 76.60/76.83  Model 130 [ 181 25 126394 ] (0.00 seconds, 250000 Inserts)
% 76.60/76.83  
% 76.60/76.83  Stopped by limit on insertions
% 76.60/76.83  
% 76.60/76.83  Model 131 [ 123 22 118812 ] (0.00 seconds, 250000 Inserts)
% 76.60/76.83  
% 76.60/76.83  Resetting weight limit to 36 after 230 givens.
% 76.60/76.83  
% 79.14/79.34  
% 79.14/79.34  
% 79.14/79.34  Changing weight limit from 36 to 37.
% 79.14/79.34  
% 79.14/79.34  Stopped by limit on insertions
% 79.14/79.34  
% 79.14/79.34  Model 132 [ 163 19 89134 ] (0.00 seconds, 250000 Inserts)
% 79.14/79.34  
% 79.14/79.34  Stopped by limit on insertions
% 79.14/79.34  
% 79.14/79.34  Model 133 [ 84 17 74181 ] (0.00 seconds, 250000 Inserts)
% 79.14/79.34  
% 79.14/79.34  Resetting weight limit to 37 after 235 givens.
% 79.14/79.34  
% 82.77/83.02  
% 82.77/83.02  
% 82.77/83.02  Changing weight limit from 37 to 36.
% 82.77/83.02  
% 82.77/83.02  Stopped by limit on insertions
% 82.77/83.02  
% 82.77/83.02  Model 134 [ 104 17 71012 ] (0.00 seconds, 250000 Inserts)
% 82.77/83.02  
% 82.77/83.02  Stopped by limit on insertions
% 82.77/83.02  
% 82.77/83.02  Model 135 [ 102 16 74939 ] (0.00 seconds, 250000 Inserts)
% 82.77/83.02  
% 82.77/83.02  Stopped by limit on insertions
% 82.77/83.02  
% 82.77/83.02  Model 136 [ 92 15 56697 ] (0.00 seconds, 250000 Inserts)
% 82.77/83.02  
% 82.77/83.02  Resetting weight limit to 36 after 240 givens.
% 82.77/83.02  
% 90.15/90.38  
% 90.15/90.38  
% 90.15/90.38  Changing weight limit from 36 to 33.
% 90.15/90.38  
% 90.15/90.38  Resetting weight limit to 33 after 345 givens.
% 90.15/90.38  
% 95.48/95.70  
% 95.48/95.70  
% 95.48/95.70  Changing weight limit from 33 to 34.
% 95.48/95.70  
% 95.48/95.70  Stopped by limit on insertions
% 95.48/95.70  
% 95.48/95.70  Model 137 [ 198 18 72279 ] (0.00 seconds, 250000 Inserts)
% 95.48/95.70  
% 95.48/95.70  Stopped by limit on insertions
% 95.48/95.70  
% 95.48/95.70  Model 138 [ 74 23 115889 ] (0.00 seconds, 250000 Inserts)
% 95.48/95.70  
% 95.48/95.70  Stopped by limit on insertions
% 95.48/95.70  
% 95.48/95.70  Model 139 [ 194 19 75126 ] (0.00 seconds, 250000 Inserts)
% 95.48/95.70  
% 95.48/95.70  Stopped by limit on insertions
% 95.48/95.70  
% 95.48/95.70  Model 140 [ 251 11 33849 ] (0.00 seconds, 250000 Inserts)
% 95.48/95.70  
% 95.48/95.70  Resetting weight limit to 34 after 355 givens.
% 95.48/95.70  
% 96.56/96.76  
% 96.56/96.76  
% 96.56/96.76  Changing weight limit from 34 to 33.
% 96.56/96.76  
% 96.56/96.76  Stopped by limit on insertions
% 96.56/96.76  
% 96.56/96.76  Model 141 [ 90 12 39090 ] (0.00 seconds, 250000 Inserts)
% 96.56/96.76  
% 96.56/96.76  Resetting weight limit to 33 after 360 givens.
% 96.56/96.76  
% 99.53/99.72  
% 99.53/99.72  
% 99.53/99.72  Changing weight limit from 33 to 34.
% 99.53/99.72  
% 99.53/99.72  Stopped by limit on insertions
% 99.53/99.72  
% 99.53/99.72  Model 142 [ 150 10 26633 ] (0.00 seconds, 250000 Inserts)
% 99.53/99.72  
% 99.53/99.72  Resetting weight limit to 34 after 400 givens.
% 99.53/99.72  
% 99.58/99.83  
% 99.58/99.83  
% 99.58/99.83  Changing weight limit from 34 to 33.
% 99.58/99.83  
% 99.58/99.83  Modelling stopped after 300 given clauses and 0.00 seconds
% 99.58/99.83  
% 99.58/99.83  
% 99.58/99.83  Resetting weight limit to 33 after 405 givens.
% 99.58/99.83  
% 110.10/110.33  
% 110.10/110.33  
% 110.10/110.33  Changing weight limit from 33 to 32.
% 110.10/110.33  
% 110.10/110.33  Resetting weight limit to 32 after 655 givens.
% 110.10/110.33  
% 112.68/112.91  
% 112.68/112.91  
% 112.68/112.91  Changing weight limit from 32 to 31.
% 112.68/112.91  
% 112.68/112.91  Resetting weight limit to 31 after 685 givens.
% 112.68/112.91  
% 126.57/126.83  
% 126.57/126.83  
% 126.57/126.83  Changing weight limit from 31 to 30.
% 126.57/126.83  
% 126.57/126.83  Resetting weight limit to 30 after 880 givens.
% 126.57/126.83  
% 129.76/130.01  
% 129.76/130.01  
% 129.76/130.01  Changing weight limit from 30 to 29.
% 129.76/130.01  
% 129.76/130.01  Resetting weight limit to 29 after 945 givens.
% 129.76/130.01  
% 143.86/144.07  
% 143.86/144.07  
% 143.86/144.07  Changing weight limit from 29 to 28.
% 143.86/144.07  
% 143.86/144.07  Resetting weight limit to 28 after 1135 givens.
% 143.86/144.07  
% 181.24/181.54  
% 181.24/181.54  
% 181.24/181.54  Changing weight limit from 28 to 27.
% 181.24/181.54  
% 181.24/181.54  Resetting weight limit to 27 after 1540 givens.
% 181.24/181.54  
% 188.27/188.49  
% 188.27/188.49  
% 188.27/188.49  Changing weight limit from 27 to 26.
% 188.27/188.49  
% 188.27/188.49  Resetting weight limit to 26 after 1615 givens.
% 188.27/188.49  
% 200.46/200.67  
% 200.46/200.67  
% 200.46/200.67  Changing weight limit from 26 to 25.
% 200.46/200.67  
% 200.46/200.67  Resetting weight limit to 25 after 1895 givens.
% 200.46/200.67  
% 200.88/201.10  
% 200.88/201.10  
% 200.88/201.10  Changing weight limit from 25 to 24.
% 200.88/201.10  
% 200.88/201.10  Resetting weight limit to 24 after 1905 givens.
% 200.88/201.10  
% 200.93/201.18  
% 200.93/201.18  
% 200.93/201.18  Changing weight limit from 24 to 23.
% 200.93/201.18  
% 200.93/201.18  Resetting weight limit to 23 after 1910 givens.
% 200.93/201.18  
% 201.55/201.78  
% 201.55/201.78  
% 201.55/201.78  Changing weight limit from 23 to 21.
% 201.55/201.78  
% 201.55/201.78  Resetting weight limit to 21 after 1965 givens.
% 201.55/201.78  
% 201.85/202.09  
% 201.85/202.09  
% 201.85/202.09  Changing weight limit from 21 to 20.
% 201.85/202.09  
% 201.85/202.09  Resetting weight limit to 20 after 1995 givens.
% 201.85/202.09  
% 228.53/228.81  
% 228.53/228.81  
% 228.53/228.81  Changing weight limit from 20 to 17.
% 228.53/228.81  
% 228.53/228.81  Resetting weight limit to 17 after 6600 givens.
% 228.53/228.81  
% 235.85/236.12  
% 235.85/236.12  
% 235.85/236.12  Changing weight limit from 17 to 18.
% 235.85/236.12  
% 235.85/236.12  Resetting weight limit to 18 after 7795 givens.
% 235.85/236.12  
% 238.16/238.44  
% 238.16/238.44  
% 238.16/238.44  Changing weight limit from 18 to 19.
% 238.16/238.44  
% 238.16/238.44  Resetting weight limit to 19 after 8165 givens.
% 238.16/238.44  
% 238.25/238.46  
% 238.25/238.46  
% 238.25/238.46  Changing weight limit from 19 to 18.
% 238.25/238.46  
% 238.25/238.46  Resetting weight limit to 18 after 8170 givens.
% 238.25/238.46  
% 238.28/238.50  
% 238.28/238.50  
% 238.28/238.50  Changing weight limit from 18 to 19.
% 238.28/238.50  
% 238.28/238.50  Resetting weight limit to 19 after 8185 givens.
% 238.28/238.50  
% 238.28/238.52  
% 238.28/238.52  
% 238.28/238.52  Changing weight limit from 19 to 18.
% 238.28/238.52  
% 238.28/238.52  Resetting weight limit to 18 after 8190 givens.
% 238.28/238.52  
% 238.33/238.56  
% 238.33/238.56  
% 238.33/238.56  Changing weight limit from 18 to 19.
% 238.33/238.56  
% 238.33/238.56  Resetting weight limit to 19 after 8205 givens.
% 238.33/238.56  
% 238.33/238.58  
% 238.33/238.58  
% 238.33/238.58  Changing weight limit from 19 to 18.
% 238.33/238.58  
% 238.33/238.58  Resetting weight limit to 18 after 8210 givens.
% 238.33/238.58  
% 238.40/238.62  
% 238.40/238.62  
% 238.40/238.62  Changing weight limit from 18 to 19.
% 238.40/238.62  
% 238.40/238.62  Resetting weight limit to 19 after 8225 givens.
% 238.40/238.62  
% 238.40/238.64  
% 238.40/238.64  
% 238.40/238.64  Changing weight limit from 19 to 18.
% 238.40/238.64  
% 238.40/238.64  Resetting weight limit to 18 after 8230 givens.
% 238.40/238.64  
% 238.46/238.68  
% 238.46/238.68  
% 238.46/238.68  Changing weight limit from 18 to 19.
% 238.46/238.68  
% 238.46/238.68  Resetting weight limit to 19 after 8245 givens.
% 238.46/238.68  
% 238.46/238.70  
% 238.46/238.70  
% 238.46/238.70  Changing weight limit from 19 to 18.
% 238.46/238.70  
% 238.46/238.70  Resetting weight limit to 18 after 8250 givens.
% 238.46/238.70  
% 238.46/238.74  
% 238.46/238.74  
% 238.46/238.74  Changing weight limit from 18 to 19.
% 238.46/238.74  
% 238.46/238.74  Resetting weight limit to 19 after 8265 givens.
% 238.46/238.74  
% 238.55/238.77  
% 238.55/238.77  
% 238.55/238.77  Changing weight limit from 19 to 18.
% 238.55/238.77  
% 238.55/238.77  Resetting weight limit to 18 after 8270 givens.
% 238.55/238.77  
% 239.15/239.37  
% 239.15/239.37  
% 239.15/239.37  Changing weight limit from 18 to 19.
% 239.15/239.37  
% 239.15/239.37  Resetting weight limit to 19 after 8410 givens.
% 239.15/239.37  
% 239.15/239.40  
% 239.15/239.40  
% 239.15/239.40  Changing weight limit from 19 to 18.
% 239.15/239.40  
% 239.15/239.40  Resetting weight limit to 18 after 8415 givens.
% 239.15/239.40  
% 239.20/239.41  
% 239.20/239.41  
% 239.20/239.41  Changing weight limit from 18 to 19.
% 239.20/239.41  
% 239.20/239.41  Resetting weight limit to 19 after 8420 givens.
% 239.20/239.41  
% 239.97/240.22  
% 239.97/240.22  
% 239.97/240.22  Changing weight limit from 19 to 18.
% 239.97/240.22  
% 239.97/240.22  Resetting weight limit to 18 after 8510 givens.
% 239.97/240.22  
% 240.05/240.29  
% 240.05/240.29  
% 240.05/240.29  Changing weight limit from 18 to 19.
% 240.05/240.29  
% 240.05/240.29  Resetting weight limit to 19 after 8530 givens.
% 240.05/240.29  
% 240.11/240.33  
% 240.11/240.33  
% 240.11/240.33  Changing weight limit from 19 to 18.
% 240.11/240.33  
% 240.11/240.33  Resetting weight limit to 18 after 8535 givens.
% 240.11/240.33  
% 240.11/240.35  
% 240.11/240.35  
% 240.11/240.35  Changing weight limit from 18 to 19.
% 240.11/240.35  
% 240.11/240.35  Resetting weight limit to 19 after 8540 givens.
% 240.11/240.35  
% 240.15/240.39  
% 240.15/240.39  
% 240.15/240.39  Changing weight limit from 19 to 18.
% 240.15/240.39  
% 240.15/240.39  Resetting weight limit to 18 after 8545 givens.
% 240.15/240.39  
% 240.15/240.40  
% 240.15/240.40  
% 240.15/240.40  Changing weight limit from 18 to 19.
% 240.15/240.40  
% 240.15/240.40  Resetting weight limit to 19 after 8550 givens.
% 240.15/240.40  
% 240.23/240.44  
% 240.23/240.44  
% 240.23/240.44  Changing weight limit from 19 to 18.
% 240.23/240.44  
% 240.23/240.44  Resetting weight limit to 18 after 8555 givens.
% 240.23/240.44  
% 240.23/240.46  
% 240.23/240.46  
% 240.23/240.46  Changing weight limit from 18 to 19.
% 240.23/240.46  
% 240.23/240.46  Resetting weight limit to 19 after 8560 givens.
% 240.23/240.46  
% 240.28/240.50  
% 240.28/240.50  
% 240.28/240.50  Changing weight limit from 19 to 18.
% 240.28/240.50  
% 240.28/240.50  Resetting weight limit to 18 after 8565 givens.
% 240.28/240.50  
% 240.28/240.51  
% 240.28/240.51  
% 240.28/240.51  Changing weight limit from 18 to 19.
% 240.28/240.51  
% 240.28/240.51  Resetting weight limit to 19 after 8570 givens.
% 240.28/240.51  
% 240.74/241.03  
% 240.74/241.03  
% 240.74/241.03  Changing weight limit from 19 to 18.
% 240.74/241.03  
% 240.74/241.03  Resetting weight limit to 18 after 8630 givens.
% 240.74/241.03  
% 240.83/241.04  
% 240.83/241.04  
% 240.83/241.04  Changing weight limit from 18 to 19.
% 240.83/241.04  
% 240.83/241.04  Resetting weight limit to 19 after 8635 givens.
% 240.83/241.04  
% 241.00/241.21  
% 241.00/241.21  
% 241.00/241.21  Changing weight limit from 19 to 18.
% 241.00/241.21  
% 241.00/241.21  Resetting weight limit to 18 after 8650 givens.
% 241.00/241.21  
% 241.11/241.37  
% 241.11/241.37  
% 241.11/241.37  Changing weight limit from 18 to 19.
% 241.11/241.37  
% 241.11/241.37  Resetting weight limit to 19 after 8695 givens.
% 241.11/241.37  
% 241.18/241.41  
% 241.18/241.41  
% 241.18/241.41  Changing weight limit from 19 to 18.
% 241.18/241.41  
% 241.18/241.41  Resetting weight limit to 18 after 8700 givens.
% 241.18/241.41  
% 241.18/241.42  
% 241.18/241.42  
% 241.18/241.42  Changing weight limit from 18 to 19.
% 241.18/241.42  
% 241.18/241.42  Resetting weight limit to 19 after 8705 givens.
% 241.18/241.42  
% 241.18/241.46  
% 241.18/241.46  
% 241.18/241.46  Changing weight limit from 19 to 18.
% 241.18/241.46  
% 241.18/241.46  Resetting weight limit to 18 after 8710 givens.
% 241.18/241.46  
% 241.26/241.48  
% 241.26/241.48  
% 241.26/241.48  Changing weight limit from 18 to 19.
% 241.26/241.48  
% 241.26/241.48  Resetting weight limit to 19 after 8715 givens.
% 241.26/241.48  
% 241.30/241.52  
% 241.30/241.52  
% 241.30/241.52  Changing weight limit from 19 to 18.
% 241.30/241.52  
% 241.30/241.52  Resetting weight limit to 18 after 8720 givens.
% 241.30/241.52  
% 241.30/241.53  
% 241.30/241.53  
% 241.30/241.53  Changing weight limit from 18 to 19.
% 241.30/241.53  
% 241.30/241.53  Resetting weight limit to 19 after 8725 givens.
% 241.30/241.53  
% 241.68/241.92  
% 241.68/241.92  
% 241.68/241.92  Changing weight limit from 19 to 18.
% 241.68/241.92  
% 241.68/241.92  Resetting weight limit to 18 after 8770 givens.
% 241.68/241.92  
% 241.73/241.94  
% 241.73/241.94  
% 241.73/241.94  Changing weight limit from 18 to 19.
% 241.73/241.94  
% 241.73/241.94  Resetting weight limit to 19 after 8775 givens.
% 241.73/241.94  
% 245.84/246.08  
% 245.84/246.08  
% 245.84/246.08  Changing weight limit from 19 to 20.
% 245.84/246.08  
% 245.84/246.08  Resetting weight limit to 20 after 9285 givens.
% 245.84/246.08  
% 254.62/254.84  
% 254.62/254.84  
% 254.62/254.84  Changing weight limit from 20 to 21.
% 254.62/254.84  
% 254.62/254.84  Resetting weight limit to 21 after 10300 givens.
% 254.62/254.84  
% 255.89/256.09  
% 255.89/256.09  
% 255.89/256.09  Changing weight limit from 21 to 20.
% 255.89/256.09  
% 255.89/256.09  Resetting weight limit to 20 after 10435 givens.
% 255.89/256.09  
% 255.89/256.10  
% 255.89/256.10  
% 255.89/256.10  Changing weight limit from 20 to 21.
% 255.89/256.10  
% 255.89/256.10  Resetting weight limit to 21 after 10440 givens.
% 255.89/256.10  
% 255.94/256.19  
% 255.94/256.19  
% 255.94/256.19  Changing weight limit from 21 to 20.
% 255.94/256.19  
% 255.94/256.19  Resetting weight limit to 20 after 10445 givens.
% 255.94/256.19  
% 257.88/258.15  
% 257.88/258.15  
% 257.88/258.15  Changing weight limit from 20 to 21.
% 257.88/258.15  
% 257.88/258.15  Resetting weight limit to 21 after 10875 givens.
% 257.88/258.15  
% 258.02/258.23  
% 258.02/258.23  
% 258.02/258.23  Changing weight limit from 21 to 20.
% 258.02/258.23  
% 258.02/258.23  Resetting weight limit to 20 after 10880 givens.
% 258.02/258.23  
% 258.02/258.25  
% 258.02/258.25  
% 258.02/258.25  Changing weight limit from 20 to 21.
% 258.02/258.25  
% 258.02/258.25  Resetting weight limit to 21 after 10885 givens.
% 258.02/258.25  
% 258.11/258.32  
% 258.11/258.32  
% 258.11/258.32  Changing weight limit from 21 to 20.
% 258.11/258.32  
% 258.11/258.32  Resetting weight limit to 20 after 10890 givens.
% 258.11/258.32  
% 258.11/258.39  
% 258.11/258.39  
% 258.11/258.39  Changing weight limit from 20 to 21.
% 258.11/258.39  
% 258.11/258.39  Resetting weight limit to 21 after 10905 givens.
% 258.11/258.39  
% 258.50/258.74  
% 258.50/258.74  
% 258.50/258.74  Changing weight limit from 21 to 22.
% 258.50/258.74  
% 258.50/258.74  Resetting weight limit to 22 after 10950 givens.
% 258.50/258.74  
% 258.56/258.80  
% 258.56/258.80  
% 258.56/258.80  Changing weight limit from 22 to 21.
% 258.56/258.80  
% 258.56/258.80  Resetting weight limit to 21 after 10955 givens.
% 258.56/258.80  
% 258.56/258.82  
% 258.56/258.82  
% 258.56/258.82  Changing weight limit from 21 to 22.
% 258.56/258.82  
% 258.56/258.82  Resetting weight limit to 22 after 10960 givens.
% 258.56/258.82  
% 258.66/258.88  
% 258.66/258.88  
% 258.66/258.88  Changing weight limit from 22 to 20.
% 258.66/258.88  
% 258.66/258.88  Resetting weight limit to 20 after 10965 givens.
% 258.66/258.88  
% 258.68/258.90  
% 258.68/258.90  
% 258.68/258.90  Changing weight limit from 20 to 21.
% 258.68/258.90  
% 258.68/258.90  Resetting weight limit to 21 after 10970 givens.
% 258.68/258.90  
% 258.68/258.91  
% 258.68/258.91  
% 258.68/258.91  Changing weight limit from 21 to 22.
% 258.68/258.91  
% 258.68/258.91  Resetting weight limit to 22 after 10975 givens.
% 258.68/258.91  
% 258.73/258.97  
% 258.73/258.97  
% 258.73/258.97  Changing weight limit from 22 to 20.
% 258.73/258.97  
% 258.73/258.97  Resetting weight limit to 20 after 10980 givens.
% 258.73/258.97  
% 258.73/258.99  
% 258.73/258.99  
% 258.73/258.99  Changing weight limit from 20 to 21.
% 258.73/258.99  
% 258.73/258.99  Resetting weight limit to 21 after 10985 givens.
% 258.73/258.99  
% 258.80/259.00  
% 258.80/259.00  
% 258.80/259.00  Changing weight limit from 21 to 22.
% 258.80/259.00  
% 258.80/259.00  Resetting weight limit to 22 after 10990 givens.
% 258.80/259.00  
% 258.80/259.07  
% 258.80/259.07  
% 258.80/259.07  Changing weight limit from 22 to 20.
% 258.80/259.07  
% 258.80/259.07  Resetting weight limit to 20 after 10995 givens.
% 258.80/259.07  
% 258.86/259.08  
% 258.86/259.08  
% 258.86/259.08  Changing weight limit from 20 to 21.
% 258.86/259.08  
% 258.86/259.08  Resetting weight limit to 21 after 11000 givens.
% 258.86/259.08  
% 258.86/259.10  
% 258.86/259.10  
% 258.86/259.10  Changing weight limit from 21 to 22.
% 258.86/259.10  
% 258.86/259.10  Resetting weight limit to 22 after 11005 givens.
% 258.86/259.10  
% 258.86/259.16  
% 258.86/259.16  
% 258.86/259.16  Changing weight limit from 22 to 20.
% 258.86/259.16  
% 258.86/259.16  Resetting weight limit to 20 after 11010 givens.
% 258.86/259.16  
% 258.96/259.18  
% 258.96/259.18  
% 258.96/259.18  Changing weight limit from 20 to 21.
% 258.96/259.18  
% 258.96/259.18  Resetting weight limit to 21 after 11015 givens.
% 258.96/259.18  
% 258.96/259.20  
% 258.96/259.20  
% 258.96/259.20  Changing weight limit from 21 to 22.
% 258.96/259.20  
% 258.96/259.20  Resetting weight limit to 22 after 11020 givens.
% 258.96/259.20  
% 259.04/259.27  
% 259.04/259.27  
% 259.04/259.27  Changing weight limit from 22 to 20.
% 259.04/259.27  
% 259.04/259.27  Resetting weight limit to 20 after 11025 givens.
% 259.04/259.27  
% 259.04/259.29  
% 259.04/259.29  
% 259.04/259.29  Changing weight limit from 20 to 21.
% 259.04/259.29  
% 259.04/259.29  Resetting weight limit to 21 after 11030 givens.
% 259.04/259.29  
% 259.10/259.31  
% 259.10/259.31  
% 259.10/259.31  Changing weight limit from 21 to 22.
% 259.10/259.31  
% 259.10/259.31  Resetting weight limit to 22 after 11035 givens.
% 259.10/259.31  
% 259.15/259.38  
% 259.15/259.38  
% 259.15/259.38  Changing weight limit from 22 to 20.
% 259.15/259.38  
% 259.15/259.38  Resetting weight limit to 20 after 11040 givens.
% 259.15/259.38  
% 259.15/259.40  
% 259.15/259.40  
% 259.15/259.40  Changing weight limit from 20 to 21.
% 259.15/259.40  
% 259.15/259.40  Resetting weight limit to 21 after 11045 givens.
% 259.15/259.40  
% 259.15/259.42  
% 259.15/259.42  
% 259.15/259.42  Changing weight limit from 21 to 22.
% 259.15/259.42  
% 259.15/259.42  Resetting weight limit to 22 after 11050 givens.
% 259.15/259.42  
% 259.24/259.48  
% 259.24/259.48  
% 259.24/259.48  Changing weight limit from 22 to 20.
% 259.24/259.48  
% 259.24/259.48  Resetting weight limit to 20 after 11055 givens.
% 259.24/259.48  
% 259.28/259.50  
% 259.28/259.50  
% 259.28/259.50  Changing weight limit from 20 to 21.
% 259.28/259.50  
% 259.28/259.50  Resetting weight limit to 21 after 11060 givens.
% 259.28/259.50  
% 259.28/259.51  
% 259.28/259.51  
% 259.28/259.51  Changing weight limit from 21 to 22.
% 259.28/259.51  
% 259.28/259.51  Resetting weight limit to 22 after 11065 givens.
% 259.28/259.51  
% 259.34/259.58  
% 259.34/259.58  
% 259.34/259.58  Changing weight limit from 22 to 20.
% 259.34/259.58  
% 259.34/259.58  Resetting weight limit to 20 after 11070 givens.
% 259.34/259.58  
% 259.34/259.59  
% 259.34/259.59  
% 259.34/259.59  Changing weight limit from 20 to 21.
% 259.34/259.59  
% 259.34/259.59  Resetting weight limit to 21 after 11075 givens.
% 259.34/259.59  
% 259.40/259.61  
% 259.40/259.61  
% 259.40/259.61  Changing weight limit from 21 to 22.
% 259.40/259.61  
% 259.40/259.61  Resetting weight limit to 22 after 11080 givens.
% 259.40/259.61  
% 259.45/259.67  
% 259.45/259.67  
% 259.45/259.67  Changing weight limit from 22 to 20.
% 259.45/259.67  
% 259.45/259.67  Resetting weight limit to 20 after 11085 givens.
% 259.45/259.67  
% 259.45/259.68  
% 259.45/259.68  
% 259.45/259.68  Changing weight limit from 20 to 21.
% 259.45/259.68  
% 259.45/259.68  Resetting weight limit to 21 after 11090 givens.
% 259.45/259.68  
% 259.45/259.70  
% 259.45/259.70  
% 259.45/259.70  Changing weight limit from 21 to 22.
% 259.45/259.70  
% 259.45/259.70  Resetting weight limit to 22 after 11095 givens.
% 259.45/259.70  
% 259.45/259.74  
% 259.45/259.74  
% 259.45/259.74  Changing weight limit from 22 to 20.
% 259.45/259.74  
% 259.45/259.74  Resetting weight limit to 20 after 11100 givens.
% 259.45/259.74  
% 259.45/259.76  
% 259.45/259.76  
% 259.45/259.76  Changing weight limit from 20 to 21.
% 259.45/259.76  
% 259.45/259.76  Resetting weight limit to 21 after 11105 givens.
% 259.45/259.76  
% 259.55/259.77  
% 259.55/259.77  
% 259.55/259.77  Changing weight limit from 21 to 22.
% 259.55/259.77  
% 259.55/259.77  Resetting weight limit to 22 after 11110 givens.
% 259.55/259.77  
% 259.60/259.82  
% 259.60/259.82  
% 259.60/259.82  Changing weight limit from 22 to 20.
% 259.60/259.82  
% 259.60/259.82  Resetting weight limit to 20 after 11115 givens.
% 259.60/259.82  
% 259.60/259.83  
% 259.60/259.83  
% 259.60/259.83  Changing weight limit from 20 to 21.
% 259.60/259.83  
% 259.60/259.83  Resetting weight limit to 21 after 11120 givens.
% 259.60/259.83  
% 259.60/259.84  
% 259.60/259.84  
% 259.60/259.84  Changing weight limit from 21 to 22.
% 259.60/259.84  
% 259.60/259.84  Resetting weight limit to 22 after 11125 givens.
% 259.60/259.84  
% 259.65/259.90  
% 259.65/259.90  
% 259.65/259.90  Changing weight limit from 22 to 20.
% 259.65/259.90  
% 259.65/259.90  Resetting weight limit to 20 after 11130 givens.
% 259.65/259.90  
% 259.65/259.92  
% 259.65/259.92  
% 259.65/259.92  Changing weight limit from 20 to 21.
% 259.65/259.92  
% 259.65/259.92  Resetting weight limit to 21 after 11135 givens.
% 259.65/259.92  
% 259.65/259.93  
% 259.65/259.93  
% 259.65/259.93  Changing weight limit from 21 to 22.
% 259.65/259.93  
% 259.65/259.93  Resetting weight limit to 22 after 11140 givens.
% 259.65/259.93  
% 259.78/260.00  
% 259.78/260.00  
% 259.78/260.00  Changing weight limit from 22 to 20.
% 259.78/260.00  
% 259.78/260.00  Resetting weight limit to 20 after 11145 givens.
% 259.78/260.00  
% 259.78/260.01  
% 259.78/260.01  
% 259.78/260.01  Changing weight limit from 20 to 21.
% 259.78/260.01  
% 259.78/260.01  Resetting weight limit to 21 after 11150 givens.
% 259.78/260.01  
% 259.78/260.03  
% 259.78/260.03  
% 259.78/260.03  Changing weight limit from 21 to 22.
% 259.78/260.03  
% 259.78/260.03  Resetting weight limit to 22 after 11155 givens.
% 259.78/260.03  
% 259.84/260.09  
% 259.84/260.09  
% 259.84/260.09  Changing weight limit from 22 to 20.
% 259.84/260.09  
% 259.84/260.09  Resetting weight limit to 20 after 11160 givens.
% 259.84/260.09  
% 259.84/260.10  
% 259.84/260.10  
% 259.84/260.10  Changing weight limit from 20 to 21.
% 259.84/260.10  
% 259.84/260.10  Resetting weight limit to 21 after 11165 givens.
% 259.84/260.10  
% 259.90/260.11  
% 259.90/260.11  
% 259.90/260.11  Changing weight limit from 21 to 22.
% 259.90/260.11  
% 259.90/260.11  Resetting weight limit to 22 after 11170 givens.
% 259.90/260.11  
% 259.95/260.16  
% 259.95/260.16  
% 259.95/260.16  Changing weight limit from 22 to 20.
% 259.95/260.16  
% 259.95/260.16  Resetting weight limit to 20 after 11175 givens.
% 259.95/260.16  
% 259.95/260.18  
% 259.95/260.18  
% 259.95/260.18  Changing weight limit from 20 to 21.
% 259.95/260.18  
% 259.95/260.18  Resetting weight limit to 21 after 11180 givens.
% 259.95/260.18  
% 259.95/260.19  
% 259.95/260.19  
% 259.95/260.19  Changing weight limit from 21 to 22.
% 259.95/260.19  
% 259.95/260.19  Resetting weight limit to 22 after 11185 givens.
% 259.95/260.19  
% 260.04/260.25  
% 260.04/260.25  
% 260.04/260.25  Changing weight limit from 22 to 20.
% 260.04/260.25  
% 260.04/260.25  Resetting weight limit to 20 after 11190 givens.
% 260.04/260.25  
% 260.04/260.27  
% 260.04/260.27  
% 260.04/260.27  Changing weight limit from 20 to 21.
% 260.04/260.27  
% 260.04/260.27  Resetting weight limit to 21 after 11195 givens.
% 260.04/260.27  
% 260.04/260.28  
% 260.04/260.28  
% 260.04/260.28  Changing weight limit from 21 to 22.
% 260.04/260.28  
% 260.04/260.28  Resetting weight limit to 22 after 11200 givens.
% 260.04/260.28  
% 260.08/260.35  
% 260.08/260.35  
% 260.08/260.35  Changing weight limit from 22 to 20.
% 260.08/260.35  
% 260.08/260.35  Resetting weight limit to 20 after 11205 givens.
% 260.08/260.35  
% 260.15/260.37  
% 260.15/260.37  
% 260.15/260.37  Changing weight limit from 20 to 21.
% 260.15/260.37  
% 260.15/260.37  Resetting weight limit to 21 after 11210 givens.
% 260.15/260.37  
% 260.15/260.38  
% 260.15/260.38  
% 260.15/260.38  Changing weight limit from 21 to 22.
% 260.15/260.38  
% 260.15/260.38  Resetting weight limit to 22 after 11215 givens.
% 260.15/260.38  
% 260.21/260.45  
% 260.21/260.45  
% 260.21/260.45  Changing weight limit from 22 to 20.
% 260.21/260.45  
% 260.21/260.45  Resetting weight limit to 20 after 11220 givens.
% 260.21/260.45  
% 260.25/260.46  
% 260.25/260.46  
% 260.25/260.46  Changing weight limit from 20 to 21.
% 260.25/260.46  
% 260.25/260.46  Resetting weight limit to 21 after 11225 givens.
% 260.25/260.46  
% 260.25/260.47  
% 260.25/260.47  
% 260.25/260.47  Changing weight limit from 21 to 22.
% 260.25/260.47  
% 260.25/260.47  Resetting weight limit to 22 after 11230 givens.
% 260.25/260.47  
% 260.25/260.52  
% 260.25/260.52  
% 260.25/260.52  Changing weight limit from 22 to 20.
% 260.25/260.52  
% 260.25/260.52  Resetting weight limit to 20 after 11235 givens.
% 260.25/260.52  
% 260.33/260.53  
% 260.33/260.53  
% 260.33/260.53  Changing weight limit from 20 to 21.
% 260.33/260.53  
% 260.33/260.53  Resetting weight limit to 21 after 11240 givens.
% 260.33/260.53  
% 260.33/260.55  
% 260.33/260.55  
% 260.33/260.55  Changing weight limit from 21 to 22.
% 260.33/260.55  
% 260.33/260.55  Resetting weight limit to 22 after 11245 givens.
% 260.33/260.55  
% 260.37/260.61  
% 260.37/260.61  
% 260.37/260.61  Changing weight limit from 22 to 20.
% 260.37/260.61  
% 260.37/260.61  Resetting weight limit to 20 after 11250 givens.
% 260.37/260.61  
% 260.37/260.63  
% 260.37/260.63  
% 260.37/260.63  Changing weight limit from 20 to 21.
% 260.37/260.63  
% 260.37/260.63  Resetting weight limit to 21 after 11255 givens.
% 260.37/260.63  
% 260.43/260.64  
% 260.43/260.64  
% 260.43/260.64  Changing weight limit from 21 to 22.
% 260.43/260.64  
% 260.43/260.64  Resetting weight limit to 22 after 11260 givens.
% 260.43/260.64  
% 260.45/260.71  
% 260.45/260.71  
% 260.45/260.71  Changing weight limit from 22 to 20.
% 260.45/260.71  
% 260.45/260.71  Resetting weight limit to 20 after 11265 givens.
% 260.45/260.71  
% 260.51/260.72  
% 260.51/260.72  
% 260.51/260.72  Changing weight limit from 20 to 21.
% 260.51/260.72  
% 260.51/260.72  Resetting weight limit to 21 after 11270 givens.
% 260.51/260.72  
% 260.51/260.74  
% 260.51/260.74  
% 260.51/260.74  Changing weight limit from 21 to 22.
% 260.51/260.74  
% 260.51/260.74  Resetting weight limit to 22 after 11275 givens.
% 260.51/260.74  
% 260.55/260.81  
% 260.55/260.81  
% 260.55/260.81  Changing weight limit from 22 to 20.
% 260.55/260.81  
% 260.55/260.81  Resetting weight limit to 20 after 11280 givens.
% 260.55/260.81  
% 260.55/260.82  
% 260.55/260.82  
% 260.55/260.82  Changing weight limit from 20 to 21.
% 260.55/260.82  
% 260.55/260.82  Resetting weight limit to 21 after 11285 givens.
% 260.55/260.82  
% 260.55/260.83  
% 260.55/260.83  
% 260.55/260.83  Changing weight limit from 21 to 22.
% 260.55/260.83  
% 260.55/260.83  Resetting weight limit to 22 after 11290 givens.
% 260.55/260.83  
% 260.63/260.88  
% 260.63/260.88  
% 260.63/260.88  Changing weight limit from 22 to 20.
% 260.63/260.88  
% 260.63/260.88  Resetting weight limit to 20 after 11295 givens.
% 260.63/260.88  
% 260.68/260.89  
% 260.68/260.89  
% 260.68/260.89  Changing weight limit from 20 to 21.
% 260.68/260.89  
% 260.68/260.89  Resetting weight limit to 21 after 11300 givens.
% 260.68/260.89  
% 260.68/260.91  
% 260.68/260.91  
% 260.68/260.91  Changing weight limit from 21 to 22.
% 260.68/260.91  
% 260.68/260.91  Resetting weight limit to 22 after 11305 givens.
% 260.68/260.91  
% 260.75/260.97  
% 260.75/260.97  
% 260.75/260.97  Changing weight limit from 22 to 20.
% 260.75/260.97  
% 260.75/260.97  Resetting weight limit to 20 after 11310 givens.
% 260.75/260.97  
% 260.77/260.99  
% 260.77/260.99  
% 260.77/260.99  Changing weight limit from 20 to 21.
% 260.77/260.99  
% 260.77/260.99  Resetting weight limit to 21 after 11315 givens.
% 260.77/260.99  
% 260.77/261.01  
% 260.77/261.01  
% 260.77/261.01  Changing weight limit from 21 to 22.
% 260.77/261.01  
% 260.77/261.01  Resetting weight limit to 22 after 11320 givens.
% 260.77/261.01  
% 260.83/261.07  
% 260.83/261.07  
% 260.83/261.07  Changing weight limit from 22 to 20.
% 260.83/261.07  
% 260.83/261.07  Resetting weight limit to 20 after 11325 givens.
% 260.83/261.07  
% 260.83/261.09  
% 260.83/261.09  
% 260.83/261.09  Changing weight limit from 20 to 21.
% 260.83/261.09  
% 260.83/261.09  Resetting weight limit to 21 after 11330 givens.
% 260.83/261.09  
% 260.83/261.10  
% 260.83/261.10  
% 260.83/261.10  Changing weight limit from 21 to 22.
% 260.83/261.10  
% 260.83/261.10  Resetting weight limit to 22 after 11335 givens.
% 260.83/261.10  
% 260.91/261.17  
% 260.91/261.17  
% 260.91/261.17  Changing weight limit from 22 to 20.
% 260.91/261.17  
% 260.91/261.17  Resetting weight limit to 20 after 11340 givens.
% 260.91/261.17  
% 260.97/261.18  
% 260.97/261.18  
% 260.97/261.18  Changing weight limit from 20 to 21.
% 260.97/261.18  
% 260.97/261.18  Resetting weight limit to 21 after 11345 givens.
% 260.97/261.18  
% 260.97/261.20  
% 260.97/261.20  
% 260.97/261.20  Changing weight limit from 21 to 22.
% 260.97/261.20  
% 260.97/261.20  Resetting weight limit to 22 after 11350 givens.
% 260.97/261.20  
% 260.97/261.25  
% 260.97/261.25  
% 260.97/261.25  Changing weight limit from 22 to 20.
% 260.97/261.25  
% 260.97/261.25  Resetting weight limit to 20 after 11355 givens.
% 260.97/261.25  
% 261.05/261.26  
% 261.05/261.26  
% 261.05/261.26  Changing weight limit from 20 to 21.
% 261.05/261.26  
% 261.05/261.26  Resetting weight limit to 21 after 11360 givens.
% 261.05/261.26  
% 261.05/261.27  
% 261.05/261.27  
% 261.05/261.27  Changing weight limit from 21 to 22.
% 261.05/261.27  
% 261.05/261.27  Resetting weight limit to 22 after 11365 givens.
% 261.05/261.27  
% 261.11/261.34  
% 261.11/261.34  
% 261.11/261.34  Changing weight limit from 22 to 20.
% 261.11/261.34  
% 261.11/261.34  Resetting weight limit to 20 after 11370 givens.
% 261.11/261.34  
% 261.13/261.35  
% 261.13/261.35  
% 261.13/261.35  Changing weight limit from 20 to 21.
% 261.13/261.35  
% 261.13/261.35  Resetting weight limit to 21 after 11375 givens.
% 261.13/261.35  
% 261.13/261.37  
% 261.13/261.37  
% 261.13/261.37  Changing weight limit from 21 to 22.
% 261.13/261.37  
% 261.13/261.37  Resetting weight limit to 22 after 11380 givens.
% 261.13/261.37  
% 261.22/261.44  
% 261.22/261.44  
% 261.22/261.44  Changing weight limit from 22 to 20.
% 261.22/261.44  
% 261.22/261.44  Resetting weight limit to 20 after 11385 givens.
% 261.22/261.44  
% 261.22/261.45  
% 261.22/261.45  
% 261.22/261.45  Changing weight limit from 20 to 21.
% 261.22/261.45  
% 261.22/261.45  Resetting weight limit to 21 after 11390 givens.
% 261.22/261.45  
% 261.22/261.47  
% 261.22/261.47  
% 261.22/261.47  Changing weight limit from 21 to 22.
% 261.22/261.47  
% 261.22/261.47  Resetting weight limit to 22 after 11395 givens.
% 261.22/261.47  
% 261.29/261.53  
% 261.29/261.53  
% 261.29/261.53  Changing weight limit from 22 to 20.
% 261.29/261.53  
% 261.29/261.53  Resetting weight limit to 20 after 11400 givens.
% 261.29/261.53  
% 261.29/261.55  
% 261.29/261.55  
% 261.29/261.55  Changing weight limit from 20 to 21.
% 261.29/261.55  
% 261.29/261.55  Resetting weight limit to 21 after 11405 givens.
% 261.29/261.55  
% 261.29/261.56  
% 261.29/261.56  
% 261.29/261.56  Changing weight limit from 21 to 22.
% 261.29/261.56  
% 261.29/261.56  Resetting weight limit to 22 after 11410 givens.
% 261.29/261.56  
% 261.41/261.61  
% 261.41/261.61  
% 261.41/261.61  Changing weight limit from 22 to 20.
% 261.41/261.61  
% 261.41/261.61  Resetting weight limit to 20 after 11415 givens.
% 261.41/261.61  
% 261.41/261.62  
% 261.41/261.62  
% 261.41/261.62  Changing weight limit from 20 to 21.
% 261.41/261.62  
% 261.41/261.62  Resetting weight limit to 21 after 11420 givens.
% 261.41/261.62  
% 261.43/261.64  
% 261.43/261.64  
% 261.43/261.64  Changing weight limit from 21 to 22.
% 261.43/261.64  
% 261.43/261.64  Resetting weight limit to 22 after 11425 givens.
% 261.43/261.64  
% 261.43/261.68  
% 261.43/261.68  
% 261.43/261.68  Changing weight limit from 22 to 20.
% 261.43/261.68  
% 261.43/261.68  Resetting weight limit to 20 after 11430 givens.
% 261.43/261.68  
% 261.43/261.70  
% 261.43/261.70  
% 261.43/261.70  Changing weight limit from 20 to 21.
% 261.43/261.70  
% 261.43/261.70  Resetting weight limit to 21 after 11435 givens.
% 261.43/261.70  
% 261.43/261.71  
% 261.43/261.71  
% 261.43/261.71  Changing weight limit from 21 to 22.
% 261.43/261.71  
% 261.43/261.71  Resetting weight limit to 22 after 11440 givens.
% 261.43/261.71  
% 261.52/261.78  
% 261.52/261.78  
% 261.52/261.78  Changing weight limit from 22 to 20.
% 261.52/261.78  
% 261.52/261.78  Resetting weight limit to 20 after 11445 givens.
% 261.52/261.78  
% 261.59/261.80  
% 261.59/261.80  
% 261.59/261.80  Changing weight limit from 20 to 21.
% 261.59/261.80  
% 261.59/261.80  Resetting weight limit to 21 after 11450 givens.
% 261.59/261.80  
% 261.59/261.81  
% 261.59/261.81  
% 261.59/261.81  Changing weight limit from 21 to 22.
% 261.59/261.81  
% 261.59/261.81  Resetting weight limit to 22 after 11455 givens.
% 261.59/261.81  
% 261.68/261.88  
% 261.68/261.88  
% 261.68/261.88  Changing weight limit from 22 to 20.
% 261.68/261.88  
% 261.68/261.88  Resetting weight limit to 20 after 11460 givens.
% 261.68/261.88  
% 261.68/261.89  
% 261.68/261.89  
% 261.68/261.89  Changing weight limit from 20 to 21.
% 261.68/261.89  
% 261.68/261.89  Resetting weight limit to 21 after 11465 givens.
% 261.68/261.89  
% 261.71/261.91  
% 261.71/261.91  
% 261.71/261.91  Changing weight limit from 21 to 22.
% 261.71/261.91  
% 261.71/261.91  Resetting weight limit to 22 after 11470 givens.
% 261.71/261.91  
% 261.74/261.96  
% 261.74/261.96  
% 261.74/261.96  Changing weight limit from 22 to 20.
% 261.74/261.96  
% 261.74/261.96  Resetting weight limit to 20 after 11475 givens.
% 261.74/261.96  
% 261.74/261.97  
% 261.74/261.97  
% 261.74/261.97  Changing weight limit from 20 to 21.
% 261.74/261.97  
% 261.74/261.97  Resetting weight limit to 21 after 11480 givens.
% 261.74/261.97  
% 261.74/261.98  
% 261.74/261.98  
% 261.74/261.98  Changing weight limit from 21 to 22.
% 261.74/261.98  
% 261.74/261.98  Resetting weight limit to 22 after 11485 givens.
% 261.74/261.98  
% 261.83/262.03  
% 261.83/262.03  
% 261.83/262.03  Changing weight limit from 22 to 20.
% 261.83/262.03  
% 261.83/262.03  Resetting weight limit to 20 after 11490 givens.
% 261.83/262.03  
% 261.83/262.04  
% 261.83/262.04  
% 261.83/262.04  Changing weight limit from 20 to 21.
% 261.83/262.04  
% 261.83/262.04  Resetting weight limit to 21 after 11495 givens.
% 261.83/262.04  
% 261.83/262.06  
% 261.83/262.06  
% 261.83/262.06  Changing weight limit from 21 to 22.
% 261.83/262.06  
% 261.83/262.06  Resetting weight limit to 22 after 11500 givens.
% 261.83/262.06  
% 261.90/262.12  
% 261.90/262.12  
% 261.90/262.12  Changing weight limit from 22 to 20.
% 261.90/262.12  
% 261.90/262.12  Resetting weight limit to 20 after 11505 givens.
% 261.90/262.12  
% 261.90/262.14  
% 261.90/262.14  
% 261.90/262.14  Changing weight limit from 20 to 21.
% 261.90/262.14  
% 261.90/262.14  Resetting weight limit to 21 after 11510 givens.
% 261.90/262.14  
% 261.90/262.15  
% 261.90/262.15  
% 261.90/262.15  Changing weight limit from 21 to 22.
% 261.90/262.15  
% 261.90/262.15  Resetting weight limit to 22 after 11515 givens.
% 261.90/262.15  
% 261.97/262.22  
% 261.97/262.22  
% 261.97/262.22  Changing weight limit from 22 to 20.
% 261.97/262.22  
% 261.97/262.22  Resetting weight limit to 20 after 11520 givens.
% 261.97/262.22  
% 261.97/262.23  
% 261.97/262.23  
% 261.97/262.23  Changing weight limit from 20 to 21.
% 261.97/262.23  
% 261.97/262.23  Resetting weight limit to 21 after 11525 givens.
% 261.97/262.23  
% 261.97/262.25  
% 261.97/262.25  
% 261.97/262.25  Changing weight limit from 21 to 22.
% 261.97/262.25  
% 261.97/262.25  Resetting weight limit to 22 after 11530 givens.
% 261.97/262.25  
% 262.09/262.32  
% 262.09/262.32  
% 262.09/262.32  Changing weight limit from 22 to 20.
% 262.09/262.32  
% 262.09/262.32  Resetting weight limit to 20 after 11535 givens.
% 262.09/262.32  
% 262.13/262.33  
% 262.13/262.33  
% 262.13/262.33  Changing weight limit from 20 to 21.
% 262.13/262.33  
% 262.13/262.33  Resetting weight limit to 21 after 11540 givens.
% 262.13/262.33  
% 262.13/262.34  
% 262.13/262.34  
% 262.13/262.34  Changing weight limit from 21 to 22.
% 262.13/262.34  
% 262.13/262.34  Resetting weight limit to 22 after 11545 givens.
% 262.13/262.34  
% 262.13/262.39  
% 262.13/262.39  
% 262.13/262.39  Changing weight limit from 22 to 20.
% 262.13/262.39  
% 262.13/262.39  Resetting weight limit to 20 after 11550 givens.
% 262.13/262.39  
% 262.20/262.40  
% 262.20/262.40  
% 262.20/262.40  Changing weight limit from 20 to 21.
% 262.20/262.40  
% 262.20/262.40  Resetting weight limit to 21 after 11555 givens.
% 262.20/262.40  
% 262.20/262.42  
% 262.20/262.42  
% 262.20/262.42  Changing weight limit from 21 to 22.
% 262.20/262.42  
% 262.20/262.42  Resetting weight limit to 22 after 11560 givens.
% 262.20/262.42  
% 262.27/262.47  
% 262.27/262.47  
% 262.27/262.47  Changing weight limit from 22 to 20.
% 262.27/262.47  
% 262.27/262.47  Resetting weight limit to 20 after 11565 givens.
% 262.27/262.47  
% 262.27/262.49  
% 262.27/262.49  
% 262.27/262.49  Changing weight limit from 20 to 21.
% 262.27/262.49  
% 262.27/262.49  Resetting weight limit to 21 after 11570 givens.
% 262.27/262.49  
% 262.27/262.50  
% 262.27/262.50  
% 262.27/262.50  Changing weight limit from 21 to 22.
% 262.27/262.50  
% 262.27/262.50  Resetting weight limit to 22 after 11575 givens.
% 262.27/262.50  
% 262.36/262.56  
% 262.36/262.56  
% 262.36/262.56  Changing weight limit from 22 to 20.
% 262.36/262.56  
% 262.36/262.56  Resetting weight limit to 20 after 11580 givens.
% 262.36/262.56  
% 262.36/262.58  
% 262.36/262.58  
% 262.36/262.58  Changing weight limit from 20 to 21.
% 262.36/262.58  
% 262.36/262.58  Resetting weight limit to 21 after 11585 givens.
% 262.36/262.58  
% 262.36/262.60  
% 262.36/262.60  
% 262.36/262.60  Changing weight limit from 21 to 22.
% 262.36/262.60  
% 262.36/262.60  Resetting weight limit to 22 after 11590 givens.
% 262.36/262.60  
% 262.45/262.66  
% 262.45/262.66  
% 262.45/262.66  Changing weight limit from 22 to 20.
% 262.45/262.66  
% 262.45/262.66  Resetting weight limit to 20 after 11595 givens.
% 262.45/262.66  
% 262.45/262.68  
% 262.45/262.68  
% 262.45/262.68  Changing weight limit from 20 to 21.
% 262.45/262.68  
% 262.45/262.68  Resetting weight limit to 21 after 11600 givens.
% 262.45/262.68  
% 262.45/262.69  
% 262.45/262.69  
% 262.45/262.69  Changing weight limit from 21 to 22.
% 262.45/262.69  
% 262.45/262.69  Resetting weight limit to 22 after 11605 givens.
% 262.45/262.69  
% 262.50/262.74  
% 262.50/262.74  
% 262.50/262.74  Changing weight limit from 22 to 20.
% 262.50/262.74  
% 262.50/262.74  Resetting weight limit to 20 after 11610 givens.
% 262.50/262.74  
% 262.50/262.75  
% 262.50/262.75  
% 262.50/262.75  Changing weight limit from 20 to 21.
% 262.50/262.75  
% 262.50/262.75  Resetting weight limit to 21 after 11615 givens.
% 262.50/262.75  
% 262.56/262.76  
% 262.56/262.76  
% 262.56/262.76  Changing weight limit from 21 to 22.
% 262.56/262.76  
% 262.56/262.76  Resetting weight limit to 22 after 11620 givens.
% 262.56/262.76  
% 262.56/262.81  
% 262.56/262.81  
% 262.56/262.81  Changing weight limit from 22 to 20.
% 262.56/262.81  
% 262.56/262.81  Resetting weight limit to 20 after 11625 givens.
% 262.56/262.81  
% 262.56/262.83  
% 262.56/262.83  
% 262.56/262.83  Changing weight limit from 20 to 21.
% 262.56/262.83  
% 262.56/262.83  Resetting weight limit to 21 after 11630 givens.
% 262.56/262.83  
% 262.56/262.84  
% 262.56/262.84  
% 262.56/262.84  Changing weight limit from 21 to 22.
% 262.56/262.84  
% 262.56/262.84  Resetting weight limit to 22 after 11635 givens.
% 262.56/262.84  
% 262.69/262.91  
% 262.69/262.91  
% 262.69/262.91  Changing weight limit from 22 to 20.
% 262.69/262.91  
% 262.69/262.91  Resetting weight limit to 20 after 11640 givens.
% 262.69/262.91  
% 262.69/262.92  
% 262.69/262.92  
% 262.69/262.92  Changing weight limit from 20 to 21.
% 262.69/262.92  
% 262.69/262.92  Resetting weight limit to 21 after 11645 givens.
% 262.69/262.92  
% 262.69/262.93  
% 262.69/262.93  
% 262.69/262.93  Changing weight limit from 21 to 22.
% 262.69/262.93  
% 262.69/262.93  Resetting weight limit to 22 after 11650 givens.
% 262.69/262.93  
% 262.80/263.00  
% 262.80/263.00  
% 262.80/263.00  Changing weight limit from 22 to 20.
% 262.80/263.00  
% 262.80/263.00  Resetting weight limit to 20 after 11655 givens.
% 262.80/263.00  
% 262.80/263.02  
% 262.80/263.02  
% 262.80/263.02  Changing weight limit from 20 to 21.
% 262.80/263.02  
% 262.80/263.02  Resetting weight limit to 21 after 11660 givens.
% 262.80/263.02  
% 262.80/263.03  
% 262.80/263.03  
% 262.80/263.03  Changing weight limit from 21 to 22.
% 262.80/263.03  
% 262.80/263.03  Resetting weight limit to 22 after 11665 givens.
% 262.80/263.03  
% 262.86/263.10  
% 262.86/263.10  
% 262.86/263.10  Changing weight limit from 22 to 20.
% 262.86/263.10  
% 262.86/263.10  Resetting weight limit to 20 after 11670 givens.
% 262.86/263.10  
% 262.86/263.12  
% 262.86/263.12  
% 262.86/263.12  Changing weight limit from 20 to 21.
% 262.86/263.12  
% 262.86/263.12  Resetting weight limit to 21 after 11675 givens.
% 262.86/263.12  
% 262.86/263.13  
% 262.86/263.13  
% 262.86/263.13  Changing weight limit from 21 to 22.
% 262.86/263.13  
% 262.86/263.13  Resetting weight limit to 22 after 11680 givens.
% 262.86/263.13  
% 262.97/263.20  
% 262.97/263.20  
% 262.97/263.20  Changing weight limit from 22 to 20.
% 262.97/263.20  
% 262.97/263.20  Resetting weight limit to 20 after 11685 givens.
% 262.97/263.20  
% 263.02/263.21  
% 263.02/263.21  
% 263.02/263.21  Changing weight limit from 20 to 21.
% 263.02/263.21  
% 263.02/263.21  Resetting weight limit to 21 after 11690 givens.
% 263.02/263.21  
% 263.02/263.23  
% 263.02/263.23  
% 263.02/263.23  Changing weight limit from 21 to 22.
% 263.02/263.23  
% 263.02/263.23  Resetting weight limit to 22 after 11695 givens.
% 263.02/263.23  
% 263.07/263.29  
% 263.07/263.29  
% 263.07/263.29  Changing weight limit from 22 to 20.
% 263.07/263.29  
% 263.07/263.29  Resetting weight limit to 20 after 11700 givens.
% 263.07/263.29  
% 263.07/263.31  
% 263.07/263.31  
% 263.07/263.31  Changing weight limit from 20 to 21.
% 263.07/263.31  
% 263.07/263.31  Resetting weight limit to 21 after 11705 givens.
% 263.07/263.31  
% 263.07/263.32  
% 263.07/263.32  
% 263.07/263.32  Changing weight limit from 21 to 22.
% 263.07/263.32  
% 263.07/263.32  Resetting weight limit to 22 after 11710 givens.
% 263.07/263.32  
% 263.16/263.36  
% 263.16/263.36  
% 263.16/263.36  Changing weight limit from 22 to 20.
% 263.16/263.36  
% 263.16/263.36  Resetting weight limit to 20 after 11715 givens.
% 263.16/263.36  
% 263.16/263.38  
% 263.16/263.38  
% 263.16/263.38  Changing weight limit from 20 to 21.
% 263.16/263.38  
% 263.16/263.38  Resetting weight limit to 21 after 11720 givens.
% 263.16/263.38  
% 263.20/263.39  
% 263.20/263.39  
% 263.20/263.39  Changing weight limit from 21 to 22.
% 263.20/263.39  
% 263.20/263.39  Resetting weight limit to 22 after 11725 givens.
% 263.20/263.39  
% 263.26/263.45  
% 263.26/263.45  
% 263.26/263.45  Changing weight limit from 22 to 20.
% 263.26/263.45  
% 263.26/263.45  Resetting weight limit to 20 after 11730 givens.
% 263.26/263.45  
% 263.26/263.47  
% 263.26/263.47  
% 263.26/263.47  Changing weight limit from 20 to 21.
% 263.26/263.47  
% 263.26/263.47  Resetting weight limit to 21 after 11735 givens.
% 263.26/263.47  
% 263.26/263.48  
% 263.26/263.48  
% 263.26/263.48  Changing weight limit from 21 to 22.
% 263.26/263.48  
% 263.26/263.48  Resetting weight limit to 22 after 11740 givens.
% 263.26/263.48  
% 263.32/263.54  
% 263.32/263.54  
% 263.32/263.54  Changing weight limit from 22 to 20.
% 263.32/263.54  
% 263.32/263.54  Resetting weight limit to 20 after 11745 givens.
% 263.32/263.54  
% 263.37/263.56  
% 263.37/263.56  
% 263.37/263.56  Changing weight limit from 20 to 21.
% 263.37/263.56  
% 263.37/263.56  Resetting weight limit to 21 after 11750 givens.
% 263.37/263.56  
% 263.37/263.57  
% 263.37/263.57  
% 263.37/263.57  Changing weight limit from 21 to 22.
% 263.37/263.57  
% 263.37/263.57  Resetting weight limit to 22 after 11755 givens.
% 263.37/263.57  
% 263.37/263.64  
% 263.37/263.64  
% 263.37/263.64  Changing weight limit from 22 to 20.
% 263.37/263.64  
% 263.37/263.64  Resetting weight limit to 20 after 11760 givens.
% 263.37/263.64  
% 263.46/263.66  
% 263.46/263.66  
% 263.46/263.66  Changing weight limit from 20 to 21.
% 263.46/263.66  
% 263.46/263.66  Resetting weight limit to 21 after 11765 givens.
% 263.46/263.66  
% 263.46/263.67  
% 263.46/263.67  
% 263.46/263.67  Changing weight limit from 21 to 22.
% 263.46/263.67  
% 263.46/263.67  Resetting weight limit to 22 after 11770 givens.
% 263.46/263.67  
% 263.50/263.72  
% 263.50/263.72  
% 263.50/263.72  Changing weight limit from 22 to 20.
% 263.50/263.72  
% 263.50/263.72  Resetting weight limit to 20 after 11775 givens.
% 263.50/263.72  
% 263.50/263.73  
% 263.50/263.73  
% 263.50/263.73  Changing weight limit from 20 to 21.
% 263.50/263.73  
% 263.50/263.73  Resetting weight limit to 21 after 11780 givens.
% 263.50/263.73  
% 263.50/263.74  
% 263.50/263.74  
% 263.50/263.74  Changing weight limit from 21 to 22.
% 263.50/263.74  
% 263.50/263.74  Resetting weight limit to 22 after 11785 givens.
% 263.50/263.74  
% 263.57/263.79  
% 263.57/263.79  
% 263.57/263.79  Changing weight limit from 22 to 20.
% 263.57/263.79  
% 263.57/263.79  Resetting weight limit to 20 after 11790 givens.
% 263.57/263.79  
% 263.57/263.80  
% 263.57/263.80  
% 263.57/263.80  Changing weight limit from 20 to 21.
% 263.57/263.80  
% 263.57/263.80  Resetting weight limit to 21 after 11795 givens.
% 263.57/263.80  
% 263.57/263.82  
% 263.57/263.82  
% 263.57/263.82  Changing weight limit from 21 to 22.
% 263.57/263.82  
% 263.57/263.82  Resetting weight limit to 22 after 11800 givens.
% 263.57/263.82  
% 263.67/263.88  
% 263.67/263.88  
% 263.67/263.88  Changing weight limit from 22 to 20.
% 263.67/263.88  
% 263.67/263.88  Resetting weight limit to 20 after 11805 givens.
% 263.67/263.88  
% 263.67/263.90  
% 263.67/263.90  
% 263.67/263.90  Changing weight limit from 20 to 21.
% 263.67/263.90  
% 263.67/263.90  Resetting weight limit to 21 after 11810 givens.
% 263.67/263.90  
% 263.67/263.91  
% 263.67/263.91  
% 263.67/263.91  Changing weight limit from 21 to 22.
% 263.67/263.91  
% 263.67/263.91  Resetting weight limit to 22 after 11815 givens.
% 263.67/263.91  
% 263.78/263.98  
% 263.78/263.98  
% 263.78/263.98  Changing weight limit from 22 to 20.
% 263.78/263.98  
% 263.78/263.98  Resetting weight limit to 20 after 11820 givens.
% 263.78/263.98  
% 263.78/264.00  
% 263.78/264.00  
% 263.78/264.00  Changing weight limit from 20 to 21.
% 263.78/264.00  
% 263.78/264.00  Resetting weight limit to 21 after 11825 givens.
% 263.78/264.00  
% 263.78/264.01  
% 263.78/264.01  
% 263.78/264.01  Changing weight limit from 21 to 22.
% 263.78/264.01  
% 263.78/264.01  Resetting weight limit to 22 after 11830 givens.
% 263.78/264.01  
% 263.88/264.08  
% 263.88/264.08  
% 263.88/264.08  Changing weight limit from 22 to 20.
% 263.88/264.08  
% 263.88/264.08  Resetting weight limit to 20 after 11835 givens.
% 263.88/264.08  
% 263.88/264.10  
% 263.88/264.10  
% 263.88/264.10  Changing weight limit from 20 to 21.
% 263.88/264.10  
% 263.88/264.10  Resetting weight limit to 21 after 11840 givens.
% 263.88/264.10  
% 263.88/264.11  
% 263.88/264.11  
% 263.88/264.11  Changing weight limit from 21 to 22.
% 263.88/264.11  
% 263.88/264.11  Resetting weight limit to 22 after 11845 givens.
% 263.88/264.11  
% 263.97/264.16  
% 263.97/264.16  
% 263.97/264.16  Changing weight limit from 22 to 20.
% 263.97/264.16  
% 263.97/264.16  Resetting weight limit to 20 after 11850 givens.
% 263.97/264.16  
% 263.97/264.17  
% 263.97/264.17  
% 263.97/264.17  Changing weight limit from 20 to 21.
% 263.97/264.17  
% 263.97/264.17  Resetting weight limit to 21 after 11855 givens.
% 263.97/264.17  
% 263.97/264.19  
% 263.97/264.19  
% 263.97/264.19  Changing weight limit from 21 to 22.
% 263.97/264.19  
% 263.97/264.19  Resetting weight limit to 22 after 11860 givens.
% 263.97/264.19  
% 264.05/264.25  
% 264.05/264.25  
% 264.05/264.25  Changing weight limit from 22 to 20.
% 264.05/264.25  
% 264.05/264.25  Resetting weight limit to 20 after 11865 givens.
% 264.05/264.25  
% 264.05/264.27  
% 264.05/264.27  
% 264.05/264.27  Changing weight limit from 20 to 21.
% 264.05/264.27  
% 264.05/264.27  Resetting weight limit to 21 after 11870 givens.
% 264.05/264.27  
% 264.05/264.28  
% 264.05/264.28  
% 264.05/264.28  Changing weight limit from 21 to 22.
% 264.05/264.28  
% 264.05/264.28  Resetting weight limit to 22 after 11875 givens.
% 264.05/264.28  
% 264.17/264.35  
% 264.17/264.35  
% 264.17/264.35  Changing weight limit from 22 to 20.
% 264.17/264.35  
% 264.17/264.35  Resetting weight limit to 20 after 11880 givens.
% 264.17/264.35  
% 264.17/264.37  
% 264.17/264.37  
% 264.17/264.37  Changing weight limit from 20 to 21.
% 264.17/264.37  
% 264.17/264.37  Resetting weight limit to 21 after 11885 givens.
% 264.17/264.37  
% 264.20/264.38  
% 264.20/264.39  
% 264.20/264.39  Changing weight limit from 21 to 22.
% 264.20/264.39  
% 264.20/264.39  Resetting weight limit to 22 after 11890 givens.
% 264.20/264.39  
% 264.26/264.45  
% 264.26/264.45  
% 264.26/264.45  Changing weight limit from 22 to 20.
% 264.26/264.45  
% 264.26/264.45  Resetting weight limit to 20 after 11895 givens.
% 264.26/264.45  
% 264.26/264.47  
% 264.26/264.47  
% 264.26/264.47  Changing weight limit from 20 to 21.
% 264.26/264.47  
% 264.26/264.47  Resetting weight limit to 21 after 11900 givens.
% 264.26/264.47  
% 264.26/264.48  
% 264.26/264.48  
% 264.26/264.48  Changing weight limit from 21 to 22.
% 264.26/264.48  
% 264.26/264.48  Resetting weight limit to 22 after 11905 givens.
% 264.26/264.48  
% 264.34/264.53  
% 264.34/264.53  
% 264.34/264.53  Changing weight limit from 22 to 20.
% 264.34/264.53  
% 264.34/264.53  Resetting weight limit to 20 after 11910 givens.
% 264.34/264.53  
% 264.34/264.54  
% 264.34/264.54  
% 264.34/264.54  Changing weight limit from 20 to 21.
% 264.34/264.54  
% 264.34/264.54  Resetting weight limit to 21 after 11915 givens.
% 264.34/264.54  
% 264.34/264.56  
% 264.34/264.56  
% 264.34/264.56  Changing weight limit from 21 to 22.
% 264.34/264.56  
% 264.34/264.56  Resetting weight limit to 22 after 11920 givens.
% 264.34/264.56  
% 264.39/264.62  
% 264.39/264.62  
% 264.39/264.62  Changing weight limit from 22 to 20.
% 264.39/264.62  
% 264.39/264.62  Resetting weight limit to 20 after 11925 givens.
% 264.39/264.62  
% 264.39/264.64  
% 264.39/264.64  
% 264.39/264.64  Changing weight limit from 20 to 21.
% 264.39/264.64  
% 264.39/264.64  Resetting weight limit to 21 after 11930 givens.
% 264.39/264.64  
% 264.47/264.66  
% 264.47/264.66  
% 264.47/264.66  Changing weight limit from 21 to 22.
% 264.47/264.66  
% 264.47/264.66  Resetting weight limit to 22 after 11935 givens.
% 264.47/264.66  
% 264.50/264.72  
% 264.50/264.72  
% 264.50/264.72  Changing weight limit from 22 to 20.
% 264.50/264.72  
% 264.50/264.72  Resetting weight limit to 20 after 11940 givens.
% 264.50/264.72  
% 264.54/264.73  
% 264.54/264.73  
% 264.54/264.73  Changing weight limit from 20 to 21.
% 264.54/264.73  
% 264.54/264.73  Resetting weight limit to 21 after 11945 givens.
% 264.54/264.73  
% 264.56/264.74  
% 264.56/264.74  
% 264.56/264.74  Changing weight limit from 21 to 22.
% 264.56/264.74  
% 264.56/264.74  Resetting weight limit to 22 after 11950 givens.
% 264.56/264.74  
% 264.56/264.80  
% 264.56/264.80  
% 264.56/264.80  Changing weight limit from 22 to 20.
% 264.56/264.80  
% 264.56/264.80  Resetting weight limit to 20 after 11955 givens.
% 264.56/264.80  
% 264.56/264.81  
% 264.56/264.81  
% 264.56/264.81  Changing weight limit from 20 to 21.
% 264.56/264.81  
% 264.56/264.81  Resetting weight limit to 21 after 11960 givens.
% 264.56/264.81  
% 264.56/264.83  
% 264.56/264.83  
% 264.56/264.83  Changing weight limit from 21 to 22.
% 264.56/264.83  
% 264.56/264.83  Resetting weight limit to 22 after 11965 givens.
% 264.56/264.83  
% 264.65/264.87  
% 264.65/264.87  
% 264.65/264.87  Changing weight limit from 22 to 20.
% 264.65/264.87  
% 264.65/264.87  Resetting weight limit to 20 after 11970 givens.
% 264.65/264.87  
% 264.65/264.88  
% 264.65/264.88  
% 264.65/264.88  Changing weight limit from 20 to 21.
% 264.65/264.88  
% 264.65/264.88  Resetting weight limit to 21 after 11975 givens.
% 264.65/264.88  
% 264.71/264.89  
% 264.71/264.89  
% 264.71/264.89  Changing weight limit from 21 to 22.
% 264.71/264.89  
% 264.71/264.89  Resetting weight limit to 22 after 11980 givens.
% 264.71/264.89  
% 264.80/264.99  
% 264.80/264.99  
% 264.80/264.99  Changing weight limit from 22 to 20.
% 264.80/264.99  
% 264.80/264.99  Resetting weight limit to 20 after 11990 givens.
% 264.80/264.99  
% 264.80/265.01  
% 264.80/265.01  
% 264.80/265.01  Changing weight limit from 20 to 21.
% 264.80/265.01  
% 264.80/265.01  Resetting weight limit to 21 after 11995 givens.
% 264.80/265.01  
% 264.83/265.02  
% 264.83/265.02  
% 264.83/265.02  Changing weight limit from 21 to 22.
% 264.83/265.02  
% 264.83/265.02  Resetting weight limit to 22 after 12000 givens.
% 264.83/265.02  
% 264.85/265.08  
% 264.85/265.08  
% 264.85/265.08  Changing weight limit from 22 to 20.
% 264.85/265.08  
% 264.85/265.08  Resetting weight limit to 20 after 12005 givens.
% 264.85/265.08  
% 264.85/265.09  
% 264.85/265.09  
% 264.85/265.09  Changing weight limit from 20 to 21.
% 264.85/265.09  
% 264.85/265.09  Resetting weight limit to 21 after 12010 givens.
% 264.85/265.09  
% 264.85/265.11  
% 264.85/265.11  
% 264.85/265.11  Changing weight limit from 21 to 22.
% 264.85/265.11  
% 264.85/265.11  Resetting weight limit to 22 after 12015 givens.
% 264.85/265.11  
% 264.94/265.17  
% 264.94/265.17  
% 264.94/265.17  Changing weight limit from 22 to 20.
% 264.94/265.17  
% 264.94/265.17  Resetting weight limit to 20 after 12020 givens.
% 264.94/265.17  
% 264.94/265.18  
% 264.94/265.18  
% 264.94/265.18  Changing weight limit from 20 to 21.
% 264.94/265.18  
% 264.94/265.18  Resetting weight limit to 21 after 12025 givens.
% 264.94/265.18  
% 265.01/265.19  
% 265.01/265.19  
% 265.01/265.19  Changing weight limit from 21 to 22.
% 265.01/265.19  
% 265.01/265.19  Resetting weight limit to 22 after 12030 givens.
% 265.01/265.19  
% 265.10/265.29  
% 265.10/265.29  
% 265.10/265.29  Changing weight limit from 22 to 20.
% 265.10/265.29  
% 265.10/265.29  Resetting weight limit to 20 after 12040 givens.
% 265.10/265.29  
% 265.32/265.51  
% 265.32/265.51  
% 265.32/265.51  Changing weight limit from 20 to 21.
% 265.32/265.51  
% 265.32/265.51  Resetting weight limit to 21 after 12055 givens.
% 265.32/265.51  
% 265.32/265.53  
% 265.32/265.53  
% 265.32/265.53  Changing weight limit from 21 to 22.
% 265.32/265.53  
% 265.32/265.53  Resetting weight limit to 22 after 12060 givens.
% 265.32/265.53  
% 265.39/265.58  
% 265.39/265.58  
% 265.39/265.58  Changing weight limit from 22 to 20.
% 265.39/265.58  
% 265.39/265.58  Resetting weight limit to 20 after 12065 givens.
% 265.39/265.58  
% 265.55/265.80  
% 265.55/265.80  
% 265.55/265.80  Changing weight limit from 20 to 21.
% 265.55/265.80  
% 265.55/265.80  Resetting weight limit to 21 after 12080 givens.
% 265.55/265.80  
% 265.62/265.81  
% 265.62/265.81  
% 265.62/265.81  Changing weight limit from 21 to 22.
% 265.62/265.81  
% 265.62/265.81  Resetting weight limit to 22 after 12085 givens.
% 265.62/265.81  
% 265.62/265.87  
% 265.62/265.87  
% 265.62/265.87  Changing weight limit from 22 to 20.
% 265.62/265.87  
% 265.62/265.87  Resetting weight limit to 20 after 12090 givens.
% 265.62/265.87  
% 265.87/266.09  
% 265.87/266.09  
% 265.87/266.09  Changing weight limit from 20 to 21.
% 265.87/266.09  
% 265.87/266.09  Resetting weight limit to 21 after 12105 givens.
% 265.87/266.09  
% 265.92/266.10  
% 265.92/266.10  
% 265.92/266.10  Changing weight limit from 21 to 22.
% 265.92/266.10  
% 265.92/266.10  Resetting weight limit to 22 after 12110 givens.
% 265.92/266.10  
% 265.97/266.16  
% 265.97/266.16  
% 265.97/266.16  Changing weight limit from 22 to 20.
% 265.97/266.16  
% 265.97/266.16  Resetting weight limit to 20 after 12115 givens.
% 265.97/266.16  
% 266.17/266.38  
% 266.17/266.38  
% 266.17/266.38  Changing weight limit from 20 to 21.
% 266.17/266.38  
% 266.17/266.38  Resetting weight limit to 21 after 12130 givens.
% 266.17/266.38  
% 266.17/266.39  
% 266.17/266.39  
% 266.17/266.39  Changing weight limit from 21 to 22.
% 266.17/266.39  
% 266.17/266.39  Resetting weight limit to 22 after 12135 givens.
% 266.17/266.39  
% 266.27/266.54  
% 266.27/266.54  
% 266.27/266.54  Changing weight limit from 22 to 20.
% 266.27/266.54  
% 266.27/266.54  Resetting weight limit to 20 after 12140 givens.
% 266.27/266.54  
% 266.48/266.66  
% 266.48/266.66  
% 266.48/266.66  Changing weight limit from 20 to 19.
% 266.48/266.66  
% 266.48/266.66  Resetting weight limit to 19 after 12145 givens.
% 266.48/266.66  
% 266.48/266.70  
% 266.48/266.70  
% 266.48/266.70  Changing weight limit from 19 to 20.
% 266.48/266.70  
% 266.48/266.70  Resetting weight limit to 20 after 12150 givens.
% 266.48/266.70  
% 266.48/266.71  
% 266.48/266.71  
% 266.48/266.71  Changing weight limit from 20 to 21.
% 266.48/266.71  
% 266.48/266.71  Resetting weight limit to 21 after 12155 givens.
% 266.48/266.71  
% 266.48/266.72  
% 266.48/266.72  
% 266.48/266.72  Changing weight limit from 21 to 22.
% 266.48/266.72  
% 266.48/266.72  Resetting weight limit to 22 after 12160 givens.
% 266.48/266.72  
% 266.67/266.90  
% 266.67/266.90  
% 266.67/266.90  Changing weight limit from 22 to 20.
% 266.67/266.90  
% 266.67/266.90  Resetting weight limit to 20 after 12165 givens.
% 266.67/266.90  
% 266.78/267.02  
% 266.78/267.02  
% 266.78/267.02  Changing weight limit from 20 to 19.
% 266.78/267.02  
% 266.78/267.02  Resetting weight limit to 19 after 12170 givens.
% 266.78/267.02  
% 266.87/267.06  
% 266.87/267.06  
% 266.87/267.06  Changing weight limit from 19 to 20.
% 266.87/267.06  
% 266.87/267.06  Resetting weight limit to 20 after 12175 givens.
% 266.87/267.06  
% 266.87/267.07  
% 266.87/267.07  
% 266.87/267.07  Changing weight limit from 20 to 21.
% 266.87/267.07  
% 266.87/267.07  Resetting weight limit to 21 after 12180 givens.
% 266.87/267.07  
% 266.87/267.08  
% 266.87/267.08  
% 266.87/267.08  Changing weight limit from 21 to 22.
% 266.87/267.08  
% 266.87/267.08  Resetting weight limit to 22 after 12185 givens.
% 266.87/267.08  
% 267.08/267.26  
% 267.08/267.26  
% 267.08/267.26  Changing weight limit from 22 to 20.
% 267.08/267.26  
% 267.08/267.26  Resetting weight limit to 20 after 12190 givens.
% 267.08/267.26  
% 267.19/267.39  
% 267.19/267.39  
% 267.19/267.39  Changing weight limit from 20 to 19.
% 267.19/267.39  
% 267.19/267.39  Resetting weight limit to 19 after 12195 givens.
% 267.19/267.39  
% 267.19/267.42  
% 267.19/267.42  
% 267.19/267.42  Changing weight limit from 19 to 20.
% 267.19/267.42  
% 267.19/267.42  Resetting weight limit to 20 after 12200 givens.
% 267.19/267.42  
% 267.19/267.44  
% 267.19/267.44  
% 267.19/267.44  Changing weight limit from 20 to 21.
% 267.19/267.44  
% 267.19/267.44  Resetting weight limit to 21 after 12205 givens.
% 267.19/267.44  
% 267.26/267.45  
% 267.26/267.45  
% 267.26/267.45  Changing weight limit from 21 to 22.
% 267.26/267.45  
% 267.26/267.45  Resetting weight limit to 22 after 12210 givens.
% 267.26/267.45  
% 267.38/267.59  
% 267.38/267.59  
% 267.38/267.59  Changing weight limit from 22 to 20.
% 267.38/267.59  
% 267.38/267.59  Resetting weight limit to 20 after 12215 givens.
% 267.38/267.59  
% 267.50/267.73  
% 267.50/267.73  
% 267.50/267.73  Changing weight limit from 20 to 19.
% 267.50/267.73  
% 267.50/267.73  Resetting weight limit to 19 after 12220 givens.
% 267.50/267.73  
% 267.57/267.76  
% 267.57/267.76  
% 267.57/267.76  Changing weight limit from 19 to 20.
% 267.57/267.76  
% 267.57/267.76  Resetting weight limit to 20 after 12225 givens.
% 267.57/267.76  
% 267.57/267.77  
% 267.57/267.77  
% 267.57/267.77  Changing weight limit from 20 to 21.
% 267.57/267.77  
% 267.57/267.77  Resetting weight limit to 21 after 12230 givens.
% 267.57/267.77  
% 267.60/267.78  
% 267.60/267.78  
% 267.60/267.78  Changing weight limit from 21 to 22.
% 267.60/267.78  
% 267.60/267.78  Resetting weight limit to 22 after 12235 givens.
% 267.60/267.78  
% 268.05/268.28  
% 268.05/268.28  
% 268.05/268.28  Changing weight limit from 22 to 19.
% 268.05/268.28  
% 268.05/268.28  Resetting weight limit to 19 after 12280 givens.
% 268.05/268.28  
% 268.11/268.30  
% 268.11/268.30  
% 268.11/268.30  Changing weight limit from 19 to 20.
% 268.11/268.30  
% 268.11/268.30  Resetting weight limit to 20 after 12285 givens.
% 268.11/268.30  
% 268.11/268.35  
% 268.11/268.35  
% 268.11/268.35  Changing weight limit from 20 to 19.
% 268.11/268.35  
% 268.11/268.35  Resetting weight limit to 19 after 12290 givens.
% 268.11/268.35  
% 268.19/268.37  
% 268.19/268.37  
% 268.19/268.37  Changing weight limit from 19 to 20.
% 268.19/268.37  
% 268.19/268.37  Resetting weight limit to 20 after 12295 givens.
% 268.19/268.37  
% 268.23/268.41  
% 268.23/268.41  
% 268.23/268.41  Changing weight limit from 20 to 19.
% 268.23/268.41  
% 268.23/268.41  Resetting weight limit to 19 after 12300 givens.
% 268.23/268.41  
% 268.25/268.43  
% 268.25/268.43  
% 268.25/268.43  Changing weight limit from 19 to 20.
% 268.25/268.43  
% 268.25/268.43  Resetting weight limit to 20 after 12305 givens.
% 268.25/268.43  
% 268.25/268.48  
% 268.25/268.48  
% 268.25/268.48  Changing weight limit from 20 to 19.
% 268.25/268.48  
% 268.25/268.48  Resetting weight limit to 19 after 12310 givens.
% 268.25/268.48  
% 268.25/268.49  
% 268.25/268.49  
% 268.25/268.49  Changing weight limit from 19 to 20.
% 268.25/268.49  
% 268.25/268.49  Resetting weight limit to 20 after 12315 givens.
% 268.25/268.49  
% 268.34/268.54  
% 268.34/268.54  
% 268.34/268.54  Changing weight limit from 20 to 19.
% 268.34/268.54  
% 268.34/268.54  Resetting weight limit to 19 after 12320 givens.
% 268.34/268.54  
% 268.34/268.55  
% 268.34/268.55  
% 268.34/268.55  Changing weight limit from 19 to 20.
% 268.34/268.55  
% 268.34/268.55  Resetting weight limit to 20 after 12325 givens.
% 268.34/268.55  
% 268.41/268.60  
% 268.41/268.60  
% 268.41/268.60  Changing weight limit from 20 to 19.
% 268.41/268.60  
% 268.41/268.60  Resetting weight limit to 19 after 12330 givens.
% 268.41/268.60  
% 268.41/268.61  
% 268.41/268.61  
% 268.41/268.61  Changing weight limit from 19 to 20.
% 268.41/268.61  
% 268.41/268.61  Resetting weight limit to 20 after 12335 givens.
% 268.41/268.61  
% 268.41/268.63  
% 268.41/268.63  
% 268.41/268.63  Changing weight limit from 20 to 19.
% 268.41/268.63  
% 268.41/268.63  Resetting weight limit to 19 after 12340 givens.
% 268.41/268.63  
% 268.41/268.64  
% 268.41/268.64  
% 268.41/268.64  Changing weight limit from 19 to 20.
% 268.41/268.64  
% 268.41/268.64  Resetting weight limit to 20 after 12345 givens.
% 268.41/268.64  
% 268.41/268.66  
% 268.41/268.66  
% 268.41/268.66  Changing weight limit from 20 to 21.
% 268.41/268.66  
% 268.41/268.66  Resetting weight limit to 21 after 12350 givens.
% 268.41/268.66  
% 268.49/268.67  
% 268.49/268.67  
% 268.49/268.67  Changing weight limit from 21 to 22.
% 268.49/268.67  
% 268.49/268.67  Resetting weight limit to 22 after 12355 givens.
% 268.49/268.67  
% 268.56/268.82  
% 268.56/268.82  
% 268.56/268.82  Changing weight limit from 22 to 20.
% 268.56/268.82  
% 268.56/268.82  Resetting weight limit to 20 after 12360 givens.
% 268.56/268.82  
% 268.65/268.83  
% 268.65/268.83  
% 268.65/268.83  Changing weight limit from 20 to 21.
% 268.65/268.83  
% 268.65/268.83  Resetting weight limit to 21 after 12365 givens.
% 268.65/268.83  
% 268.65/268.84  
% 268.65/268.84  
% 268.65/268.84  Changing weight limit from 21 to 22.
% 268.65/268.84  
% 268.65/268.84  Resetting weight limit to 22 after 12370 givens.
% 268.65/268.84  
% 269.09/269.32  
% 269.09/269.32  
% 269.09/269.32  Changing weight limit from 22 to 20.
% 269.09/269.32  
% 269.09/269.32  Resetting weight limit to 20 after 12415 givens.
% 269.09/269.32  
% 269.09/269.36  
% 269.09/269.36  
% 269.09/269.36  Changing weight limit from 20 to 21.
% 269.09/269.36  
% 269.09/269.36  Resetting weight limit to 21 after 12425 givens.
% 269.09/269.36  
% 269.18/269.38  
% 269.18/269.38  
% 269.18/269.38  Changing weight limit from 21 to 22.
% 269.18/269.38  
% 269.18/269.38  Resetting weight limit to 22 after 12430 givens.
% 269.18/269.38  
% 269.26/269.46  
% 269.26/269.46  
% 269.26/269.46  Changing weight limit from 22 to 20.
% 269.26/269.46  
% 269.26/269.46  Resetting weight limit to 20 after 12435 givens.
% 269.26/269.46  
% 269.32/269.55  
% 269.32/269.55  
% 269.32/269.55  Changing weight limit from 20 to 19.
% 269.32/269.55  
% 269.32/269.55  Resetting weight limit to 19 after 12450 givens.
% 269.32/269.55  
% 269.51/269.70  
% 269.51/269.70  
% 269.51/269.70  Changing weight limit from 19 to 20.
% 269.51/269.70  
% 269.51/269.70  Resetting weight limit to 20 after 12480 givens.
% 269.51/269.70  
% 269.51/269.72  
% 269.51/269.72  
% 269.51/269.72  Changing weight limit from 20 to 19.
% 269.51/269.72  
% 269.51/269.72  Resetting weight limit to 19 after 12485 givens.
% 269.51/269.72  
% 269.56/269.75  
% 269.56/269.75  
% 269.56/269.75  Changing weight limit from 19 to 20.
% 269.56/269.75  
% 269.56/269.75  Resetting weight limit to 20 after 12490 givens.
% 269.56/269.75  
% 269.56/269.78  
% 269.56/269.78  
% 269.56/269.78  Changing weight limit from 20 to 19.
% 269.56/269.78  
% 269.56/269.78  Resetting weight limit to 19 after 12495 givens.
% 269.56/269.78  
% 269.56/269.80  
% 269.56/269.80  
% 269.56/269.80  Changing weight limit from 19 to 20.
% 269.56/269.80  
% 269.56/269.80  Resetting weight limit to 20 after 12500 givens.
% 269.56/269.80  
% 269.62/269.81  
% 269.62/269.81  
% 269.62/269.81  Changing weight limit from 20 to 19.
% 269.62/269.81  
% 269.62/269.81  Resetting weight limit to 19 after 12505 givens.
% 269.62/269.81  
% 269.67/269.85  
% 269.67/269.85  
% 269.67/269.85  Changing weight limit from 19 to 20.
% 269.67/269.85  
% 269.67/269.85  Resetting weight limit to 20 after 12510 givens.
% 269.67/269.85  
% 269.67/269.96  
% 269.67/269.96  
% 269.67/269.96  Changing weight limit from 20 to 21.
% 269.67/269.96  
% 269.67/269.96  Resetting weight limit to 21 after 12520 givens.
% 269.67/269.96  
% 269.78/269.97  
% 269.78/269.97  
% 269.78/269.97  Changing weight limit from 21 to 22.
% 269.78/269.97  
% 269.78/269.97  Resetting weight limit to 22 after 12525 givens.
% 269.78/269.97  
% 269.88/270.12  
% 269.88/270.12  
% 269.88/270.12  Changing weight limit from 22 to 20.
% 269.88/270.12  
% 269.88/270.12  Resetting weight limit to 20 after 12540 givens.
% 269.88/270.12  
% 269.88/270.13  
% 269.88/270.13  
% 269.88/270.13  Changing weight limit from 20 to 21.
% 269.88/270.13  
% 269.88/270.13  Resetting weight limit to 21 after 12545 givens.
% 269.88/270.13  
% 269.88/270.14  
% 269.88/270.14  
% 269.88/270.14  Changing weight limit from 21 to 22.
% 269.88/270.14  
% 269.88/270.14  Resetting weight limit to 22 after 12550 givens.
% 269.88/270.14  
% 270.13/270.34  
% 270.13/270.34  
% 270.13/270.34  Changing weight limit from 22 to 20.
% 270.13/270.34  
% 270.13/270.34  Resetting weight limit to 20 after 12570 givens.
% 270.13/270.34  
% 270.13/270.35  
% 270.13/270.35  
% 270.13/270.35  Changing weight limit from 20 to 21.
% 270.13/270.35  
% 270.13/270.35  Resetting weight limit to 21 after 12575 givens.
% 270.13/270.35  
% 270.18/270.36  
% 270.18/270.36  
% 270.18/270.36  Changing weight limit from 21 to 22.
% 270.18/270.36  
% 270.18/270.36  Resetting weight limit to 22 after 12580 givens.
% 270.18/270.36  
% 270.37/270.55  
% 270.37/270.55  
% 270.37/270.55  Changing weight limit from 22 to 20.
% 270.37/270.55  
% 270.37/270.55  Resetting weight limit to 20 after 12600 givens.
% 270.37/270.55  
% 270.38/270.57  
% 270.38/270.57  
% 270.38/270.57  Changing weight limit from 20 to 21.
% 270.38/270.57  
% 270.38/270.57  Resetting weight limit to 21 after 12605 givens.
% 270.38/270.57  
% 270.38/270.58  
% 270.38/270.58  
% 270.38/270.58  Changing weight limit from 21 to 22.
% 270.38/270.58  
% 270.38/270.58  Resetting weight limit to 22 after 12610 givens.
% 270.38/270.58  
% 270.59/270.80  
% 270.59/270.80  
% 270.59/270.80  Changing weight limit from 22 to 20.
% 270.59/270.80  
% 270.59/270.80  Resetting weight limit to 20 after 12630 givens.
% 270.59/270.80  
% 270.59/270.82  
% 270.59/270.82  
% 270.59/270.82  Changing weight limit from 20 to 21.
% 270.59/270.82  
% 270.59/270.82  Resetting weight limit to 21 after 12635 givens.
% 270.59/270.82  
% 270.66/270.84  
% 270.66/270.84  
% 270.66/270.84  Changing weight limit from 21 to 22.
% 270.66/270.84  
% 270.66/270.84  Resetting weight limit to 22 after 12640 givens.
% 270.66/270.84  
% 270.85/271.06  
% 270.85/271.06  
% 270.85/271.06  Changing weight limit from 22 to 20.
% 270.85/271.06  
% 270.85/271.06  Resetting weight limit to 20 after 12660 givens.
% 270.85/271.06  
% 270.85/271.08  
% 270.85/271.08  
% 270.85/271.08  Changing weight limit from 20 to 21.
% 270.85/271.08  
% 270.85/271.08  Resetting weight limit to 21 after 12665 givens.
% 270.85/271.08  
% 270.90/271.09  
% 270.90/271.09  
% 270.90/271.09  Changing weight limit from 21 to 22.
% 270.90/271.09  
% 270.90/271.09  Resetting weight limit to 22 after 12670 givens.
% 270.90/271.09  
% 271.06/271.29  
% 271.06/271.29  
% 271.06/271.29  Changing weight limit from 22 to 20.
% 271.06/271.29  
% 271.06/271.29  Resetting weight limit to 20 after 12690 givens.
% 271.06/271.29  
% 271.06/271.30  
% 271.06/271.30  
% 271.06/271.30  Changing weight limit from 20 to 21.
% 271.06/271.30  
% 271.06/271.30  Resetting weight limit to 21 after 12695 givens.
% 271.06/271.30  
% 271.13/271.31  
% 271.13/271.31  
% 271.13/271.31  Changing weight limit from 21 to 22.
% 271.13/271.31  
% 271.13/271.31  Resetting weight limit to 22 after 12700 givens.
% 271.13/271.31  
% 271.58/271.77  
% 271.58/271.77  
% 271.58/271.77  Changing weight limit from 22 to 20.
% 271.58/271.77  
% 271.58/271.77  Resetting weight limit to 20 after 12750 givens.
% 271.58/271.77  
% 271.60/271.78  
% 271.60/271.78  
% 271.60/271.78  Changing weight limit from 20 to 21.
% 271.60/271.78  
% 271.60/271.78  Resetting weight limit to 21 after 12755 givens.
% 271.60/271.78  
% 271.60/271.79  
% 271.60/271.79  
% 271.60/271.79  Changing weight limit from 21 to 22.
% 271.60/271.79  
% 271.60/271.79  Resetting weight limit to 22 after 12760 givens.
% 271.60/271.79  
% 271.80/271.99  
% 271.80/271.99  
% 271.80/271.99  Changing weight limit from 22 to 20.
% 271.80/271.99  
% 271.80/271.99  Resetting weight limit to 20 after 12780 givens.
% 271.80/271.99  
% 271.80/272.00  
% 271.80/272.00  
% 271.80/272.00  Changing weight limit from 20 to 21.
% 271.80/272.00  
% 271.80/272.00  Resetting weight limit to 21 after 12785 givens.
% 271.80/272.00  
% 271.80/272.01  
% 271.80/272.01  
% 271.80/272.01  Changing weight limit from 21 to 22.
% 271.80/272.01  
% 271.80/272.01  Resetting weight limit to 22 after 12790 givens.
% 271.80/272.01  
% 272.05/272.29  
% 272.05/272.29  
% 272.05/272.29  Changing weight limit from 22 to 20.
% 272.05/272.29  
% 272.05/272.29  Resetting weight limit to 20 after 12820 givens.
% 272.05/272.29  
% 272.13/272.31  
% 272.13/272.31  
% 272.13/272.31  Changing weight limit from 20 to 21.
% 272.13/272.31  
% 272.13/272.31  Resetting weight limit to 21 after 12825 givens.
% 272.13/272.31  
% 272.13/272.32  
% 272.13/272.32  
% 272.13/272.32  Changing weight limit from 21 to 22.
% 272.13/272.32  
% 272.13/272.32  Resetting weight limit to 22 after 12830 givens.
% 272.13/272.32  
% 272.19/272.42  
% 272.19/272.42  
% 272.19/272.42  Changing weight limit from 22 to 20.
% 272.19/272.42  
% 272.19/272.42  Resetting weight limit to 20 after 12840 givens.
% 272.19/272.42  
% 272.19/272.43  
% 272.19/272.43  
% 272.19/272.43  Changing weight limit from 20 to 21.
% 272.19/272.43  
% 272.19/272.43  Resetting weight limit to 21 after 12845 givens.
% 272.19/272.43  
% 272.19/272.44  
% 272.19/272.44  
% 272.19/272.44  Changing weight limit from 21 to 22.
% 272.19/272.44  
% 272.19/272.44  Resetting weight limit to 22 after 12850 givens.
% 272.19/272.44  
% 272.36/272.55  
% 272.36/272.55  
% 272.36/272.55  Changing weight limit from 22 to 20.
% 272.36/272.55  
% 272.36/272.55  Resetting weight limit to 20 after 12860 givens.
% 272.36/272.55  
% 272.36/272.56  
% 272.36/272.56  
% 272.36/272.56  Changing weight limit from 20 to 21.
% 272.36/272.56  
% 272.36/272.56  Resetting weight limit to 21 after 12865 givens.
% 272.36/272.56  
% 272.36/272.57  
% 272.36/272.57  
% 272.36/272.57  Changing weight limit from 21 to 22.
% 272.36/272.57  
% 272.36/272.57  Resetting weight limit to 22 after 12870 givens.
% 272.36/272.57  
% 272.67/272.85  
% 272.67/272.85  
% 272.67/272.85  Changing weight limit from 22 to 20.
% 272.67/272.85  
% 272.67/272.85  Resetting weight limit to 20 after 12900 givens.
% 272.67/272.85  
% 272.67/272.86  
% 272.67/272.86  
% 272.67/272.86  Changing weight limit from 20 to 21.
% 272.67/272.86  
% 272.67/272.86  Resetting weight limit to 21 after 12905 givens.
% 272.67/272.86  
% 272.67/272.88  
% 272.67/272.88  
% 272.67/272.88  Changing weight limit from 21 to 22.
% 272.67/272.88  
% 272.67/272.88  Resetting weight limit to 22 after 12910 givens.
% 272.67/272.88  
% 272.87/273.07  
% 272.87/273.07  
% 272.87/273.07  Changing weight limit from 22 to 20.
% 272.87/273.07  
% 272.87/273.07  Resetting weight limit to 20 after 12930 givens.
% 272.87/273.07  
% 272.87/273.09  
% 272.87/273.09  
% 272.87/273.09  Changing weight limit from 20 to 21.
% 272.87/273.09  
% 272.87/273.09  Resetting weight limit to 21 after 12935 givens.
% 272.87/273.09  
% 272.92/273.10  
% 272.92/273.10  
% 272.92/273.10  Changing weight limit from 21 to 22.
% 272.92/273.10  
% 272.92/273.10  Resetting weight limit to 22 after 12940 givens.
% 272.92/273.10  
% 273.19/273.39  
% 273.19/273.39  
% 273.19/273.39  Changing weight limit from 22 to 20.
% 273.19/273.39  
% 273.19/273.39  Resetting weight limit to 20 after 12970 givens.
% 273.19/273.39  
% 273.19/273.40  
% 273.19/273.40  
% 273.19/273.40  Changing weight limit from 20 to 21.
% 273.19/273.40  
% 273.19/273.40  Resetting weight limit to 21 after 12975 givens.
% 273.19/273.40  
% 273.23/273.41  
% 273.23/273.41  
% 273.23/273.41  Changing weight limit from 21 to 22.
% 273.23/273.41  
% 273.23/273.41  Resetting weight limit to 22 after 12980 givens.
% 273.23/273.41  
% 273.28/273.51  
% 273.28/273.51  
% 273.28/273.51  Changing weight limit from 22 to 20.
% 273.28/273.51  
% 273.28/273.51  Resetting weight limit to 20 after 12990 givens.
% 273.28/273.51  
% 273.28/273.52  
% 273.28/273.52  
% 273.28/273.52  Changing weight limit from 20 to 21.
% 273.28/273.52  
% 273.28/273.52  Resetting weight limit to 21 after 12995 givens.
% 273.28/273.52  
% 273.28/273.54  
% 273.28/273.54  
% 273.28/273.54  Changing weight limit from 21 to 22.
% 273.28/273.54  
% 273.28/273.54  Resetting weight limit to 22 after 13000 givens.
% 273.28/273.54  
% 273.46/273.64  
% 273.46/273.64  
% 273.46/273.64  Changing weight limit from 22 to 20.
% 273.46/273.64  
% 273.46/273.64  Resetting weight limit to 20 after 13010 givens.
% 273.46/273.64  
% 273.47/273.65  
% 273.47/273.65  
% 273.47/273.65  Changing weight limit from 20 to 21.
% 273.47/273.65  
% 273.47/273.65  Resetting weight limit to 21 after 13015 givens.
% 273.47/273.65  
% 273.47/273.67  
% 273.47/273.67  
% 273.47/273.67  Changing weight limit from 21 to 22.
% 273.47/273.67  
% 273.47/273.67  Resetting weight limit to 22 after 13020 givens.
% 273.47/273.67  
% 273.71/273.90  
% 273.71/273.90  
% 273.71/273.90  Changing weight limit from 22 to 20.
% 273.71/273.90  
% 273.71/273.90  Resetting weight limit to 20 after 13045 givens.
% 273.71/273.90  
% 273.71/273.92  
% 273.71/273.92  
% 273.71/273.92  Changing weight limit from 20 to 21.
% 273.71/273.92  
% 273.71/273.92  Resetting weight limit to 21 after 13050 givens.
% 273.71/273.92  
% 273.71/273.93  
% 273.71/273.93  
% 273.71/273.93  Changing weight limit from 21 to 22.
% 273.71/273.93  
% 273.71/273.93  Resetting weight limit to 22 after 13055 givens.
% 273.71/273.93  
% 273.88/274.13  
% 273.88/274.13  
% 273.88/274.13  Changing weight limit from 22 to 20.
% 273.88/274.13  
% 273.88/274.13  Resetting weight limit to 20 after 13075 givens.
% 273.88/274.13  
% 273.95/274.14  
% 273.95/274.14  
% 273.95/274.14  Changing weight limit from 20 to 21.
% 273.95/274.14  
% 273.95/274.14  Resetting weight limit to 21 after 13080 givens.
% 273.95/274.14  
% 273.95/274.15  
% 273.95/274.15  
% 273.95/274.15  Changing weight limit from 21 to 22.
% 273.95/274.15  
% 273.95/274.15  Resetting weight limit to 22 after 13085 givens.
% 273.95/274.15  
% 274.40/274.61  
% 274.40/274.61  
% 274.40/274.61  Changing weight limit from 22 to 20.
% 274.40/274.61  
% 274.40/274.61  Resetting weight limit to 20 after 13135 givens.
% 274.40/274.61  
% 274.44/274.62  
% 274.44/274.62  
% 274.44/274.62  Changing weight limit from 20 to 21.
% 274.44/274.62  
% 274.44/274.62  Resetting weight limit to 21 after 13140 givens.
% 274.44/274.62  
% 274.44/274.64  
% 274.44/274.64  
% 274.44/274.64  Changing weight limit from 21 to 22.
% 274.44/274.64  
% 274.44/274.64  Resetting weight limit to 22 after 13145 givens.
% 274.44/274.64  
% 274.91/275.11  
% 274.91/275.11  
% 274.91/275.11  Changing weight limit from 22 to 20.
% 274.91/275.11  
% 274.91/275.11  Resetting weight limit to 20 after 13195 givens.
% 274.91/275.11  
% 274.91/275.12  
% 274.91/275.12  
% 274.91/275.12  Changing weight limit from 20 to 21.
% 274.91/275.12  
% 274.91/275.12  Resetting weight limit to 21 after 13200 givens.
% 274.91/275.12  
% 274.91/275.13  
% 274.91/275.13  
% 274.91/275.13  Changing weight limit from 21 to 22.
% 274.91/275.13  
% 274.91/275.13  Resetting weight limit to 22 after 13205 givens.
% 274.91/275.13  
% 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 13225 givens.
% 275.14/275.33  
% 275.14/275.34  
% 275.14/275.34  
% 275.14/275.34  Changing weight limit from 20 to 21.
% 275.14/275.34  
% 275.14/275.34  Resetting weight limit to 21 after 13230 givens.
% 275.14/275.34  
% 275.14/275.35  
% 275.14/275.35  
% 275.14/275.35  Changing weight limit from 21 to 22.
% 275.14/275.35  
% 275.14/275.35  Resetting weight limit to 22 after 13235 givens.
% 275.14/275.35  
% 275.52/275.73  
% 275.52/275.73  
% 275.52/275.73  Changing weight limit from 22 to 20.
% 275.52/275.73  
% 275.52/275.73  Resetting weight limit to 20 after 13275 givens.
% 275.52/275.73  
% 275.52/275.74  
% 275.52/275.74  
% 275.52/275.74  Changing weight limit from 20 to 21.
% 275.52/275.74  
% 275.52/275.74  Resetting weight limit to 21 after 13280 givens.
% 275.52/275.74  
% 275.52/275.75  
% 275.52/275.75  
% 275.52/275.75  Changing weight limit from 21 to 22.
% 275.52/275.75  
% 275.52/275.75  Resetting weight limit to 22 after 13285 givens.
% 275.52/275.75  
% 275.60/275.85  
% 275.60/275.85  
% 275.60/275.85  Changing weight limit from 22 to 20.
% 275.60/275.85  
% 275.60/275.85  Resetting weight limit to 20 after 13295 givens.
% 275.60/275.85  
% 275.69/275.86  
% 275.69/275.86  
% 275.69/275.86  Changing weight limit from 20 to 21.
% 275.69/275.86  
% 275.69/275.86  Resetting weight limit to 21 after 13300 givens.
% 275.69/275.86  
% 275.69/275.87  
% 275.69/275.87  
% 275.69/275.87  Changing weight limit from 21 to 22.
% 275.69/275.87  
% 275.69/275.87  Resetting weight limit to 22 after 13305 givens.
% 275.69/275.87  
% 276.13/276.33  
% 276.13/276.33  
% 276.13/276.33  Changing weight limit from 22 to 20.
% 276.13/276.33  
% 276.13/276.33  Resetting weight limit to 20 after 13355 givens.
% 276.13/276.33  
% 276.13/276.35  
% 276.13/276.35  
% 276.13/276.35  Changing weight limit from 20 to 21.
% 276.13/276.35  
% 276.13/276.35  Resetting weight limit to 21 after 13360 givens.
% 276.13/276.35  
% 276.18/276.36  
% 276.18/276.36  
% 276.18/276.36  Changing weight limit from 21 to 22.
% 276.18/276.36  
% 276.18/276.36  Resetting weight limit to 22 after 13365 givens.
% 276.18/276.36  
% 276.28/276.46  
% 276.28/276.46  
% 276.28/276.46  Changing weight limit from 22 to 20.
% 276.28/276.46  
% 276.28/276.46  Resetting weight limit to 20 after 13375 givens.
% 276.28/276.46  
% 276.28/276.47  
% 276.28/276.47  
% 276.28/276.47  Changing weight limit from 20 to 21.
% 276.28/276.47  
% 276.28/276.47  Resetting weight limit to 21 after 13380 givens.
% 276.28/276.47  
% 276.28/276.48  
% 276.28/276.48  
% 276.28/276.48  Changing weight limit from 21 to 22.
% 276.28/276.48  
% 276.28/276.48  Resetting weight limit to 22 after 13385 givens.
% 276.28/276.48  
% 276.48/276.69  
% 276.48/276.69  
% 276.48/276.69  Changing weight limit from 22 to 20.
% 276.48/276.69  
% 276.48/276.69  Resetting weight limit to 20 after 13405 givens.
% 276.48/276.69  
% 276.48/276.70  
% 276.48/276.70  
% 276.48/276.70  Changing weight limit from 20 to 21.
% 276.48/276.70  
% 276.48/276.70  Resetting weight limit to 21 after 13410 givens.
% 276.48/276.70  
% 276.48/276.71  
% 276.48/276.71  
% 276.48/276.71  Changing weight limit from 21 to 22.
% 276.48/276.71  
% 276.48/276.71  Resetting weight limit to 22 after 13415 givens.
% 276.48/276.71  
% 276.82/277.00  
% 276.82/277.00  
% 276.82/277.00  Changing weight limit from 22 to 20.
% 276.82/277.00  
% 276.82/277.00  Resetting weight limit to 20 after 13445 givens.
% 276.82/277.00  
% 276.82/277.01  
% 276.82/277.01  
% 276.82/277.01  Changing weight limit from 20 to 21.
% 276.82/277.01  
% 276.82/277.01  Resetting weight limit to 21 after 13450 givens.
% 276.82/277.01  
% 276.82/277.02  
% 276.82/277.02  
% 276.82/277.02  Changing weight limit from 21 to 22.
% 276.82/277.02  
% 276.82/277.02  Resetting weight limit to 22 after 13455 givens.
% 276.82/277.02  
% 277.00/277.23  
% 277.00/277.23  
% 277.00/277.23  Changing weight limit from 22 to 20.
% 277.00/277.23  
% 277.00/277.23  Resetting weight limit to 20 after 13475 givens.
% 277.00/277.23  
% 277.00/277.24  
% 277.00/277.24  
% 277.00/277.24  Changing weight limit from 20 to 21.
% 277.00/277.24  
% 277.00/277.24  Resetting weight limit to 21 after 13480 givens.
% 277.00/277.24  
% 277.09/277.25  
% 277.09/277.25  
% 277.09/277.25  Changing weight limit from 21 to 22.
% 277.09/277.25  
% 277.09/277.25  Resetting weight limit to 22 after 13485 givens.
% 277.09/277.25  
% 277.41/277.62  
% 277.41/277.62  
% 277.41/277.62  Changing weight limit from 22 to 20.
% 277.41/277.62  
% 277.41/277.62  Resetting weight limit to 20 after 13525 givens.
% 277.41/277.62  
% 277.41/277.63  
% 277.41/277.63  
% 277.41/277.63  Changing weight limit from 20 to 21.
% 277.41/277.63  
% 277.41/277.63  Resetting weight limit to 21 after 13530 givens.
% 277.41/277.63  
% 277.48/277.65  
% 277.48/277.65  
% 277.48/277.65  Changing weight limit from 21 to 22.
% 277.48/277.65  
% 277.48/277.65  Resetting weight limit to 22 after 13535 givens.
% 277.48/277.65  
% 277.56/277.75  
% 277.56/277.75  
% 277.56/277.75  Changing weight limit from 22 to 20.
% 277.56/277.75  
% 277.56/277.75  Resetting weight limit to 20 after 13545 givens.
% 277.56/277.75  
% 277.60/277.76  
% 277.60/277.76  
% 277.60/277.76  Changing weight limit from 20 to 21.
% 277.60/277.76  
% 277.60/277.76  Resetting weight limit to 21 after 13550 givens.
% 277.60/277.76  
% 277.60/277.77  
% 277.60/277.77  
% 277.60/277.77  Changing weight limit from 21 to 22.
% 277.60/277.77  
% 277.60/277.77  Resetting weight limit to 22 after 13555 givens.
% 277.60/277.77  
% 277.88/278.11  
% 277.88/278.11  
% 277.88/278.11  Changing weight limit from 22 to 20.
% 277.88/278.11  
% 277.88/278.11  Resetting weight limit to 20 after 13590 givens.
% 277.88/278.11  
% 277.96/278.13  
% 277.96/278.13  
% 277.96/278.13  Changing weight limit from 20 to 21.
% 277.96/278.13  
% 277.96/278.13  Resetting weight limit to 21 after 13595 givens.
% 277.96/278.13  
% 277.96/278.14  
% 277.96/278.14  
% 277.96/278.14  Changing weight limit from 21 to 22.
% 277.96/278.14  
% 277.96/278.14  Resetting weight limit to 22 after 13600 givens.
% 277.96/278.14  
% 278.18/278.35  
% 278.18/278.35  
% 278.18/278.35  Changing weight limit from 22 to 20.
% 278.18/278.35  
% 278.18/278.35  Resetting weight limit to 20 after 13620 givens.
% 278.18/278.35  
% 278.18/278.36  
% 278.18/278.36  
% 278.18/278.36  Changing weight limit from 20 to 21.
% 278.18/278.36  
% 278.18/278.36  Resetting weight limit to 21 after 13625 givens.
% 278.18/278.36  
% 278.18/278.37  
% 278.18/278.37  
% 278.18/278.37  Changing weight limit from 21 to 22.
% 278.18/278.37  
% 278.18/278.37  Resetting weight limit to 22 after 13630 givens.
% 278.18/278.37  
% 278.46/278.71  
% 278.46/278.71  
% 278.46/278.71  Changing weight limit from 22 to 20.
% 278.46/278.71  
% 278.46/278.71  Resetting weight limit to 20 after 13665 givens.
% 278.46/278.71  
% 278.55/278.73  
% 278.55/278.73  
% 278.55/278.73  Changing weight limit from 20 to 21.
% 278.55/278.73  
% 278.55/278.73  Resetting weight limit to 21 after 13670 givens.
% 278.55/278.73  
% 278.55/278.74  
% 278.55/278.74  
% 278.55/278.74  Changing weight limit from 21 to 22.
% 278.55/278.74  
% 278.55/278.74  Resetting weight limit to 22 after 13675 givens.
% 278.55/278.74  
% 278.87/279.04  
% 278.87/279.04  
% 278.87/279.04  Changing weight limit from 22 to 20.
% 278.87/279.04  
% 278.87/279.04  Resetting weight limit to 20 after 13705 givens.
% 278.87/279.04  
% 278.87/279.05  
% 278.87/279.05  
% 278.87/279.05  Changing weight limit from 20 to 21.
% 278.87/279.05  
% 278.87/279.05  Resetting weight limit to 21 after 13710 givens.
% 278.87/279.05  
% 278.87/279.06  
% 278.87/279.06  
% 278.87/279.06  Changing weight limit from 21 to 22.
% 278.87/279.06  
% 278.87/279.06  Resetting weight limit to 22 after 13715 givens.
% 278.87/279.06  
% 279.54/279.73  
% 279.54/279.73  
% 279.54/279.73  Changing weight limit from 22 to 20.
% 279.54/279.73  
% 279.54/279.73  Resetting weight limit to 20 after 13785 givens.
% 279.54/279.73  
% 279.59/279.80  
% 279.59/279.80  
% 279.59/279.80  Changing weight limit from 20 to 19.
% 279.59/279.80  
% 279.59/279.80  Resetting weight limit to 19 after 13790 givens.
% 279.59/279.80  
% 279.59/279.81  
% 279.59/279.81  
% 279.59/279.81  Changing weight limit from 19 to 20.
% 279.59/279.81  
% 279.59/279.81  Resetting weight limit to 20 after 13795 givens.
% 279.59/279.81  
% 279.73/279.91  
% 279.73/279.91  
% 279.73/279.91  Changing weight limit from 20 to 21.
% 279.73/279.91  
% 279.73/279.91  Resetting weight limit to 21 after 13800 givens.
% 279.73/279.91  
% 279.84/280.00  
% 279.84/280.00  
% 279.84/280.00  Changing weight limit from 21 to 22.
% 279.84/280.00  
% 279.84/280.00  Resetting weight limit to 22 after 13805 givens.
% 279.84/280.00  
% 280.00/280.16  
% 280.00/280.16  
% 280.00/280.16  Changing weight limit from 22 to 20.
% 280.00/280.16  
% 280.00/280.16  Resetting weight limit to 20 after 13810 givens.
% 280.00/280.16  
% 280.09/280.26  
% 280.09/280.26  
% 280.09/280.26  Changing weight limit from 20 to 21.
% 280.09/280.26  
% 280.09/280.26  Resetting weight limit to 21 after 13815 givens.
% 280.09/280.26  
% 280.18/280.36  
% 280.18/280.36  
% 280.18/280.36  Changing weight limit from 21 to 22.
% 280.18/280.36  
% 280.18/280.36  Resetting weight limit to 22 after 13820 givens.
% 280.18/280.36  
% 280.34/280.52  
% 280.34/280.52  
% 280.34/280.52  Changing weight limit from 22 to 20.
% 280.34/280.52  
% 280.34/280.52  Resetting weight limit to 20 after 13825 givens.
% 280.34/280.52  
% 280.39/280.62  
% 280.39/280.62  
% 280.39/280.62  Changing weight limit from 20 to 21.
% 280.39/280.62  
% 280.39/280.62  Resetting weight limit to 21 after 13830 givens.
% 280.39/280.62  
% 280.52/280.71  
% 280.52/280.71  
% 280.52/280.71  Changing weight limit from 21 to 22.
% 280.52/280.71  
% 280.52/280.71  Resetting weight limit to 22 after 13835 givens.
% 280.52/280.71  
% 280.81/280.98  
% 280.81/280.98  
% 280.81/280.98  Changing weight limit from 22 to 19.
% 280.81/280.98  
% 280.81/280.98  Resetting weight limit to 19 after 13850 givens.
% 280.81/280.98  
% 280.87/281.05  
% 280.87/281.05  
% 280.87/281.05  Changing weight limit from 19 to 20.
% 280.87/281.05  
% 280.87/281.05  Resetting weight limit to 20 after 13860 givens.
% 280.87/281.05  
% 280.96/281.14  
% 280.96/281.14  
% 280.96/281.14  Changing weight limit from 20 to 21.
% 280.96/281.14  
% 280.96/281.14  Resetting weight limit to 21 after 13865 givens.
% 280.96/281.14  
% 281.07/281.24  
% 281.07/281.24  
% 281.07/281.24  Changing weight limit from 21 to 22.
% 281.07/281.24  
% 281.07/281.24  Resetting weight limit to 22 after 13870 givens.
% 281.07/281.24  
% 281.21/281.40  
% 281.21/281.40  
% 281.21/281.40  Changing weight limit from 22 to 20.
% 281.21/281.40  
% 281.21/281.40  Resetting weight limit to 20 after 13875 givens.
% 281.21/281.40  
% 281.28/281.49  
% 281.28/281.49  
% 281.28/281.49  Changing weight limit from 20 to 21.
% 281.28/281.49  
% 281.28/281.49  Resetting weight limit to 21 after 13880 givens.
% 281.28/281.49  
% 281.41/281.59  
% 281.41/281.59  
% 281.41/281.59  Changing weight limit from 21 to 22.
% 281.41/281.59  
% 281.41/281.59  Resetting weight limit to 22 after 13885 givens.
% 281.41/281.59  
% 281.58/281.75  
% 281.58/281.75  
% 281.58/281.75  Changing weight limit from 22 to 20.
% 281.58/281.75  
% 281.58/281.75  Resetting weight limit to 20 after 13890 givens.
% 281.58/281.75  
% 281.67/281.85  
% 281.67/281.85  
% 281.67/281.85  Changing weight limit from 20 to 21.
% 281.67/281.85  
% 281.67/281.85  Resetting weight limit to 21 after 13895 givens.
% 281.67/281.85  
% 281.72/281.93  
% 281.72/281.93  
% 281.72/281.93  Changing weight limit from 21 to 22.
% 281.72/281.93  
% 281.72/281.93  Resetting weight limit to 22 after 13900 givens.
% 281.72/281.93  
% 281.86/282.04  
% 281.86/282.04  
% 281.86/282.04  Changing weight limit from 22 to 20.
% 281.86/282.04  
% 281.86/282.04  Resetting weight limit to 20 after 13910 givens.
% 281.86/282.04  
% 281.86/282.10  
% 281.86/282.10  
% 281.86/282.10  Changing weight limit from 20 to 19.
% 281.86/282.10  
% 281.86/282.10  Resetting weight limit to 19 after 13915 givens.
% 281.86/282.10  
% 281.95/282.12  
% 281.95/282.12  
% 281.95/282.12  Changing weight limit from 19 to 20.
% 281.95/282.12  
% 281.95/282.12  Resetting weight limit to 20 after 13920 givens.
% 281.95/282.12  
% 282.02/282.22  
% 282.02/282.22  
% 282.02/282.22  Changing weight limit from 20 to 21.
% 282.02/282.22  
% 282.02/282.22  Resetting weight limit to 21 after 13925 givens.
% 282.02/282.22  
% 282.14/282.31  
% 282.14/282.31  
% 282.14/282.31  Changing weight limit from 21 to 22.
% 282.14/282.31  
% 282.14/282.31  Resetting weight limit to 22 after 13930 givens.
% 282.14/282.31  
% 282.27/282.47  
% 282.27/282.47  
% 282.27/282.47  Changing weight limit from 22 to 20.
% 282.27/282.47  
% 282.27/282.47  Resetting weight limit to 20 after 13935 givens.
% 282.27/282.47  
% 282.40/282.57  
% 282.40/282.57  
% 282.40/282.57  Changing weight limit from 20 to 21.
% 282.40/282.57  
% 282.40/282.57  Resetting weight limit to 21 after 13940 givens.
% 282.40/282.57  
% 282.50/282.67  
% 282.50/282.67  
% 282.50/282.67  Changing weight limit from 21 to 22.
% 282.50/282.67  
% 282.50/282.67  Resetting weight limit to 22 after 13945 givens.
% 282.50/282.67  
% 282.64/282.83  
% 282.64/282.83  
% 282.64/282.83  Changing weight limit from 22 to 20.
% 282.64/282.83  
% 282.64/282.83  Resetting weight limit to 20 after 13950 givens.
% 282.64/282.83  
% 282.70/282.93  
% 282.70/282.93  
% 282.70/282.93  Changing weight limit from 20 to 21.
% 282.70/282.93  
% 282.70/282.93  Resetting weight limit to 21 after 13955 givens.
% 282.70/282.93  
% 282.84/283.03  
% 282.84/283.03  
% 282.84/283.03  Changing weight limit from 21 to 22.
% 282.84/283.03  
% 282.84/283.03  Resetting weight limit to 22 after 13960 givens.
% 282.84/283.03  
% 283.08/283.28  
% 283.08/283.28  
% 283.08/283.28  Changing weight limit from 22 to 19.
% 283.08/283.28  
% 283.08/283.28  Resetting weight limit to 19 after 13975 givens.
% 283.08/283.28  
% 283.18/283.35  
% 283.18/283.35  
% 283.18/283.35  Changing weight limit from 19 to 20.
% 283.18/283.35  
% 283.18/283.35  Resetting weight limit to 20 after 13985 givens.
% 283.18/283.35  
% 283.24/283.44  
% 283.24/283.44  
% 283.24/283.44  Changing weight limit from 20 to 21.
% 283.24/283.44  
% 283.24/283.44  Resetting weight limit to 21 after 13990 givens.
% 283.24/283.44  
% 283.29/283.54  
% 283.29/283.54  
% 283.29/283.54  Changing weight limit from 21 to 22.
% 283.29/283.54  
% 283.29/283.54  Resetting weight limit to 22 after 13995 givens.
% 283.29/283.54  
% 283.49/283.70  
% 283.49/283.70  
% 283.49/283.70  Changing weight limit from 22 to 20.
% 283.49/283.70  
% 283.49/283.70  Resetting weight limit to 20 after 14000 givens.
% 283.49/283.70  
% 283.62/283.80  
% 283.62/283.80  
% 283.62/283.80  Changing weight limit from 20 to 21.
% 283.62/283.80  
% 283.62/283.80  Resetting weight limit to 21 after 14005 givens.
% 283.62/283.80  
% 283.68/283.90  
% 283.68/283.90  
% 283.68/283.90  Changing weight limit from 21 to 22.
% 283.68/283.90  
% 283.68/283.90  Resetting weight limit to 22 after 14010 givens.
% 283.68/283.90  
% 283.88/284.06  
% 283.88/284.06  
% 283.88/284.06  Changing weight limit from 22 to 20.
% 283.88/284.06  
% 283.88/284.06  Resetting weight limit to 20 after 14015 givens.
% 283.88/284.06  
% 283.99/284.16  
% 283.99/284.16  
% 283.99/284.16  Changing weight limit from 20 to 21.
% 283.99/284.16  
% 283.99/284.16  Resetting weight limit to 21 after 14020 givens.
% 283.99/284.16  
% 284.05/284.24  
% 284.05/284.24  
% 284.05/284.24  Changing weight limit from 21 to 22.
% 284.05/284.24  
% 284.05/284.24  Resetting weight limit to 22 after 14025 givens.
% 284.05/284.24  
% 284.21/284.42  
% 284.21/284.42  
% 284.21/284.42  Changing weight limit from 22 to 19.
% 284.21/284.42  
% 284.21/284.42  Resetting weight limit to 19 after 14035 givens.
% 284.21/284.42  
% 284.29/284.48  
% 284.29/284.48  
% 284.29/284.48  Changing weight limit from 19 to 20.
% 284.29/284.48  
% 284.29/284.48  Resetting weight limit to 20 after 14045 givens.
% 284.29/284.48  
% 284.39/284.58  
% 284.39/284.58  
% 284.39/284.58  Changing weight limit from 20 to 21.
% 284.39/284.58  
% 284.39/284.58  Resetting weight limit to 21 after 14050 givens.
% 284.39/284.58  
% 284.47/284.68  
% 284.47/284.68  
% 284.47/284.68  Changing weight limit from 21 to 22.
% 284.47/284.68  
% 284.47/284.68  Resetting weight limit to 22 after 14055 givens.
% 284.47/284.68  
% 284.65/284.84  
% 284.65/284.84  
% 284.65/284.84  Changing weight limit from 22 to 20.
% 284.65/284.84  
% 284.65/284.84  Resetting weight limit to 20 after 14060 givens.
% 284.65/284.84  
% 284.75/284.94  
% 284.75/284.94  
% 284.75/284.94  Changing weight limit from 20 to 21.
% 284.75/284.94  
% 284.75/284.94  Resetting weight limit to 21 after 14065 givens.
% 284.75/284.94  
% 284.81/285.03  
% 284.81/285.03  
% 284.81/285.03  Changing weight limit from 21 to 22.
% 284.81/285.03  
% 284.81/285.03  Resetting weight limit to 22 after 14070 givens.
% 284.81/285.03  
% 284.98/285.20  
% 284.98/285.20  
% 284.98/285.20  Changing weight limit from 22 to 20.
% 284.98/285.20  
% 284.98/285.20  Resetting weight limit to 20 after 14075 givens.
% 284.98/285.20  
% 285.12/285.30  
% 285.12/285.30  
% 285.12/285.30  Changing weight limit from 20 to 21.
% 285.12/285.30  
% 285.12/285.30  Resetting weight limit to 21 after 14080 givens.
% 285.12/285.30  
% 285.21/285.38  
% 285.21/285.38  
% 285.21/285.38  Changing weight limit from 21 to 22.
% 285.21/285.38  
% 285.21/285.38  Resetting weight limit to 22 after 14085 givens.
% 285.21/285.38  
% 285.42/285.60  
% 285.42/285.60  
% 285.42/285.60  Changing weight limit from 22 to 19.
% 285.42/285.60  
% 285.42/285.60  Resetting weight limit to 19 after 14095 givens.
% 285.42/285.60  
% 285.42/285.62  
% 285.42/285.62  
% 285.42/285.62  Changing weight limit from 19 to 20.
% 285.42/285.62  
% 285.42/285.62  Resetting weight limit to 20 after 14100 givens.
% 285.42/285.62  
% 285.54/285.71  
% 285.54/285.71  
% 285.54/285.71  Changing weight limit from 20 to 21.
% 285.54/285.71  
% 285.54/285.71  Resetting weight limit to 21 after 14105 givens.
% 285.54/285.71  
% 285.58/285.81  
% 285.58/285.81  
% 285.58/285.81  Changing weight limit from 21 to 22.
% 285.58/285.81  
% 285.58/285.81  Resetting weight limit to 22 after 14110 givens.
% 285.58/285.81  
% 285.80/285.98  
% 285.80/285.98  
% 285.80/285.98  Changing weight limit from 22 to 20.
% 285.80/285.98  
% 285.80/285.98  Resetting weight limit to 20 after 14115 givens.
% 285.80/285.98  
% 285.89/286.07  
% 285.89/286.07  
% 285.89/286.07  Changing weight limit from 20 to 21.
% 285.89/286.07  
% 285.89/286.07  Resetting weight limit to 21 after 14120 givens.
% 285.89/286.07  
% 285.97/286.17  
% 285.97/286.17  
% 285.97/286.17  Changing weight limit from 21 to 22.
% 285.97/286.17  
% 285.97/286.17  Resetting weight limit to 22 after 14125 givens.
% 285.97/286.17  
% 286.10/286.34  
% 286.10/286.34  
% 286.10/286.34  Changing weight limit from 22 to 20.
% 286.10/286.34  
% 286.10/286.34  Resetting weight limit to 20 after 14130 givens.
% 286.10/286.34  
% 286.24/286.44  
% 286.24/286.44  
% 286.24/286.44  Changing weight limit from 20 to 21.
% 286.24/286.44  
% 286.24/286.44  Resetting weight limit to 21 after 14135 givens.
% 286.24/286.44  
% 286.34/286.54  
% 286.34/286.54  
% 286.34/286.54  Changing weight limit from 21 to 22.
% 286.34/286.54  
% 286.34/286.54  Resetting weight limit to 22 after 14140 givens.
% 286.34/286.54  
% 286.48/286.65  
% 286.48/286.65  
% 286.48/286.65  Changing weight limit from 22 to 20.
% 286.48/286.65  
% 286.48/286.65  Resetting weight limit to 20 after 14145 givens.
% 286.48/286.65  
% 286.60/286.76  
% 286.60/286.76  
% 286.60/286.76  Changing weight limit from 20 to 19.
% 286.60/286.76  
% 286.60/286.76  Resetting weight limit to 19 after 14155 givens.
% 286.60/286.76  
% 286.60/286.78  
% 286.60/286.78  
% 286.60/286.78  Changing weight limit from 19 to 20.
% 286.60/286.78  
% 286.60/286.78  Resetting weight limit to 20 after 14160 givens.
% 286.60/286.78  
% 286.69/286.87  
% 286.69/286.87  
% 286.69/286.87  Changing weight limit from 20 to 21.
% 286.69/286.87  
% 286.69/286.87  Resetting weight limit to 21 after 14165 givens.
% 286.69/286.87  
% 286.80/286.97  
% 286.80/286.97  
% 286.80/286.97  Changing weight limit from 21 to 22.
% 286.80/286.97  
% 286.80/286.97  Resetting weight limit to 22 after 14170 givens.
% 286.80/286.97  
% 286.91/287.13  
% 286.91/287.13  
% 286.91/287.13  Changing weight limit from 22 to 20.
% 286.91/287.13  
% 286.91/287.13  Resetting weight limit to 20 after 14175 givens.
% 286.91/287.13  
% 287.03/287.23  
% 287.03/287.23  
% 287.03/287.23  Changing weight limit from 20 to 21.
% 287.03/287.23  
% 287.03/287.23  Resetting weight limit to 21 after 14180 givens.
% 287.03/287.23  
% 287.15/287.33  
% 287.15/287.33  
% 287.15/287.33  Changing weight limit from 21 to 22.
% 287.15/287.33  
% 287.15/287.33  Resetting weight limit to 22 after 14185 givens.
% 287.15/287.33  
% 287.33/287.49  
% 287.33/287.49  
% 287.33/287.49  Changing weight limit from 22 to 20.
% 287.33/287.49  
% 287.33/287.49  Resetting weight limit to 20 after 14190 givens.
% 287.33/287.49  
% 287.40/287.59  
% 287.40/287.59  
% 287.40/287.59  Changing weight limit from 20 to 21.
% 287.40/287.59  
% 287.40/287.59  Resetting weight limit to 21 after 14195 givens.
% 287.40/287.59  
% 287.51/287.67  
% 287.51/287.67  
% 287.51/287.67  Changing weight limit from 21 to 22.
% 287.51/287.67  
% 287.51/287.67  Resetting weight limit to 22 after 14200 givens.
% 287.51/287.67  
% 287.70/287.89  
% 287.70/287.89  
% 287.70/287.89  Changing weight limit from 22 to 19.
% 287.70/287.89  
% 287.70/287.89  Resetting weight limit to 19 after 14210 givens.
% 287.70/287.89  
% 287.70/287.91  
% 287.70/287.91  
% 287.70/287.91  Changing weight limit from 19 to 20.
% 287.70/287.91  
% 287.70/287.91  Resetting weight limit to 20 after 14215 givens.
% 287.70/287.91  
% 287.80/288.00  
% 287.80/288.00  
% 287.80/288.00  Changing weight limit from 20 to 21.
% 287.80/288.00  
% 287.80/288.00  Resetting weight limit to 21 after 14220 givens.
% 287.80/288.00  
% 287.93/288.10  
% 287.93/288.10  
% 287.93/288.10  Changing weight limit from 21 to 22.
% 287.93/288.10  
% 287.93/288.10  Resetting weight limit to 22 after 14225 givens.
% 287.93/288.10  
% 288.09/288.26  
% 288.09/288.26  
% 288.09/288.26  Changing weight limit from 22 to 20.
% 288.09/288.26  
% 288.09/288.26  Resetting weight limit to 20 after 14230 givens.
% 288.09/288.26  
% 288.17/288.36  
% 288.17/288.36  
% 288.17/288.36  Changing weight limit from 20 to 21.
% 288.17/288.36  
% 288.17/288.36  Resetting weight limit to 21 after 14235 givens.
% 288.17/288.36  
% 288.29/288.46  
% 288.29/288.46  
% 288.29/288.46  Changing weight limit from 21 to 22.
% 288.29/288.46  
% 288.29/288.46  Resetting weight limit to 22 after 14240 givens.
% 288.29/288.46  
% 288.39/288.62  
% 288.39/288.62  
% 288.39/288.62  Changing weight limit from 22 to 20.
% 288.39/288.62  
% 288.39/288.62  Resetting weight limit to 20 after 14245 givens.
% 288.39/288.62  
% 288.53/288.72  
% 288.53/288.72  
% 288.53/288.72  Changing weight limit from 20 to 21.
% 288.53/288.72  
% 288.53/288.72  Resetting weight limit to 21 after 14250 givens.
% 288.53/288.72  
% 288.65/288.82  
% 288.65/288.82  
% 288.65/288.82  Changing weight limit from 21 to 22.
% 288.65/288.82  
% 288.65/288.82  Resetting weight limit to 22 after 14255 givens.
% 288.65/288.82  
% 289.15/289.32  
% 289.15/289.32  
% 289.15/289.32  Changing weight limit from 22 to 19.
% 289.15/289.32  
% 289.15/289.32  Resetting weight limit to 19 after 14300 givens.
% 289.15/289.32  
% 289.15/289.33  
% 289.15/289.33  
% 289.15/289.33  Changing weight limit from 19 to 20.
% 289.15/289.33  
% 289.15/289.33  Resetting weight limit to 20 after 14305 givens.
% 289.15/289.33  
% 289.21/289.39  
% 289.21/289.39  
% 289.21/289.39  Changing weight limit from 20 to 21.
% 289.21/289.39  
% 289.21/289.39  Resetting weight limit to 21 after 14310 givens.
% 289.21/289.39  
% 289.21/289.45  
% 289.21/289.45  
% 289.21/289.45  Changing weight limit from 21 to 22.
% 289.21/289.45  
% 289.21/289.45  Resetting weight limit to 22 after 14315 givens.
% 289.21/289.45  
% 289.38/289.57  
% 289.38/289.57  
% 289.38/289.57  Changing weight limit from 22 to 19.
% 289.38/289.57  
% 289.38/289.57  Resetting weight limit to 19 after 14320 givens.
% 289.38/289.57  
% 289.38/289.59  
% 289.38/289.59  
% 289.38/289.59  Changing weight limit from 19 to 20.
% 289.38/289.59  
% 289.38/289.59  Resetting weight limit to 20 after 14325 givens.
% 289.38/289.59  
% 289.45/289.65  
% 289.45/289.65  
% 289.45/289.65  Changing weight limit from 20 to 21.
% 289.45/289.65  
% 289.45/289.65  Resetting weight limit to 21 after 14330 givens.
% 289.45/289.65  
% 289.51/289.71  
% 289.51/289.71  
% 289.51/289.71  Changing weight limit from 21 to 22.
% 289.51/289.71  
% 289.51/289.71  Resetting weight limit to 22 after 14335 givens.
% 289.51/289.71  
% 289.70/289.86  
% 289.70/289.86  
% 289.70/289.86  Changing weight limit from 22 to 20.
% 289.70/289.86  
% 289.70/289.86  Resetting weight limit to 20 after 14345 givens.
% 289.70/289.86  
% 289.70/289.87  
% 289.70/289.87  
% 289.70/289.87  Changing weight limit from 20 to 21.
% 289.70/289.87  
% 289.70/289.87  Resetting weight limit to 21 after 14350 givens.
% 289.70/289.87  
% 289.70/289.88  
% 289.70/289.88  
% 289.70/289.88  Changing weight limit from 21 to 22.
% 289.70/289.88  
% 289.70/289.88  Resetting weight limit to 22 after 14355 givens.
% 289.70/289.88  
% 300.09/300.26  Wow, sos-wrapper got a signal XCPU
%------------------------------------------------------------------------------