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

View Problem - Process Solution

%------------------------------------------------------------------------------
% File     : SOS---2.0
% Problem  : NLP214-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:48 EDT 2022

% Result   : Timeout 285.73s 285.90s
% Output   : None 
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11  % Problem  : NLP214-1 : TPTP v8.1.0. Released v2.4.0.
% 0.03/0.12  % Command  : sos-script %s
% 0.11/0.33  % Computer : n013.cluster.edu
% 0.11/0.33  % Model    : x86_64 x86_64
% 0.11/0.33  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.11/0.33  % Memory   : 8042.1875MB
% 0.11/0.33  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.11/0.33  % CPULimit : 300
% 0.11/0.33  % WCLimit  : 600
% 0.11/0.33  % DateTime : Fri Jul  1 10:42:44 EDT 2022
% 0.11/0.33  % CPUTime  : 
% 0.11/0.35  
% 0.11/0.35  
% 0.11/0.35  WARNING, multiple arity: set/1, set/2.
% 0.11/0.35  
% 0.11/0.35  ----- Otter 3.2, August 2001 -----
% 0.11/0.35  The process was started by sandbox2 on n013.cluster.edu,
% 0.11/0.35  Fri Jul  1 10:42:44 2022
% 0.11/0.35  The command was "./sos".  The process ID is 6724.
% 0.11/0.35  
% 0.11/0.35  set(prolog_style_variables).
% 0.11/0.35  set(auto).
% 0.11/0.35     dependent: set(auto1).
% 0.11/0.35     dependent: set(process_input).
% 0.11/0.35     dependent: clear(print_kept).
% 0.11/0.35     dependent: clear(print_new_demod).
% 0.11/0.35     dependent: clear(print_back_demod).
% 0.11/0.35     dependent: clear(print_back_sub).
% 0.11/0.35     dependent: set(control_memory).
% 0.11/0.35     dependent: assign(max_mem, 12000).
% 0.11/0.35     dependent: assign(pick_given_ratio, 4).
% 0.11/0.35     dependent: assign(stats_level, 1).
% 0.11/0.35     dependent: assign(pick_semantic_ratio, 3).
% 0.11/0.35     dependent: assign(sos_limit, 5000).
% 0.11/0.35     dependent: assign(max_weight, 60).
% 0.11/0.35  clear(print_given).
% 0.11/0.35  
% 0.11/0.35  list(usable).
% 0.11/0.35  
% 0.11/0.35  SCAN INPUT: prop=0, horn=0, equality=1, symmetry=0, max_lits=35.
% 0.11/0.35  
% 0.11/0.35  This ia a non-Horn set with equality.  The strategy will be
% 0.11/0.35  Knuth-Bendix, ordered hyper_res, ur_res, factoring, and
% 0.11/0.35  unit deletion, with positive clauses in sos and nonpositive
% 0.11/0.35  clauses in usable.
% 0.11/0.35  
% 0.11/0.35     dependent: set(knuth_bendix).
% 0.11/0.35     dependent: set(para_from).
% 0.11/0.35     dependent: set(para_into).
% 0.11/0.35     dependent: clear(para_from_right).
% 0.11/0.35     dependent: clear(para_into_right).
% 0.11/0.35     dependent: set(para_from_vars).
% 0.11/0.35     dependent: set(eq_units_both_ways).
% 0.11/0.35     dependent: set(dynamic_demod_all).
% 0.11/0.35     dependent: set(dynamic_demod).
% 0.11/0.35     dependent: set(order_eq).
% 0.11/0.35     dependent: set(back_demod).
% 0.11/0.35     dependent: set(lrpo).
% 0.11/0.35     dependent: set(hyper_res).
% 0.11/0.35     dependent: set(unit_deletion).
% 0.11/0.35     dependent: set(factor).
% 0.11/0.35  
% 0.11/0.35  ------------> process usable:
% 0.11/0.35  99 back subsumes 98.
% 0.11/0.35  
% 0.11/0.35  ------------> process sos:
% 0.11/0.35    Following clause subsumed by 136 during input processing: 0 [copy,136,flip.1] {-} A=A.
% 0.11/0.35  136 back subsumes 101.
% 0.11/0.35  136 back subsumes 100.
% 0.11/0.35  136 back subsumes 99.
% 0.11/0.35  136 back subsumes 97.
% 0.11/0.35  
% 0.11/0.35  ======= end of input processing =======
% 0.49/0.73  
% 0.49/0.73  Model 1 (0.00 seconds, 0 Inserts)
% 0.49/0.73  
% 0.49/0.73  Stopped by limit on number of solutions
% 0.49/0.73  
% 0.49/0.73  
% 0.49/0.73  -------------- Softie stats --------------
% 0.49/0.73  
% 0.49/0.73  UPDATE_STOP: 300
% 0.49/0.73  SFINDER_TIME_LIMIT: 2
% 0.49/0.73  SHORT_CLAUSE_CUTOFF: 4
% 0.49/0.73  number of clauses in intial UL: 102
% 0.49/0.73  number of clauses initially in problem: 131
% 0.49/0.73  percentage of clauses intially in UL: 77
% 0.49/0.73  percentage of distinct symbols occuring in initial UL: 93
% 0.49/0.73  percent of all initial clauses that are short: 99
% 0.49/0.73  absolute distinct symbol count: 94
% 0.49/0.73     distinct predicate count: 75
% 0.49/0.73     distinct function count: 11
% 0.49/0.73     distinct constant count: 8
% 0.49/0.73  
% 0.49/0.73  ---------- no more Softie stats ----------
% 0.49/0.73  
% 0.49/0.73  
% 0.49/0.73  
% 0.49/0.73  Model 2 (0.00 seconds, 0 Inserts)
% 0.49/0.73  
% 0.49/0.73  Stopped by limit on number of solutions
% 0.49/0.73  
% 0.49/0.73  =========== start of search ===========
% 14.59/14.82  
% 14.59/14.82  Model 3 (0.00 seconds, 0 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on number of solutions
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 4 [ 1 8 44140 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 5 [ 1 11 71486 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 6 [ 2 14 98066 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 7 [ 2 17 117393 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 8 [ 5 12 76681 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 9 [ 2 20 122485 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 10 [ 1 15 100210 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 11 [ 1 15 87826 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 12 [ 7 13 97648 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 13 [ 6 11 76020 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 14 [ 4 23 133391 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 15 [ 6 11 71254 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 16 [ 3 18 104760 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 17 [ 8 6 28279 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 18 [ 4 22 142477 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 19 [ 5 16 96821 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 20 [ 6 14 82710 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 21 [ 12 12 77462 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 22 [ 13 2 4432 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 23 [ 14 4 20899 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 24 [ 12 11 74690 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 25 [ 5 23 138899 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 26 [ 12 16 98100 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 27 [ 15 4 19944 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 28 [ 12 6 33506 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 29 [ 15 23 137660 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 30 [ 17 13 84007 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 31 [ 17 14 96900 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 32 [ 13 12 68757 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 33 [ 17 4 19442 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 34 [ 14 14 96559 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 35 [ 21 16 92556 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 36 [ 20 3 12705 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 37 [ 14 14 99604 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 38 [ 25 11 75516 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 39 [ 28 20 129534 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 40 [ 18 27 193553 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 41 [ 19 21 136545 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 42 [ 29 11 75414 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 43 [ 13 6 27967 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 44 [ 17 9 57594 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 45 [ 24 14 69575 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 46 [ 27 23 112934 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 47 [ 20 17 112443 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 14.59/14.82  Model 48 [ 22 10 58353 ] (0.00 seconds, 250000 Inserts)
% 14.59/14.82  
% 14.59/14.82  Stopped by limit on insertions
% 14.59/14.82  
% 34.79/35.01  Model 49 [ 24 15 107434 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 50 [ 33 9 49388 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 51 [ 28 13 84360 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 52 [ 38 8 45145 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 53 [ 31 17 100482 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 54 [ 31 10 38742 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 55 [ 56 9 38597 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 56 [ 42 12 72977 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 57 [ 64 7 40539 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 58 [ 31 16 95841 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 59 [ 37 13 79440 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 60 [ 40 12 71156 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 61 [ 42 15 93307 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 62 [ 69 10 53409 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 63 [ 62 10 58461 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 64 [ 75 12 63329 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 65 [ 35 10 51638 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 66 [ 46 21 132865 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 67 [ 52 12 67053 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 68 [ 57 23 135946 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 69 [ 59 11 63309 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 70 [ 30 7 42384 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 71 [ 94 8 42381 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 72 [ 55 11 62870 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 73 [ 65 14 83627 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 74 [ 32 16 101583 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 75 [ 65 18 97010 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 76 [ 69 14 80354 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 77 [ 61 15 78216 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 78 [ 56 12 74670 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 79 [ 38 12 70645 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 80 [ 85 7 35761 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 81 [ 67 13 72867 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 82 [ 38 14 90362 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 83 [ 58 25 153927 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 84 [ 57 5 25998 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 85 [ 87 10 47438 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 86 [ 59 14 79681 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 87 [ 73 11 56592 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 88 [ 79 13 74936 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 89 [ 73 7 36904 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 90 [ 86 8 39759 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 91 [ 72 11 59840 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 92 [ 78 15 87798 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 93 [ 79 9 42401 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 34.79/35.01  Model 94 [ 55 14 81392 ] (0.00 seconds, 250000 Inserts)
% 34.79/35.01  
% 34.79/35.01  Stopped by limit on insertions
% 34.79/35.01  
% 63.86/64.07  Model 95 [ 
% 63.86/64.07  
% 63.86/64.07  Changing weight limit from 60 to 39.
% 63.86/64.07  77 4 18428 ] (0.00 seconds, 250000 Inserts)
% 63.86/64.07  
% 63.86/64.07  Stopped by limit on insertions
% 63.86/64.07  
% 63.86/64.07  Model 96 [ 70 13 73159 ] (0.00 seconds, 250000 Inserts)
% 63.86/64.07  
% 63.86/64.07  Stopped by limit on insertions
% 63.86/64.07  
% 63.86/64.07  Model 97 [ 47 10 61527 ] (0.00 seconds, 250000 Inserts)
% 63.86/64.07  
% 63.86/64.07  Stopped by limit on insertions
% 63.86/64.07  
% 63.86/64.07  Model 98 [ 79 23 133241 ] (0.00 seconds, 250000 Inserts)
% 63.86/64.07  
% 63.86/64.07  Stopped by limit on insertions
% 63.86/64.07  
% 63.86/64.07  Model 99 [ 63 16 89849 ] (0.00 seconds, 250000 Inserts)
% 63.86/64.07  
% 63.86/64.07  Stopped by limit on insertions
% 63.86/64.07  
% 63.86/64.07  Model 100 [ 112 8 41963 ] (0.00 seconds, 250000 Inserts)
% 63.86/64.07  
% 63.86/64.07  Stopped by limit on insertions
% 63.86/64.07  
% 63.86/64.07  Model 101 [ 69 9 51958 ] (0.00 seconds, 250000 Inserts)
% 63.86/64.07  
% 63.86/64.07  Stopped by limit on insertions
% 63.86/64.07  
% 63.86/64.07  Model 102 [ 51 14 82446 ] (0.00 seconds, 250000 Inserts)
% 63.86/64.07  
% 63.86/64.07  Stopped by limit on insertions
% 63.86/64.07  
% 63.86/64.07  Model 103 [ 89 10 53451 ] (0.00 seconds, 250000 Inserts)
% 63.86/64.07  
% 63.86/64.07  Stopped by limit on insertions
% 63.86/64.07  
% 63.86/64.07  Model 104 [ 50 13 79989 ] (0.00 seconds, 250000 Inserts)
% 63.86/64.07  
% 63.86/64.07  Stopped by limit on insertions
% 63.86/64.07  
% 63.86/64.07  Model 105 [ 83 21 126327 ] (0.00 seconds, 250000 Inserts)
% 63.86/64.07  
% 63.86/64.07  Stopped by limit on insertions
% 63.86/64.07  
% 63.86/64.07  Model 106 [ 64 6 33759 ] (0.00 seconds, 250000 Inserts)
% 63.86/64.07  
% 63.86/64.07  Stopped by limit on insertions
% 63.86/64.07  
% 63.86/64.07  Model 107 [ 68 8 32026 ] (0.00 seconds, 250000 Inserts)
% 63.86/64.07  
% 63.86/64.07  Stopped by limit on insertions
% 63.86/64.07  
% 63.86/64.07  Model 108 [ 84 18 97127 ] (0.00 seconds, 250000 Inserts)
% 63.86/64.07  
% 63.86/64.07  Stopped by limit on insertions
% 63.86/64.07  
% 63.86/64.07  Model 109 [ 55 19 99101 ] (0.00 seconds, 250000 Inserts)
% 63.86/64.07  
% 63.86/64.07  Stopped by limit on insertions
% 63.86/64.07  
% 63.86/64.07  Model 110 [ 100 22 121559 ] (0.00 seconds, 250000 Inserts)
% 63.86/64.07  
% 63.86/64.07  Stopped by limit on insertions
% 63.86/64.07  
% 63.86/64.07  Model 111 [ 97 12 57034 ] (0.00 seconds, 250000 Inserts)
% 63.86/64.07  
% 63.86/64.07  Stopped by limit on insertions
% 63.86/64.07  
% 63.86/64.07  Model 112 [ 64 14 73494 ] (0.00 seconds, 250000 Inserts)
% 63.86/64.07  
% 63.86/64.07  Stopped by limit on insertions
% 63.86/64.07  
% 63.86/64.07  Model 113 [ 87 12 66369 ] (0.00 seconds, 250000 Inserts)
% 63.86/64.07  
% 63.86/64.07  Stopped by limit on insertions
% 63.86/64.07  
% 63.86/64.07  Model 114 [ 131 10 54924 ] (0.00 seconds, 250000 Inserts)
% 63.86/64.07  
% 63.86/64.07  Stopped by limit on insertions
% 63.86/64.07  
% 63.86/64.07  Model 115 [ 100 12 63792 ] (0.00 seconds, 250000 Inserts)
% 63.86/64.07  
% 63.86/64.07  Stopped by limit on insertions
% 63.86/64.07  
% 63.86/64.07  Model 116 [ 117 17 94251 ] (0.00 seconds, 250000 Inserts)
% 63.86/64.07  
% 63.86/64.07  Stopped by limit on insertions
% 63.86/64.07  
% 63.86/64.07  Model 117 [ 119 12 62816 ] (0.00 seconds, 250000 Inserts)
% 63.86/64.07  
% 63.86/64.07  Stopped by limit on insertions
% 63.86/64.07  
% 63.86/64.07  Model 118 [ 86 16 88134 ] (0.00 seconds, 250000 Inserts)
% 63.86/64.07  
% 63.86/64.07  Stopped by limit on insertions
% 63.86/64.07  
% 63.86/64.07  Model 119 [ 126 8 37419 ] (0.00 seconds, 250000 Inserts)
% 63.86/64.07  
% 63.86/64.07  Stopped by limit on insertions
% 63.86/64.07  
% 63.86/64.07  Model 120 [ 112 13 67729 ] (0.00 seconds, 250000 Inserts)
% 63.86/64.07  
% 63.86/64.07  Stopped by limit on insertions
% 63.86/64.07  
% 63.86/64.07  Model 121 [ 73 13 73068 ] (0.00 seconds, 250000 Inserts)
% 63.86/64.07  
% 63.86/64.07  Stopped by limit on insertions
% 63.86/64.07  
% 63.86/64.07  Model 122 [ 103 11 52070 ] (0.00 seconds, 250000 Inserts)
% 63.86/64.07  
% 63.86/64.07  Stopped by limit on insertions
% 63.86/64.07  
% 63.86/64.07  Model 123 [ 118 16 75071 ] (0.00 seconds, 250000 Inserts)
% 63.86/64.07  
% 63.86/64.07  Stopped by limit on insertions
% 63.86/64.07  
% 63.86/64.07  Model 124 [ 121 12 48815 ] (0.00 seconds, 250000 Inserts)
% 63.86/64.07  
% 63.86/64.07  Resetting weight limit to 39 after 160 givens.
% 63.86/64.07  
% 65.10/65.28  
% 65.10/65.28  
% 65.10/65.28  Changing weight limit from 39 to 35.
% 65.10/65.28  
% 65.10/65.28  Stopped by limit on insertions
% 65.10/65.28  
% 65.10/65.28  Model 125 [ 47 9 43297 ] (0.00 seconds, 250000 Inserts)
% 65.10/65.28  
% 65.10/65.28  Resetting weight limit to 35 after 165 givens.
% 65.10/65.28  
% 76.56/76.74  
% 76.56/76.74  
% 76.56/76.74  Changing weight limit from 35 to 36.
% 76.56/76.74  
% 76.56/76.74  Stopped by limit on insertions
% 76.56/76.74  
% 76.56/76.74  Model 126 [ 112 22 110354 ] (0.00 seconds, 250000 Inserts)
% 76.56/76.74  
% 76.56/76.74  Stopped by limit on insertions
% 76.56/76.74  
% 76.56/76.74  Model 127 [ 71 18 99512 ] (0.00 seconds, 250000 Inserts)
% 76.56/76.74  
% 76.56/76.74  Stopped by limit on insertions
% 76.56/76.74  
% 76.56/76.74  Model 128 [ 102 13 61794 ] (0.00 seconds, 250000 Inserts)
% 76.56/76.74  
% 76.56/76.74  Stopped by limit on insertions
% 76.56/76.74  
% 76.56/76.74  Model 129 [ 125 12 57358 ] (0.00 seconds, 250000 Inserts)
% 76.56/76.74  
% 76.56/76.74  Stopped by limit on insertions
% 76.56/76.74  
% 76.56/76.74  Model 130 [ 181 26 126394 ] (0.00 seconds, 250000 Inserts)
% 76.56/76.74  
% 76.56/76.74  Stopped by limit on insertions
% 76.56/76.74  
% 76.56/76.74  Model 131 [ 123 22 118812 ] (0.00 seconds, 250000 Inserts)
% 76.56/76.74  
% 76.56/76.74  Resetting weight limit to 36 after 230 givens.
% 76.56/76.74  
% 78.97/79.16  
% 78.97/79.16  
% 78.97/79.16  Changing weight limit from 36 to 37.
% 78.97/79.16  
% 78.97/79.16  Stopped by limit on insertions
% 78.97/79.16  
% 78.97/79.16  Model 132 [ 163 17 89134 ] (0.00 seconds, 250000 Inserts)
% 78.97/79.16  
% 78.97/79.16  Stopped by limit on insertions
% 78.97/79.16  
% 78.97/79.16  Model 133 [ 84 16 74181 ] (0.00 seconds, 250000 Inserts)
% 78.97/79.16  
% 78.97/79.16  Resetting weight limit to 37 after 235 givens.
% 78.97/79.16  
% 82.50/82.70  
% 82.50/82.70  
% 82.50/82.70  Changing weight limit from 37 to 36.
% 82.50/82.70  
% 82.50/82.70  Stopped by limit on insertions
% 82.50/82.70  
% 82.50/82.70  Model 134 [ 104 15 71012 ] (0.00 seconds, 250000 Inserts)
% 82.50/82.70  
% 82.50/82.70  Stopped by limit on insertions
% 82.50/82.70  
% 82.50/82.70  Model 135 [ 102 15 74939 ] (0.00 seconds, 250000 Inserts)
% 82.50/82.70  
% 82.50/82.70  Stopped by limit on insertions
% 82.50/82.70  
% 82.50/82.70  Model 136 [ 92 14 56697 ] (0.00 seconds, 250000 Inserts)
% 82.50/82.70  
% 82.50/82.70  Resetting weight limit to 36 after 240 givens.
% 82.50/82.70  
% 90.32/90.52  
% 90.32/90.52  
% 90.32/90.52  Changing weight limit from 36 to 33.
% 90.32/90.52  
% 90.32/90.52  Resetting weight limit to 33 after 345 givens.
% 90.32/90.52  
% 95.70/95.92  
% 95.70/95.92  
% 95.70/95.92  Changing weight limit from 33 to 34.
% 95.70/95.92  
% 95.70/95.92  Stopped by limit on insertions
% 95.70/95.92  
% 95.70/95.92  Model 137 [ 198 17 72279 ] (0.00 seconds, 250000 Inserts)
% 95.70/95.92  
% 95.70/95.92  Stopped by limit on insertions
% 95.70/95.92  
% 95.70/95.92  Model 138 [ 74 23 115889 ] (0.00 seconds, 250000 Inserts)
% 95.70/95.92  
% 95.70/95.92  Stopped by limit on insertions
% 95.70/95.92  
% 95.70/95.92  Model 139 [ 194 20 75126 ] (0.00 seconds, 250000 Inserts)
% 95.70/95.92  
% 95.70/95.92  Stopped by limit on insertions
% 95.70/95.92  
% 95.70/95.92  Model 140 [ 251 10 33849 ] (0.00 seconds, 250000 Inserts)
% 95.70/95.92  
% 95.70/95.92  Resetting weight limit to 34 after 355 givens.
% 95.70/95.92  
% 96.79/97.02  
% 96.79/97.02  
% 96.79/97.02  Changing weight limit from 34 to 33.
% 96.79/97.02  
% 96.79/97.02  Stopped by limit on insertions
% 96.79/97.02  
% 96.79/97.02  Model 141 [ 90 12 39090 ] (0.00 seconds, 250000 Inserts)
% 96.79/97.02  
% 96.79/97.02  Resetting weight limit to 33 after 360 givens.
% 96.79/97.02  
% 99.68/99.87  
% 99.68/99.87  
% 99.68/99.87  Changing weight limit from 33 to 34.
% 99.68/99.87  
% 99.68/99.87  Stopped by limit on insertions
% 99.68/99.87  
% 99.68/99.87  Model 142 [ 150 10 26633 ] (0.00 seconds, 250000 Inserts)
% 99.68/99.87  
% 99.68/99.87  Resetting weight limit to 34 after 400 givens.
% 99.68/99.87  
% 99.79/99.98  
% 99.79/99.98  
% 99.79/99.98  Changing weight limit from 34 to 33.
% 99.79/99.98  
% 99.79/99.98  Modelling stopped after 300 given clauses and 0.00 seconds
% 99.79/99.98  
% 99.79/99.98  
% 99.79/99.98  Resetting weight limit to 33 after 405 givens.
% 99.79/99.98  
% 109.68/109.88  
% 109.68/109.88  
% 109.68/109.88  Changing weight limit from 33 to 32.
% 109.68/109.88  
% 109.68/109.88  Resetting weight limit to 32 after 655 givens.
% 109.68/109.88  
% 112.05/112.26  
% 112.05/112.26  
% 112.05/112.26  Changing weight limit from 32 to 31.
% 112.05/112.26  
% 112.05/112.26  Resetting weight limit to 31 after 685 givens.
% 112.05/112.26  
% 125.32/125.50  
% 125.32/125.50  
% 125.32/125.50  Changing weight limit from 31 to 30.
% 125.32/125.50  
% 125.32/125.50  Resetting weight limit to 30 after 880 givens.
% 125.32/125.50  
% 128.31/128.52  
% 128.31/128.52  
% 128.31/128.52  Changing weight limit from 30 to 29.
% 128.31/128.52  
% 128.31/128.52  Resetting weight limit to 29 after 945 givens.
% 128.31/128.52  
% 141.76/141.98  
% 141.76/141.98  
% 141.76/141.98  Changing weight limit from 29 to 28.
% 141.76/141.98  
% 141.76/141.98  Resetting weight limit to 28 after 1135 givens.
% 141.76/141.98  
% 177.50/177.75  
% 177.50/177.75  
% 177.50/177.75  Changing weight limit from 28 to 27.
% 177.50/177.75  
% 177.50/177.75  Resetting weight limit to 27 after 1540 givens.
% 177.50/177.75  
% 184.45/184.68  
% 184.45/184.68  
% 184.45/184.68  Changing weight limit from 27 to 26.
% 184.45/184.68  
% 184.45/184.68  Resetting weight limit to 26 after 1615 givens.
% 184.45/184.68  
% 196.69/196.91  
% 196.69/196.91  
% 196.69/196.91  Changing weight limit from 26 to 25.
% 196.69/196.91  
% 196.69/196.91  Resetting weight limit to 25 after 1895 givens.
% 196.69/196.91  
% 197.17/197.34  
% 197.17/197.34  
% 197.17/197.34  Changing weight limit from 25 to 24.
% 197.17/197.34  
% 197.17/197.34  Resetting weight limit to 24 after 1905 givens.
% 197.17/197.34  
% 197.23/197.42  
% 197.23/197.42  
% 197.23/197.42  Changing weight limit from 24 to 23.
% 197.23/197.42  
% 197.23/197.42  Resetting weight limit to 23 after 1910 givens.
% 197.23/197.42  
% 197.77/198.00  
% 197.77/198.00  
% 197.77/198.00  Changing weight limit from 23 to 21.
% 197.77/198.00  
% 197.77/198.00  Resetting weight limit to 21 after 1965 givens.
% 197.77/198.00  
% 198.05/198.31  
% 198.05/198.31  
% 198.05/198.31  Changing weight limit from 21 to 20.
% 198.05/198.31  
% 198.05/198.31  Resetting weight limit to 20 after 1995 givens.
% 198.05/198.31  
% 224.57/224.77  
% 224.57/224.77  
% 224.57/224.77  Changing weight limit from 20 to 17.
% 224.57/224.77  
% 224.57/224.77  Resetting weight limit to 17 after 6600 givens.
% 224.57/224.77  
% 231.96/232.14  
% 231.96/232.14  
% 231.96/232.14  Changing weight limit from 17 to 18.
% 231.96/232.14  
% 231.96/232.14  Resetting weight limit to 18 after 7795 givens.
% 231.96/232.14  
% 234.24/234.45  
% 234.24/234.45  
% 234.24/234.45  Changing weight limit from 18 to 19.
% 234.24/234.45  
% 234.24/234.45  Resetting weight limit to 19 after 8165 givens.
% 234.24/234.45  
% 234.29/234.47  
% 234.29/234.47  
% 234.29/234.47  Changing weight limit from 19 to 18.
% 234.29/234.47  
% 234.29/234.47  Resetting weight limit to 18 after 8170 givens.
% 234.29/234.47  
% 234.29/234.50  
% 234.29/234.50  
% 234.29/234.50  Changing weight limit from 18 to 19.
% 234.29/234.50  
% 234.29/234.50  Resetting weight limit to 19 after 8185 givens.
% 234.29/234.50  
% 234.29/234.53  
% 234.29/234.53  
% 234.29/234.53  Changing weight limit from 19 to 18.
% 234.29/234.53  
% 234.29/234.53  Resetting weight limit to 18 after 8190 givens.
% 234.29/234.53  
% 234.38/234.56  
% 234.38/234.56  
% 234.38/234.56  Changing weight limit from 18 to 19.
% 234.38/234.56  
% 234.38/234.56  Resetting weight limit to 19 after 8205 givens.
% 234.38/234.56  
% 234.38/234.58  
% 234.38/234.58  
% 234.38/234.58  Changing weight limit from 19 to 18.
% 234.38/234.58  
% 234.38/234.58  Resetting weight limit to 18 after 8210 givens.
% 234.38/234.58  
% 234.43/234.62  
% 234.43/234.62  
% 234.43/234.62  Changing weight limit from 18 to 19.
% 234.43/234.62  
% 234.43/234.62  Resetting weight limit to 19 after 8225 givens.
% 234.43/234.62  
% 234.47/234.64  
% 234.47/234.64  
% 234.47/234.64  Changing weight limit from 19 to 18.
% 234.47/234.64  
% 234.47/234.64  Resetting weight limit to 18 after 8230 givens.
% 234.47/234.64  
% 234.47/234.68  
% 234.47/234.68  
% 234.47/234.68  Changing weight limit from 18 to 19.
% 234.47/234.68  
% 234.47/234.68  Resetting weight limit to 19 after 8245 givens.
% 234.47/234.68  
% 234.47/234.70  
% 234.47/234.70  
% 234.47/234.70  Changing weight limit from 19 to 18.
% 234.47/234.70  
% 234.47/234.70  Resetting weight limit to 18 after 8250 givens.
% 234.47/234.70  
% 234.57/234.74  
% 234.57/234.74  
% 234.57/234.74  Changing weight limit from 18 to 19.
% 234.57/234.74  
% 234.57/234.74  Resetting weight limit to 19 after 8265 givens.
% 234.57/234.74  
% 234.57/234.77  
% 234.57/234.77  
% 234.57/234.77  Changing weight limit from 19 to 18.
% 234.57/234.77  
% 234.57/234.77  Resetting weight limit to 18 after 8270 givens.
% 234.57/234.77  
% 235.16/235.36  
% 235.16/235.36  
% 235.16/235.36  Changing weight limit from 18 to 19.
% 235.16/235.36  
% 235.16/235.36  Resetting weight limit to 19 after 8410 givens.
% 235.16/235.36  
% 235.16/235.39  
% 235.16/235.39  
% 235.16/235.39  Changing weight limit from 19 to 18.
% 235.16/235.39  
% 235.16/235.39  Resetting weight limit to 18 after 8415 givens.
% 235.16/235.39  
% 235.22/235.40  
% 235.22/235.40  
% 235.22/235.40  Changing weight limit from 18 to 19.
% 235.22/235.40  
% 235.22/235.40  Resetting weight limit to 19 after 8420 givens.
% 235.22/235.40  
% 236.01/236.21  
% 236.01/236.21  
% 236.01/236.21  Changing weight limit from 19 to 18.
% 236.01/236.21  
% 236.01/236.21  Resetting weight limit to 18 after 8510 givens.
% 236.01/236.21  
% 236.07/236.28  
% 236.07/236.28  
% 236.07/236.28  Changing weight limit from 18 to 19.
% 236.07/236.28  
% 236.07/236.28  Resetting weight limit to 19 after 8530 givens.
% 236.07/236.28  
% 236.07/236.32  
% 236.07/236.32  
% 236.07/236.32  Changing weight limit from 19 to 18.
% 236.07/236.32  
% 236.07/236.32  Resetting weight limit to 18 after 8535 givens.
% 236.07/236.32  
% 236.15/236.34  
% 236.15/236.34  
% 236.15/236.34  Changing weight limit from 18 to 19.
% 236.15/236.34  
% 236.15/236.34  Resetting weight limit to 19 after 8540 givens.
% 236.15/236.34  
% 236.15/236.37  
% 236.15/236.37  
% 236.15/236.37  Changing weight limit from 19 to 18.
% 236.15/236.37  
% 236.15/236.37  Resetting weight limit to 18 after 8545 givens.
% 236.15/236.37  
% 236.21/236.39  
% 236.21/236.39  
% 236.21/236.39  Changing weight limit from 18 to 19.
% 236.21/236.39  
% 236.21/236.39  Resetting weight limit to 19 after 8550 givens.
% 236.21/236.39  
% 236.21/236.43  
% 236.21/236.43  
% 236.21/236.43  Changing weight limit from 19 to 18.
% 236.21/236.43  
% 236.21/236.43  Resetting weight limit to 18 after 8555 givens.
% 236.21/236.43  
% 236.21/236.44  
% 236.21/236.44  
% 236.21/236.44  Changing weight limit from 18 to 19.
% 236.21/236.44  
% 236.21/236.44  Resetting weight limit to 19 after 8560 givens.
% 236.21/236.44  
% 236.30/236.48  
% 236.30/236.48  
% 236.30/236.48  Changing weight limit from 19 to 18.
% 236.30/236.48  
% 236.30/236.48  Resetting weight limit to 18 after 8565 givens.
% 236.30/236.48  
% 236.30/236.49  
% 236.30/236.49  
% 236.30/236.49  Changing weight limit from 18 to 19.
% 236.30/236.49  
% 236.30/236.49  Resetting weight limit to 19 after 8570 givens.
% 236.30/236.49  
% 236.79/237.01  
% 236.79/237.01  
% 236.79/237.01  Changing weight limit from 19 to 18.
% 236.79/237.01  
% 236.79/237.01  Resetting weight limit to 18 after 8630 givens.
% 236.79/237.01  
% 236.79/237.02  
% 236.79/237.02  
% 236.79/237.02  Changing weight limit from 18 to 19.
% 236.79/237.02  
% 236.79/237.02  Resetting weight limit to 19 after 8635 givens.
% 236.79/237.02  
% 236.98/237.19  
% 236.98/237.19  
% 236.98/237.19  Changing weight limit from 19 to 18.
% 236.98/237.19  
% 236.98/237.19  Resetting weight limit to 18 after 8650 givens.
% 236.98/237.19  
% 237.09/237.34  
% 237.09/237.34  
% 237.09/237.34  Changing weight limit from 18 to 19.
% 237.09/237.34  
% 237.09/237.34  Resetting weight limit to 19 after 8695 givens.
% 237.09/237.34  
% 237.18/237.38  
% 237.18/237.38  
% 237.18/237.38  Changing weight limit from 19 to 18.
% 237.18/237.38  
% 237.18/237.38  Resetting weight limit to 18 after 8700 givens.
% 237.18/237.38  
% 237.21/237.39  
% 237.21/237.39  
% 237.21/237.39  Changing weight limit from 18 to 19.
% 237.21/237.39  
% 237.21/237.39  Resetting weight limit to 19 after 8705 givens.
% 237.21/237.39  
% 237.21/237.43  
% 237.21/237.43  
% 237.21/237.43  Changing weight limit from 19 to 18.
% 237.21/237.43  
% 237.21/237.43  Resetting weight limit to 18 after 8710 givens.
% 237.21/237.43  
% 237.27/237.45  
% 237.27/237.45  
% 237.27/237.45  Changing weight limit from 18 to 19.
% 237.27/237.45  
% 237.27/237.45  Resetting weight limit to 19 after 8715 givens.
% 237.27/237.45  
% 237.28/237.48  
% 237.28/237.48  
% 237.28/237.48  Changing weight limit from 19 to 18.
% 237.28/237.48  
% 237.28/237.48  Resetting weight limit to 18 after 8720 givens.
% 237.28/237.48  
% 237.28/237.50  
% 237.28/237.50  
% 237.28/237.50  Changing weight limit from 18 to 19.
% 237.28/237.50  
% 237.28/237.50  Resetting weight limit to 19 after 8725 givens.
% 237.28/237.50  
% 237.69/237.88  
% 237.69/237.88  
% 237.69/237.88  Changing weight limit from 19 to 18.
% 237.69/237.88  
% 237.69/237.88  Resetting weight limit to 18 after 8770 givens.
% 237.69/237.88  
% 237.69/237.90  
% 237.69/237.90  
% 237.69/237.90  Changing weight limit from 18 to 19.
% 237.69/237.90  
% 237.69/237.90  Resetting weight limit to 19 after 8775 givens.
% 237.69/237.90  
% 241.83/242.02  
% 241.83/242.02  
% 241.83/242.02  Changing weight limit from 19 to 20.
% 241.83/242.02  
% 241.83/242.02  Resetting weight limit to 20 after 9285 givens.
% 241.83/242.02  
% 250.64/250.81  
% 250.64/250.81  
% 250.64/250.81  Changing weight limit from 20 to 21.
% 250.64/250.81  
% 250.64/250.81  Resetting weight limit to 21 after 10300 givens.
% 250.64/250.81  
% 251.86/252.08  
% 251.86/252.08  
% 251.86/252.08  Changing weight limit from 21 to 20.
% 251.86/252.08  
% 251.86/252.08  Resetting weight limit to 20 after 10435 givens.
% 251.86/252.08  
% 251.86/252.09  
% 251.86/252.09  
% 251.86/252.09  Changing weight limit from 20 to 21.
% 251.86/252.09  
% 251.86/252.09  Resetting weight limit to 21 after 10440 givens.
% 251.86/252.09  
% 252.00/252.18  
% 252.00/252.18  
% 252.00/252.18  Changing weight limit from 21 to 20.
% 252.00/252.18  
% 252.00/252.18  Resetting weight limit to 20 after 10445 givens.
% 252.00/252.18  
% 253.89/254.09  
% 253.89/254.09  
% 253.89/254.09  Changing weight limit from 20 to 21.
% 253.89/254.09  
% 253.89/254.09  Resetting weight limit to 21 after 10875 givens.
% 253.89/254.09  
% 253.98/254.17  
% 253.98/254.17  
% 253.98/254.17  Changing weight limit from 21 to 20.
% 253.98/254.17  
% 253.98/254.17  Resetting weight limit to 20 after 10880 givens.
% 253.98/254.17  
% 253.98/254.18  
% 253.98/254.18  
% 253.98/254.18  Changing weight limit from 20 to 21.
% 253.98/254.18  
% 253.98/254.18  Resetting weight limit to 21 after 10885 givens.
% 253.98/254.18  
% 254.04/254.26  
% 254.04/254.26  
% 254.04/254.26  Changing weight limit from 21 to 20.
% 254.04/254.26  
% 254.04/254.26  Resetting weight limit to 20 after 10890 givens.
% 254.04/254.26  
% 254.10/254.32  
% 254.10/254.32  
% 254.10/254.32  Changing weight limit from 20 to 21.
% 254.10/254.32  
% 254.10/254.32  Resetting weight limit to 21 after 10905 givens.
% 254.10/254.32  
% 254.49/254.68  
% 254.49/254.68  
% 254.49/254.68  Changing weight limit from 21 to 22.
% 254.49/254.68  
% 254.49/254.68  Resetting weight limit to 22 after 10950 givens.
% 254.49/254.68  
% 254.55/254.74  
% 254.55/254.74  
% 254.55/254.74  Changing weight limit from 22 to 21.
% 254.55/254.74  
% 254.55/254.74  Resetting weight limit to 21 after 10955 givens.
% 254.55/254.74  
% 254.59/254.75  
% 254.59/254.75  
% 254.59/254.75  Changing weight limit from 21 to 22.
% 254.59/254.75  
% 254.59/254.75  Resetting weight limit to 22 after 10960 givens.
% 254.59/254.75  
% 254.59/254.82  
% 254.59/254.82  
% 254.59/254.82  Changing weight limit from 22 to 20.
% 254.59/254.82  
% 254.59/254.82  Resetting weight limit to 20 after 10965 givens.
% 254.59/254.82  
% 254.59/254.83  
% 254.59/254.83  
% 254.59/254.83  Changing weight limit from 20 to 21.
% 254.59/254.83  
% 254.59/254.83  Resetting weight limit to 21 after 10970 givens.
% 254.59/254.83  
% 254.68/254.85  
% 254.68/254.85  
% 254.68/254.85  Changing weight limit from 21 to 22.
% 254.68/254.85  
% 254.68/254.85  Resetting weight limit to 22 after 10975 givens.
% 254.68/254.85  
% 254.73/254.91  
% 254.73/254.91  
% 254.73/254.91  Changing weight limit from 22 to 20.
% 254.73/254.91  
% 254.73/254.91  Resetting weight limit to 20 after 10980 givens.
% 254.73/254.91  
% 254.73/254.93  
% 254.73/254.93  
% 254.73/254.93  Changing weight limit from 20 to 21.
% 254.73/254.93  
% 254.73/254.93  Resetting weight limit to 21 after 10985 givens.
% 254.73/254.93  
% 254.73/254.94  
% 254.73/254.94  
% 254.73/254.94  Changing weight limit from 21 to 22.
% 254.73/254.94  
% 254.73/254.94  Resetting weight limit to 22 after 10990 givens.
% 254.73/254.94  
% 254.81/255.00  
% 254.81/255.00  
% 254.81/255.00  Changing weight limit from 22 to 20.
% 254.81/255.00  
% 254.81/255.00  Resetting weight limit to 20 after 10995 givens.
% 254.81/255.00  
% 254.86/255.02  
% 254.86/255.02  
% 254.86/255.02  Changing weight limit from 20 to 21.
% 254.86/255.02  
% 254.86/255.02  Resetting weight limit to 21 after 11000 givens.
% 254.86/255.02  
% 254.86/255.03  
% 254.86/255.03  
% 254.86/255.03  Changing weight limit from 21 to 22.
% 254.86/255.03  
% 254.86/255.03  Resetting weight limit to 22 after 11005 givens.
% 254.86/255.03  
% 254.89/255.10  
% 254.89/255.10  
% 254.89/255.10  Changing weight limit from 22 to 20.
% 254.89/255.10  
% 254.89/255.10  Resetting weight limit to 20 after 11010 givens.
% 254.89/255.10  
% 254.89/255.12  
% 254.89/255.12  
% 254.89/255.12  Changing weight limit from 20 to 21.
% 254.89/255.12  
% 254.89/255.12  Resetting weight limit to 21 after 11015 givens.
% 254.89/255.12  
% 254.97/255.14  
% 254.97/255.14  
% 254.97/255.14  Changing weight limit from 21 to 22.
% 254.97/255.14  
% 254.97/255.14  Resetting weight limit to 22 after 11020 givens.
% 254.97/255.14  
% 255.01/255.21  
% 255.01/255.21  
% 255.01/255.21  Changing weight limit from 22 to 20.
% 255.01/255.21  
% 255.01/255.21  Resetting weight limit to 20 after 11025 givens.
% 255.01/255.21  
% 255.01/255.23  
% 255.01/255.23  
% 255.01/255.23  Changing weight limit from 20 to 21.
% 255.01/255.23  
% 255.01/255.23  Resetting weight limit to 21 after 11030 givens.
% 255.01/255.23  
% 255.09/255.25  
% 255.09/255.25  
% 255.09/255.25  Changing weight limit from 21 to 22.
% 255.09/255.25  
% 255.09/255.25  Resetting weight limit to 22 after 11035 givens.
% 255.09/255.25  
% 255.16/255.33  
% 255.16/255.33  
% 255.16/255.33  Changing weight limit from 22 to 20.
% 255.16/255.33  
% 255.16/255.33  Resetting weight limit to 20 after 11040 givens.
% 255.16/255.33  
% 255.19/255.35  
% 255.19/255.35  
% 255.19/255.35  Changing weight limit from 20 to 21.
% 255.19/255.35  
% 255.19/255.35  Resetting weight limit to 21 after 11045 givens.
% 255.19/255.35  
% 255.19/255.37  
% 255.19/255.37  
% 255.19/255.37  Changing weight limit from 21 to 22.
% 255.19/255.37  
% 255.19/255.37  Resetting weight limit to 22 after 11050 givens.
% 255.19/255.37  
% 255.27/255.43  
% 255.27/255.43  
% 255.27/255.43  Changing weight limit from 22 to 20.
% 255.27/255.43  
% 255.27/255.43  Resetting weight limit to 20 after 11055 givens.
% 255.27/255.43  
% 255.27/255.44  
% 255.27/255.44  
% 255.27/255.44  Changing weight limit from 20 to 21.
% 255.27/255.44  
% 255.27/255.44  Resetting weight limit to 21 after 11060 givens.
% 255.27/255.44  
% 255.27/255.46  
% 255.27/255.46  
% 255.27/255.46  Changing weight limit from 21 to 22.
% 255.27/255.46  
% 255.27/255.46  Resetting weight limit to 22 after 11065 givens.
% 255.27/255.46  
% 255.33/255.52  
% 255.33/255.52  
% 255.33/255.52  Changing weight limit from 22 to 20.
% 255.33/255.52  
% 255.33/255.52  Resetting weight limit to 20 after 11070 givens.
% 255.33/255.52  
% 255.33/255.54  
% 255.33/255.54  
% 255.33/255.54  Changing weight limit from 20 to 21.
% 255.33/255.54  
% 255.33/255.54  Resetting weight limit to 21 after 11075 givens.
% 255.33/255.54  
% 255.33/255.55  
% 255.33/255.55  
% 255.33/255.55  Changing weight limit from 21 to 22.
% 255.33/255.55  
% 255.33/255.55  Resetting weight limit to 22 after 11080 givens.
% 255.33/255.55  
% 255.42/255.62  
% 255.42/255.62  
% 255.42/255.62  Changing weight limit from 22 to 20.
% 255.42/255.62  
% 255.42/255.62  Resetting weight limit to 20 after 11085 givens.
% 255.42/255.62  
% 255.46/255.63  
% 255.46/255.63  
% 255.46/255.63  Changing weight limit from 20 to 21.
% 255.46/255.63  
% 255.46/255.63  Resetting weight limit to 21 after 11090 givens.
% 255.46/255.63  
% 255.47/255.64  
% 255.47/255.64  
% 255.47/255.64  Changing weight limit from 21 to 22.
% 255.47/255.64  
% 255.47/255.64  Resetting weight limit to 22 after 11095 givens.
% 255.47/255.64  
% 255.47/255.69  
% 255.47/255.69  
% 255.47/255.69  Changing weight limit from 22 to 20.
% 255.47/255.69  
% 255.47/255.69  Resetting weight limit to 20 after 11100 givens.
% 255.47/255.69  
% 255.47/255.70  
% 255.47/255.70  
% 255.47/255.70  Changing weight limit from 20 to 21.
% 255.47/255.70  
% 255.47/255.70  Resetting weight limit to 21 after 11105 givens.
% 255.47/255.70  
% 255.55/255.71  
% 255.55/255.71  
% 255.55/255.71  Changing weight limit from 21 to 22.
% 255.55/255.71  
% 255.55/255.71  Resetting weight limit to 22 after 11110 givens.
% 255.55/255.71  
% 255.55/255.76  
% 255.55/255.76  
% 255.55/255.76  Changing weight limit from 22 to 20.
% 255.55/255.76  
% 255.55/255.76  Resetting weight limit to 20 after 11115 givens.
% 255.55/255.76  
% 255.55/255.77  
% 255.55/255.77  
% 255.55/255.77  Changing weight limit from 20 to 21.
% 255.55/255.77  
% 255.55/255.77  Resetting weight limit to 21 after 11120 givens.
% 255.55/255.77  
% 255.61/255.79  
% 255.61/255.79  
% 255.61/255.79  Changing weight limit from 21 to 22.
% 255.61/255.79  
% 255.61/255.79  Resetting weight limit to 22 after 11125 givens.
% 255.61/255.79  
% 255.61/255.85  
% 255.61/255.85  
% 255.61/255.85  Changing weight limit from 22 to 20.
% 255.61/255.85  
% 255.61/255.85  Resetting weight limit to 20 after 11130 givens.
% 255.61/255.85  
% 255.70/255.86  
% 255.70/255.86  
% 255.70/255.86  Changing weight limit from 20 to 21.
% 255.70/255.86  
% 255.70/255.86  Resetting weight limit to 21 after 11135 givens.
% 255.70/255.86  
% 255.70/255.88  
% 255.70/255.88  
% 255.70/255.88  Changing weight limit from 21 to 22.
% 255.70/255.88  
% 255.70/255.88  Resetting weight limit to 22 after 11140 givens.
% 255.70/255.88  
% 255.77/255.94  
% 255.77/255.94  
% 255.77/255.94  Changing weight limit from 22 to 20.
% 255.77/255.94  
% 255.77/255.94  Resetting weight limit to 20 after 11145 givens.
% 255.77/255.94  
% 255.77/255.96  
% 255.77/255.96  
% 255.77/255.96  Changing weight limit from 20 to 21.
% 255.77/255.96  
% 255.77/255.96  Resetting weight limit to 21 after 11150 givens.
% 255.77/255.96  
% 255.77/255.97  
% 255.77/255.97  
% 255.77/255.97  Changing weight limit from 21 to 22.
% 255.77/255.97  
% 255.77/255.97  Resetting weight limit to 22 after 11155 givens.
% 255.77/255.97  
% 255.86/256.04  
% 255.86/256.04  
% 255.86/256.04  Changing weight limit from 22 to 20.
% 255.86/256.04  
% 255.86/256.04  Resetting weight limit to 20 after 11160 givens.
% 255.86/256.04  
% 255.86/256.05  
% 255.86/256.05  
% 255.86/256.05  Changing weight limit from 20 to 21.
% 255.86/256.05  
% 255.86/256.05  Resetting weight limit to 21 after 11165 givens.
% 255.86/256.05  
% 255.86/256.06  
% 255.86/256.06  
% 255.86/256.06  Changing weight limit from 21 to 22.
% 255.86/256.06  
% 255.86/256.06  Resetting weight limit to 22 after 11170 givens.
% 255.86/256.06  
% 255.93/256.11  
% 255.93/256.11  
% 255.93/256.11  Changing weight limit from 22 to 20.
% 255.93/256.11  
% 255.93/256.11  Resetting weight limit to 20 after 11175 givens.
% 255.93/256.11  
% 255.93/256.12  
% 255.93/256.12  
% 255.93/256.12  Changing weight limit from 20 to 21.
% 255.93/256.12  
% 255.93/256.12  Resetting weight limit to 21 after 11180 givens.
% 255.93/256.12  
% 255.93/256.13  
% 255.93/256.13  
% 255.93/256.13  Changing weight limit from 21 to 22.
% 255.93/256.13  
% 255.93/256.13  Resetting weight limit to 22 after 11185 givens.
% 255.93/256.13  
% 256.02/256.20  
% 256.02/256.20  
% 256.02/256.20  Changing weight limit from 22 to 20.
% 256.02/256.20  
% 256.02/256.20  Resetting weight limit to 20 after 11190 givens.
% 256.02/256.20  
% 256.05/256.21  
% 256.05/256.21  
% 256.05/256.21  Changing weight limit from 20 to 21.
% 256.05/256.21  
% 256.05/256.21  Resetting weight limit to 21 after 11195 givens.
% 256.05/256.21  
% 256.06/256.23  
% 256.06/256.23  
% 256.06/256.23  Changing weight limit from 21 to 22.
% 256.06/256.23  
% 256.06/256.23  Resetting weight limit to 22 after 11200 givens.
% 256.06/256.23  
% 256.06/256.29  
% 256.06/256.29  
% 256.06/256.29  Changing weight limit from 22 to 20.
% 256.06/256.29  
% 256.06/256.29  Resetting weight limit to 20 after 11205 givens.
% 256.06/256.29  
% 256.06/256.31  
% 256.06/256.31  
% 256.06/256.31  Changing weight limit from 20 to 21.
% 256.06/256.31  
% 256.06/256.31  Resetting weight limit to 21 after 11210 givens.
% 256.06/256.31  
% 256.15/256.32  
% 256.15/256.32  
% 256.15/256.32  Changing weight limit from 21 to 22.
% 256.15/256.32  
% 256.15/256.32  Resetting weight limit to 22 after 11215 givens.
% 256.15/256.32  
% 256.23/256.39  
% 256.23/256.39  
% 256.23/256.39  Changing weight limit from 22 to 20.
% 256.23/256.39  
% 256.23/256.39  Resetting weight limit to 20 after 11220 givens.
% 256.23/256.39  
% 256.23/256.40  
% 256.23/256.40  
% 256.23/256.40  Changing weight limit from 20 to 21.
% 256.23/256.40  
% 256.23/256.40  Resetting weight limit to 21 after 11225 givens.
% 256.23/256.40  
% 256.23/256.41  
% 256.23/256.41  
% 256.23/256.41  Changing weight limit from 21 to 22.
% 256.23/256.41  
% 256.23/256.41  Resetting weight limit to 22 after 11230 givens.
% 256.23/256.41  
% 256.23/256.46  
% 256.23/256.46  
% 256.23/256.46  Changing weight limit from 22 to 20.
% 256.23/256.46  
% 256.23/256.46  Resetting weight limit to 20 after 11235 givens.
% 256.23/256.46  
% 256.31/256.47  
% 256.31/256.47  
% 256.31/256.47  Changing weight limit from 20 to 21.
% 256.31/256.47  
% 256.31/256.47  Resetting weight limit to 21 after 11240 givens.
% 256.31/256.47  
% 256.32/256.49  
% 256.32/256.49  
% 256.32/256.49  Changing weight limit from 21 to 22.
% 256.32/256.49  
% 256.32/256.49  Resetting weight limit to 22 after 11245 givens.
% 256.32/256.49  
% 256.37/256.55  
% 256.37/256.55  
% 256.37/256.55  Changing weight limit from 22 to 20.
% 256.37/256.55  
% 256.37/256.55  Resetting weight limit to 20 after 11250 givens.
% 256.37/256.55  
% 256.37/256.57  
% 256.37/256.57  
% 256.37/256.57  Changing weight limit from 20 to 21.
% 256.37/256.57  
% 256.37/256.57  Resetting weight limit to 21 after 11255 givens.
% 256.37/256.57  
% 256.37/256.58  
% 256.37/256.58  
% 256.37/256.58  Changing weight limit from 21 to 22.
% 256.37/256.58  
% 256.37/256.58  Resetting weight limit to 22 after 11260 givens.
% 256.37/256.58  
% 256.47/256.65  
% 256.47/256.65  
% 256.47/256.65  Changing weight limit from 22 to 20.
% 256.47/256.65  
% 256.47/256.65  Resetting weight limit to 20 after 11265 givens.
% 256.47/256.65  
% 256.47/256.66  
% 256.47/256.66  
% 256.47/256.66  Changing weight limit from 20 to 21.
% 256.47/256.66  
% 256.47/256.66  Resetting weight limit to 21 after 11270 givens.
% 256.47/256.66  
% 256.47/256.68  
% 256.47/256.68  
% 256.47/256.68  Changing weight limit from 21 to 22.
% 256.47/256.68  
% 256.47/256.68  Resetting weight limit to 22 after 11275 givens.
% 256.47/256.68  
% 256.54/256.74  
% 256.54/256.74  
% 256.54/256.74  Changing weight limit from 22 to 20.
% 256.54/256.74  
% 256.54/256.74  Resetting weight limit to 20 after 11280 givens.
% 256.54/256.74  
% 256.54/256.75  
% 256.54/256.75  
% 256.54/256.75  Changing weight limit from 20 to 21.
% 256.54/256.75  
% 256.54/256.75  Resetting weight limit to 21 after 11285 givens.
% 256.54/256.75  
% 256.54/256.77  
% 256.54/256.77  
% 256.54/256.77  Changing weight limit from 21 to 22.
% 256.54/256.77  
% 256.54/256.77  Resetting weight limit to 22 after 11290 givens.
% 256.54/256.77  
% 256.61/256.81  
% 256.61/256.81  
% 256.61/256.81  Changing weight limit from 22 to 20.
% 256.61/256.81  
% 256.61/256.81  Resetting weight limit to 20 after 11295 givens.
% 256.61/256.81  
% 256.61/256.83  
% 256.61/256.83  
% 256.61/256.83  Changing weight limit from 20 to 21.
% 256.61/256.83  
% 256.61/256.83  Resetting weight limit to 21 after 11300 givens.
% 256.61/256.83  
% 256.61/256.84  
% 256.61/256.84  
% 256.61/256.84  Changing weight limit from 21 to 22.
% 256.61/256.84  
% 256.61/256.84  Resetting weight limit to 22 after 11305 givens.
% 256.61/256.84  
% 256.73/256.90  
% 256.73/256.90  
% 256.73/256.90  Changing weight limit from 22 to 20.
% 256.73/256.90  
% 256.73/256.90  Resetting weight limit to 20 after 11310 givens.
% 256.73/256.90  
% 256.76/256.92  
% 256.76/256.92  
% 256.76/256.92  Changing weight limit from 20 to 21.
% 256.76/256.92  
% 256.76/256.92  Resetting weight limit to 21 after 11315 givens.
% 256.76/256.92  
% 256.77/256.94  
% 256.77/256.94  
% 256.77/256.94  Changing weight limit from 21 to 22.
% 256.77/256.94  
% 256.77/256.94  Resetting weight limit to 22 after 11320 givens.
% 256.77/256.94  
% 256.77/257.00  
% 256.77/257.00  
% 256.77/257.00  Changing weight limit from 22 to 20.
% 256.77/257.00  
% 256.77/257.00  Resetting weight limit to 20 after 11325 givens.
% 256.77/257.00  
% 256.84/257.02  
% 256.84/257.02  
% 256.84/257.02  Changing weight limit from 20 to 21.
% 256.84/257.02  
% 256.84/257.02  Resetting weight limit to 21 after 11330 givens.
% 256.84/257.02  
% 256.84/257.03  
% 256.84/257.03  
% 256.84/257.03  Changing weight limit from 21 to 22.
% 256.84/257.03  
% 256.84/257.03  Resetting weight limit to 22 after 11335 givens.
% 256.84/257.03  
% 256.91/257.10  
% 256.91/257.10  
% 256.91/257.10  Changing weight limit from 22 to 20.
% 256.91/257.10  
% 256.91/257.10  Resetting weight limit to 20 after 11340 givens.
% 256.91/257.10  
% 256.91/257.11  
% 256.91/257.11  
% 256.91/257.11  Changing weight limit from 20 to 21.
% 256.91/257.11  
% 256.91/257.11  Resetting weight limit to 21 after 11345 givens.
% 256.91/257.11  
% 256.91/257.12  
% 256.91/257.12  
% 256.91/257.12  Changing weight limit from 21 to 22.
% 256.91/257.12  
% 256.91/257.12  Resetting weight limit to 22 after 11350 givens.
% 256.91/257.12  
% 257.01/257.17  
% 257.01/257.17  
% 257.01/257.17  Changing weight limit from 22 to 20.
% 257.01/257.17  
% 257.01/257.17  Resetting weight limit to 20 after 11355 givens.
% 257.01/257.17  
% 257.01/257.18  
% 257.01/257.18  
% 257.01/257.18  Changing weight limit from 20 to 21.
% 257.01/257.18  
% 257.01/257.18  Resetting weight limit to 21 after 11360 givens.
% 257.01/257.18  
% 257.01/257.19  
% 257.01/257.19  
% 257.01/257.19  Changing weight limit from 21 to 22.
% 257.01/257.19  
% 257.01/257.19  Resetting weight limit to 22 after 11365 givens.
% 257.01/257.19  
% 257.08/257.26  
% 257.08/257.26  
% 257.08/257.26  Changing weight limit from 22 to 20.
% 257.08/257.26  
% 257.08/257.26  Resetting weight limit to 20 after 11370 givens.
% 257.08/257.26  
% 257.08/257.28  
% 257.08/257.28  
% 257.08/257.28  Changing weight limit from 20 to 21.
% 257.08/257.28  
% 257.08/257.28  Resetting weight limit to 21 after 11375 givens.
% 257.08/257.28  
% 257.08/257.29  
% 257.08/257.29  
% 257.08/257.29  Changing weight limit from 21 to 22.
% 257.08/257.29  
% 257.08/257.29  Resetting weight limit to 22 after 11380 givens.
% 257.08/257.29  
% 257.14/257.36  
% 257.14/257.36  
% 257.14/257.36  Changing weight limit from 22 to 20.
% 257.14/257.36  
% 257.14/257.36  Resetting weight limit to 20 after 11385 givens.
% 257.14/257.36  
% 257.20/257.37  
% 257.20/257.37  
% 257.20/257.37  Changing weight limit from 20 to 21.
% 257.20/257.37  
% 257.20/257.37  Resetting weight limit to 21 after 11390 givens.
% 257.20/257.37  
% 257.20/257.39  
% 257.20/257.39  
% 257.20/257.39  Changing weight limit from 21 to 22.
% 257.20/257.39  
% 257.20/257.39  Resetting weight limit to 22 after 11395 givens.
% 257.20/257.39  
% 257.29/257.45  
% 257.29/257.45  
% 257.29/257.45  Changing weight limit from 22 to 20.
% 257.29/257.45  
% 257.29/257.45  Resetting weight limit to 20 after 11400 givens.
% 257.29/257.45  
% 257.29/257.47  
% 257.29/257.47  
% 257.29/257.47  Changing weight limit from 20 to 21.
% 257.29/257.47  
% 257.29/257.47  Resetting weight limit to 21 after 11405 givens.
% 257.29/257.47  
% 257.29/257.48  
% 257.29/257.48  
% 257.29/257.48  Changing weight limit from 21 to 22.
% 257.29/257.48  
% 257.29/257.48  Resetting weight limit to 22 after 11410 givens.
% 257.29/257.48  
% 257.33/257.53  
% 257.33/257.53  
% 257.33/257.53  Changing weight limit from 22 to 20.
% 257.33/257.53  
% 257.33/257.53  Resetting weight limit to 20 after 11415 givens.
% 257.33/257.53  
% 257.38/257.54  
% 257.38/257.54  
% 257.38/257.54  Changing weight limit from 20 to 21.
% 257.38/257.54  
% 257.38/257.54  Resetting weight limit to 21 after 11420 givens.
% 257.38/257.54  
% 257.38/257.55  
% 257.38/257.55  
% 257.38/257.55  Changing weight limit from 21 to 22.
% 257.38/257.55  
% 257.38/257.55  Resetting weight limit to 22 after 11425 givens.
% 257.38/257.55  
% 257.38/257.60  
% 257.38/257.60  
% 257.38/257.60  Changing weight limit from 22 to 20.
% 257.38/257.60  
% 257.38/257.60  Resetting weight limit to 20 after 11430 givens.
% 257.38/257.60  
% 257.44/257.61  
% 257.44/257.61  
% 257.44/257.61  Changing weight limit from 20 to 21.
% 257.44/257.61  
% 257.44/257.61  Resetting weight limit to 21 after 11435 givens.
% 257.44/257.61  
% 257.44/257.63  
% 257.44/257.63  
% 257.44/257.63  Changing weight limit from 21 to 22.
% 257.44/257.63  
% 257.44/257.63  Resetting weight limit to 22 after 11440 givens.
% 257.44/257.63  
% 257.50/257.69  
% 257.50/257.69  
% 257.50/257.69  Changing weight limit from 22 to 20.
% 257.50/257.69  
% 257.50/257.69  Resetting weight limit to 20 after 11445 givens.
% 257.50/257.69  
% 257.50/257.71  
% 257.50/257.71  
% 257.50/257.71  Changing weight limit from 20 to 21.
% 257.50/257.71  
% 257.50/257.71  Resetting weight limit to 21 after 11450 givens.
% 257.50/257.71  
% 257.50/257.73  
% 257.50/257.73  
% 257.50/257.73  Changing weight limit from 21 to 22.
% 257.50/257.73  
% 257.50/257.73  Resetting weight limit to 22 after 11455 givens.
% 257.50/257.73  
% 257.60/257.79  
% 257.60/257.79  
% 257.60/257.79  Changing weight limit from 22 to 20.
% 257.60/257.79  
% 257.60/257.79  Resetting weight limit to 20 after 11460 givens.
% 257.60/257.79  
% 257.64/257.81  
% 257.64/257.81  
% 257.64/257.81  Changing weight limit from 20 to 21.
% 257.64/257.81  
% 257.64/257.81  Resetting weight limit to 21 after 11465 givens.
% 257.64/257.81  
% 257.64/257.82  
% 257.64/257.82  
% 257.64/257.82  Changing weight limit from 21 to 22.
% 257.64/257.82  
% 257.64/257.82  Resetting weight limit to 22 after 11470 givens.
% 257.64/257.82  
% 257.69/257.87  
% 257.69/257.87  
% 257.69/257.87  Changing weight limit from 22 to 20.
% 257.69/257.87  
% 257.69/257.87  Resetting weight limit to 20 after 11475 givens.
% 257.69/257.87  
% 257.69/257.88  
% 257.69/257.88  
% 257.69/257.88  Changing weight limit from 20 to 21.
% 257.69/257.88  
% 257.69/257.88  Resetting weight limit to 21 after 11480 givens.
% 257.69/257.88  
% 257.69/257.90  
% 257.69/257.90  
% 257.69/257.90  Changing weight limit from 21 to 22.
% 257.69/257.90  
% 257.69/257.90  Resetting weight limit to 22 after 11485 givens.
% 257.69/257.90  
% 257.78/257.95  
% 257.78/257.95  
% 257.78/257.95  Changing weight limit from 22 to 20.
% 257.78/257.95  
% 257.78/257.95  Resetting weight limit to 20 after 11490 givens.
% 257.78/257.95  
% 257.78/257.96  
% 257.78/257.96  
% 257.78/257.96  Changing weight limit from 20 to 21.
% 257.78/257.96  
% 257.78/257.96  Resetting weight limit to 21 after 11495 givens.
% 257.78/257.96  
% 257.78/257.97  
% 257.78/257.97  
% 257.78/257.97  Changing weight limit from 21 to 22.
% 257.78/257.97  
% 257.78/257.97  Resetting weight limit to 22 after 11500 givens.
% 257.78/257.97  
% 257.83/258.04  
% 257.83/258.04  
% 257.83/258.04  Changing weight limit from 22 to 20.
% 257.83/258.04  
% 257.83/258.04  Resetting weight limit to 20 after 11505 givens.
% 257.83/258.04  
% 257.89/258.05  
% 257.89/258.05  
% 257.89/258.05  Changing weight limit from 20 to 21.
% 257.89/258.05  
% 257.89/258.05  Resetting weight limit to 21 after 11510 givens.
% 257.89/258.05  
% 257.89/258.07  
% 257.89/258.07  
% 257.89/258.07  Changing weight limit from 21 to 22.
% 257.89/258.07  
% 257.89/258.07  Resetting weight limit to 22 after 11515 givens.
% 257.89/258.07  
% 257.94/258.13  
% 257.94/258.13  
% 257.94/258.13  Changing weight limit from 22 to 20.
% 257.94/258.13  
% 257.94/258.13  Resetting weight limit to 20 after 11520 givens.
% 257.94/258.13  
% 257.99/258.15  
% 257.99/258.15  
% 257.99/258.15  Changing weight limit from 20 to 21.
% 257.99/258.15  
% 257.99/258.15  Resetting weight limit to 21 after 11525 givens.
% 257.99/258.15  
% 257.99/258.16  
% 257.99/258.16  
% 257.99/258.16  Changing weight limit from 21 to 22.
% 257.99/258.16  
% 257.99/258.16  Resetting weight limit to 22 after 11530 givens.
% 257.99/258.16  
% 257.99/258.23  
% 257.99/258.23  
% 257.99/258.23  Changing weight limit from 22 to 20.
% 257.99/258.23  
% 257.99/258.23  Resetting weight limit to 20 after 11535 givens.
% 257.99/258.23  
% 258.08/258.24  
% 258.08/258.24  
% 258.08/258.24  Changing weight limit from 20 to 21.
% 258.08/258.24  
% 258.08/258.24  Resetting weight limit to 21 after 11540 givens.
% 258.08/258.24  
% 258.08/258.26  
% 258.08/258.26  
% 258.08/258.26  Changing weight limit from 21 to 22.
% 258.08/258.26  
% 258.08/258.26  Resetting weight limit to 22 after 11545 givens.
% 258.08/258.26  
% 258.13/258.31  
% 258.13/258.31  
% 258.13/258.31  Changing weight limit from 22 to 20.
% 258.13/258.31  
% 258.13/258.31  Resetting weight limit to 20 after 11550 givens.
% 258.13/258.31  
% 258.13/258.32  
% 258.13/258.32  
% 258.13/258.32  Changing weight limit from 20 to 21.
% 258.13/258.32  
% 258.13/258.32  Resetting weight limit to 21 after 11555 givens.
% 258.13/258.32  
% 258.13/258.33  
% 258.13/258.33  
% 258.13/258.33  Changing weight limit from 21 to 22.
% 258.13/258.33  
% 258.13/258.33  Resetting weight limit to 22 after 11560 givens.
% 258.13/258.33  
% 258.21/258.38  
% 258.21/258.38  
% 258.21/258.38  Changing weight limit from 22 to 20.
% 258.21/258.38  
% 258.21/258.38  Resetting weight limit to 20 after 11565 givens.
% 258.21/258.38  
% 258.21/258.40  
% 258.21/258.40  
% 258.21/258.40  Changing weight limit from 20 to 21.
% 258.21/258.40  
% 258.21/258.40  Resetting weight limit to 21 after 11570 givens.
% 258.21/258.40  
% 258.21/258.41  
% 258.21/258.41  
% 258.21/258.41  Changing weight limit from 21 to 22.
% 258.21/258.41  
% 258.21/258.41  Resetting weight limit to 22 after 11575 givens.
% 258.21/258.41  
% 258.29/258.48  
% 258.29/258.48  
% 258.29/258.48  Changing weight limit from 22 to 20.
% 258.29/258.48  
% 258.29/258.48  Resetting weight limit to 20 after 11580 givens.
% 258.29/258.48  
% 258.29/258.49  
% 258.29/258.49  
% 258.29/258.49  Changing weight limit from 20 to 21.
% 258.29/258.49  
% 258.29/258.49  Resetting weight limit to 21 after 11585 givens.
% 258.29/258.49  
% 258.29/258.51  
% 258.29/258.51  
% 258.29/258.51  Changing weight limit from 21 to 22.
% 258.29/258.51  
% 258.29/258.51  Resetting weight limit to 22 after 11590 givens.
% 258.29/258.51  
% 258.36/258.57  
% 258.36/258.57  
% 258.36/258.57  Changing weight limit from 22 to 20.
% 258.36/258.57  
% 258.36/258.57  Resetting weight limit to 20 after 11595 givens.
% 258.36/258.57  
% 258.41/258.58  
% 258.41/258.58  
% 258.41/258.58  Changing weight limit from 20 to 21.
% 258.41/258.58  
% 258.41/258.58  Resetting weight limit to 21 after 11600 givens.
% 258.41/258.58  
% 258.41/258.60  
% 258.41/258.60  
% 258.41/258.60  Changing weight limit from 21 to 22.
% 258.41/258.60  
% 258.41/258.60  Resetting weight limit to 22 after 11605 givens.
% 258.41/258.60  
% 258.41/258.64  
% 258.41/258.64  
% 258.41/258.64  Changing weight limit from 22 to 20.
% 258.41/258.64  
% 258.41/258.64  Resetting weight limit to 20 after 11610 givens.
% 258.41/258.64  
% 258.48/258.66  
% 258.48/258.66  
% 258.48/258.66  Changing weight limit from 20 to 21.
% 258.48/258.66  
% 258.48/258.66  Resetting weight limit to 21 after 11615 givens.
% 258.48/258.66  
% 258.51/258.67  
% 258.51/258.67  
% 258.51/258.67  Changing weight limit from 21 to 22.
% 258.51/258.67  
% 258.51/258.67  Resetting weight limit to 22 after 11620 givens.
% 258.51/258.67  
% 258.51/258.72  
% 258.51/258.72  
% 258.51/258.72  Changing weight limit from 22 to 20.
% 258.51/258.72  
% 258.51/258.72  Resetting weight limit to 20 after 11625 givens.
% 258.51/258.72  
% 258.56/258.73  
% 258.56/258.73  
% 258.56/258.73  Changing weight limit from 20 to 21.
% 258.56/258.73  
% 258.56/258.73  Resetting weight limit to 21 after 11630 givens.
% 258.56/258.73  
% 258.56/258.74  
% 258.56/258.74  
% 258.56/258.74  Changing weight limit from 21 to 22.
% 258.56/258.74  
% 258.56/258.74  Resetting weight limit to 22 after 11635 givens.
% 258.56/258.74  
% 258.59/258.81  
% 258.59/258.81  
% 258.59/258.81  Changing weight limit from 22 to 20.
% 258.59/258.81  
% 258.59/258.81  Resetting weight limit to 20 after 11640 givens.
% 258.59/258.81  
% 258.59/258.82  
% 258.59/258.82  
% 258.59/258.82  Changing weight limit from 20 to 21.
% 258.59/258.82  
% 258.59/258.82  Resetting weight limit to 21 after 11645 givens.
% 258.59/258.82  
% 258.66/258.84  
% 258.66/258.84  
% 258.66/258.84  Changing weight limit from 21 to 22.
% 258.66/258.84  
% 258.66/258.84  Resetting weight limit to 22 after 11650 givens.
% 258.66/258.84  
% 258.72/258.90  
% 258.72/258.90  
% 258.72/258.90  Changing weight limit from 22 to 20.
% 258.72/258.90  
% 258.72/258.90  Resetting weight limit to 20 after 11655 givens.
% 258.72/258.90  
% 258.72/258.92  
% 258.72/258.92  
% 258.72/258.92  Changing weight limit from 20 to 21.
% 258.72/258.92  
% 258.72/258.92  Resetting weight limit to 21 after 11660 givens.
% 258.72/258.92  
% 258.72/258.94  
% 258.72/258.94  
% 258.72/258.94  Changing weight limit from 21 to 22.
% 258.72/258.94  
% 258.72/258.94  Resetting weight limit to 22 after 11665 givens.
% 258.72/258.94  
% 258.82/259.00  
% 258.82/259.00  
% 258.82/259.00  Changing weight limit from 22 to 20.
% 258.82/259.00  
% 258.82/259.00  Resetting weight limit to 20 after 11670 givens.
% 258.82/259.00  
% 258.82/259.02  
% 258.82/259.02  
% 258.82/259.02  Changing weight limit from 20 to 21.
% 258.82/259.02  
% 258.82/259.02  Resetting weight limit to 21 after 11675 givens.
% 258.82/259.02  
% 258.86/259.03  
% 258.86/259.03  
% 258.86/259.03  Changing weight limit from 21 to 22.
% 258.86/259.03  
% 258.86/259.03  Resetting weight limit to 22 after 11680 givens.
% 258.86/259.03  
% 258.87/259.10  
% 258.87/259.10  
% 258.87/259.10  Changing weight limit from 22 to 20.
% 258.87/259.10  
% 258.87/259.10  Resetting weight limit to 20 after 11685 givens.
% 258.87/259.10  
% 258.87/259.11  
% 258.87/259.11  
% 258.87/259.11  Changing weight limit from 20 to 21.
% 258.87/259.11  
% 258.87/259.11  Resetting weight limit to 21 after 11690 givens.
% 258.87/259.11  
% 258.95/259.13  
% 258.95/259.13  
% 258.95/259.13  Changing weight limit from 21 to 22.
% 258.95/259.13  
% 258.95/259.13  Resetting weight limit to 22 after 11695 givens.
% 258.95/259.13  
% 259.01/259.19  
% 259.01/259.19  
% 259.01/259.19  Changing weight limit from 22 to 20.
% 259.01/259.19  
% 259.01/259.19  Resetting weight limit to 20 after 11700 givens.
% 259.01/259.19  
% 259.01/259.20  
% 259.01/259.20  
% 259.01/259.20  Changing weight limit from 20 to 21.
% 259.01/259.20  
% 259.01/259.20  Resetting weight limit to 21 after 11705 givens.
% 259.01/259.20  
% 259.01/259.22  
% 259.01/259.22  
% 259.01/259.22  Changing weight limit from 21 to 22.
% 259.01/259.22  
% 259.01/259.22  Resetting weight limit to 22 after 11710 givens.
% 259.01/259.22  
% 259.10/259.26  
% 259.10/259.26  
% 259.10/259.26  Changing weight limit from 22 to 20.
% 259.10/259.26  
% 259.10/259.26  Resetting weight limit to 20 after 11715 givens.
% 259.10/259.26  
% 259.10/259.28  
% 259.10/259.28  
% 259.10/259.28  Changing weight limit from 20 to 21.
% 259.10/259.28  
% 259.10/259.28  Resetting weight limit to 21 after 11720 givens.
% 259.10/259.28  
% 259.12/259.29  
% 259.12/259.29  
% 259.12/259.29  Changing weight limit from 21 to 22.
% 259.12/259.29  
% 259.12/259.29  Resetting weight limit to 22 after 11725 givens.
% 259.12/259.29  
% 259.17/259.35  
% 259.17/259.35  
% 259.17/259.35  Changing weight limit from 22 to 20.
% 259.17/259.35  
% 259.17/259.35  Resetting weight limit to 20 after 11730 givens.
% 259.17/259.35  
% 259.17/259.37  
% 259.17/259.37  
% 259.17/259.37  Changing weight limit from 20 to 21.
% 259.17/259.37  
% 259.17/259.37  Resetting weight limit to 21 after 11735 givens.
% 259.17/259.37  
% 259.17/259.38  
% 259.17/259.38  
% 259.17/259.38  Changing weight limit from 21 to 22.
% 259.17/259.38  
% 259.17/259.38  Resetting weight limit to 22 after 11740 givens.
% 259.17/259.38  
% 259.26/259.45  
% 259.26/259.45  
% 259.26/259.45  Changing weight limit from 22 to 20.
% 259.26/259.45  
% 259.26/259.45  Resetting weight limit to 20 after 11745 givens.
% 259.26/259.45  
% 259.26/259.47  
% 259.26/259.47  
% 259.26/259.47  Changing weight limit from 20 to 21.
% 259.26/259.47  
% 259.26/259.47  Resetting weight limit to 21 after 11750 givens.
% 259.26/259.47  
% 259.26/259.48  
% 259.26/259.48  
% 259.26/259.48  Changing weight limit from 21 to 22.
% 259.26/259.48  
% 259.26/259.48  Resetting weight limit to 22 after 11755 givens.
% 259.26/259.48  
% 259.33/259.55  
% 259.33/259.55  
% 259.33/259.55  Changing weight limit from 22 to 20.
% 259.33/259.55  
% 259.33/259.55  Resetting weight limit to 20 after 11760 givens.
% 259.33/259.55  
% 259.33/259.56  
% 259.33/259.56  
% 259.33/259.56  Changing weight limit from 20 to 21.
% 259.33/259.56  
% 259.33/259.56  Resetting weight limit to 21 after 11765 givens.
% 259.33/259.56  
% 259.41/259.57  
% 259.41/259.57  
% 259.41/259.57  Changing weight limit from 21 to 22.
% 259.41/259.57  
% 259.41/259.57  Resetting weight limit to 22 after 11770 givens.
% 259.41/259.57  
% 259.46/259.62  
% 259.46/259.62  
% 259.46/259.62  Changing weight limit from 22 to 20.
% 259.46/259.62  
% 259.46/259.62  Resetting weight limit to 20 after 11775 givens.
% 259.46/259.62  
% 259.46/259.63  
% 259.46/259.63  
% 259.46/259.63  Changing weight limit from 20 to 21.
% 259.46/259.63  
% 259.46/259.63  Resetting weight limit to 21 after 11780 givens.
% 259.46/259.63  
% 259.46/259.65  
% 259.46/259.65  
% 259.46/259.65  Changing weight limit from 21 to 22.
% 259.46/259.65  
% 259.46/259.65  Resetting weight limit to 22 after 11785 givens.
% 259.46/259.65  
% 259.46/259.69  
% 259.46/259.69  
% 259.46/259.69  Changing weight limit from 22 to 20.
% 259.46/259.69  
% 259.46/259.69  Resetting weight limit to 20 after 11790 givens.
% 259.46/259.69  
% 259.46/259.71  
% 259.46/259.71  
% 259.46/259.71  Changing weight limit from 20 to 21.
% 259.46/259.71  
% 259.46/259.71  Resetting weight limit to 21 after 11795 givens.
% 259.46/259.71  
% 259.55/259.72  
% 259.55/259.72  
% 259.55/259.72  Changing weight limit from 21 to 22.
% 259.55/259.72  
% 259.55/259.72  Resetting weight limit to 22 after 11800 givens.
% 259.55/259.72  
% 259.55/259.78  
% 259.55/259.78  
% 259.55/259.78  Changing weight limit from 22 to 20.
% 259.55/259.78  
% 259.55/259.78  Resetting weight limit to 20 after 11805 givens.
% 259.55/259.78  
% 259.63/259.80  
% 259.63/259.80  
% 259.63/259.80  Changing weight limit from 20 to 21.
% 259.63/259.80  
% 259.63/259.80  Resetting weight limit to 21 after 11810 givens.
% 259.63/259.80  
% 259.63/259.81  
% 259.63/259.81  
% 259.63/259.81  Changing weight limit from 21 to 22.
% 259.63/259.81  
% 259.63/259.81  Resetting weight limit to 22 after 11815 givens.
% 259.63/259.81  
% 259.71/259.88  
% 259.71/259.88  
% 259.71/259.88  Changing weight limit from 22 to 20.
% 259.71/259.88  
% 259.71/259.88  Resetting weight limit to 20 after 11820 givens.
% 259.71/259.88  
% 259.72/259.89  
% 259.72/259.89  
% 259.72/259.89  Changing weight limit from 20 to 21.
% 259.72/259.89  
% 259.72/259.89  Resetting weight limit to 21 after 11825 givens.
% 259.72/259.89  
% 259.74/259.91  
% 259.74/259.91  
% 259.74/259.91  Changing weight limit from 21 to 22.
% 259.74/259.91  
% 259.74/259.91  Resetting weight limit to 22 after 11830 givens.
% 259.74/259.91  
% 259.77/259.98  
% 259.77/259.98  
% 259.77/259.98  Changing weight limit from 22 to 20.
% 259.77/259.98  
% 259.77/259.98  Resetting weight limit to 20 after 11835 givens.
% 259.77/259.98  
% 259.77/259.99  
% 259.77/259.99  
% 259.77/259.99  Changing weight limit from 20 to 21.
% 259.77/259.99  
% 259.77/259.99  Resetting weight limit to 21 after 11840 givens.
% 259.77/259.99  
% 259.77/260.00  
% 259.77/260.00  
% 259.77/260.00  Changing weight limit from 21 to 22.
% 259.77/260.00  
% 259.77/260.00  Resetting weight limit to 22 after 11845 givens.
% 259.77/260.00  
% 259.87/260.05  
% 259.87/260.05  
% 259.87/260.05  Changing weight limit from 22 to 20.
% 259.87/260.05  
% 259.87/260.05  Resetting weight limit to 20 after 11850 givens.
% 259.87/260.05  
% 259.87/260.07  
% 259.87/260.07  
% 259.87/260.07  Changing weight limit from 20 to 21.
% 259.87/260.07  
% 259.87/260.07  Resetting weight limit to 21 after 11855 givens.
% 259.87/260.07  
% 259.87/260.08  
% 259.87/260.08  
% 259.87/260.08  Changing weight limit from 21 to 22.
% 259.87/260.08  
% 259.87/260.08  Resetting weight limit to 22 after 11860 givens.
% 259.87/260.08  
% 259.94/260.14  
% 259.94/260.14  
% 259.94/260.14  Changing weight limit from 22 to 20.
% 259.94/260.14  
% 259.94/260.14  Resetting weight limit to 20 after 11865 givens.
% 259.94/260.14  
% 259.94/260.16  
% 259.94/260.16  
% 259.94/260.16  Changing weight limit from 20 to 21.
% 259.94/260.16  
% 259.94/260.16  Resetting weight limit to 21 after 11870 givens.
% 259.94/260.16  
% 260.01/260.17  
% 260.01/260.17  
% 260.01/260.17  Changing weight limit from 21 to 22.
% 260.01/260.17  
% 260.01/260.17  Resetting weight limit to 22 after 11875 givens.
% 260.01/260.17  
% 260.01/260.24  
% 260.01/260.24  
% 260.01/260.24  Changing weight limit from 22 to 20.
% 260.01/260.24  
% 260.01/260.24  Resetting weight limit to 20 after 11880 givens.
% 260.01/260.24  
% 260.01/260.26  
% 260.01/260.26  
% 260.01/260.26  Changing weight limit from 20 to 21.
% 260.01/260.26  
% 260.01/260.26  Resetting weight limit to 21 after 11885 givens.
% 260.01/260.26  
% 260.10/260.27  
% 260.10/260.27  
% 260.10/260.27  Changing weight limit from 21 to 22.
% 260.10/260.27  
% 260.10/260.27  Resetting weight limit to 22 after 11890 givens.
% 260.10/260.27  
% 260.17/260.34  
% 260.17/260.34  
% 260.17/260.34  Changing weight limit from 22 to 20.
% 260.17/260.34  
% 260.17/260.34  Resetting weight limit to 20 after 11895 givens.
% 260.17/260.34  
% 260.17/260.35  
% 260.17/260.35  
% 260.17/260.35  Changing weight limit from 20 to 21.
% 260.17/260.35  
% 260.17/260.35  Resetting weight limit to 21 after 11900 givens.
% 260.17/260.35  
% 260.17/260.37  
% 260.17/260.37  
% 260.17/260.37  Changing weight limit from 21 to 22.
% 260.17/260.37  
% 260.17/260.37  Resetting weight limit to 22 after 11905 givens.
% 260.17/260.37  
% 260.24/260.42  
% 260.24/260.42  
% 260.24/260.42  Changing weight limit from 22 to 20.
% 260.24/260.42  
% 260.24/260.42  Resetting weight limit to 20 after 11910 givens.
% 260.24/260.42  
% 260.24/260.43  
% 260.24/260.43  
% 260.24/260.43  Changing weight limit from 20 to 21.
% 260.24/260.43  
% 260.24/260.43  Resetting weight limit to 21 after 11915 givens.
% 260.24/260.43  
% 260.24/260.44  
% 260.24/260.44  
% 260.24/260.44  Changing weight limit from 21 to 22.
% 260.24/260.44  
% 260.24/260.44  Resetting weight limit to 22 after 11920 givens.
% 260.24/260.44  
% 260.31/260.51  
% 260.31/260.51  
% 260.31/260.51  Changing weight limit from 22 to 20.
% 260.31/260.51  
% 260.31/260.51  Resetting weight limit to 20 after 11925 givens.
% 260.31/260.51  
% 260.31/260.52  
% 260.31/260.52  
% 260.31/260.52  Changing weight limit from 20 to 21.
% 260.31/260.52  
% 260.31/260.52  Resetting weight limit to 21 after 11930 givens.
% 260.31/260.52  
% 260.31/260.54  
% 260.31/260.54  
% 260.31/260.54  Changing weight limit from 21 to 22.
% 260.31/260.54  
% 260.31/260.54  Resetting weight limit to 22 after 11935 givens.
% 260.31/260.54  
% 260.40/260.60  
% 260.40/260.60  
% 260.40/260.60  Changing weight limit from 22 to 20.
% 260.40/260.60  
% 260.40/260.60  Resetting weight limit to 20 after 11940 givens.
% 260.40/260.60  
% 260.44/260.61  
% 260.44/260.61  
% 260.44/260.61  Changing weight limit from 20 to 21.
% 260.44/260.61  
% 260.44/260.61  Resetting weight limit to 21 after 11945 givens.
% 260.44/260.61  
% 260.44/260.63  
% 260.44/260.63  
% 260.44/260.63  Changing weight limit from 21 to 22.
% 260.44/260.63  
% 260.44/260.63  Resetting weight limit to 22 after 11950 givens.
% 260.44/260.63  
% 260.48/260.68  
% 260.48/260.68  
% 260.48/260.68  Changing weight limit from 22 to 20.
% 260.48/260.68  
% 260.48/260.68  Resetting weight limit to 20 after 11955 givens.
% 260.48/260.68  
% 260.48/260.70  
% 260.48/260.70  
% 260.48/260.70  Changing weight limit from 20 to 21.
% 260.48/260.70  
% 260.48/260.70  Resetting weight limit to 21 after 11960 givens.
% 260.48/260.70  
% 260.54/260.71  
% 260.54/260.71  
% 260.54/260.71  Changing weight limit from 21 to 22.
% 260.54/260.71  
% 260.54/260.71  Resetting weight limit to 22 after 11965 givens.
% 260.54/260.71  
% 260.54/260.75  
% 260.54/260.75  
% 260.54/260.75  Changing weight limit from 22 to 20.
% 260.54/260.75  
% 260.54/260.75  Resetting weight limit to 20 after 11970 givens.
% 260.54/260.75  
% 260.60/260.77  
% 260.60/260.77  
% 260.60/260.77  Changing weight limit from 20 to 21.
% 260.60/260.77  
% 260.60/260.77  Resetting weight limit to 21 after 11975 givens.
% 260.60/260.77  
% 260.60/260.78  
% 260.60/260.78  
% 260.60/260.78  Changing weight limit from 21 to 22.
% 260.60/260.78  
% 260.60/260.78  Resetting weight limit to 22 after 11980 givens.
% 260.60/260.78  
% 260.69/260.88  
% 260.69/260.88  
% 260.69/260.88  Changing weight limit from 22 to 20.
% 260.69/260.88  
% 260.69/260.88  Resetting weight limit to 20 after 11990 givens.
% 260.69/260.88  
% 260.69/260.89  
% 260.69/260.89  
% 260.69/260.89  Changing weight limit from 20 to 21.
% 260.69/260.89  
% 260.69/260.89  Resetting weight limit to 21 after 11995 givens.
% 260.69/260.89  
% 260.73/260.90  
% 260.73/260.90  
% 260.73/260.90  Changing weight limit from 21 to 22.
% 260.73/260.90  
% 260.73/260.90  Resetting weight limit to 22 after 12000 givens.
% 260.73/260.90  
% 260.78/260.96  
% 260.78/260.96  
% 260.78/260.96  Changing weight limit from 22 to 20.
% 260.78/260.96  
% 260.78/260.96  Resetting weight limit to 20 after 12005 givens.
% 260.78/260.96  
% 260.78/260.97  
% 260.78/260.97  
% 260.78/260.97  Changing weight limit from 20 to 21.
% 260.78/260.97  
% 260.78/260.97  Resetting weight limit to 21 after 12010 givens.
% 260.78/260.97  
% 260.78/260.99  
% 260.78/260.99  
% 260.78/260.99  Changing weight limit from 21 to 22.
% 260.78/260.99  
% 260.78/260.99  Resetting weight limit to 22 after 12015 givens.
% 260.78/260.99  
% 260.84/261.05  
% 260.84/261.05  
% 260.84/261.05  Changing weight limit from 22 to 20.
% 260.84/261.05  
% 260.84/261.05  Resetting weight limit to 20 after 12020 givens.
% 260.84/261.05  
% 260.90/261.06  
% 260.90/261.06  
% 260.90/261.06  Changing weight limit from 20 to 21.
% 260.90/261.06  
% 260.90/261.06  Resetting weight limit to 21 after 12025 givens.
% 260.90/261.06  
% 260.90/261.07  
% 260.90/261.07  
% 260.90/261.07  Changing weight limit from 21 to 22.
% 260.90/261.07  
% 260.90/261.07  Resetting weight limit to 22 after 12030 givens.
% 260.90/261.07  
% 261.00/261.17  
% 261.00/261.17  
% 261.00/261.17  Changing weight limit from 22 to 20.
% 261.00/261.17  
% 261.00/261.17  Resetting weight limit to 20 after 12040 givens.
% 261.00/261.17  
% 261.23/261.40  
% 261.23/261.40  
% 261.23/261.40  Changing weight limit from 20 to 21.
% 261.23/261.40  
% 261.23/261.40  Resetting weight limit to 21 after 12055 givens.
% 261.23/261.40  
% 261.23/261.41  
% 261.23/261.41  
% 261.23/261.41  Changing weight limit from 21 to 22.
% 261.23/261.41  
% 261.23/261.41  Resetting weight limit to 22 after 12060 givens.
% 261.23/261.41  
% 261.29/261.46  
% 261.29/261.46  
% 261.29/261.46  Changing weight limit from 22 to 20.
% 261.29/261.46  
% 261.29/261.46  Resetting weight limit to 20 after 12065 givens.
% 261.29/261.46  
% 261.48/261.69  
% 261.48/261.69  
% 261.48/261.69  Changing weight limit from 20 to 21.
% 261.48/261.69  
% 261.48/261.69  Resetting weight limit to 21 after 12080 givens.
% 261.48/261.69  
% 261.53/261.70  
% 261.53/261.70  
% 261.53/261.70  Changing weight limit from 21 to 22.
% 261.53/261.70  
% 261.53/261.70  Resetting weight limit to 22 after 12085 givens.
% 261.53/261.70  
% 261.53/261.75  
% 261.53/261.75  
% 261.53/261.75  Changing weight limit from 22 to 20.
% 261.53/261.75  
% 261.53/261.75  Resetting weight limit to 20 after 12090 givens.
% 261.53/261.75  
% 261.81/261.98  
% 261.81/261.98  
% 261.81/261.98  Changing weight limit from 20 to 21.
% 261.81/261.98  
% 261.81/261.98  Resetting weight limit to 21 after 12105 givens.
% 261.81/261.98  
% 261.81/262.00  
% 261.81/262.00  
% 261.81/262.00  Changing weight limit from 21 to 22.
% 261.81/262.00  
% 261.81/262.00  Resetting weight limit to 22 after 12110 givens.
% 261.81/262.00  
% 261.88/262.05  
% 261.88/262.05  
% 261.88/262.05  Changing weight limit from 22 to 20.
% 261.88/262.05  
% 261.88/262.05  Resetting weight limit to 20 after 12115 givens.
% 261.88/262.05  
% 262.06/262.28  
% 262.06/262.28  
% 262.06/262.28  Changing weight limit from 20 to 21.
% 262.06/262.28  
% 262.06/262.28  Resetting weight limit to 21 after 12130 givens.
% 262.06/262.28  
% 262.12/262.29  
% 262.12/262.29  
% 262.12/262.29  Changing weight limit from 21 to 22.
% 262.12/262.29  
% 262.12/262.29  Resetting weight limit to 22 after 12135 givens.
% 262.12/262.29  
% 262.27/262.45  
% 262.27/262.45  
% 262.27/262.45  Changing weight limit from 22 to 20.
% 262.27/262.45  
% 262.27/262.45  Resetting weight limit to 20 after 12140 givens.
% 262.27/262.45  
% 262.35/262.57  
% 262.35/262.57  
% 262.35/262.57  Changing weight limit from 20 to 19.
% 262.35/262.57  
% 262.35/262.57  Resetting weight limit to 19 after 12145 givens.
% 262.35/262.57  
% 262.41/262.60  
% 262.41/262.60  
% 262.41/262.60  Changing weight limit from 19 to 20.
% 262.41/262.60  
% 262.41/262.60  Resetting weight limit to 20 after 12150 givens.
% 262.41/262.60  
% 262.41/262.62  
% 262.41/262.62  
% 262.41/262.62  Changing weight limit from 20 to 21.
% 262.41/262.62  
% 262.41/262.62  Resetting weight limit to 21 after 12155 givens.
% 262.41/262.62  
% 262.41/262.63  
% 262.41/262.63  
% 262.41/262.63  Changing weight limit from 21 to 22.
% 262.41/262.63  
% 262.41/262.63  Resetting weight limit to 22 after 12160 givens.
% 262.41/262.63  
% 262.57/262.81  
% 262.57/262.81  
% 262.57/262.81  Changing weight limit from 22 to 20.
% 262.57/262.81  
% 262.57/262.81  Resetting weight limit to 20 after 12165 givens.
% 262.57/262.81  
% 262.73/262.94  
% 262.73/262.94  
% 262.73/262.94  Changing weight limit from 20 to 19.
% 262.73/262.94  
% 262.73/262.94  Resetting weight limit to 19 after 12170 givens.
% 262.73/262.94  
% 262.73/262.97  
% 262.73/262.97  
% 262.73/262.97  Changing weight limit from 19 to 20.
% 262.73/262.97  
% 262.73/262.97  Resetting weight limit to 20 after 12175 givens.
% 262.73/262.97  
% 262.82/262.99  
% 262.82/262.99  
% 262.82/262.99  Changing weight limit from 20 to 21.
% 262.82/262.99  
% 262.82/262.99  Resetting weight limit to 21 after 12180 givens.
% 262.82/262.99  
% 262.82/263.00  
% 262.82/263.00  
% 262.82/263.00  Changing weight limit from 21 to 22.
% 262.82/263.00  
% 262.82/263.00  Resetting weight limit to 22 after 12185 givens.
% 262.82/263.00  
% 262.95/263.18  
% 262.95/263.18  
% 262.95/263.18  Changing weight limit from 22 to 20.
% 262.95/263.18  
% 262.95/263.18  Resetting weight limit to 20 after 12190 givens.
% 262.95/263.18  
% 263.15/263.31  
% 263.15/263.31  
% 263.15/263.31  Changing weight limit from 20 to 19.
% 263.15/263.31  
% 263.15/263.31  Resetting weight limit to 19 after 12195 givens.
% 263.15/263.31  
% 263.17/263.35  
% 263.17/263.35  
% 263.17/263.35  Changing weight limit from 19 to 20.
% 263.17/263.35  
% 263.17/263.35  Resetting weight limit to 20 after 12200 givens.
% 263.17/263.35  
% 263.17/263.36  
% 263.17/263.36  
% 263.17/263.36  Changing weight limit from 20 to 21.
% 263.17/263.36  
% 263.17/263.36  Resetting weight limit to 21 after 12205 givens.
% 263.17/263.36  
% 263.17/263.38  
% 263.17/263.38  
% 263.17/263.38  Changing weight limit from 21 to 22.
% 263.17/263.38  
% 263.17/263.38  Resetting weight limit to 22 after 12210 givens.
% 263.17/263.38  
% 263.35/263.53  
% 263.35/263.53  
% 263.35/263.53  Changing weight limit from 22 to 20.
% 263.35/263.53  
% 263.35/263.53  Resetting weight limit to 20 after 12215 givens.
% 263.35/263.53  
% 263.42/263.66  
% 263.42/263.66  
% 263.42/263.66  Changing weight limit from 20 to 19.
% 263.42/263.66  
% 263.42/263.66  Resetting weight limit to 19 after 12220 givens.
% 263.42/263.66  
% 263.53/263.69  
% 263.53/263.69  
% 263.53/263.69  Changing weight limit from 19 to 20.
% 263.53/263.69  
% 263.53/263.69  Resetting weight limit to 20 after 12225 givens.
% 263.53/263.69  
% 263.53/263.71  
% 263.53/263.71  
% 263.53/263.71  Changing weight limit from 20 to 21.
% 263.53/263.71  
% 263.53/263.71  Resetting weight limit to 21 after 12230 givens.
% 263.53/263.71  
% 263.53/263.71  
% 263.53/263.71  
% 263.53/263.71  Changing weight limit from 21 to 22.
% 263.53/263.71  
% 263.53/263.71  Resetting weight limit to 22 after 12235 givens.
% 263.53/263.71  
% 264.01/264.22  
% 264.01/264.22  
% 264.01/264.22  Changing weight limit from 22 to 19.
% 264.01/264.22  
% 264.01/264.22  Resetting weight limit to 19 after 12280 givens.
% 264.01/264.22  
% 264.01/264.25  
% 264.01/264.25  
% 264.01/264.25  Changing weight limit from 19 to 20.
% 264.01/264.25  
% 264.01/264.25  Resetting weight limit to 20 after 12285 givens.
% 264.01/264.25  
% 264.13/264.30  
% 264.13/264.30  
% 264.13/264.30  Changing weight limit from 20 to 19.
% 264.13/264.30  
% 264.13/264.30  Resetting weight limit to 19 after 12290 givens.
% 264.13/264.30  
% 264.13/264.31  
% 264.13/264.31  
% 264.13/264.31  Changing weight limit from 19 to 20.
% 264.13/264.31  
% 264.13/264.31  Resetting weight limit to 20 after 12295 givens.
% 264.13/264.31  
% 264.19/264.36  
% 264.19/264.36  
% 264.19/264.36  Changing weight limit from 20 to 19.
% 264.19/264.36  
% 264.19/264.36  Resetting weight limit to 19 after 12300 givens.
% 264.19/264.36  
% 264.19/264.37  
% 264.19/264.37  
% 264.19/264.37  Changing weight limit from 19 to 20.
% 264.19/264.37  
% 264.19/264.37  Resetting weight limit to 20 after 12305 givens.
% 264.19/264.37  
% 264.25/264.42  
% 264.25/264.42  
% 264.25/264.42  Changing weight limit from 20 to 19.
% 264.25/264.42  
% 264.25/264.42  Resetting weight limit to 19 after 12310 givens.
% 264.25/264.42  
% 264.25/264.44  
% 264.25/264.44  
% 264.25/264.44  Changing weight limit from 19 to 20.
% 264.25/264.44  
% 264.25/264.44  Resetting weight limit to 20 after 12315 givens.
% 264.25/264.44  
% 264.31/264.48  
% 264.31/264.48  
% 264.31/264.48  Changing weight limit from 20 to 19.
% 264.31/264.48  
% 264.31/264.48  Resetting weight limit to 19 after 12320 givens.
% 264.31/264.48  
% 264.31/264.50  
% 264.31/264.50  
% 264.31/264.50  Changing weight limit from 19 to 20.
% 264.31/264.50  
% 264.31/264.50  Resetting weight limit to 20 after 12325 givens.
% 264.31/264.50  
% 264.31/264.55  
% 264.31/264.55  
% 264.31/264.55  Changing weight limit from 20 to 19.
% 264.31/264.55  
% 264.31/264.55  Resetting weight limit to 19 after 12330 givens.
% 264.31/264.55  
% 264.31/264.56  
% 264.31/264.56  
% 264.31/264.56  Changing weight limit from 19 to 20.
% 264.31/264.56  
% 264.31/264.56  Resetting weight limit to 20 after 12335 givens.
% 264.31/264.56  
% 264.41/264.58  
% 264.41/264.58  
% 264.41/264.58  Changing weight limit from 20 to 19.
% 264.41/264.58  
% 264.41/264.58  Resetting weight limit to 19 after 12340 givens.
% 264.41/264.58  
% 264.41/264.59  
% 264.41/264.59  
% 264.41/264.59  Changing weight limit from 19 to 20.
% 264.41/264.59  
% 264.41/264.59  Resetting weight limit to 20 after 12345 givens.
% 264.41/264.59  
% 264.45/264.61  
% 264.45/264.61  
% 264.45/264.61  Changing weight limit from 20 to 21.
% 264.45/264.61  
% 264.45/264.61  Resetting weight limit to 21 after 12350 givens.
% 264.45/264.61  
% 264.45/264.62  
% 264.45/264.62  
% 264.45/264.62  Changing weight limit from 21 to 22.
% 264.45/264.62  
% 264.45/264.62  Resetting weight limit to 22 after 12355 givens.
% 264.45/264.62  
% 264.59/264.77  
% 264.59/264.77  
% 264.59/264.77  Changing weight limit from 22 to 20.
% 264.59/264.77  
% 264.59/264.77  Resetting weight limit to 20 after 12360 givens.
% 264.59/264.77  
% 264.59/264.79  
% 264.59/264.79  
% 264.59/264.79  Changing weight limit from 20 to 21.
% 264.59/264.79  
% 264.59/264.79  Resetting weight limit to 21 after 12365 givens.
% 264.59/264.79  
% 264.64/264.80  
% 264.64/264.80  
% 264.64/264.80  Changing weight limit from 21 to 22.
% 264.64/264.80  
% 264.64/264.80  Resetting weight limit to 22 after 12370 givens.
% 264.64/264.80  
% 265.09/265.29  
% 265.09/265.29  
% 265.09/265.29  Changing weight limit from 22 to 20.
% 265.09/265.29  
% 265.09/265.29  Resetting weight limit to 20 after 12415 givens.
% 265.09/265.29  
% 265.17/265.33  
% 265.17/265.33  
% 265.17/265.33  Changing weight limit from 20 to 21.
% 265.17/265.33  
% 265.17/265.33  Resetting weight limit to 21 after 12425 givens.
% 265.17/265.33  
% 265.17/265.35  
% 265.17/265.35  
% 265.17/265.35  Changing weight limit from 21 to 22.
% 265.17/265.35  
% 265.17/265.35  Resetting weight limit to 22 after 12430 givens.
% 265.17/265.35  
% 265.22/265.43  
% 265.22/265.43  
% 265.22/265.43  Changing weight limit from 22 to 20.
% 265.22/265.43  
% 265.22/265.43  Resetting weight limit to 20 after 12435 givens.
% 265.22/265.43  
% 265.36/265.52  
% 265.36/265.52  
% 265.36/265.52  Changing weight limit from 20 to 19.
% 265.36/265.52  
% 265.36/265.52  Resetting weight limit to 19 after 12450 givens.
% 265.36/265.52  
% 265.47/265.67  
% 265.47/265.67  
% 265.47/265.67  Changing weight limit from 19 to 20.
% 265.47/265.67  
% 265.47/265.67  Resetting weight limit to 20 after 12480 givens.
% 265.47/265.67  
% 265.53/265.70  
% 265.53/265.70  
% 265.53/265.70  Changing weight limit from 20 to 19.
% 265.53/265.70  
% 265.53/265.70  Resetting weight limit to 19 after 12485 givens.
% 265.53/265.70  
% 265.53/265.72  
% 265.53/265.72  
% 265.53/265.72  Changing weight limit from 19 to 20.
% 265.53/265.72  
% 265.53/265.72  Resetting weight limit to 20 after 12490 givens.
% 265.53/265.72  
% 265.53/265.75  
% 265.53/265.75  
% 265.53/265.75  Changing weight limit from 20 to 19.
% 265.53/265.75  
% 265.53/265.75  Resetting weight limit to 19 after 12495 givens.
% 265.53/265.75  
% 265.61/265.77  
% 265.61/265.77  
% 265.61/265.77  Changing weight limit from 19 to 20.
% 265.61/265.77  
% 265.61/265.77  Resetting weight limit to 20 after 12500 givens.
% 265.61/265.77  
% 265.61/265.78  
% 265.61/265.78  
% 265.61/265.78  Changing weight limit from 20 to 19.
% 265.61/265.78  
% 265.61/265.78  Resetting weight limit to 19 after 12505 givens.
% 265.61/265.78  
% 265.66/265.82  
% 265.66/265.82  
% 265.66/265.82  Changing weight limit from 19 to 20.
% 265.66/265.82  
% 265.66/265.82  Resetting weight limit to 20 after 12510 givens.
% 265.66/265.82  
% 265.75/265.93  
% 265.75/265.93  
% 265.75/265.93  Changing weight limit from 20 to 21.
% 265.75/265.93  
% 265.75/265.93  Resetting weight limit to 21 after 12520 givens.
% 265.75/265.93  
% 265.75/265.94  
% 265.75/265.94  
% 265.75/265.94  Changing weight limit from 21 to 22.
% 265.75/265.94  
% 265.75/265.94  Resetting weight limit to 22 after 12525 givens.
% 265.75/265.94  
% 265.93/266.10  
% 265.93/266.10  
% 265.93/266.10  Changing weight limit from 22 to 20.
% 265.93/266.10  
% 265.93/266.10  Resetting weight limit to 20 after 12540 givens.
% 265.93/266.10  
% 265.93/266.11  
% 265.93/266.11  
% 265.93/266.11  Changing weight limit from 20 to 21.
% 265.93/266.11  
% 265.93/266.11  Resetting weight limit to 21 after 12545 givens.
% 265.93/266.11  
% 265.97/266.12  
% 265.97/266.12  
% 265.97/266.12  Changing weight limit from 21 to 22.
% 265.97/266.12  
% 265.97/266.12  Resetting weight limit to 22 after 12550 givens.
% 265.97/266.12  
% 266.15/266.32  
% 266.15/266.32  
% 266.15/266.32  Changing weight limit from 22 to 20.
% 266.15/266.32  
% 266.15/266.32  Resetting weight limit to 20 after 12570 givens.
% 266.15/266.32  
% 266.15/266.33  
% 266.15/266.33  
% 266.15/266.33  Changing weight limit from 20 to 21.
% 266.15/266.33  
% 266.15/266.33  Resetting weight limit to 21 after 12575 givens.
% 266.15/266.33  
% 266.15/266.34  
% 266.15/266.34  
% 266.15/266.34  Changing weight limit from 21 to 22.
% 266.15/266.34  
% 266.15/266.34  Resetting weight limit to 22 after 12580 givens.
% 266.15/266.34  
% 266.36/266.54  
% 266.36/266.54  
% 266.36/266.54  Changing weight limit from 22 to 20.
% 266.36/266.54  
% 266.36/266.54  Resetting weight limit to 20 after 12600 givens.
% 266.36/266.54  
% 266.36/266.55  
% 266.36/266.55  
% 266.36/266.55  Changing weight limit from 20 to 21.
% 266.36/266.55  
% 266.36/266.55  Resetting weight limit to 21 after 12605 givens.
% 266.36/266.55  
% 266.36/266.57  
% 266.36/266.57  
% 266.36/266.57  Changing weight limit from 21 to 22.
% 266.36/266.57  
% 266.36/266.57  Resetting weight limit to 22 after 12610 givens.
% 266.36/266.57  
% 266.58/266.79  
% 266.58/266.79  
% 266.58/266.79  Changing weight limit from 22 to 20.
% 266.58/266.79  
% 266.58/266.79  Resetting weight limit to 20 after 12630 givens.
% 266.58/266.79  
% 266.58/266.80  
% 266.58/266.80  
% 266.58/266.80  Changing weight limit from 20 to 21.
% 266.58/266.80  
% 266.58/266.80  Resetting weight limit to 21 after 12635 givens.
% 266.58/266.80  
% 266.58/266.82  
% 266.58/266.82  
% 266.58/266.82  Changing weight limit from 21 to 22.
% 266.58/266.82  
% 266.58/266.82  Resetting weight limit to 22 after 12640 givens.
% 266.58/266.82  
% 266.83/267.04  
% 266.83/267.04  
% 266.83/267.04  Changing weight limit from 22 to 20.
% 266.83/267.04  
% 266.83/267.04  Resetting weight limit to 20 after 12660 givens.
% 266.83/267.04  
% 266.83/267.05  
% 266.83/267.05  
% 266.83/267.05  Changing weight limit from 20 to 21.
% 266.83/267.05  
% 266.83/267.05  Resetting weight limit to 21 after 12665 givens.
% 266.83/267.05  
% 266.83/267.07  
% 266.83/267.07  
% 266.83/267.07  Changing weight limit from 21 to 22.
% 266.83/267.07  
% 266.83/267.07  Resetting weight limit to 22 after 12670 givens.
% 266.83/267.07  
% 267.06/267.27  
% 267.06/267.27  
% 267.06/267.27  Changing weight limit from 22 to 20.
% 267.06/267.27  
% 267.06/267.27  Resetting weight limit to 20 after 12690 givens.
% 267.06/267.27  
% 267.13/267.28  
% 267.13/267.28  
% 267.13/267.28  Changing weight limit from 20 to 21.
% 267.13/267.28  
% 267.13/267.28  Resetting weight limit to 21 after 12695 givens.
% 267.13/267.28  
% 267.13/267.29  
% 267.13/267.29  
% 267.13/267.29  Changing weight limit from 21 to 22.
% 267.13/267.29  
% 267.13/267.29  Resetting weight limit to 22 after 12700 givens.
% 267.13/267.29  
% 267.59/267.76  
% 267.59/267.76  
% 267.59/267.76  Changing weight limit from 22 to 20.
% 267.59/267.76  
% 267.59/267.76  Resetting weight limit to 20 after 12750 givens.
% 267.59/267.76  
% 267.59/267.77  
% 267.59/267.77  
% 267.59/267.77  Changing weight limit from 20 to 21.
% 267.59/267.77  
% 267.59/267.77  Resetting weight limit to 21 after 12755 givens.
% 267.59/267.77  
% 267.59/267.78  
% 267.59/267.78  
% 267.59/267.78  Changing weight limit from 21 to 22.
% 267.59/267.78  
% 267.59/267.78  Resetting weight limit to 22 after 12760 givens.
% 267.59/267.78  
% 267.82/267.99  
% 267.82/267.99  
% 267.82/267.99  Changing weight limit from 22 to 20.
% 267.82/267.99  
% 267.82/267.99  Resetting weight limit to 20 after 12780 givens.
% 267.82/267.99  
% 267.82/268.00  
% 267.82/268.00  
% 267.82/268.00  Changing weight limit from 20 to 21.
% 267.82/268.00  
% 267.82/268.00  Resetting weight limit to 21 after 12785 givens.
% 267.82/268.00  
% 267.86/268.01  
% 267.86/268.01  
% 267.86/268.01  Changing weight limit from 21 to 22.
% 267.86/268.01  
% 267.86/268.01  Resetting weight limit to 22 after 12790 givens.
% 267.86/268.01  
% 268.11/268.30  
% 268.11/268.30  
% 268.11/268.30  Changing weight limit from 22 to 20.
% 268.11/268.30  
% 268.11/268.30  Resetting weight limit to 20 after 12820 givens.
% 268.11/268.30  
% 268.16/268.31  
% 268.16/268.31  
% 268.16/268.31  Changing weight limit from 20 to 21.
% 268.16/268.31  
% 268.16/268.31  Resetting weight limit to 21 after 12825 givens.
% 268.16/268.31  
% 268.16/268.33  
% 268.16/268.33  
% 268.16/268.33  Changing weight limit from 21 to 22.
% 268.16/268.33  
% 268.16/268.33  Resetting weight limit to 22 after 12830 givens.
% 268.16/268.33  
% 268.20/268.43  
% 268.20/268.43  
% 268.20/268.43  Changing weight limit from 22 to 20.
% 268.20/268.43  
% 268.20/268.43  Resetting weight limit to 20 after 12840 givens.
% 268.20/268.43  
% 268.29/268.44  
% 268.29/268.44  
% 268.29/268.44  Changing weight limit from 20 to 21.
% 268.29/268.44  
% 268.29/268.44  Resetting weight limit to 21 after 12845 givens.
% 268.29/268.44  
% 268.29/268.46  
% 268.29/268.46  
% 268.29/268.46  Changing weight limit from 21 to 22.
% 268.29/268.46  
% 268.29/268.46  Resetting weight limit to 22 after 12850 givens.
% 268.29/268.46  
% 268.41/268.56  
% 268.41/268.56  
% 268.41/268.56  Changing weight limit from 22 to 20.
% 268.41/268.56  
% 268.41/268.56  Resetting weight limit to 20 after 12860 givens.
% 268.41/268.56  
% 268.42/268.58  
% 268.42/268.58  
% 268.42/268.58  Changing weight limit from 20 to 21.
% 268.42/268.58  
% 268.42/268.58  Resetting weight limit to 21 after 12865 givens.
% 268.42/268.58  
% 268.42/268.59  
% 268.42/268.59  
% 268.42/268.59  Changing weight limit from 21 to 22.
% 268.42/268.59  
% 268.42/268.59  Resetting weight limit to 22 after 12870 givens.
% 268.42/268.59  
% 268.72/268.88  
% 268.72/268.88  
% 268.72/268.88  Changing weight limit from 22 to 20.
% 268.72/268.88  
% 268.72/268.88  Resetting weight limit to 20 after 12900 givens.
% 268.72/268.88  
% 268.72/268.89  
% 268.72/268.89  
% 268.72/268.89  Changing weight limit from 20 to 21.
% 268.72/268.89  
% 268.72/268.89  Resetting weight limit to 21 after 12905 givens.
% 268.72/268.89  
% 268.72/268.90  
% 268.72/268.90  
% 268.72/268.90  Changing weight limit from 21 to 22.
% 268.72/268.90  
% 268.72/268.90  Resetting weight limit to 22 after 12910 givens.
% 268.72/268.90  
% 268.94/269.11  
% 268.94/269.11  
% 268.94/269.11  Changing weight limit from 22 to 20.
% 268.94/269.11  
% 268.94/269.11  Resetting weight limit to 20 after 12930 givens.
% 268.94/269.11  
% 268.94/269.12  
% 268.94/269.12  
% 268.94/269.12  Changing weight limit from 20 to 21.
% 268.94/269.12  
% 268.94/269.12  Resetting weight limit to 21 after 12935 givens.
% 268.94/269.12  
% 268.94/269.13  
% 268.94/269.13  
% 268.94/269.13  Changing weight limit from 21 to 22.
% 268.94/269.13  
% 268.94/269.13  Resetting weight limit to 22 after 12940 givens.
% 268.94/269.13  
% 269.23/269.42  
% 269.23/269.42  
% 269.23/269.42  Changing weight limit from 22 to 20.
% 269.23/269.42  
% 269.23/269.42  Resetting weight limit to 20 after 12970 givens.
% 269.23/269.42  
% 269.23/269.44  
% 269.23/269.44  
% 269.23/269.44  Changing weight limit from 20 to 21.
% 269.23/269.44  
% 269.23/269.44  Resetting weight limit to 21 after 12975 givens.
% 269.23/269.44  
% 269.23/269.45  
% 269.23/269.45  
% 269.23/269.45  Changing weight limit from 21 to 22.
% 269.23/269.45  
% 269.23/269.45  Resetting weight limit to 22 after 12980 givens.
% 269.23/269.45  
% 269.39/269.55  
% 269.39/269.55  
% 269.39/269.55  Changing weight limit from 22 to 20.
% 269.39/269.55  
% 269.39/269.55  Resetting weight limit to 20 after 12990 givens.
% 269.39/269.55  
% 269.39/269.57  
% 269.39/269.57  
% 269.39/269.57  Changing weight limit from 20 to 21.
% 269.39/269.57  
% 269.39/269.57  Resetting weight limit to 21 after 12995 givens.
% 269.39/269.57  
% 269.39/269.58  
% 269.39/269.58  
% 269.39/269.58  Changing weight limit from 21 to 22.
% 269.39/269.58  
% 269.39/269.58  Resetting weight limit to 22 after 13000 givens.
% 269.39/269.58  
% 269.48/269.68  
% 269.48/269.68  
% 269.48/269.68  Changing weight limit from 22 to 20.
% 269.48/269.68  
% 269.48/269.68  Resetting weight limit to 20 after 13010 givens.
% 269.48/269.68  
% 269.54/269.69  
% 269.54/269.69  
% 269.54/269.69  Changing weight limit from 20 to 21.
% 269.54/269.69  
% 269.54/269.69  Resetting weight limit to 21 after 13015 givens.
% 269.54/269.69  
% 269.54/269.70  
% 269.54/269.70  
% 269.54/269.70  Changing weight limit from 21 to 22.
% 269.54/269.70  
% 269.54/269.70  Resetting weight limit to 22 after 13020 givens.
% 269.54/269.70  
% 269.76/269.95  
% 269.76/269.95  
% 269.76/269.95  Changing weight limit from 22 to 20.
% 269.76/269.95  
% 269.76/269.95  Resetting weight limit to 20 after 13045 givens.
% 269.76/269.95  
% 269.76/269.96  
% 269.76/269.96  
% 269.76/269.96  Changing weight limit from 20 to 21.
% 269.76/269.96  
% 269.76/269.96  Resetting weight limit to 21 after 13050 givens.
% 269.76/269.96  
% 269.76/269.97  
% 269.76/269.97  
% 269.76/269.97  Changing weight limit from 21 to 22.
% 269.76/269.97  
% 269.76/269.97  Resetting weight limit to 22 after 13055 givens.
% 269.76/269.97  
% 269.98/270.17  
% 269.98/270.17  
% 269.98/270.17  Changing weight limit from 22 to 20.
% 269.98/270.17  
% 269.98/270.17  Resetting weight limit to 20 after 13075 givens.
% 269.98/270.17  
% 269.98/270.19  
% 269.98/270.19  
% 269.98/270.19  Changing weight limit from 20 to 21.
% 269.98/270.19  
% 269.98/270.19  Resetting weight limit to 21 after 13080 givens.
% 269.98/270.19  
% 269.98/270.20  
% 269.98/270.20  
% 269.98/270.20  Changing weight limit from 21 to 22.
% 269.98/270.20  
% 269.98/270.20  Resetting weight limit to 22 after 13085 givens.
% 269.98/270.20  
% 270.46/270.67  
% 270.46/270.67  
% 270.46/270.67  Changing weight limit from 22 to 20.
% 270.46/270.67  
% 270.46/270.67  Resetting weight limit to 20 after 13135 givens.
% 270.46/270.67  
% 270.53/270.68  
% 270.53/270.68  
% 270.53/270.68  Changing weight limit from 20 to 21.
% 270.53/270.68  
% 270.53/270.68  Resetting weight limit to 21 after 13140 givens.
% 270.53/270.68  
% 270.53/270.69  
% 270.53/270.69  
% 270.53/270.69  Changing weight limit from 21 to 22.
% 270.53/270.69  
% 270.53/270.69  Resetting weight limit to 22 after 13145 givens.
% 270.53/270.69  
% 270.99/271.17  
% 270.99/271.17  
% 270.99/271.17  Changing weight limit from 22 to 20.
% 270.99/271.17  
% 270.99/271.17  Resetting weight limit to 20 after 13195 givens.
% 270.99/271.17  
% 270.99/271.19  
% 270.99/271.19  
% 270.99/271.19  Changing weight limit from 20 to 21.
% 270.99/271.19  
% 270.99/271.19  Resetting weight limit to 21 after 13200 givens.
% 270.99/271.19  
% 270.99/271.20  
% 270.99/271.20  
% 270.99/271.20  Changing weight limit from 21 to 22.
% 270.99/271.20  
% 270.99/271.20  Resetting weight limit to 22 after 13205 givens.
% 270.99/271.20  
% 271.22/271.40  
% 271.22/271.40  
% 271.22/271.40  Changing weight limit from 22 to 20.
% 271.22/271.40  
% 271.22/271.40  Resetting weight limit to 20 after 13225 givens.
% 271.22/271.40  
% 271.26/271.41  
% 271.26/271.41  
% 271.26/271.41  Changing weight limit from 20 to 21.
% 271.26/271.41  
% 271.26/271.41  Resetting weight limit to 21 after 13230 givens.
% 271.26/271.41  
% 271.26/271.43  
% 271.26/271.43  
% 271.26/271.43  Changing weight limit from 21 to 22.
% 271.26/271.43  
% 271.26/271.43  Resetting weight limit to 22 after 13235 givens.
% 271.26/271.43  
% 271.60/271.81  
% 271.60/271.81  
% 271.60/271.81  Changing weight limit from 22 to 20.
% 271.60/271.81  
% 271.60/271.81  Resetting weight limit to 20 after 13275 givens.
% 271.60/271.81  
% 271.60/271.82  
% 271.60/271.82  
% 271.60/271.82  Changing weight limit from 20 to 21.
% 271.60/271.82  
% 271.60/271.82  Resetting weight limit to 21 after 13280 givens.
% 271.60/271.82  
% 271.60/271.83  
% 271.60/271.83  
% 271.60/271.83  Changing weight limit from 21 to 22.
% 271.60/271.83  
% 271.60/271.83  Resetting weight limit to 22 after 13285 givens.
% 271.60/271.83  
% 271.74/271.94  
% 271.74/271.94  
% 271.74/271.94  Changing weight limit from 22 to 20.
% 271.74/271.94  
% 271.74/271.94  Resetting weight limit to 20 after 13295 givens.
% 271.74/271.94  
% 271.74/271.95  
% 271.74/271.95  
% 271.74/271.95  Changing weight limit from 20 to 21.
% 271.74/271.95  
% 271.74/271.95  Resetting weight limit to 21 after 13300 givens.
% 271.74/271.95  
% 271.74/271.96  
% 271.74/271.96  
% 271.74/271.96  Changing weight limit from 21 to 22.
% 271.74/271.96  
% 271.74/271.96  Resetting weight limit to 22 after 13305 givens.
% 271.74/271.96  
% 272.28/272.44  
% 272.28/272.44  
% 272.28/272.44  Changing weight limit from 22 to 20.
% 272.28/272.44  
% 272.28/272.44  Resetting weight limit to 20 after 13355 givens.
% 272.28/272.44  
% 272.28/272.45  
% 272.28/272.45  
% 272.28/272.45  Changing weight limit from 20 to 21.
% 272.28/272.45  
% 272.28/272.45  Resetting weight limit to 21 after 13360 givens.
% 272.28/272.45  
% 272.28/272.46  
% 272.28/272.46  
% 272.28/272.46  Changing weight limit from 21 to 22.
% 272.28/272.46  
% 272.28/272.46  Resetting weight limit to 22 after 13365 givens.
% 272.28/272.46  
% 272.42/272.57  
% 272.42/272.57  
% 272.42/272.57  Changing weight limit from 22 to 20.
% 272.42/272.57  
% 272.42/272.57  Resetting weight limit to 20 after 13375 givens.
% 272.42/272.57  
% 272.42/272.58  
% 272.42/272.58  
% 272.42/272.58  Changing weight limit from 20 to 21.
% 272.42/272.58  
% 272.42/272.58  Resetting weight limit to 21 after 13380 givens.
% 272.42/272.58  
% 272.44/272.59  
% 272.44/272.59  
% 272.44/272.59  Changing weight limit from 21 to 22.
% 272.44/272.59  
% 272.44/272.59  Resetting weight limit to 22 after 13385 givens.
% 272.44/272.59  
% 272.63/272.80  
% 272.63/272.80  
% 272.63/272.80  Changing weight limit from 22 to 20.
% 272.63/272.80  
% 272.63/272.80  Resetting weight limit to 20 after 13405 givens.
% 272.63/272.80  
% 272.63/272.81  
% 272.63/272.81  
% 272.63/272.81  Changing weight limit from 20 to 21.
% 272.63/272.81  
% 272.63/272.81  Resetting weight limit to 21 after 13410 givens.
% 272.63/272.81  
% 272.63/272.82  
% 272.63/272.82  
% 272.63/272.82  Changing weight limit from 21 to 22.
% 272.63/272.82  
% 272.63/272.82  Resetting weight limit to 22 after 13415 givens.
% 272.63/272.82  
% 272.94/273.12  
% 272.94/273.12  
% 272.94/273.12  Changing weight limit from 22 to 20.
% 272.94/273.12  
% 272.94/273.12  Resetting weight limit to 20 after 13445 givens.
% 272.94/273.12  
% 272.94/273.13  
% 272.94/273.13  
% 272.94/273.13  Changing weight limit from 20 to 21.
% 272.94/273.13  
% 272.94/273.13  Resetting weight limit to 21 after 13450 givens.
% 272.94/273.13  
% 272.94/273.14  
% 272.94/273.14  
% 272.94/273.14  Changing weight limit from 21 to 22.
% 272.94/273.14  
% 272.94/273.14  Resetting weight limit to 22 after 13455 givens.
% 272.94/273.14  
% 273.16/273.35  
% 273.16/273.35  
% 273.16/273.35  Changing weight limit from 22 to 20.
% 273.16/273.35  
% 273.16/273.35  Resetting weight limit to 20 after 13475 givens.
% 273.16/273.35  
% 273.16/273.37  
% 273.16/273.37  
% 273.16/273.37  Changing weight limit from 20 to 21.
% 273.16/273.37  
% 273.16/273.37  Resetting weight limit to 21 after 13480 givens.
% 273.16/273.37  
% 273.16/273.38  
% 273.16/273.38  
% 273.16/273.38  Changing weight limit from 21 to 22.
% 273.16/273.38  
% 273.16/273.38  Resetting weight limit to 22 after 13485 givens.
% 273.16/273.38  
% 273.56/273.76  
% 273.56/273.76  
% 273.56/273.76  Changing weight limit from 22 to 20.
% 273.56/273.76  
% 273.56/273.76  Resetting weight limit to 20 after 13525 givens.
% 273.56/273.76  
% 273.56/273.77  
% 273.56/273.77  
% 273.56/273.77  Changing weight limit from 20 to 21.
% 273.56/273.77  
% 273.56/273.77  Resetting weight limit to 21 after 13530 givens.
% 273.56/273.77  
% 273.63/273.78  
% 273.63/273.78  
% 273.63/273.78  Changing weight limit from 21 to 22.
% 273.63/273.78  
% 273.63/273.78  Resetting weight limit to 22 after 13535 givens.
% 273.63/273.78  
% 273.74/273.89  
% 273.74/273.89  
% 273.74/273.89  Changing weight limit from 22 to 20.
% 273.74/273.89  
% 273.74/273.89  Resetting weight limit to 20 after 13545 givens.
% 273.74/273.89  
% 273.74/273.90  
% 273.74/273.90  
% 273.74/273.90  Changing weight limit from 20 to 21.
% 273.74/273.90  
% 273.74/273.90  Resetting weight limit to 21 after 13550 givens.
% 273.74/273.90  
% 273.77/273.92  
% 273.77/273.92  
% 273.77/273.92  Changing weight limit from 21 to 22.
% 273.77/273.92  
% 273.77/273.92  Resetting weight limit to 22 after 13555 givens.
% 273.77/273.92  
% 274.09/274.27  
% 274.09/274.27  
% 274.09/274.27  Changing weight limit from 22 to 20.
% 274.09/274.27  
% 274.09/274.27  Resetting weight limit to 20 after 13590 givens.
% 274.09/274.27  
% 274.09/274.28  
% 274.09/274.28  
% 274.09/274.28  Changing weight limit from 20 to 21.
% 274.09/274.28  
% 274.09/274.28  Resetting weight limit to 21 after 13595 givens.
% 274.09/274.28  
% 274.09/274.29  
% 274.09/274.29  
% 274.09/274.29  Changing weight limit from 21 to 22.
% 274.09/274.29  
% 274.09/274.29  Resetting weight limit to 22 after 13600 givens.
% 274.09/274.29  
% 274.34/274.51  
% 274.34/274.51  
% 274.34/274.51  Changing weight limit from 22 to 20.
% 274.34/274.51  
% 274.34/274.51  Resetting weight limit to 20 after 13620 givens.
% 274.34/274.51  
% 274.34/274.52  
% 274.34/274.52  
% 274.34/274.52  Changing weight limit from 20 to 21.
% 274.34/274.52  
% 274.34/274.52  Resetting weight limit to 21 after 13625 givens.
% 274.34/274.52  
% 274.34/274.53  
% 274.34/274.53  
% 274.34/274.53  Changing weight limit from 21 to 22.
% 274.34/274.53  
% 274.34/274.53  Resetting weight limit to 22 after 13630 givens.
% 274.34/274.53  
% 274.70/274.88  
% 274.70/274.88  
% 274.70/274.88  Changing weight limit from 22 to 20.
% 274.70/274.88  
% 274.70/274.88  Resetting weight limit to 20 after 13665 givens.
% 274.70/274.88  
% 274.70/274.89  
% 274.70/274.89  
% 274.70/274.89  Changing weight limit from 20 to 21.
% 274.70/274.89  
% 274.70/274.89  Resetting weight limit to 21 after 13670 givens.
% 274.70/274.89  
% 274.70/274.91  
% 274.70/274.91  
% 274.70/274.91  Changing weight limit from 21 to 22.
% 274.70/274.91  
% 274.70/274.91  Resetting weight limit to 22 after 13675 givens.
% 274.70/274.91  
% 275.00/275.21  
% 275.00/275.21  
% 275.00/275.21  Changing weight limit from 22 to 20.
% 275.00/275.21  
% 275.00/275.21  Resetting weight limit to 20 after 13705 givens.
% 275.00/275.21  
% 275.00/275.22  
% 275.00/275.22  
% 275.00/275.22  Changing weight limit from 20 to 21.
% 275.00/275.22  
% 275.00/275.22  Resetting weight limit to 21 after 13710 givens.
% 275.00/275.22  
% 275.00/275.23  
% 275.00/275.23  
% 275.00/275.23  Changing weight limit from 21 to 22.
% 275.00/275.23  
% 275.00/275.23  Resetting weight limit to 22 after 13715 givens.
% 275.00/275.23  
% 275.74/275.93  
% 275.74/275.93  
% 275.74/275.93  Changing weight limit from 22 to 20.
% 275.74/275.93  
% 275.74/275.93  Resetting weight limit to 20 after 13785 givens.
% 275.74/275.93  
% 275.84/276.00  
% 275.84/276.00  
% 275.84/276.00  Changing weight limit from 20 to 19.
% 275.84/276.00  
% 275.84/276.00  Resetting weight limit to 19 after 13790 givens.
% 275.84/276.00  
% 275.84/276.01  
% 275.84/276.01  
% 275.84/276.01  Changing weight limit from 19 to 20.
% 275.84/276.01  
% 275.84/276.01  Resetting weight limit to 20 after 13795 givens.
% 275.84/276.01  
% 275.96/276.11  
% 275.96/276.11  
% 275.96/276.11  Changing weight limit from 20 to 21.
% 275.96/276.11  
% 275.96/276.11  Resetting weight limit to 21 after 13800 givens.
% 275.96/276.11  
% 276.03/276.21  
% 276.03/276.21  
% 276.03/276.21  Changing weight limit from 21 to 22.
% 276.03/276.21  
% 276.03/276.21  Resetting weight limit to 22 after 13805 givens.
% 276.03/276.21  
% 276.19/276.38  
% 276.19/276.38  
% 276.19/276.38  Changing weight limit from 22 to 20.
% 276.19/276.38  
% 276.19/276.38  Resetting weight limit to 20 after 13810 givens.
% 276.19/276.38  
% 276.27/276.48  
% 276.27/276.48  
% 276.27/276.48  Changing weight limit from 20 to 21.
% 276.27/276.48  
% 276.27/276.48  Resetting weight limit to 21 after 13815 givens.
% 276.27/276.48  
% 276.34/276.57  
% 276.34/276.57  
% 276.34/276.57  Changing weight limit from 21 to 22.
% 276.34/276.57  
% 276.34/276.57  Resetting weight limit to 22 after 13820 givens.
% 276.34/276.57  
% 276.56/276.74  
% 276.56/276.74  
% 276.56/276.74  Changing weight limit from 22 to 20.
% 276.56/276.74  
% 276.56/276.74  Resetting weight limit to 20 after 13825 givens.
% 276.56/276.74  
% 276.64/276.84  
% 276.64/276.84  
% 276.64/276.84  Changing weight limit from 20 to 21.
% 276.64/276.84  
% 276.64/276.84  Resetting weight limit to 21 after 13830 givens.
% 276.64/276.84  
% 276.78/276.95  
% 276.78/276.95  
% 276.78/276.95  Changing weight limit from 21 to 22.
% 276.78/276.95  
% 276.78/276.95  Resetting weight limit to 22 after 13835 givens.
% 276.78/276.95  
% 277.03/277.21  
% 277.03/277.21  
% 277.03/277.21  Changing weight limit from 22 to 19.
% 277.03/277.21  
% 277.03/277.21  Resetting weight limit to 19 after 13850 givens.
% 277.03/277.21  
% 277.12/277.28  
% 277.12/277.28  
% 277.12/277.28  Changing weight limit from 19 to 20.
% 277.12/277.28  
% 277.12/277.28  Resetting weight limit to 20 after 13860 givens.
% 277.12/277.28  
% 277.18/277.38  
% 277.18/277.38  
% 277.18/277.38  Changing weight limit from 20 to 21.
% 277.18/277.38  
% 277.18/277.38  Resetting weight limit to 21 after 13865 givens.
% 277.18/277.38  
% 277.33/277.48  
% 277.33/277.48  
% 277.33/277.48  Changing weight limit from 21 to 22.
% 277.33/277.48  
% 277.33/277.48  Resetting weight limit to 22 after 13870 givens.
% 277.33/277.48  
% 277.49/277.64  
% 277.49/277.64  
% 277.49/277.64  Changing weight limit from 22 to 20.
% 277.49/277.64  
% 277.49/277.64  Resetting weight limit to 20 after 13875 givens.
% 277.49/277.64  
% 277.56/277.74  
% 277.56/277.74  
% 277.56/277.74  Changing weight limit from 20 to 21.
% 277.56/277.74  
% 277.56/277.74  Resetting weight limit to 21 after 13880 givens.
% 277.56/277.74  
% 277.61/277.84  
% 277.61/277.84  
% 277.61/277.84  Changing weight limit from 21 to 22.
% 277.61/277.84  
% 277.61/277.84  Resetting weight limit to 22 after 13885 givens.
% 277.61/277.84  
% 277.86/278.01  
% 277.86/278.01  
% 277.86/278.01  Changing weight limit from 22 to 20.
% 277.86/278.01  
% 277.86/278.01  Resetting weight limit to 20 after 13890 givens.
% 277.86/278.01  
% 277.91/278.11  
% 277.91/278.11  
% 277.91/278.11  Changing weight limit from 20 to 21.
% 277.91/278.11  
% 277.91/278.11  Resetting weight limit to 21 after 13895 givens.
% 277.91/278.11  
% 278.02/278.19  
% 278.02/278.19  
% 278.02/278.19  Changing weight limit from 21 to 22.
% 278.02/278.19  
% 278.02/278.19  Resetting weight limit to 22 after 13900 givens.
% 278.02/278.19  
% 278.10/278.31  
% 278.10/278.31  
% 278.10/278.31  Changing weight limit from 22 to 20.
% 278.10/278.31  
% 278.10/278.31  Resetting weight limit to 20 after 13910 givens.
% 278.10/278.31  
% 278.19/278.38  
% 278.19/278.38  
% 278.19/278.38  Changing weight limit from 20 to 19.
% 278.19/278.38  
% 278.19/278.38  Resetting weight limit to 19 after 13915 givens.
% 278.19/278.38  
% 278.24/278.39  
% 278.24/278.39  
% 278.24/278.39  Changing weight limit from 19 to 20.
% 278.24/278.39  
% 278.24/278.39  Resetting weight limit to 20 after 13920 givens.
% 278.24/278.39  
% 278.31/278.49  
% 278.31/278.49  
% 278.31/278.49  Changing weight limit from 20 to 21.
% 278.31/278.49  
% 278.31/278.49  Resetting weight limit to 21 after 13925 givens.
% 278.31/278.49  
% 278.40/278.59  
% 278.40/278.59  
% 278.40/278.59  Changing weight limit from 21 to 22.
% 278.40/278.59  
% 278.40/278.59  Resetting weight limit to 22 after 13930 givens.
% 278.40/278.59  
% 278.54/278.75  
% 278.54/278.75  
% 278.54/278.75  Changing weight limit from 22 to 20.
% 278.54/278.75  
% 278.54/278.75  Resetting weight limit to 20 after 13935 givens.
% 278.54/278.75  
% 278.70/278.85  
% 278.70/278.85  
% 278.70/278.85  Changing weight limit from 20 to 21.
% 278.70/278.85  
% 278.70/278.85  Resetting weight limit to 21 after 13940 givens.
% 278.70/278.85  
% 278.77/278.95  
% 278.77/278.95  
% 278.77/278.95  Changing weight limit from 21 to 22.
% 278.77/278.95  
% 278.77/278.95  Resetting weight limit to 22 after 13945 givens.
% 278.77/278.95  
% 278.93/279.12  
% 278.93/279.12  
% 278.93/279.12  Changing weight limit from 22 to 20.
% 278.93/279.12  
% 278.93/279.12  Resetting weight limit to 20 after 13950 givens.
% 278.93/279.12  
% 279.07/279.22  
% 279.07/279.22  
% 279.07/279.22  Changing weight limit from 20 to 21.
% 279.07/279.22  
% 279.07/279.22  Resetting weight limit to 21 after 13955 givens.
% 279.07/279.22  
% 279.13/279.32  
% 279.13/279.32  
% 279.13/279.32  Changing weight limit from 21 to 22.
% 279.13/279.32  
% 279.13/279.32  Resetting weight limit to 22 after 13960 givens.
% 279.13/279.32  
% 279.42/279.59  
% 279.42/279.59  
% 279.42/279.59  Changing weight limit from 22 to 19.
% 279.42/279.59  
% 279.42/279.59  Resetting weight limit to 19 after 13975 givens.
% 279.42/279.59  
% 279.42/279.65  
% 279.42/279.65  
% 279.42/279.65  Changing weight limit from 19 to 20.
% 279.42/279.65  
% 279.42/279.65  Resetting weight limit to 20 after 13985 givens.
% 279.42/279.65  
% 279.59/279.75  
% 279.59/279.75  
% 279.59/279.75  Changing weight limit from 20 to 21.
% 279.59/279.75  
% 279.59/279.75  Resetting weight limit to 21 after 13990 givens.
% 279.59/279.75  
% 279.67/279.85  
% 279.67/279.85  
% 279.67/279.85  Changing weight limit from 21 to 22.
% 279.67/279.85  
% 279.67/279.85  Resetting weight limit to 22 after 13995 givens.
% 279.67/279.85  
% 279.87/280.02  
% 279.87/280.02  
% 279.87/280.02  Changing weight limit from 22 to 20.
% 279.87/280.02  
% 279.87/280.02  Resetting weight limit to 20 after 14000 givens.
% 279.87/280.02  
% 279.95/280.12  
% 279.95/280.12  
% 279.95/280.12  Changing weight limit from 20 to 21.
% 279.95/280.12  
% 279.95/280.12  Resetting weight limit to 21 after 14005 givens.
% 279.95/280.12  
% 280.03/280.22  
% 280.03/280.22  
% 280.03/280.22  Changing weight limit from 21 to 22.
% 280.03/280.22  
% 280.03/280.22  Resetting weight limit to 22 after 14010 givens.
% 280.03/280.22  
% 280.19/280.39  
% 280.19/280.39  
% 280.19/280.39  Changing weight limit from 22 to 20.
% 280.19/280.39  
% 280.19/280.39  Resetting weight limit to 20 after 14015 givens.
% 280.19/280.39  
% 280.27/280.49  
% 280.27/280.49  
% 280.27/280.49  Changing weight limit from 20 to 21.
% 280.27/280.49  
% 280.27/280.49  Resetting weight limit to 21 after 14020 givens.
% 280.27/280.49  
% 280.35/280.57  
% 280.35/280.57  
% 280.35/280.57  Changing weight limit from 21 to 22.
% 280.35/280.57  
% 280.35/280.57  Resetting weight limit to 22 after 14025 givens.
% 280.35/280.57  
% 280.57/280.75  
% 280.57/280.75  
% 280.57/280.75  Changing weight limit from 22 to 19.
% 280.57/280.75  
% 280.57/280.75  Resetting weight limit to 19 after 14035 givens.
% 280.57/280.75  
% 280.65/280.82  
% 280.65/280.82  
% 280.65/280.82  Changing weight limit from 19 to 20.
% 280.65/280.82  
% 280.65/280.82  Resetting weight limit to 20 after 14045 givens.
% 280.65/280.82  
% 280.77/280.92  
% 280.77/280.92  
% 280.77/280.92  Changing weight limit from 20 to 21.
% 280.77/280.92  
% 280.77/280.92  Resetting weight limit to 21 after 14050 givens.
% 280.77/280.92  
% 280.79/281.02  
% 280.79/281.02  
% 280.79/281.02  Changing weight limit from 21 to 22.
% 280.79/281.02  
% 280.79/281.02  Resetting weight limit to 22 after 14055 givens.
% 280.79/281.02  
% 281.02/281.18  
% 281.02/281.18  
% 281.02/281.18  Changing weight limit from 22 to 20.
% 281.02/281.18  
% 281.02/281.18  Resetting weight limit to 20 after 14060 givens.
% 281.02/281.18  
% 281.09/281.28  
% 281.09/281.28  
% 281.09/281.28  Changing weight limit from 20 to 21.
% 281.09/281.28  
% 281.09/281.28  Resetting weight limit to 21 after 14065 givens.
% 281.09/281.28  
% 281.19/281.38  
% 281.19/281.38  
% 281.19/281.38  Changing weight limit from 21 to 22.
% 281.19/281.38  
% 281.19/281.38  Resetting weight limit to 22 after 14070 givens.
% 281.19/281.38  
% 281.40/281.55  
% 281.40/281.55  
% 281.40/281.55  Changing weight limit from 22 to 20.
% 281.40/281.55  
% 281.40/281.55  Resetting weight limit to 20 after 14075 givens.
% 281.40/281.55  
% 281.48/281.65  
% 281.48/281.65  
% 281.48/281.65  Changing weight limit from 20 to 21.
% 281.48/281.65  
% 281.48/281.65  Resetting weight limit to 21 after 14080 givens.
% 281.48/281.65  
% 281.53/281.73  
% 281.53/281.73  
% 281.53/281.73  Changing weight limit from 21 to 22.
% 281.53/281.73  
% 281.53/281.73  Resetting weight limit to 22 after 14085 givens.
% 281.53/281.73  
% 281.78/281.96  
% 281.78/281.96  
% 281.78/281.96  Changing weight limit from 22 to 19.
% 281.78/281.96  
% 281.78/281.96  Resetting weight limit to 19 after 14095 givens.
% 281.78/281.96  
% 281.78/281.98  
% 281.78/281.98  
% 281.78/281.98  Changing weight limit from 19 to 20.
% 281.78/281.98  
% 281.78/281.98  Resetting weight limit to 20 after 14100 givens.
% 281.78/281.98  
% 281.91/282.08  
% 281.91/282.08  
% 281.91/282.08  Changing weight limit from 20 to 21.
% 281.91/282.08  
% 281.91/282.08  Resetting weight limit to 21 after 14105 givens.
% 281.91/282.08  
% 282.00/282.18  
% 282.00/282.18  
% 282.00/282.18  Changing weight limit from 21 to 22.
% 282.00/282.18  
% 282.00/282.18  Resetting weight limit to 22 after 14110 givens.
% 282.00/282.18  
% 282.12/282.34  
% 282.12/282.34  
% 282.12/282.34  Changing weight limit from 22 to 20.
% 282.12/282.34  
% 282.12/282.34  Resetting weight limit to 20 after 14115 givens.
% 282.12/282.34  
% 282.29/282.44  
% 282.29/282.44  
% 282.29/282.44  Changing weight limit from 20 to 21.
% 282.29/282.44  
% 282.29/282.44  Resetting weight limit to 21 after 14120 givens.
% 282.29/282.44  
% 282.37/282.54  
% 282.37/282.54  
% 282.37/282.54  Changing weight limit from 21 to 22.
% 282.37/282.54  
% 282.37/282.54  Resetting weight limit to 22 after 14125 givens.
% 282.37/282.54  
% 282.55/282.71  
% 282.55/282.71  
% 282.55/282.71  Changing weight limit from 22 to 20.
% 282.55/282.71  
% 282.55/282.71  Resetting weight limit to 20 after 14130 givens.
% 282.55/282.71  
% 282.65/282.81  
% 282.65/282.81  
% 282.65/282.81  Changing weight limit from 20 to 21.
% 282.65/282.81  
% 282.65/282.81  Resetting weight limit to 21 after 14135 givens.
% 282.65/282.81  
% 282.72/282.92  
% 282.72/282.92  
% 282.72/282.92  Changing weight limit from 21 to 22.
% 282.72/282.92  
% 282.72/282.92  Resetting weight limit to 22 after 14140 givens.
% 282.72/282.92  
% 282.89/283.03  
% 282.89/283.03  
% 282.89/283.03  Changing weight limit from 22 to 20.
% 282.89/283.03  
% 282.89/283.03  Resetting weight limit to 20 after 14145 givens.
% 282.89/283.03  
% 282.97/283.14  
% 282.97/283.14  
% 282.97/283.14  Changing weight limit from 20 to 19.
% 282.97/283.14  
% 282.97/283.14  Resetting weight limit to 19 after 14155 givens.
% 282.97/283.14  
% 282.97/283.16  
% 282.97/283.16  
% 282.97/283.16  Changing weight limit from 19 to 20.
% 282.97/283.16  
% 282.97/283.16  Resetting weight limit to 20 after 14160 givens.
% 282.97/283.16  
% 283.03/283.26  
% 283.03/283.26  
% 283.03/283.26  Changing weight limit from 20 to 21.
% 283.03/283.26  
% 283.03/283.26  Resetting weight limit to 21 after 14165 givens.
% 283.03/283.26  
% 283.17/283.36  
% 283.17/283.36  
% 283.17/283.36  Changing weight limit from 21 to 22.
% 283.17/283.36  
% 283.17/283.36  Resetting weight limit to 22 after 14170 givens.
% 283.17/283.36  
% 283.33/283.52  
% 283.33/283.52  
% 283.33/283.52  Changing weight limit from 22 to 20.
% 283.33/283.52  
% 283.33/283.52  Resetting weight limit to 20 after 14175 givens.
% 283.33/283.52  
% 283.47/283.62  
% 283.47/283.62  
% 283.47/283.62  Changing weight limit from 20 to 21.
% 283.47/283.62  
% 283.47/283.62  Resetting weight limit to 21 after 14180 givens.
% 283.47/283.62  
% 283.57/283.72  
% 283.57/283.72  
% 283.57/283.72  Changing weight limit from 21 to 22.
% 283.57/283.72  
% 283.57/283.72  Resetting weight limit to 22 after 14185 givens.
% 283.57/283.72  
% 283.73/283.89  
% 283.73/283.89  
% 283.73/283.89  Changing weight limit from 22 to 20.
% 283.73/283.89  
% 283.73/283.89  Resetting weight limit to 20 after 14190 givens.
% 283.73/283.89  
% 283.77/283.99  
% 283.77/283.99  
% 283.77/283.99  Changing weight limit from 20 to 21.
% 283.77/283.99  
% 283.77/283.99  Resetting weight limit to 21 after 14195 givens.
% 283.77/283.99  
% 283.87/284.07  
% 283.87/284.07  
% 283.87/284.07  Changing weight limit from 21 to 22.
% 283.87/284.07  
% 283.87/284.07  Resetting weight limit to 22 after 14200 givens.
% 283.87/284.07  
% 284.09/284.30  
% 284.09/284.30  
% 284.09/284.30  Changing weight limit from 22 to 19.
% 284.09/284.30  
% 284.09/284.30  Resetting weight limit to 19 after 14210 givens.
% 284.09/284.30  
% 284.09/284.32  
% 284.09/284.32  
% 284.09/284.32  Changing weight limit from 19 to 20.
% 284.09/284.32  
% 284.09/284.32  Resetting weight limit to 20 after 14215 givens.
% 284.09/284.32  
% 284.25/284.42  
% 284.25/284.42  
% 284.25/284.42  Changing weight limit from 20 to 21.
% 284.25/284.42  
% 284.25/284.42  Resetting weight limit to 21 after 14220 givens.
% 284.25/284.42  
% 284.35/284.52  
% 284.35/284.52  
% 284.35/284.52  Changing weight limit from 21 to 22.
% 284.35/284.52  
% 284.35/284.52  Resetting weight limit to 22 after 14225 givens.
% 284.35/284.52  
% 284.48/284.68  
% 284.48/284.68  
% 284.48/284.68  Changing weight limit from 22 to 20.
% 284.48/284.68  
% 284.48/284.68  Resetting weight limit to 20 after 14230 givens.
% 284.48/284.68  
% 284.63/284.78  
% 284.63/284.78  
% 284.63/284.78  Changing weight limit from 20 to 21.
% 284.63/284.78  
% 284.63/284.78  Resetting weight limit to 21 after 14235 givens.
% 284.63/284.78  
% 284.70/284.88  
% 284.70/284.88  
% 284.70/284.88  Changing weight limit from 21 to 22.
% 284.70/284.88  
% 284.70/284.88  Resetting weight limit to 22 after 14240 givens.
% 284.70/284.88  
% 284.90/285.05  
% 284.90/285.05  
% 284.90/285.05  Changing weight limit from 22 to 20.
% 284.90/285.05  
% 284.90/285.05  Resetting weight limit to 20 after 14245 givens.
% 284.90/285.05  
% 285.00/285.15  
% 285.00/285.15  
% 285.00/285.15  Changing weight limit from 20 to 21.
% 285.00/285.15  
% 285.00/285.15  Resetting weight limit to 21 after 14250 givens.
% 285.00/285.15  
% 285.08/285.26  
% 285.08/285.26  
% 285.08/285.26  Changing weight limit from 21 to 22.
% 285.08/285.26  
% 285.08/285.26  Resetting weight limit to 22 after 14255 givens.
% 285.08/285.26  
% 285.60/285.77  
% 285.60/285.77  
% 285.60/285.77  Changing weight limit from 22 to 19.
% 285.60/285.77  
% 285.60/285.77  Resetting weight limit to 19 after 14300 givens.
% 285.60/285.77  
% 285.60/285.78  
% 285.60/285.78  
% 285.60/285.78  Changing weight limit from 19 to 20.
% 285.60/285.78  
% 285.60/285.78  Resetting weight limit to 20 after 14305 givens.
% 285.60/285.78  
% 285.67/285.84  
% 285.67/285.84  
% 285.67/285.84  Changing weight limit from 20 to 21.
% 285.67/285.84  
% 285.67/285.84  Resetting weight limit to 21 after 14310 givens.
% 285.67/285.84  
% 285.73/285.90  
% 285.73/285.90  
% 285.73/285.90  Changing weight limit from 21 to 22.
% 285.73/285.90  
% 285.73/285.90  Resetting weight limit to 22 after 14315 givens.
% 285.73/285.90  
% 285.85/286.03  
% 285.85/286.03  
% 285.85/286.03  Changing weight limit from 22 to 19.
% 285.85/286.03  
% 285.85/286.03  Resetting weight limit to 19 after 14320 givens.
% 285.85/286.03  
% 285.89/286.04  
% 285.89/286.04  
% 285.89/286.04  Changing weight limit from 19 to 20.
% 285.89/286.04  
% 285.89/286.04  Resetting weight limit to 20 after 14325 givens.
% 285.89/286.04  
% 285.95/286.10  
% 285.95/286.10  
% 285.95/286.10  Changing weight limit from 20 to 21.
% 285.95/286.10  
% 285.95/286.10  Resetting weight limit to 21 after 14330 givens.
% 285.95/286.10  
% 286.02/286.17  
% 286.02/286.17  
% 286.02/286.17  Changing weight limit from 21 to 22.
% 286.02/286.17  
% 286.02/286.17  Resetting weight limit to 22 after 14335 givens.
% 286.02/286.17  
% 286.15/286.32  
% 286.15/286.32  
% 286.15/286.32  Changing weight limit from 22 to 20.
% 286.15/286.32  
% 286.15/286.32  Resetting weight limit to 20 after 14345 givens.
% 286.15/286.32  
% 286.15/286.33  
% 286.15/286.33  
% 286.15/286.33  Changing weight limit from 20 to 21.
% 286.15/286.33  
% 286.15/286.33  Resetting weight limit to 21 after 14350 givens.
% 286.15/286.33  
% 286.19/286.34  
% 286.19/286.34  
% 286.19/286.34  Changing weight limit from 21 to 22.
% 286.19/286.34  
% 286.19/286.34  Resetting weight limit to 22 after 14355 givens.
% 286.19/286.34  
% 300.08/300.24  Wow, sos-wrapper got a signal XCPU
%------------------------------------------------------------------------------