TSTP Solution File: NLP187-1 by SOS---2.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : SOS---2.0
% Problem : NLP187-1 : TPTP v8.1.0. Released v2.4.0.
% Transfm : none
% Format : tptp:raw
% Command : sos-script %s
% Computer : n023.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:32 EDT 2022
% Result : Timeout 286.15s 286.34s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.11 % Problem : NLP187-1 : TPTP v8.1.0. Released v2.4.0.
% 0.07/0.12 % Command : sos-script %s
% 0.12/0.33 % Computer : n023.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Thu Jun 30 21:09:14 EDT 2022
% 0.12/0.33 % CPUTime :
% 0.12/0.35
% 0.12/0.35
% 0.12/0.35 WARNING, multiple arity: set/1, set/2.
% 0.12/0.35
% 0.12/0.35 ----- Otter 3.2, August 2001 -----
% 0.12/0.35 The process was started by sandbox on n023.cluster.edu,
% 0.12/0.35 Thu Jun 30 21:09:14 2022
% 0.12/0.35 The command was "./sos". The process ID is 794.
% 0.12/0.35
% 0.12/0.35 set(prolog_style_variables).
% 0.12/0.35 set(auto).
% 0.12/0.35 dependent: set(auto1).
% 0.12/0.35 dependent: set(process_input).
% 0.12/0.35 dependent: clear(print_kept).
% 0.12/0.35 dependent: clear(print_new_demod).
% 0.12/0.35 dependent: clear(print_back_demod).
% 0.12/0.35 dependent: clear(print_back_sub).
% 0.12/0.35 dependent: set(control_memory).
% 0.12/0.35 dependent: assign(max_mem, 12000).
% 0.12/0.35 dependent: assign(pick_given_ratio, 4).
% 0.12/0.35 dependent: assign(stats_level, 1).
% 0.12/0.35 dependent: assign(pick_semantic_ratio, 3).
% 0.12/0.35 dependent: assign(sos_limit, 5000).
% 0.12/0.35 dependent: assign(max_weight, 60).
% 0.12/0.35 clear(print_given).
% 0.12/0.35
% 0.12/0.35 list(usable).
% 0.12/0.35
% 0.12/0.35 SCAN INPUT: prop=0, horn=0, equality=1, symmetry=0, max_lits=28.
% 0.12/0.35
% 0.12/0.35 This ia a non-Horn set with equality. The strategy will be
% 0.12/0.35 Knuth-Bendix, ordered hyper_res, ur_res, factoring, and
% 0.12/0.35 unit deletion, with positive clauses in sos and nonpositive
% 0.12/0.35 clauses in usable.
% 0.12/0.35
% 0.12/0.35 dependent: set(knuth_bendix).
% 0.12/0.35 dependent: set(para_from).
% 0.12/0.35 dependent: set(para_into).
% 0.12/0.35 dependent: clear(para_from_right).
% 0.12/0.35 dependent: clear(para_into_right).
% 0.12/0.35 dependent: set(para_from_vars).
% 0.12/0.35 dependent: set(eq_units_both_ways).
% 0.12/0.35 dependent: set(dynamic_demod_all).
% 0.12/0.35 dependent: set(dynamic_demod).
% 0.12/0.35 dependent: set(order_eq).
% 0.12/0.35 dependent: set(back_demod).
% 0.12/0.35 dependent: set(lrpo).
% 0.12/0.35 dependent: set(hyper_res).
% 0.12/0.35 dependent: set(unit_deletion).
% 0.12/0.35 dependent: set(factor).
% 0.12/0.35
% 0.12/0.35 ------------> process usable:
% 0.12/0.35 85 back subsumes 84.
% 0.12/0.35
% 0.12/0.35 ------------> process sos:
% 0.12/0.35 Following clause subsumed by 113 during input processing: 0 [copy,113,flip.1] {-} A=A.
% 0.12/0.35 113 back subsumes 86.
% 0.12/0.35 113 back subsumes 85.
% 0.12/0.35 113 back subsumes 83.
% 0.12/0.35
% 0.12/0.35 ======= end of input processing =======
% 0.18/0.47
% 0.18/0.47 Model 1 (0.00 seconds, 0 Inserts)
% 0.18/0.47
% 0.18/0.47 Stopped by limit on number of solutions
% 0.18/0.47
% 0.18/0.47
% 0.18/0.47 -------------- Softie stats --------------
% 0.18/0.47
% 0.18/0.47 UPDATE_STOP: 300
% 0.18/0.47 SFINDER_TIME_LIMIT: 2
% 0.18/0.47 SHORT_CLAUSE_CUTOFF: 4
% 0.18/0.47 number of clauses in intial UL: 82
% 0.18/0.47 number of clauses initially in problem: 109
% 0.18/0.47 percentage of clauses intially in UL: 75
% 0.18/0.47 percentage of distinct symbols occuring in initial UL: 93
% 0.18/0.47 percent of all initial clauses that are short: 99
% 0.18/0.47 absolute distinct symbol count: 86
% 0.18/0.47 distinct predicate count: 70
% 0.18/0.47 distinct function count: 10
% 0.18/0.47 distinct constant count: 6
% 0.18/0.47
% 0.18/0.47 ---------- no more Softie stats ----------
% 0.18/0.47
% 0.18/0.47
% 0.18/0.47
% 0.18/0.47 Model 2 (0.00 seconds, 0 Inserts)
% 0.18/0.47
% 0.18/0.47 Stopped by limit on number of solutions
% 0.18/0.47
% 0.18/0.47 =========== start of search ===========
% 12.18/12.37
% 12.18/12.37 Model 3 (0.00 seconds, 0 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on number of solutions
% 12.18/12.37
% 12.18/12.37 Model 4 (0.00 seconds, 0 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on number of solutions
% 12.18/12.37
% 12.18/12.37 Model 5 (0.00 seconds, 0 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on number of solutions
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 6 [ 3 8 47336 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 7 [ 2 8 65201 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 8 [ 4 4 28555 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Model 9 (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on number of solutions
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 10 [ 3 4 26022 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 11 [ 4 4 26205 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 12 [ 2 5 22304 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 13 [ 7 4 29029 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 14 [ 1 9 49857 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 15 [ 8 4 26207 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 16 [ 4 7 27783 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 17 [ 4 4 20402 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 18 [ 6 7 42578 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 19 [ 8 6 32618 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 20 [ 12 3 12955 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 21 [ 7 8 46957 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 22 [ 4 6 30827 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 23 [ 9 4 29356 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 24 [ 14 6 49514 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 25 [ 14 9 65736 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 26 [ 12 2 2016 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 27 [ 14 1 1188 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 28 [ 13 5 26093 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 29 [ 15 3 12440 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 30 [ 14 3 12935 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 31 [ 11 1 2789 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 32 [ 9 8 46075 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 33 [ 17 6 40661 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 34 [ 18 5 32362 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 35 [ 19 4 27589 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 36 [ 17 5 32624 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 37 [ 15 6 47373 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 38 [ 15 3 13266 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 39 [ 19 4 17439 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 40 [ 23 8 51976 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 41 [ 17 5 25981 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 42 [ 27 5 35094 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 43 [ 20 3 12710 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 44 [ 23 4 17302 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 45 [ 30 3 14952 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 46 [ 19 4 24256 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 47 [ 32 8 51662 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 48 [ 31 4 18502 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 12.18/12.37 Stopped by limit on insertions
% 12.18/12.37
% 12.18/12.37 Model 49 [ 28 3 14327 ] (0.00 seconds, 250000 Inserts)
% 12.18/12.37
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 50 [ 52 4 17770 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 51 [ 35 4 24311 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 52 [ 41 4 19063 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 53 [ 51 5 29380 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 54 [ 35 5 24008 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 55 [ 70 7 48893 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 56 [ 63 5 28002 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 57 [ 34 6 36386 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 58 [ 47 7 43606 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 59 [ 38 2 6326 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 60 [ 50 5 32691 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 61 [ 52 3 17810 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 62 [ 42 1 2847 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 63 [ 73 4 25059 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 64 [ 54 6 38723 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 65 [ 53 4 27185 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 66 [ 58 4 26412 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 67 [ 62 5 32285 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 68 [ 84 4 19854 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 69 [ 63 4 19785 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 70 [ 65 4 19926 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 71 [ 112 5 29726 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 72 [ 84 10 62700 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 73 [ 94 5 13805 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 74 [ 104 7 47606 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 75 [ 66 9 58730 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 76 [ 76 6 36522 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 77 [ 84 5 29674 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 78 [ 71 3 19067 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 79 [ 96 5 28261 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 80 [ 80 6 30223 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 81 [ 89 4 22928 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 82 [ 109 6 28491 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 83 [ 93 5 23689 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 84 [ 86 4 13200 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 85 [ 104 4 14420 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 86 [ 89 5 27468 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 87 [ 102 5 20065 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 88 [ 132 5 27047 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 89 [ 83 6 27594 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 90 [ 69 8 48590 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 91 [ 96 8 42522 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 92 [ 129 2 1197 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 93 [ 76 10 49597 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 94 [ 130 4 21277 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 44.86/45.06 Model 95 [ 100 6 24887 ] (0.00 seconds, 250000 Inserts)
% 44.86/45.06
% 44.86/45.06 Stopped by limit on insertions
% 44.86/45.06
% 69.01/69.20 Model 96 [ 82 11 59370 ] (0.00 se
% 69.01/69.20
% 69.01/69.20 Changing weight limit from 60 to 48.
% 69.01/69.20 conds, 250000 Inserts)
% 69.01/69.20
% 69.01/69.20 Stopped by limit on insertions
% 69.01/69.20
% 69.01/69.20 Model 97 [ 106 8 41406 ] (0.00 seconds, 250000 Inserts)
% 69.01/69.20
% 69.01/69.20 Stopped by limit on insertions
% 69.01/69.20
% 69.01/69.20 Model 98 [ 99 4 15182 ] (0.00 seconds, 250000 Inserts)
% 69.01/69.20
% 69.01/69.20 Stopped by limit on insertions
% 69.01/69.20
% 69.01/69.20 Model 99 [ 96 7 40221 ] (0.00 seconds, 250000 Inserts)
% 69.01/69.20
% 69.01/69.20 Stopped by limit on insertions
% 69.01/69.20
% 69.01/69.20 Model 100 [ 94 5 18623 ] (0.00 seconds, 250000 Inserts)
% 69.01/69.20
% 69.01/69.20 Stopped by limit on insertions
% 69.01/69.20
% 69.01/69.20 Model 101 [ 111 6 35279 ] (0.00 seconds, 250000 Inserts)
% 69.01/69.20
% 69.01/69.20 Stopped by limit on insertions
% 69.01/69.20
% 69.01/69.20 Model 102 [ 157 5 28510 ] (0.00 seconds, 250000 Inserts)
% 69.01/69.20
% 69.01/69.20 Stopped by limit on insertions
% 69.01/69.20
% 69.01/69.20 Model 103 [ 127 2 1187 ] (0.00 seconds, 250000 Inserts)
% 69.01/69.20
% 69.01/69.20 Stopped by limit on insertions
% 69.01/69.20
% 69.01/69.20 Model 104 [ 149 4 14024 ] (0.00 seconds, 250000 Inserts)
% 69.01/69.20
% 69.01/69.20 Stopped by limit on insertions
% 69.01/69.20
% 69.01/69.20 Model 105 [ 171 3 13647 ] (0.00 seconds, 250000 Inserts)
% 69.01/69.20
% 69.01/69.20 Stopped by limit on insertions
% 69.01/69.20
% 69.01/69.20 Model 106 [ 114 5 23919 ] (0.00 seconds, 250000 Inserts)
% 69.01/69.20
% 69.01/69.20 Stopped by limit on insertions
% 69.01/69.20
% 69.01/69.20 Model 107 [ 76 5 25624 ] (0.00 seconds, 250000 Inserts)
% 69.01/69.20
% 69.01/69.20 Stopped by limit on insertions
% 69.01/69.20
% 69.01/69.20 Model 108 [ 76 4 19400 ] (0.00 seconds, 250000 Inserts)
% 69.01/69.20
% 69.01/69.20 Resetting weight limit to 48 after 180 givens.
% 69.01/69.20
% 83.67/83.87
% 83.67/83.87
% 83.67/83.87 Changing weight limit from 48 to 44.
% 83.67/83.87
% 83.67/83.87 Stopped by limit on insertions
% 83.67/83.87
% 83.67/83.87 Model 109 [ 105 3 9238 ] (0.00 seconds, 250000 Inserts)
% 83.67/83.87
% 83.67/83.87 Stopped by limit on insertions
% 83.67/83.87
% 83.67/83.87 Model 110 [ 228 8 27946 ] (0.00 seconds, 250000 Inserts)
% 83.67/83.87
% 83.67/83.87 Stopped by limit on insertions
% 83.67/83.87
% 83.67/83.87 Model 111 [ 189 9 37559 ] (0.00 seconds, 250000 Inserts)
% 83.67/83.87
% 83.67/83.87 Stopped by limit on insertions
% 83.67/83.87
% 83.67/83.87 Model 112 [ 172 7 25836 ] (0.00 seconds, 250000 Inserts)
% 83.67/83.87
% 83.67/83.87 Stopped by limit on insertions
% 83.67/83.87
% 83.67/83.87 Model 113 [ 49 13 59760 ] (0.00 seconds, 250000 Inserts)
% 83.67/83.87
% 83.67/83.87 Resetting weight limit to 44 after 255 givens.
% 83.67/83.87
% 84.42/84.62
% 84.42/84.62
% 84.42/84.62 Changing weight limit from 44 to 40.
% 84.42/84.62
% 84.42/84.62 Resetting weight limit to 40 after 260 givens.
% 84.42/84.62
% 85.33/85.51
% 85.33/85.51
% 85.33/85.51 Changing weight limit from 40 to 38.
% 85.33/85.51
% 85.33/85.51 Resetting weight limit to 38 after 265 givens.
% 85.33/85.51
% 85.76/86.00
% 85.76/86.00
% 85.76/86.00 Changing weight limit from 38 to 37.
% 85.76/86.00
% 85.76/86.00 Resetting weight limit to 37 after 270 givens.
% 85.76/86.00
% 86.37/86.57
% 86.37/86.57
% 86.37/86.57 Changing weight limit from 37 to 36.
% 86.37/86.57
% 86.37/86.57 Resetting weight limit to 36 after 275 givens.
% 86.37/86.57
% 86.87/87.05
% 86.87/87.05
% 86.87/87.05 Changing weight limit from 36 to 35.
% 86.87/87.05
% 86.87/87.05 Resetting weight limit to 35 after 280 givens.
% 86.87/87.05
% 87.46/87.65
% 87.46/87.65
% 87.46/87.65 Changing weight limit from 35 to 34.
% 87.46/87.65
% 87.46/87.65 Resetting weight limit to 34 after 285 givens.
% 87.46/87.65
% 88.18/88.44
% 88.18/88.44
% 88.18/88.44 Changing weight limit from 34 to 33.
% 88.18/88.44
% 88.18/88.44 Resetting weight limit to 33 after 295 givens.
% 88.18/88.44
% 89.84/90.05
% 89.84/90.05
% 89.84/90.05 Changing weight limit from 33 to 32.
% 89.84/90.05
% 89.84/90.05 Resetting weight limit to 32 after 310 givens.
% 89.84/90.05
% 90.36/90.55
% 90.36/90.55
% 90.36/90.55 Changing weight limit from 32 to 31.
% 90.36/90.55
% 90.36/90.55 Resetting weight limit to 31 after 315 givens.
% 90.36/90.55
% 90.91/91.15
% 90.91/91.15
% 90.91/91.15 Changing weight limit from 31 to 29.
% 90.91/91.15
% 90.91/91.15 Resetting weight limit to 29 after 320 givens.
% 90.91/91.15
% 91.67/91.86
% 91.67/91.86
% 91.67/91.86 Changing weight limit from 29 to 28.
% 91.67/91.86
% 91.67/91.86 Resetting weight limit to 28 after 325 givens.
% 91.67/91.86
% 92.62/92.85
% 92.62/92.85
% 92.62/92.85 Changing weight limit from 28 to 26.
% 92.62/92.85
% 92.62/92.85 Resetting weight limit to 26 after 335 givens.
% 92.62/92.85
% 93.08/93.26
% 93.08/93.26
% 93.08/93.26 Changing weight limit from 26 to 24.
% 93.08/93.26
% 93.08/93.26 Resetting weight limit to 24 after 340 givens.
% 93.08/93.26
% 116.37/116.56
% 116.37/116.56
% 116.37/116.56 Changing weight limit from 24 to 23.
% 116.37/116.56
% 116.37/116.56 Modelling stopped after 300 given clauses and 0.00 seconds
% 116.37/116.56
% 116.37/116.56
% 116.37/116.56 Resetting weight limit to 23 after 585 givens.
% 116.37/116.56
% 120.65/120.84
% 120.65/120.84
% 120.65/120.84 Changing weight limit from 23 to 22.
% 120.65/120.84
% 120.65/120.84 Resetting weight limit to 22 after 665 givens.
% 120.65/120.84
% 121.46/121.65
% 121.46/121.65
% 121.46/121.65 Changing weight limit from 22 to 21.
% 121.46/121.65
% 121.46/121.65 Resetting weight limit to 21 after 685 givens.
% 121.46/121.65
% 124.55/124.77
% 124.55/124.77
% 124.55/124.77 Changing weight limit from 21 to 20.
% 124.55/124.77
% 124.55/124.77 Resetting weight limit to 20 after 760 givens.
% 124.55/124.77
% 124.91/125.11
% 124.91/125.11
% 124.91/125.11 Changing weight limit from 20 to 19.
% 124.91/125.11
% 124.91/125.11 Resetting weight limit to 19 after 770 givens.
% 124.91/125.11
% 187.76/187.97
% 187.76/187.97
% 187.76/187.97 Changing weight limit from 19 to 20.
% 187.76/187.97
% 187.76/187.97 Resetting weight limit to 20 after 5025 givens.
% 187.76/187.97
% 187.89/188.08
% 187.89/188.08
% 187.89/188.08 Changing weight limit from 20 to 19.
% 187.89/188.08
% 187.89/188.08 Resetting weight limit to 19 after 5030 givens.
% 187.89/188.08
% 236.42/236.63
% 236.42/236.63
% 236.42/236.63 Changing weight limit from 19 to 20.
% 236.42/236.63
% 236.42/236.63 Resetting weight limit to 20 after 8085 givens.
% 236.42/236.63
% 236.49/236.67
% 236.49/236.67
% 236.49/236.67 Changing weight limit from 20 to 19.
% 236.49/236.67
% 236.49/236.67 Resetting weight limit to 19 after 8090 givens.
% 236.49/236.67
% 236.56/236.82
% 236.56/236.82
% 236.56/236.82 Changing weight limit from 19 to 20.
% 236.56/236.82
% 236.56/236.82 Resetting weight limit to 20 after 8105 givens.
% 236.56/236.82
% 236.66/236.86
% 236.66/236.86
% 236.66/236.86 Changing weight limit from 20 to 19.
% 236.66/236.86
% 236.66/236.86 Resetting weight limit to 19 after 8110 givens.
% 236.66/236.86
% 236.82/237.01
% 236.82/237.01
% 236.82/237.01 Changing weight limit from 19 to 20.
% 236.82/237.01
% 236.82/237.01 Resetting weight limit to 20 after 8125 givens.
% 236.82/237.01
% 236.82/237.05
% 236.82/237.05
% 236.82/237.05 Changing weight limit from 20 to 19.
% 236.82/237.05
% 236.82/237.05 Resetting weight limit to 19 after 8130 givens.
% 236.82/237.05
% 236.97/237.17
% 236.97/237.17
% 236.97/237.17 Changing weight limit from 19 to 20.
% 236.97/237.17
% 236.97/237.17 Resetting weight limit to 20 after 8145 givens.
% 236.97/237.17
% 236.97/237.21
% 236.97/237.21
% 236.97/237.21 Changing weight limit from 20 to 19.
% 236.97/237.21
% 236.97/237.21 Resetting weight limit to 19 after 8150 givens.
% 236.97/237.21
% 237.08/237.34
% 237.08/237.34
% 237.08/237.34 Changing weight limit from 19 to 20.
% 237.08/237.34
% 237.08/237.34 Resetting weight limit to 20 after 8165 givens.
% 237.08/237.34
% 237.17/237.38
% 237.17/237.38
% 237.17/237.38 Changing weight limit from 20 to 19.
% 237.17/237.38
% 237.17/237.38 Resetting weight limit to 19 after 8170 givens.
% 237.17/237.38
% 237.33/237.53
% 237.33/237.53
% 237.33/237.53 Changing weight limit from 19 to 20.
% 237.33/237.53
% 237.33/237.53 Resetting weight limit to 20 after 8185 givens.
% 237.33/237.53
% 237.38/237.58
% 237.38/237.58
% 237.38/237.58 Changing weight limit from 20 to 19.
% 237.38/237.58
% 237.38/237.58 Resetting weight limit to 19 after 8190 givens.
% 237.38/237.58
% 237.52/237.74
% 237.52/237.74
% 237.52/237.74 Changing weight limit from 19 to 20.
% 237.52/237.74
% 237.52/237.74 Resetting weight limit to 20 after 8205 givens.
% 237.52/237.74
% 237.58/237.80
% 237.58/237.80
% 237.58/237.80 Changing weight limit from 20 to 19.
% 237.58/237.80
% 237.58/237.80 Resetting weight limit to 19 after 8210 givens.
% 237.58/237.80
% 237.76/237.94
% 237.76/237.94
% 237.76/237.94 Changing weight limit from 19 to 20.
% 237.76/237.94
% 237.76/237.94 Resetting weight limit to 20 after 8225 givens.
% 237.76/237.94
% 237.76/237.97
% 237.76/237.97
% 237.76/237.97 Changing weight limit from 20 to 19.
% 237.76/237.97
% 237.76/237.97 Resetting weight limit to 19 after 8230 givens.
% 237.76/237.97
% 237.88/238.10
% 237.88/238.10
% 237.88/238.10 Changing weight limit from 19 to 20.
% 237.88/238.10
% 237.88/238.10 Resetting weight limit to 20 after 8245 givens.
% 237.88/238.10
% 237.93/238.13
% 237.93/238.13
% 237.93/238.13 Changing weight limit from 20 to 19.
% 237.93/238.13
% 237.93/238.13 Resetting weight limit to 19 after 8250 givens.
% 237.93/238.13
% 238.07/238.26
% 238.07/238.26
% 238.07/238.26 Changing weight limit from 19 to 20.
% 238.07/238.26
% 238.07/238.26 Resetting weight limit to 20 after 8265 givens.
% 238.07/238.26
% 238.07/238.29
% 238.07/238.29
% 238.07/238.29 Changing weight limit from 20 to 19.
% 238.07/238.29
% 238.07/238.29 Resetting weight limit to 19 after 8270 givens.
% 238.07/238.29
% 238.12/238.32
% 238.12/238.32
% 238.12/238.32 Changing weight limit from 19 to 20.
% 238.12/238.32
% 238.12/238.32 Resetting weight limit to 20 after 8275 givens.
% 238.12/238.32
% 238.18/238.37
% 238.18/238.37
% 238.18/238.37 Changing weight limit from 20 to 21.
% 238.18/238.37
% 238.18/238.37 Resetting weight limit to 21 after 8280 givens.
% 238.18/238.37
% 238.18/238.43
% 238.18/238.43
% 238.18/238.43 Changing weight limit from 21 to 22.
% 238.18/238.43
% 238.18/238.43 Resetting weight limit to 22 after 8285 givens.
% 238.18/238.43
% 238.46/238.64
% 238.46/238.64
% 238.46/238.64 Changing weight limit from 22 to 21.
% 238.46/238.64
% 238.46/238.64 Resetting weight limit to 21 after 8290 givens.
% 238.46/238.64
% 238.58/238.82
% 238.58/238.82
% 238.58/238.82 Changing weight limit from 21 to 22.
% 238.58/238.82
% 238.58/238.82 Resetting weight limit to 22 after 8305 givens.
% 238.58/238.82
% 238.77/239.02
% 238.77/239.02
% 238.77/239.02 Changing weight limit from 22 to 21.
% 238.77/239.02
% 238.77/239.02 Resetting weight limit to 21 after 8310 givens.
% 238.77/239.02
% 238.87/239.08
% 238.87/239.08
% 238.87/239.08 Changing weight limit from 21 to 22.
% 238.87/239.08
% 238.87/239.08 Resetting weight limit to 22 after 8315 givens.
% 238.87/239.08
% 239.16/239.34
% 239.16/239.34
% 239.16/239.34 Changing weight limit from 22 to 21.
% 239.16/239.34
% 239.16/239.34 Resetting weight limit to 21 after 8320 givens.
% 239.16/239.34
% 239.17/239.40
% 239.17/239.40
% 239.17/239.40 Changing weight limit from 21 to 22.
% 239.17/239.40
% 239.17/239.40 Resetting weight limit to 22 after 8325 givens.
% 239.17/239.40
% 239.42/239.61
% 239.42/239.61
% 239.42/239.61 Changing weight limit from 22 to 19.
% 239.42/239.61
% 239.42/239.61 Resetting weight limit to 19 after 8330 givens.
% 239.42/239.61
% 239.42/239.64
% 239.42/239.64
% 239.42/239.64 Changing weight limit from 19 to 20.
% 239.42/239.64
% 239.42/239.64 Resetting weight limit to 20 after 8335 givens.
% 239.42/239.64
% 239.48/239.68
% 239.48/239.68
% 239.48/239.68 Changing weight limit from 20 to 21.
% 239.48/239.68
% 239.48/239.68 Resetting weight limit to 21 after 8340 givens.
% 239.48/239.68
% 239.53/239.72
% 239.53/239.72
% 239.53/239.72 Changing weight limit from 21 to 22.
% 239.53/239.72
% 239.53/239.72 Resetting weight limit to 22 after 8345 givens.
% 239.53/239.72
% 239.71/239.92
% 239.71/239.92
% 239.71/239.92 Changing weight limit from 22 to 19.
% 239.71/239.92
% 239.71/239.92 Resetting weight limit to 19 after 8360 givens.
% 239.71/239.92
% 239.77/239.95
% 239.77/239.95
% 239.77/239.95 Changing weight limit from 19 to 20.
% 239.77/239.95
% 239.77/239.95 Resetting weight limit to 20 after 8365 givens.
% 239.77/239.95
% 239.78/239.99
% 239.78/239.99
% 239.78/239.99 Changing weight limit from 20 to 21.
% 239.78/239.99
% 239.78/239.99 Resetting weight limit to 21 after 8370 givens.
% 239.78/239.99
% 239.83/240.03
% 239.83/240.03
% 239.83/240.03 Changing weight limit from 21 to 22.
% 239.83/240.03
% 239.83/240.03 Resetting weight limit to 22 after 8375 givens.
% 239.83/240.03
% 240.02/240.20
% 240.02/240.20
% 240.02/240.20 Changing weight limit from 22 to 19.
% 240.02/240.20
% 240.02/240.20 Resetting weight limit to 19 after 8385 givens.
% 240.02/240.20
% 240.02/240.24
% 240.02/240.24
% 240.02/240.24 Changing weight limit from 19 to 20.
% 240.02/240.24
% 240.02/240.24 Resetting weight limit to 20 after 8390 givens.
% 240.02/240.24
% 240.08/240.28
% 240.08/240.28
% 240.08/240.28 Changing weight limit from 20 to 21.
% 240.08/240.28
% 240.08/240.28 Resetting weight limit to 21 after 8395 givens.
% 240.08/240.28
% 240.12/240.32
% 240.12/240.32
% 240.12/240.32 Changing weight limit from 21 to 22.
% 240.12/240.32
% 240.12/240.32 Resetting weight limit to 22 after 8400 givens.
% 240.12/240.32
% 240.26/240.49
% 240.26/240.49
% 240.26/240.49 Changing weight limit from 22 to 19.
% 240.26/240.49
% 240.26/240.49 Resetting weight limit to 19 after 8415 givens.
% 240.26/240.49
% 240.32/240.53
% 240.32/240.53
% 240.32/240.53 Changing weight limit from 19 to 20.
% 240.32/240.53
% 240.32/240.53 Resetting weight limit to 20 after 8420 givens.
% 240.32/240.53
% 240.38/240.57
% 240.38/240.57
% 240.38/240.57 Changing weight limit from 20 to 21.
% 240.38/240.57
% 240.38/240.57 Resetting weight limit to 21 after 8425 givens.
% 240.38/240.57
% 240.38/240.61
% 240.38/240.61
% 240.38/240.61 Changing weight limit from 21 to 22.
% 240.38/240.61
% 240.38/240.61 Resetting weight limit to 22 after 8430 givens.
% 240.38/240.61
% 240.57/240.77
% 240.57/240.77
% 240.57/240.77 Changing weight limit from 22 to 19.
% 240.57/240.77
% 240.57/240.77 Resetting weight limit to 19 after 8440 givens.
% 240.57/240.77
% 240.57/240.81
% 240.57/240.81
% 240.57/240.81 Changing weight limit from 19 to 20.
% 240.57/240.81
% 240.57/240.81 Resetting weight limit to 20 after 8445 givens.
% 240.57/240.81
% 240.57/240.84
% 240.57/240.84
% 240.57/240.84 Changing weight limit from 20 to 21.
% 240.57/240.84
% 240.57/240.84 Resetting weight limit to 21 after 8450 givens.
% 240.57/240.84
% 240.67/240.88
% 240.67/240.88
% 240.67/240.88 Changing weight limit from 21 to 22.
% 240.67/240.88
% 240.67/240.88 Resetting weight limit to 22 after 8455 givens.
% 240.67/240.88
% 240.78/241.02
% 240.78/241.02
% 240.78/241.02 Changing weight limit from 22 to 19.
% 240.78/241.02
% 240.78/241.02 Resetting weight limit to 19 after 8465 givens.
% 240.78/241.02
% 240.87/241.06
% 240.87/241.06
% 240.87/241.06 Changing weight limit from 19 to 20.
% 240.87/241.06
% 240.87/241.06 Resetting weight limit to 20 after 8470 givens.
% 240.87/241.06
% 240.91/241.10
% 240.91/241.10
% 240.91/241.10 Changing weight limit from 20 to 21.
% 240.91/241.10
% 240.91/241.10 Resetting weight limit to 21 after 8475 givens.
% 240.91/241.10
% 240.96/241.14
% 240.96/241.14
% 240.96/241.14 Changing weight limit from 21 to 22.
% 240.96/241.14
% 240.96/241.14 Resetting weight limit to 22 after 8480 givens.
% 240.96/241.14
% 241.08/241.34
% 241.08/241.34
% 241.08/241.34 Changing weight limit from 22 to 19.
% 241.08/241.34
% 241.08/241.34 Resetting weight limit to 19 after 8495 givens.
% 241.08/241.34
% 241.17/241.38
% 241.17/241.38
% 241.17/241.38 Changing weight limit from 19 to 20.
% 241.17/241.38
% 241.17/241.38 Resetting weight limit to 20 after 8500 givens.
% 241.17/241.38
% 241.22/241.42
% 241.22/241.42
% 241.22/241.42 Changing weight limit from 20 to 21.
% 241.22/241.42
% 241.22/241.42 Resetting weight limit to 21 after 8505 givens.
% 241.22/241.42
% 241.28/241.46
% 241.28/241.46
% 241.28/241.46 Changing weight limit from 21 to 22.
% 241.28/241.46
% 241.28/241.46 Resetting weight limit to 22 after 8510 givens.
% 241.28/241.46
% 241.37/241.61
% 241.37/241.61
% 241.37/241.61 Changing weight limit from 22 to 19.
% 241.37/241.61
% 241.37/241.61 Resetting weight limit to 19 after 8520 givens.
% 241.37/241.61
% 241.46/241.65
% 241.46/241.65
% 241.46/241.65 Changing weight limit from 19 to 20.
% 241.46/241.65
% 241.46/241.65 Resetting weight limit to 20 after 8525 givens.
% 241.46/241.65
% 241.51/241.69
% 241.51/241.69
% 241.51/241.69 Changing weight limit from 20 to 21.
% 241.51/241.69
% 241.51/241.69 Resetting weight limit to 21 after 8530 givens.
% 241.51/241.69
% 241.51/241.73
% 241.51/241.73
% 241.51/241.73 Changing weight limit from 21 to 22.
% 241.51/241.73
% 241.51/241.73 Resetting weight limit to 22 after 8535 givens.
% 241.51/241.73
% 241.67/241.89
% 241.67/241.89
% 241.67/241.89 Changing weight limit from 22 to 19.
% 241.67/241.89
% 241.67/241.89 Resetting weight limit to 19 after 8545 givens.
% 241.67/241.89
% 241.67/241.92
% 241.67/241.92
% 241.67/241.92 Changing weight limit from 19 to 20.
% 241.67/241.92
% 241.67/241.92 Resetting weight limit to 20 after 8550 givens.
% 241.67/241.92
% 241.77/241.97
% 241.77/241.97
% 241.77/241.97 Changing weight limit from 20 to 21.
% 241.77/241.97
% 241.77/241.97 Resetting weight limit to 21 after 8555 givens.
% 241.77/241.97
% 241.82/242.00
% 241.82/242.00
% 241.82/242.00 Changing weight limit from 21 to 22.
% 241.82/242.00
% 241.82/242.00 Resetting weight limit to 22 after 8560 givens.
% 241.82/242.00
% 241.88/242.15
% 241.88/242.15
% 241.88/242.15 Changing weight limit from 22 to 19.
% 241.88/242.15
% 241.88/242.15 Resetting weight limit to 19 after 8570 givens.
% 241.88/242.15
% 241.98/242.19
% 241.98/242.19
% 241.98/242.19 Changing weight limit from 19 to 20.
% 241.98/242.19
% 241.98/242.19 Resetting weight limit to 20 after 8575 givens.
% 241.98/242.19
% 242.02/242.22
% 242.02/242.22
% 242.02/242.22 Changing weight limit from 20 to 21.
% 242.02/242.22
% 242.02/242.22 Resetting weight limit to 21 after 8580 givens.
% 242.02/242.22
% 242.07/242.26
% 242.07/242.26
% 242.07/242.26 Changing weight limit from 21 to 22.
% 242.07/242.26
% 242.07/242.26 Resetting weight limit to 22 after 8585 givens.
% 242.07/242.26
% 242.23/242.43
% 242.23/242.43
% 242.23/242.43 Changing weight limit from 22 to 19.
% 242.23/242.43
% 242.23/242.43 Resetting weight limit to 19 after 8595 givens.
% 242.23/242.43
% 242.29/242.47
% 242.29/242.47
% 242.29/242.47 Changing weight limit from 19 to 20.
% 242.29/242.47
% 242.29/242.47 Resetting weight limit to 20 after 8600 givens.
% 242.29/242.47
% 242.29/242.51
% 242.29/242.51
% 242.29/242.51 Changing weight limit from 20 to 21.
% 242.29/242.51
% 242.29/242.51 Resetting weight limit to 21 after 8605 givens.
% 242.29/242.51
% 242.29/242.55
% 242.29/242.55
% 242.29/242.55 Changing weight limit from 21 to 22.
% 242.29/242.55
% 242.29/242.55 Resetting weight limit to 22 after 8610 givens.
% 242.29/242.55
% 242.47/242.70
% 242.47/242.70
% 242.47/242.70 Changing weight limit from 22 to 19.
% 242.47/242.70
% 242.47/242.70 Resetting weight limit to 19 after 8620 givens.
% 242.47/242.70
% 242.47/242.73
% 242.47/242.73
% 242.47/242.73 Changing weight limit from 19 to 20.
% 242.47/242.73
% 242.47/242.73 Resetting weight limit to 20 after 8625 givens.
% 242.47/242.73
% 242.58/242.77
% 242.58/242.77
% 242.58/242.77 Changing weight limit from 20 to 21.
% 242.58/242.77
% 242.58/242.77 Resetting weight limit to 21 after 8630 givens.
% 242.58/242.77
% 242.64/242.81
% 242.64/242.81
% 242.64/242.81 Changing weight limit from 21 to 22.
% 242.64/242.81
% 242.64/242.81 Resetting weight limit to 22 after 8635 givens.
% 242.64/242.81
% 242.78/242.98
% 242.78/242.98
% 242.78/242.98 Changing weight limit from 22 to 19.
% 242.78/242.98
% 242.78/242.98 Resetting weight limit to 19 after 8645 givens.
% 242.78/242.98
% 242.82/243.02
% 242.82/243.02
% 242.82/243.02 Changing weight limit from 19 to 20.
% 242.82/243.02
% 242.82/243.02 Resetting weight limit to 20 after 8650 givens.
% 242.82/243.02
% 242.88/243.06
% 242.88/243.06
% 242.88/243.06 Changing weight limit from 20 to 21.
% 242.88/243.06
% 242.88/243.06 Resetting weight limit to 21 after 8655 givens.
% 242.88/243.06
% 242.88/243.10
% 242.88/243.10
% 242.88/243.10 Changing weight limit from 21 to 22.
% 242.88/243.10
% 242.88/243.10 Resetting weight limit to 22 after 8660 givens.
% 242.88/243.10
% 242.99/243.24
% 242.99/243.24
% 242.99/243.24 Changing weight limit from 22 to 19.
% 242.99/243.24
% 242.99/243.24 Resetting weight limit to 19 after 8670 givens.
% 242.99/243.24
% 243.08/243.27
% 243.08/243.27
% 243.08/243.27 Changing weight limit from 19 to 20.
% 243.08/243.27
% 243.08/243.27 Resetting weight limit to 20 after 8675 givens.
% 243.08/243.27
% 243.12/243.31
% 243.12/243.31
% 243.12/243.31 Changing weight limit from 20 to 21.
% 243.12/243.31
% 243.12/243.31 Resetting weight limit to 21 after 8680 givens.
% 243.12/243.31
% 243.18/243.35
% 243.18/243.35
% 243.18/243.35 Changing weight limit from 21 to 22.
% 243.18/243.35
% 243.18/243.35 Resetting weight limit to 22 after 8685 givens.
% 243.18/243.35
% 243.28/243.52
% 243.28/243.52
% 243.28/243.52 Changing weight limit from 22 to 19.
% 243.28/243.52
% 243.28/243.52 Resetting weight limit to 19 after 8695 givens.
% 243.28/243.52
% 243.37/243.56
% 243.37/243.56
% 243.37/243.56 Changing weight limit from 19 to 20.
% 243.37/243.56
% 243.37/243.56 Resetting weight limit to 20 after 8700 givens.
% 243.37/243.56
% 243.42/243.60
% 243.42/243.60
% 243.42/243.60 Changing weight limit from 20 to 21.
% 243.42/243.60
% 243.42/243.60 Resetting weight limit to 21 after 8705 givens.
% 243.42/243.60
% 243.42/243.64
% 243.42/243.64
% 243.42/243.64 Changing weight limit from 21 to 22.
% 243.42/243.64
% 243.42/243.64 Resetting weight limit to 22 after 8710 givens.
% 243.42/243.64
% 243.58/243.83
% 243.58/243.83
% 243.58/243.83 Changing weight limit from 22 to 19.
% 243.58/243.83
% 243.58/243.83 Resetting weight limit to 19 after 8725 givens.
% 243.58/243.83
% 243.67/243.87
% 243.67/243.87
% 243.67/243.87 Changing weight limit from 19 to 20.
% 243.67/243.87
% 243.67/243.87 Resetting weight limit to 20 after 8730 givens.
% 243.67/243.87
% 243.73/243.91
% 243.73/243.91
% 243.73/243.91 Changing weight limit from 20 to 21.
% 243.73/243.91
% 243.73/243.91 Resetting weight limit to 21 after 8735 givens.
% 243.73/243.91
% 243.73/243.95
% 243.73/243.95
% 243.73/243.95 Changing weight limit from 21 to 22.
% 243.73/243.95
% 243.73/243.95 Resetting weight limit to 22 after 8740 givens.
% 243.73/243.95
% 243.93/244.12
% 243.93/244.12
% 243.93/244.12 Changing weight limit from 22 to 19.
% 243.93/244.12
% 243.93/244.12 Resetting weight limit to 19 after 8750 givens.
% 243.93/244.12
% 243.97/244.16
% 243.97/244.16
% 243.97/244.16 Changing weight limit from 19 to 20.
% 243.97/244.16
% 243.97/244.16 Resetting weight limit to 20 after 8755 givens.
% 243.97/244.16
% 243.97/244.20
% 243.97/244.20
% 243.97/244.20 Changing weight limit from 20 to 21.
% 243.97/244.20
% 243.97/244.20 Resetting weight limit to 21 after 8760 givens.
% 243.97/244.20
% 244.07/244.24
% 244.07/244.24
% 244.07/244.24 Changing weight limit from 21 to 22.
% 244.07/244.24
% 244.07/244.24 Resetting weight limit to 22 after 8765 givens.
% 244.07/244.24
% 244.33/244.51
% 244.33/244.51
% 244.33/244.51 Changing weight limit from 22 to 19.
% 244.33/244.51
% 244.33/244.51 Resetting weight limit to 19 after 8785 givens.
% 244.33/244.51
% 244.37/244.55
% 244.37/244.55
% 244.37/244.55 Changing weight limit from 19 to 20.
% 244.37/244.55
% 244.37/244.55 Resetting weight limit to 20 after 8790 givens.
% 244.37/244.55
% 244.37/244.59
% 244.37/244.59
% 244.37/244.59 Changing weight limit from 20 to 21.
% 244.37/244.59
% 244.37/244.59 Resetting weight limit to 21 after 8795 givens.
% 244.37/244.59
% 244.37/244.63
% 244.37/244.63
% 244.37/244.63 Changing weight limit from 21 to 22.
% 244.37/244.63
% 244.37/244.63 Resetting weight limit to 22 after 8800 givens.
% 244.37/244.63
% 244.59/244.80
% 244.59/244.80
% 244.59/244.80 Changing weight limit from 22 to 19.
% 244.59/244.80
% 244.59/244.80 Resetting weight limit to 19 after 8810 givens.
% 244.59/244.80
% 244.59/244.84
% 244.59/244.84
% 244.59/244.84 Changing weight limit from 19 to 20.
% 244.59/244.84
% 244.59/244.84 Resetting weight limit to 20 after 8815 givens.
% 244.59/244.84
% 244.68/244.88
% 244.68/244.88
% 244.68/244.88 Changing weight limit from 20 to 21.
% 244.68/244.88
% 244.68/244.88 Resetting weight limit to 21 after 8820 givens.
% 244.68/244.88
% 244.72/244.92
% 244.72/244.92
% 244.72/244.92 Changing weight limit from 21 to 22.
% 244.72/244.92
% 244.72/244.92 Resetting weight limit to 22 after 8825 givens.
% 244.72/244.92
% 244.89/245.09
% 244.89/245.09
% 244.89/245.09 Changing weight limit from 22 to 19.
% 244.89/245.09
% 244.89/245.09 Resetting weight limit to 19 after 8835 givens.
% 244.89/245.09
% 244.89/245.13
% 244.89/245.13
% 244.89/245.13 Changing weight limit from 19 to 20.
% 244.89/245.13
% 244.89/245.13 Resetting weight limit to 20 after 8840 givens.
% 244.89/245.13
% 244.98/245.17
% 244.98/245.17
% 244.98/245.17 Changing weight limit from 20 to 21.
% 244.98/245.17
% 244.98/245.17 Resetting weight limit to 21 after 8845 givens.
% 244.98/245.17
% 245.02/245.20
% 245.02/245.20
% 245.02/245.20 Changing weight limit from 21 to 22.
% 245.02/245.20
% 245.02/245.20 Resetting weight limit to 22 after 8850 givens.
% 245.02/245.20
% 245.18/245.38
% 245.18/245.38
% 245.18/245.38 Changing weight limit from 22 to 19.
% 245.18/245.38
% 245.18/245.38 Resetting weight limit to 19 after 8865 givens.
% 245.18/245.38
% 245.18/245.42
% 245.18/245.42
% 245.18/245.42 Changing weight limit from 19 to 20.
% 245.18/245.42
% 245.18/245.42 Resetting weight limit to 20 after 8870 givens.
% 245.18/245.42
% 245.26/245.46
% 245.26/245.46
% 245.26/245.46 Changing weight limit from 20 to 21.
% 245.26/245.46
% 245.26/245.46 Resetting weight limit to 21 after 8875 givens.
% 245.26/245.46
% 245.31/245.50
% 245.31/245.50
% 245.31/245.50 Changing weight limit from 21 to 22.
% 245.31/245.50
% 245.31/245.50 Resetting weight limit to 22 after 8880 givens.
% 245.31/245.50
% 245.48/245.67
% 245.48/245.67
% 245.48/245.67 Changing weight limit from 22 to 19.
% 245.48/245.67
% 245.48/245.67 Resetting weight limit to 19 after 8890 givens.
% 245.48/245.67
% 245.48/245.71
% 245.48/245.71
% 245.48/245.71 Changing weight limit from 19 to 20.
% 245.48/245.71
% 245.48/245.71 Resetting weight limit to 20 after 8895 givens.
% 245.48/245.71
% 245.57/245.75
% 245.57/245.75
% 245.57/245.75 Changing weight limit from 20 to 21.
% 245.57/245.75
% 245.57/245.75 Resetting weight limit to 21 after 8900 givens.
% 245.57/245.75
% 245.57/245.79
% 245.57/245.79
% 245.57/245.79 Changing weight limit from 21 to 22.
% 245.57/245.79
% 245.57/245.79 Resetting weight limit to 22 after 8905 givens.
% 245.57/245.79
% 245.79/245.99
% 245.79/245.99
% 245.79/245.99 Changing weight limit from 22 to 19.
% 245.79/245.99
% 245.79/245.99 Resetting weight limit to 19 after 8920 givens.
% 245.79/245.99
% 245.83/246.03
% 245.83/246.03
% 245.83/246.03 Changing weight limit from 19 to 20.
% 245.83/246.03
% 245.83/246.03 Resetting weight limit to 20 after 8925 givens.
% 245.83/246.03
% 245.86/246.07
% 245.86/246.07
% 245.86/246.07 Changing weight limit from 20 to 21.
% 245.86/246.07
% 245.86/246.07 Resetting weight limit to 21 after 8930 givens.
% 245.86/246.07
% 245.86/246.11
% 245.86/246.11
% 245.86/246.11 Changing weight limit from 21 to 22.
% 245.86/246.11
% 245.86/246.11 Resetting weight limit to 22 after 8935 givens.
% 245.86/246.11
% 246.09/246.28
% 246.09/246.28
% 246.09/246.28 Changing weight limit from 22 to 19.
% 246.09/246.28
% 246.09/246.28 Resetting weight limit to 19 after 8945 givens.
% 246.09/246.28
% 246.09/246.32
% 246.09/246.32
% 246.09/246.32 Changing weight limit from 19 to 20.
% 246.09/246.32
% 246.09/246.32 Resetting weight limit to 20 after 8950 givens.
% 246.09/246.32
% 246.09/246.36
% 246.09/246.36
% 246.09/246.36 Changing weight limit from 20 to 21.
% 246.09/246.36
% 246.09/246.36 Resetting weight limit to 21 after 8955 givens.
% 246.09/246.36
% 246.19/246.40
% 246.19/246.40
% 246.19/246.40 Changing weight limit from 21 to 22.
% 246.19/246.40
% 246.19/246.40 Resetting weight limit to 22 after 8960 givens.
% 246.19/246.40
% 246.38/246.59
% 246.38/246.59
% 246.38/246.59 Changing weight limit from 22 to 19.
% 246.38/246.59
% 246.38/246.59 Resetting weight limit to 19 after 8975 givens.
% 246.38/246.59
% 246.44/246.63
% 246.44/246.63
% 246.44/246.63 Changing weight limit from 19 to 20.
% 246.44/246.63
% 246.44/246.63 Resetting weight limit to 20 after 8980 givens.
% 246.44/246.63
% 246.49/246.67
% 246.49/246.67
% 246.49/246.67 Changing weight limit from 20 to 21.
% 246.49/246.67
% 246.49/246.67 Resetting weight limit to 21 after 8985 givens.
% 246.49/246.67
% 246.49/246.71
% 246.49/246.71
% 246.49/246.71 Changing weight limit from 21 to 22.
% 246.49/246.71
% 246.49/246.71 Resetting weight limit to 22 after 8990 givens.
% 246.49/246.71
% 246.68/246.88
% 246.68/246.88
% 246.68/246.88 Changing weight limit from 22 to 19.
% 246.68/246.88
% 246.68/246.88 Resetting weight limit to 19 after 9000 givens.
% 246.68/246.88
% 246.74/246.92
% 246.74/246.92
% 246.74/246.92 Changing weight limit from 19 to 20.
% 246.74/246.92
% 246.74/246.92 Resetting weight limit to 20 after 9005 givens.
% 246.74/246.92
% 246.79/246.96
% 246.79/246.96
% 246.79/246.96 Changing weight limit from 20 to 21.
% 246.79/246.96
% 246.79/246.96 Resetting weight limit to 21 after 9010 givens.
% 246.79/246.96
% 246.79/247.00
% 246.79/247.00
% 246.79/247.00 Changing weight limit from 21 to 22.
% 246.79/247.00
% 246.79/247.00 Resetting weight limit to 22 after 9015 givens.
% 246.79/247.00
% 246.98/247.15
% 246.98/247.15
% 246.98/247.15 Changing weight limit from 22 to 19.
% 246.98/247.15
% 246.98/247.15 Resetting weight limit to 19 after 9025 givens.
% 246.98/247.15
% 246.99/247.19
% 246.99/247.19
% 246.99/247.19 Changing weight limit from 19 to 20.
% 246.99/247.19
% 246.99/247.19 Resetting weight limit to 20 after 9030 givens.
% 246.99/247.19
% 247.04/247.23
% 247.04/247.23
% 247.04/247.23 Changing weight limit from 20 to 21.
% 247.04/247.23
% 247.04/247.23 Resetting weight limit to 21 after 9035 givens.
% 247.04/247.23
% 247.08/247.27
% 247.08/247.27
% 247.08/247.27 Changing weight limit from 21 to 22.
% 247.08/247.27
% 247.08/247.27 Resetting weight limit to 22 after 9040 givens.
% 247.08/247.27
% 247.21/247.44
% 247.21/247.44
% 247.21/247.44 Changing weight limit from 22 to 19.
% 247.21/247.44
% 247.21/247.44 Resetting weight limit to 19 after 9050 givens.
% 247.21/247.44
% 247.29/247.48
% 247.29/247.48
% 247.29/247.48 Changing weight limit from 19 to 20.
% 247.29/247.48
% 247.29/247.48 Resetting weight limit to 20 after 9055 givens.
% 247.29/247.48
% 247.34/247.52
% 247.34/247.52
% 247.34/247.52 Changing weight limit from 20 to 21.
% 247.34/247.52
% 247.34/247.52 Resetting weight limit to 21 after 9060 givens.
% 247.34/247.52
% 247.38/247.56
% 247.38/247.56
% 247.38/247.56 Changing weight limit from 21 to 22.
% 247.38/247.56
% 247.38/247.56 Resetting weight limit to 22 after 9065 givens.
% 247.38/247.56
% 247.53/247.70
% 247.53/247.70
% 247.53/247.70 Changing weight limit from 22 to 19.
% 247.53/247.70
% 247.53/247.70 Resetting weight limit to 19 after 9075 givens.
% 247.53/247.70
% 247.53/247.74
% 247.53/247.74
% 247.53/247.74 Changing weight limit from 19 to 20.
% 247.53/247.74
% 247.53/247.74 Resetting weight limit to 20 after 9080 givens.
% 247.53/247.74
% 247.59/247.78
% 247.59/247.78
% 247.59/247.78 Changing weight limit from 20 to 21.
% 247.59/247.78
% 247.59/247.78 Resetting weight limit to 21 after 9085 givens.
% 247.59/247.78
% 247.59/247.82
% 247.59/247.82
% 247.59/247.82 Changing weight limit from 21 to 22.
% 247.59/247.82
% 247.59/247.82 Resetting weight limit to 22 after 9090 givens.
% 247.59/247.82
% 247.76/248.00
% 247.76/248.00
% 247.76/248.00 Changing weight limit from 22 to 19.
% 247.76/248.00
% 247.76/248.00 Resetting weight limit to 19 after 9100 givens.
% 247.76/248.00
% 247.86/248.04
% 247.86/248.04
% 247.86/248.04 Changing weight limit from 19 to 20.
% 247.86/248.04
% 247.86/248.04 Resetting weight limit to 20 after 9105 givens.
% 247.86/248.04
% 247.86/248.07
% 247.86/248.07
% 247.86/248.07 Changing weight limit from 20 to 21.
% 247.86/248.07
% 247.86/248.07 Resetting weight limit to 21 after 9110 givens.
% 247.86/248.07
% 247.92/248.11
% 247.92/248.11
% 247.92/248.11 Changing weight limit from 21 to 22.
% 247.92/248.11
% 247.92/248.11 Resetting weight limit to 22 after 9115 givens.
% 247.92/248.11
% 248.09/248.27
% 248.09/248.27
% 248.09/248.27 Changing weight limit from 22 to 19.
% 248.09/248.27
% 248.09/248.27 Resetting weight limit to 19 after 9125 givens.
% 248.09/248.27
% 248.12/248.30
% 248.12/248.30
% 248.12/248.30 Changing weight limit from 19 to 20.
% 248.12/248.30
% 248.12/248.30 Resetting weight limit to 20 after 9130 givens.
% 248.12/248.30
% 248.12/248.34
% 248.12/248.34
% 248.12/248.34 Changing weight limit from 20 to 21.
% 248.12/248.34
% 248.12/248.34 Resetting weight limit to 21 after 9135 givens.
% 248.12/248.34
% 248.17/248.38
% 248.17/248.38
% 248.17/248.38 Changing weight limit from 21 to 22.
% 248.17/248.38
% 248.17/248.38 Resetting weight limit to 22 after 9140 givens.
% 248.17/248.38
% 248.34/248.55
% 248.34/248.55
% 248.34/248.55 Changing weight limit from 22 to 19.
% 248.34/248.55
% 248.34/248.55 Resetting weight limit to 19 after 9150 givens.
% 248.34/248.55
% 248.39/248.59
% 248.39/248.59
% 248.39/248.59 Changing weight limit from 19 to 20.
% 248.39/248.59
% 248.39/248.59 Resetting weight limit to 20 after 9155 givens.
% 248.39/248.59
% 248.39/248.63
% 248.39/248.63
% 248.39/248.63 Changing weight limit from 20 to 21.
% 248.39/248.63
% 248.39/248.63 Resetting weight limit to 21 after 9160 givens.
% 248.39/248.63
% 248.47/248.67
% 248.47/248.67
% 248.47/248.67 Changing weight limit from 21 to 22.
% 248.47/248.67
% 248.47/248.67 Resetting weight limit to 22 after 9165 givens.
% 248.47/248.67
% 248.69/248.88
% 248.69/248.88
% 248.69/248.88 Changing weight limit from 22 to 19.
% 248.69/248.88
% 248.69/248.88 Resetting weight limit to 19 after 9180 givens.
% 248.69/248.88
% 248.69/248.92
% 248.69/248.92
% 248.69/248.92 Changing weight limit from 19 to 20.
% 248.69/248.92
% 248.69/248.92 Resetting weight limit to 20 after 9185 givens.
% 248.69/248.92
% 248.77/248.96
% 248.77/248.96
% 248.77/248.96 Changing weight limit from 20 to 21.
% 248.77/248.96
% 248.77/248.96 Resetting weight limit to 21 after 9190 givens.
% 248.77/248.96
% 248.82/249.00
% 248.82/249.00
% 248.82/249.00 Changing weight limit from 21 to 22.
% 248.82/249.00
% 248.82/249.00 Resetting weight limit to 22 after 9195 givens.
% 248.82/249.00
% 248.97/249.18
% 248.97/249.18
% 248.97/249.18 Changing weight limit from 22 to 18.
% 248.97/249.18
% 248.97/249.18 Resetting weight limit to 18 after 9205 givens.
% 248.97/249.18
% 248.97/249.21
% 248.97/249.21
% 248.97/249.21 Changing weight limit from 18 to 19.
% 248.97/249.21
% 248.97/249.21 Resetting weight limit to 19 after 9210 givens.
% 248.97/249.21
% 249.06/249.25
% 249.06/249.25
% 249.06/249.25 Changing weight limit from 19 to 20.
% 249.06/249.25
% 249.06/249.25 Resetting weight limit to 20 after 9215 givens.
% 249.06/249.25
% 249.11/249.29
% 249.11/249.29
% 249.11/249.29 Changing weight limit from 20 to 21.
% 249.11/249.29
% 249.11/249.29 Resetting weight limit to 21 after 9220 givens.
% 249.11/249.29
% 249.11/249.33
% 249.11/249.33
% 249.11/249.33 Changing weight limit from 21 to 22.
% 249.11/249.33
% 249.11/249.33 Resetting weight limit to 22 after 9225 givens.
% 249.11/249.33
% 249.27/249.51
% 249.27/249.51
% 249.27/249.51 Changing weight limit from 22 to 18.
% 249.27/249.51
% 249.27/249.51 Resetting weight limit to 18 after 9235 givens.
% 249.27/249.51
% 249.37/249.55
% 249.37/249.55
% 249.37/249.55 Changing weight limit from 18 to 19.
% 249.37/249.55
% 249.37/249.55 Resetting weight limit to 19 after 9240 givens.
% 249.37/249.55
% 249.37/249.59
% 249.37/249.59
% 249.37/249.59 Changing weight limit from 19 to 20.
% 249.37/249.59
% 249.37/249.59 Resetting weight limit to 20 after 9245 givens.
% 249.37/249.59
% 249.42/249.63
% 249.42/249.63
% 249.42/249.63 Changing weight limit from 20 to 21.
% 249.42/249.63
% 249.42/249.63 Resetting weight limit to 21 after 9250 givens.
% 249.42/249.63
% 249.49/249.67
% 249.49/249.67
% 249.49/249.67 Changing weight limit from 21 to 22.
% 249.49/249.67
% 249.49/249.67 Resetting weight limit to 22 after 9255 givens.
% 249.49/249.67
% 249.76/249.94
% 249.76/249.94
% 249.76/249.94 Changing weight limit from 22 to 18.
% 249.76/249.94
% 249.76/249.94 Resetting weight limit to 18 after 9275 givens.
% 249.76/249.94
% 249.76/249.98
% 249.76/249.98
% 249.76/249.98 Changing weight limit from 18 to 19.
% 249.76/249.98
% 249.76/249.98 Resetting weight limit to 19 after 9280 givens.
% 249.76/249.98
% 249.82/250.01
% 249.82/250.01
% 249.82/250.01 Changing weight limit from 19 to 20.
% 249.82/250.01
% 249.82/250.01 Resetting weight limit to 20 after 9285 givens.
% 249.82/250.01
% 249.82/250.05
% 249.82/250.05
% 249.82/250.05 Changing weight limit from 20 to 21.
% 249.82/250.05
% 249.82/250.05 Resetting weight limit to 21 after 9290 givens.
% 249.82/250.05
% 249.89/250.10
% 249.89/250.10
% 249.89/250.10 Changing weight limit from 21 to 22.
% 249.89/250.10
% 249.89/250.10 Resetting weight limit to 22 after 9295 givens.
% 249.89/250.10
% 250.07/250.26
% 250.07/250.26
% 250.07/250.26 Changing weight limit from 22 to 18.
% 250.07/250.26
% 250.07/250.26 Resetting weight limit to 18 after 9305 givens.
% 250.07/250.26
% 250.07/250.30
% 250.07/250.30
% 250.07/250.30 Changing weight limit from 18 to 19.
% 250.07/250.30
% 250.07/250.30 Resetting weight limit to 19 after 9310 givens.
% 250.07/250.30
% 250.07/250.33
% 250.07/250.33
% 250.07/250.33 Changing weight limit from 19 to 20.
% 250.07/250.33
% 250.07/250.33 Resetting weight limit to 20 after 9315 givens.
% 250.07/250.33
% 250.17/250.37
% 250.17/250.37
% 250.17/250.37 Changing weight limit from 20 to 21.
% 250.17/250.37
% 250.17/250.37 Resetting weight limit to 21 after 9320 givens.
% 250.17/250.37
% 250.24/250.41
% 250.24/250.41
% 250.24/250.41 Changing weight limit from 21 to 22.
% 250.24/250.41
% 250.24/250.41 Resetting weight limit to 22 after 9325 givens.
% 250.24/250.41
% 250.47/250.66
% 250.47/250.66
% 250.47/250.66 Changing weight limit from 22 to 18.
% 250.47/250.66
% 250.47/250.66 Resetting weight limit to 18 after 9340 givens.
% 250.47/250.66
% 250.47/250.70
% 250.47/250.70
% 250.47/250.70 Changing weight limit from 18 to 19.
% 250.47/250.70
% 250.47/250.70 Resetting weight limit to 19 after 9345 givens.
% 250.47/250.70
% 250.54/250.74
% 250.54/250.74
% 250.54/250.74 Changing weight limit from 19 to 20.
% 250.54/250.74
% 250.54/250.74 Resetting weight limit to 20 after 9350 givens.
% 250.54/250.74
% 250.59/250.78
% 250.59/250.78
% 250.59/250.78 Changing weight limit from 20 to 21.
% 250.59/250.78
% 250.59/250.78 Resetting weight limit to 21 after 9355 givens.
% 250.59/250.78
% 250.59/250.82
% 250.59/250.82
% 250.59/250.82 Changing weight limit from 21 to 22.
% 250.59/250.82
% 250.59/250.82 Resetting weight limit to 22 after 9360 givens.
% 250.59/250.82
% 250.87/251.08
% 250.87/251.08
% 250.87/251.08 Changing weight limit from 22 to 18.
% 250.87/251.08
% 250.87/251.08 Resetting weight limit to 18 after 9380 givens.
% 250.87/251.08
% 250.87/251.11
% 250.87/251.11
% 250.87/251.11 Changing weight limit from 18 to 19.
% 250.87/251.11
% 250.87/251.11 Resetting weight limit to 19 after 9385 givens.
% 250.87/251.11
% 250.96/251.15
% 250.96/251.15
% 250.96/251.15 Changing weight limit from 19 to 20.
% 250.96/251.15
% 250.96/251.15 Resetting weight limit to 20 after 9390 givens.
% 250.96/251.15
% 251.01/251.19
% 251.01/251.19
% 251.01/251.19 Changing weight limit from 20 to 21.
% 251.01/251.19
% 251.01/251.19 Resetting weight limit to 21 after 9395 givens.
% 251.01/251.19
% 251.01/251.23
% 251.01/251.23
% 251.01/251.23 Changing weight limit from 21 to 22.
% 251.01/251.23
% 251.01/251.23 Resetting weight limit to 22 after 9400 givens.
% 251.01/251.23
% 251.17/251.40
% 251.17/251.40
% 251.17/251.40 Changing weight limit from 22 to 18.
% 251.17/251.40
% 251.17/251.40 Resetting weight limit to 18 after 9410 givens.
% 251.17/251.40
% 251.17/251.44
% 251.17/251.44
% 251.17/251.44 Changing weight limit from 18 to 19.
% 251.17/251.44
% 251.17/251.44 Resetting weight limit to 19 after 9415 givens.
% 251.17/251.44
% 251.27/251.48
% 251.27/251.48
% 251.27/251.48 Changing weight limit from 19 to 20.
% 251.27/251.48
% 251.27/251.48 Resetting weight limit to 20 after 9420 givens.
% 251.27/251.48
% 251.32/251.52
% 251.32/251.52
% 251.32/251.52 Changing weight limit from 20 to 21.
% 251.32/251.52
% 251.32/251.52 Resetting weight limit to 21 after 9425 givens.
% 251.32/251.52
% 251.32/251.56
% 251.32/251.56
% 251.32/251.56 Changing weight limit from 21 to 22.
% 251.32/251.56
% 251.32/251.56 Resetting weight limit to 22 after 9430 givens.
% 251.32/251.56
% 251.56/251.82
% 251.56/251.82
% 251.56/251.82 Changing weight limit from 22 to 18.
% 251.56/251.82
% 251.56/251.82 Resetting weight limit to 18 after 9445 givens.
% 251.56/251.82
% 251.66/251.86
% 251.66/251.86
% 251.66/251.86 Changing weight limit from 18 to 19.
% 251.66/251.86
% 251.66/251.86 Resetting weight limit to 19 after 9450 givens.
% 251.66/251.86
% 251.72/251.90
% 251.72/251.90
% 251.72/251.90 Changing weight limit from 19 to 20.
% 251.72/251.90
% 251.72/251.90 Resetting weight limit to 20 after 9455 givens.
% 251.72/251.90
% 251.72/251.94
% 251.72/251.94
% 251.72/251.94 Changing weight limit from 20 to 21.
% 251.72/251.94
% 251.72/251.94 Resetting weight limit to 21 after 9460 givens.
% 251.72/251.94
% 251.79/251.98
% 251.79/251.98
% 251.79/251.98 Changing weight limit from 21 to 22.
% 251.79/251.98
% 251.79/251.98 Resetting weight limit to 22 after 9465 givens.
% 251.79/251.98
% 251.97/252.17
% 251.97/252.17
% 251.97/252.17 Changing weight limit from 22 to 18.
% 251.97/252.17
% 251.97/252.17 Resetting weight limit to 18 after 9475 givens.
% 251.97/252.17
% 251.97/252.21
% 251.97/252.21
% 251.97/252.21 Changing weight limit from 18 to 19.
% 251.97/252.21
% 251.97/252.21 Resetting weight limit to 19 after 9480 givens.
% 251.97/252.21
% 251.97/252.25
% 251.97/252.25
% 251.97/252.25 Changing weight limit from 19 to 20.
% 251.97/252.25
% 251.97/252.25 Resetting weight limit to 20 after 9485 givens.
% 251.97/252.25
% 252.07/252.29
% 252.07/252.29
% 252.07/252.29 Changing weight limit from 20 to 21.
% 252.07/252.29
% 252.07/252.29 Resetting weight limit to 21 after 9490 givens.
% 252.07/252.29
% 252.14/252.33
% 252.14/252.33
% 252.14/252.33 Changing weight limit from 21 to 22.
% 252.14/252.33
% 252.14/252.33 Resetting weight limit to 22 after 9495 givens.
% 252.14/252.33
% 252.37/252.59
% 252.37/252.59
% 252.37/252.59 Changing weight limit from 22 to 18.
% 252.37/252.59
% 252.37/252.59 Resetting weight limit to 18 after 9515 givens.
% 252.37/252.59
% 252.44/252.63
% 252.44/252.63
% 252.44/252.63 Changing weight limit from 18 to 19.
% 252.44/252.63
% 252.44/252.63 Resetting weight limit to 19 after 9520 givens.
% 252.44/252.63
% 252.49/252.67
% 252.49/252.67
% 252.49/252.67 Changing weight limit from 19 to 20.
% 252.49/252.67
% 252.49/252.67 Resetting weight limit to 20 after 9525 givens.
% 252.49/252.67
% 252.49/252.71
% 252.49/252.71
% 252.49/252.71 Changing weight limit from 20 to 21.
% 252.49/252.71
% 252.49/252.71 Resetting weight limit to 21 after 9530 givens.
% 252.49/252.71
% 252.57/252.75
% 252.57/252.75
% 252.57/252.75 Changing weight limit from 21 to 22.
% 252.57/252.75
% 252.57/252.75 Resetting weight limit to 22 after 9535 givens.
% 252.57/252.75
% 252.75/252.93
% 252.75/252.93
% 252.75/252.93 Changing weight limit from 22 to 18.
% 252.75/252.93
% 252.75/252.93 Resetting weight limit to 18 after 9545 givens.
% 252.75/252.93
% 252.78/252.97
% 252.78/252.97
% 252.78/252.97 Changing weight limit from 18 to 19.
% 252.78/252.97
% 252.78/252.97 Resetting weight limit to 19 after 9550 givens.
% 252.78/252.97
% 252.78/253.01
% 252.78/253.01
% 252.78/253.01 Changing weight limit from 19 to 20.
% 252.78/253.01
% 252.78/253.01 Resetting weight limit to 20 after 9555 givens.
% 252.78/253.01
% 252.87/253.05
% 252.87/253.05
% 252.87/253.05 Changing weight limit from 20 to 21.
% 252.87/253.05
% 252.87/253.05 Resetting weight limit to 21 after 9560 givens.
% 252.87/253.05
% 252.92/253.09
% 252.92/253.09
% 252.92/253.09 Changing weight limit from 21 to 22.
% 252.92/253.09
% 252.92/253.09 Resetting weight limit to 22 after 9565 givens.
% 252.92/253.09
% 253.08/253.27
% 253.08/253.27
% 253.08/253.27 Changing weight limit from 22 to 18.
% 253.08/253.27
% 253.08/253.27 Resetting weight limit to 18 after 9575 givens.
% 253.08/253.27
% 253.08/253.31
% 253.08/253.31
% 253.08/253.31 Changing weight limit from 18 to 19.
% 253.08/253.31
% 253.08/253.31 Resetting weight limit to 19 after 9580 givens.
% 253.08/253.31
% 253.18/253.35
% 253.18/253.35
% 253.18/253.35 Changing weight limit from 19 to 20.
% 253.18/253.35
% 253.18/253.35 Resetting weight limit to 20 after 9585 givens.
% 253.18/253.35
% 253.18/253.39
% 253.18/253.39
% 253.18/253.39 Changing weight limit from 20 to 21.
% 253.18/253.39
% 253.18/253.39 Resetting weight limit to 21 after 9590 givens.
% 253.18/253.39
% 253.23/253.43
% 253.23/253.43
% 253.23/253.43 Changing weight limit from 21 to 22.
% 253.23/253.43
% 253.23/253.43 Resetting weight limit to 22 after 9595 givens.
% 253.23/253.43
% 253.47/253.73
% 253.47/253.73
% 253.47/253.73 Changing weight limit from 22 to 18.
% 253.47/253.73
% 253.47/253.73 Resetting weight limit to 18 after 9615 givens.
% 253.47/253.73
% 253.57/253.76
% 253.57/253.76
% 253.57/253.76 Changing weight limit from 18 to 19.
% 253.57/253.76
% 253.57/253.76 Resetting weight limit to 19 after 9620 givens.
% 253.57/253.76
% 253.63/253.80
% 253.63/253.80
% 253.63/253.80 Changing weight limit from 19 to 20.
% 253.63/253.80
% 253.63/253.80 Resetting weight limit to 20 after 9625 givens.
% 253.63/253.80
% 253.63/253.85
% 253.63/253.85
% 253.63/253.85 Changing weight limit from 20 to 21.
% 253.63/253.85
% 253.63/253.85 Resetting weight limit to 21 after 9630 givens.
% 253.63/253.85
% 253.70/253.89
% 253.70/253.89
% 253.70/253.89 Changing weight limit from 21 to 22.
% 253.70/253.89
% 253.70/253.89 Resetting weight limit to 22 after 9635 givens.
% 253.70/253.89
% 253.88/254.07
% 253.88/254.07
% 253.88/254.07 Changing weight limit from 22 to 18.
% 253.88/254.07
% 253.88/254.07 Resetting weight limit to 18 after 9645 givens.
% 253.88/254.07
% 253.88/254.11
% 253.88/254.11
% 253.88/254.11 Changing weight limit from 18 to 19.
% 253.88/254.11
% 253.88/254.11 Resetting weight limit to 19 after 9650 givens.
% 253.88/254.11
% 253.98/254.15
% 253.98/254.15
% 253.98/254.15 Changing weight limit from 19 to 20.
% 253.98/254.15
% 253.98/254.15 Resetting weight limit to 20 after 9655 givens.
% 253.98/254.15
% 253.98/254.19
% 253.98/254.19
% 253.98/254.19 Changing weight limit from 20 to 21.
% 253.98/254.19
% 253.98/254.19 Resetting weight limit to 21 after 9660 givens.
% 253.98/254.19
% 254.05/254.24
% 254.05/254.24
% 254.05/254.24 Changing weight limit from 21 to 22.
% 254.05/254.24
% 254.05/254.24 Resetting weight limit to 22 after 9665 givens.
% 254.05/254.24
% 254.27/254.43
% 254.27/254.43
% 254.27/254.43 Changing weight limit from 22 to 18.
% 254.27/254.43
% 254.27/254.43 Resetting weight limit to 18 after 9675 givens.
% 254.27/254.43
% 254.28/254.47
% 254.28/254.47
% 254.28/254.47 Changing weight limit from 18 to 19.
% 254.28/254.47
% 254.28/254.47 Resetting weight limit to 19 after 9680 givens.
% 254.28/254.47
% 254.35/254.51
% 254.35/254.51
% 254.35/254.51 Changing weight limit from 19 to 20.
% 254.35/254.51
% 254.35/254.51 Resetting weight limit to 20 after 9685 givens.
% 254.35/254.51
% 254.35/254.55
% 254.35/254.55
% 254.35/254.55 Changing weight limit from 20 to 21.
% 254.35/254.55
% 254.35/254.55 Resetting weight limit to 21 after 9690 givens.
% 254.35/254.55
% 254.40/254.60
% 254.40/254.60
% 254.40/254.60 Changing weight limit from 21 to 22.
% 254.40/254.60
% 254.40/254.60 Resetting weight limit to 22 after 9695 givens.
% 254.40/254.60
% 254.60/254.80
% 254.60/254.80
% 254.60/254.80 Changing weight limit from 22 to 18.
% 254.60/254.80
% 254.60/254.80 Resetting weight limit to 18 after 9705 givens.
% 254.60/254.80
% 254.65/254.84
% 254.65/254.84
% 254.65/254.84 Changing weight limit from 18 to 19.
% 254.65/254.84
% 254.65/254.84 Resetting weight limit to 19 after 9710 givens.
% 254.65/254.84
% 254.68/254.87
% 254.68/254.87
% 254.68/254.87 Changing weight limit from 19 to 20.
% 254.68/254.87
% 254.68/254.87 Resetting weight limit to 20 after 9715 givens.
% 254.68/254.87
% 254.68/254.92
% 254.68/254.92
% 254.68/254.92 Changing weight limit from 20 to 21.
% 254.68/254.92
% 254.68/254.92 Resetting weight limit to 21 after 9720 givens.
% 254.68/254.92
% 254.77/254.96
% 254.77/254.96
% 254.77/254.96 Changing weight limit from 21 to 22.
% 254.77/254.96
% 254.77/254.96 Resetting weight limit to 22 after 9725 givens.
% 254.77/254.96
% 254.95/255.14
% 254.95/255.14
% 254.95/255.14 Changing weight limit from 22 to 18.
% 254.95/255.14
% 254.95/255.14 Resetting weight limit to 18 after 9735 givens.
% 254.95/255.14
% 254.98/255.18
% 254.98/255.18
% 254.98/255.18 Changing weight limit from 18 to 19.
% 254.98/255.18
% 254.98/255.18 Resetting weight limit to 19 after 9740 givens.
% 254.98/255.18
% 254.98/255.22
% 254.98/255.22
% 254.98/255.22 Changing weight limit from 19 to 20.
% 254.98/255.22
% 254.98/255.22 Resetting weight limit to 20 after 9745 givens.
% 254.98/255.22
% 255.08/255.26
% 255.08/255.26
% 255.08/255.26 Changing weight limit from 20 to 21.
% 255.08/255.26
% 255.08/255.26 Resetting weight limit to 21 after 9750 givens.
% 255.08/255.26
% 255.13/255.30
% 255.13/255.30
% 255.13/255.30 Changing weight limit from 21 to 22.
% 255.13/255.30
% 255.13/255.30 Resetting weight limit to 22 after 9755 givens.
% 255.13/255.30
% 255.30/255.47
% 255.30/255.47
% 255.30/255.47 Changing weight limit from 22 to 18.
% 255.30/255.47
% 255.30/255.47 Resetting weight limit to 18 after 9765 givens.
% 255.30/255.47
% 255.33/255.51
% 255.33/255.51
% 255.33/255.51 Changing weight limit from 18 to 19.
% 255.33/255.51
% 255.33/255.51 Resetting weight limit to 19 after 9770 givens.
% 255.33/255.51
% 255.37/255.55
% 255.37/255.55
% 255.37/255.55 Changing weight limit from 19 to 20.
% 255.37/255.55
% 255.37/255.55 Resetting weight limit to 20 after 9775 givens.
% 255.37/255.55
% 255.37/255.59
% 255.37/255.59
% 255.37/255.59 Changing weight limit from 20 to 21.
% 255.37/255.59
% 255.37/255.59 Resetting weight limit to 21 after 9780 givens.
% 255.37/255.59
% 255.37/255.63
% 255.37/255.63
% 255.37/255.63 Changing weight limit from 21 to 22.
% 255.37/255.63
% 255.37/255.63 Resetting weight limit to 22 after 9785 givens.
% 255.37/255.63
% 255.70/255.87
% 255.70/255.87
% 255.70/255.87 Changing weight limit from 22 to 18.
% 255.70/255.87
% 255.70/255.87 Resetting weight limit to 18 after 9800 givens.
% 255.70/255.87
% 255.73/255.91
% 255.73/255.91
% 255.73/255.91 Changing weight limit from 18 to 19.
% 255.73/255.91
% 255.73/255.91 Resetting weight limit to 19 after 9805 givens.
% 255.73/255.91
% 255.78/255.95
% 255.78/255.95
% 255.78/255.95 Changing weight limit from 19 to 20.
% 255.78/255.95
% 255.78/255.95 Resetting weight limit to 20 after 9810 givens.
% 255.78/255.95
% 255.78/255.99
% 255.78/255.99
% 255.78/255.99 Changing weight limit from 20 to 21.
% 255.78/255.99
% 255.78/255.99 Resetting weight limit to 21 after 9815 givens.
% 255.78/255.99
% 255.78/256.03
% 255.78/256.03
% 255.78/256.03 Changing weight limit from 21 to 22.
% 255.78/256.03
% 255.78/256.03 Resetting weight limit to 22 after 9820 givens.
% 255.78/256.03
% 256.00/256.22
% 256.00/256.22
% 256.00/256.22 Changing weight limit from 22 to 18.
% 256.00/256.22
% 256.00/256.22 Resetting weight limit to 18 after 9830 givens.
% 256.00/256.22
% 256.08/256.26
% 256.08/256.26
% 256.08/256.26 Changing weight limit from 18 to 19.
% 256.08/256.26
% 256.08/256.26 Resetting weight limit to 19 after 9835 givens.
% 256.08/256.26
% 256.12/256.30
% 256.12/256.30
% 256.12/256.30 Changing weight limit from 19 to 20.
% 256.12/256.30
% 256.12/256.30 Resetting weight limit to 20 after 9840 givens.
% 256.12/256.30
% 256.17/256.33
% 256.17/256.33
% 256.17/256.33 Changing weight limit from 20 to 21.
% 256.17/256.33
% 256.17/256.33 Resetting weight limit to 21 after 9845 givens.
% 256.17/256.33
% 256.18/256.38
% 256.18/256.38
% 256.18/256.38 Changing weight limit from 21 to 22.
% 256.18/256.38
% 256.18/256.38 Resetting weight limit to 22 after 9850 givens.
% 256.18/256.38
% 256.38/256.57
% 256.38/256.57
% 256.38/256.57 Changing weight limit from 22 to 18.
% 256.38/256.57
% 256.38/256.57 Resetting weight limit to 18 after 9860 givens.
% 256.38/256.57
% 256.43/256.61
% 256.43/256.61
% 256.43/256.61 Changing weight limit from 18 to 19.
% 256.43/256.61
% 256.43/256.61 Resetting weight limit to 19 after 9865 givens.
% 256.43/256.61
% 256.43/256.64
% 256.43/256.64
% 256.43/256.64 Changing weight limit from 19 to 20.
% 256.43/256.64
% 256.43/256.64 Resetting weight limit to 20 after 9870 givens.
% 256.43/256.64
% 256.50/256.69
% 256.50/256.69
% 256.50/256.69 Changing weight limit from 20 to 21.
% 256.50/256.69
% 256.50/256.69 Resetting weight limit to 21 after 9875 givens.
% 256.50/256.69
% 256.56/256.73
% 256.56/256.73
% 256.56/256.73 Changing weight limit from 21 to 22.
% 256.56/256.73
% 256.56/256.73 Resetting weight limit to 22 after 9880 givens.
% 256.56/256.73
% 256.81/257.01
% 256.81/257.01
% 256.81/257.01 Changing weight limit from 22 to 18.
% 256.81/257.01
% 256.81/257.01 Resetting weight limit to 18 after 9900 givens.
% 256.81/257.01
% 256.89/257.05
% 256.89/257.05
% 256.89/257.05 Changing weight limit from 18 to 19.
% 256.89/257.05
% 256.89/257.05 Resetting weight limit to 19 after 9905 givens.
% 256.89/257.05
% 256.89/257.09
% 256.89/257.09
% 256.89/257.09 Changing weight limit from 19 to 20.
% 256.89/257.09
% 256.89/257.09 Resetting weight limit to 20 after 9910 givens.
% 256.89/257.09
% 256.89/257.13
% 256.89/257.13
% 256.89/257.13 Changing weight limit from 20 to 21.
% 256.89/257.13
% 256.89/257.13 Resetting weight limit to 21 after 9915 givens.
% 256.89/257.13
% 256.99/257.17
% 256.99/257.17
% 256.99/257.17 Changing weight limit from 21 to 22.
% 256.99/257.17
% 256.99/257.17 Resetting weight limit to 22 after 9920 givens.
% 256.99/257.17
% 257.21/257.38
% 257.21/257.38
% 257.21/257.38 Changing weight limit from 22 to 18.
% 257.21/257.38
% 257.21/257.38 Resetting weight limit to 18 after 9930 givens.
% 257.21/257.38
% 257.24/257.41
% 257.24/257.41
% 257.24/257.41 Changing weight limit from 18 to 19.
% 257.24/257.41
% 257.24/257.41 Resetting weight limit to 19 after 9935 givens.
% 257.24/257.41
% 257.28/257.45
% 257.28/257.45
% 257.28/257.45 Changing weight limit from 19 to 20.
% 257.28/257.45
% 257.28/257.45 Resetting weight limit to 20 after 9940 givens.
% 257.28/257.45
% 257.28/257.50
% 257.28/257.50
% 257.28/257.50 Changing weight limit from 20 to 21.
% 257.28/257.50
% 257.28/257.50 Resetting weight limit to 21 after 9945 givens.
% 257.28/257.50
% 257.38/257.54
% 257.38/257.54
% 257.38/257.54 Changing weight limit from 21 to 22.
% 257.38/257.54
% 257.38/257.54 Resetting weight limit to 22 after 9950 givens.
% 257.38/257.54
% 257.51/257.75
% 257.51/257.75
% 257.51/257.75 Changing weight limit from 22 to 18.
% 257.51/257.75
% 257.51/257.75 Resetting weight limit to 18 after 9960 givens.
% 257.51/257.75
% 257.61/257.79
% 257.61/257.79
% 257.61/257.79 Changing weight limit from 18 to 19.
% 257.61/257.79
% 257.61/257.79 Resetting weight limit to 19 after 9965 givens.
% 257.61/257.79
% 257.64/257.82
% 257.64/257.82
% 257.64/257.82 Changing weight limit from 19 to 20.
% 257.64/257.82
% 257.64/257.82 Resetting weight limit to 20 after 9970 givens.
% 257.64/257.82
% 257.69/257.87
% 257.69/257.87
% 257.69/257.87 Changing weight limit from 20 to 21.
% 257.69/257.87
% 257.69/257.87 Resetting weight limit to 21 after 9975 givens.
% 257.69/257.87
% 257.69/257.91
% 257.69/257.91
% 257.69/257.91 Changing weight limit from 21 to 22.
% 257.69/257.91
% 257.69/257.91 Resetting weight limit to 22 after 9980 givens.
% 257.69/257.91
% 257.91/258.11
% 257.91/258.11
% 257.91/258.11 Changing weight limit from 22 to 18.
% 257.91/258.11
% 257.91/258.11 Resetting weight limit to 18 after 9990 givens.
% 257.91/258.11
% 257.99/258.15
% 257.99/258.15
% 257.99/258.15 Changing weight limit from 18 to 19.
% 257.99/258.15
% 257.99/258.15 Resetting weight limit to 19 after 9995 givens.
% 257.99/258.15
% 258.03/258.19
% 258.03/258.19
% 258.03/258.19 Changing weight limit from 19 to 20.
% 258.03/258.19
% 258.03/258.19 Resetting weight limit to 20 after 10000 givens.
% 258.03/258.19
% 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 10005 givens.
% 258.08/258.24
% 258.09/258.28
% 258.09/258.28
% 258.09/258.28 Changing weight limit from 21 to 22.
% 258.09/258.28
% 258.09/258.28 Resetting weight limit to 22 after 10010 givens.
% 258.09/258.28
% 258.29/258.46
% 258.29/258.46
% 258.29/258.46 Changing weight limit from 22 to 18.
% 258.29/258.46
% 258.29/258.46 Resetting weight limit to 18 after 10020 givens.
% 258.29/258.46
% 258.34/258.50
% 258.34/258.50
% 258.34/258.50 Changing weight limit from 18 to 19.
% 258.34/258.50
% 258.34/258.50 Resetting weight limit to 19 after 10025 givens.
% 258.34/258.50
% 258.34/258.54
% 258.34/258.54
% 258.34/258.54 Changing weight limit from 19 to 20.
% 258.34/258.54
% 258.34/258.54 Resetting weight limit to 20 after 10030 givens.
% 258.34/258.54
% 258.41/258.57
% 258.41/258.57
% 258.41/258.57 Changing weight limit from 20 to 21.
% 258.41/258.57
% 258.41/258.57 Resetting weight limit to 21 after 10035 givens.
% 258.41/258.57
% 258.46/258.62
% 258.46/258.62
% 258.46/258.62 Changing weight limit from 21 to 22.
% 258.46/258.62
% 258.46/258.62 Resetting weight limit to 22 after 10040 givens.
% 258.46/258.62
% 258.63/258.82
% 258.63/258.82
% 258.63/258.82 Changing weight limit from 22 to 18.
% 258.63/258.82
% 258.63/258.82 Resetting weight limit to 18 after 10050 givens.
% 258.63/258.82
% 258.71/258.86
% 258.71/258.86
% 258.71/258.86 Changing weight limit from 18 to 19.
% 258.71/258.86
% 258.71/258.86 Resetting weight limit to 19 after 10055 givens.
% 258.71/258.86
% 258.71/258.90
% 258.71/258.90
% 258.71/258.90 Changing weight limit from 19 to 20.
% 258.71/258.90
% 258.71/258.90 Resetting weight limit to 20 after 10060 givens.
% 258.71/258.90
% 258.79/258.95
% 258.79/258.95
% 258.79/258.95 Changing weight limit from 20 to 21.
% 258.79/258.95
% 258.79/258.95 Resetting weight limit to 21 after 10065 givens.
% 258.79/258.95
% 258.79/258.99
% 258.79/258.99
% 258.79/258.99 Changing weight limit from 21 to 22.
% 258.79/258.99
% 258.79/258.99 Resetting weight limit to 22 after 10070 givens.
% 258.79/258.99
% 259.01/259.20
% 259.01/259.20
% 259.01/259.20 Changing weight limit from 22 to 18.
% 259.01/259.20
% 259.01/259.20 Resetting weight limit to 18 after 10080 givens.
% 259.01/259.20
% 259.01/259.24
% 259.01/259.24
% 259.01/259.24 Changing weight limit from 18 to 19.
% 259.01/259.24
% 259.01/259.24 Resetting weight limit to 19 after 10085 givens.
% 259.01/259.24
% 259.11/259.28
% 259.11/259.28
% 259.11/259.28 Changing weight limit from 19 to 20.
% 259.11/259.28
% 259.11/259.28 Resetting weight limit to 20 after 10090 givens.
% 259.11/259.28
% 259.14/259.32
% 259.14/259.32
% 259.14/259.32 Changing weight limit from 20 to 21.
% 259.14/259.32
% 259.14/259.32 Resetting weight limit to 21 after 10095 givens.
% 259.14/259.32
% 259.18/259.36
% 259.18/259.36
% 259.18/259.36 Changing weight limit from 21 to 22.
% 259.18/259.36
% 259.18/259.36 Resetting weight limit to 22 after 10100 givens.
% 259.18/259.36
% 259.41/259.57
% 259.41/259.57
% 259.41/259.57 Changing weight limit from 22 to 18.
% 259.41/259.57
% 259.41/259.57 Resetting weight limit to 18 after 10110 givens.
% 259.41/259.57
% 259.41/259.61
% 259.41/259.61
% 259.41/259.61 Changing weight limit from 18 to 19.
% 259.41/259.61
% 259.41/259.61 Resetting weight limit to 19 after 10115 givens.
% 259.41/259.61
% 259.41/259.65
% 259.41/259.65
% 259.41/259.65 Changing weight limit from 19 to 20.
% 259.41/259.65
% 259.41/259.65 Resetting weight limit to 20 after 10120 givens.
% 259.41/259.65
% 259.52/259.70
% 259.52/259.70
% 259.52/259.70 Changing weight limit from 20 to 21.
% 259.52/259.70
% 259.52/259.70 Resetting weight limit to 21 after 10125 givens.
% 259.52/259.70
% 259.55/259.74
% 259.55/259.74
% 259.55/259.74 Changing weight limit from 21 to 22.
% 259.55/259.74
% 259.55/259.74 Resetting weight limit to 22 after 10130 givens.
% 259.55/259.74
% 259.77/259.94
% 259.77/259.94
% 259.77/259.94 Changing weight limit from 22 to 18.
% 259.77/259.94
% 259.77/259.94 Resetting weight limit to 18 after 10140 givens.
% 259.77/259.94
% 259.82/259.98
% 259.82/259.98
% 259.82/259.98 Changing weight limit from 18 to 19.
% 259.82/259.98
% 259.82/259.98 Resetting weight limit to 19 after 10145 givens.
% 259.82/259.98
% 259.82/260.02
% 259.82/260.02
% 259.82/260.02 Changing weight limit from 19 to 20.
% 259.82/260.02
% 259.82/260.02 Resetting weight limit to 20 after 10150 givens.
% 259.82/260.02
% 259.90/260.06
% 259.90/260.06
% 259.90/260.06 Changing weight limit from 20 to 21.
% 259.90/260.06
% 259.90/260.06 Resetting weight limit to 21 after 10155 givens.
% 259.90/260.06
% 259.94/260.11
% 259.94/260.11
% 259.94/260.11 Changing weight limit from 21 to 22.
% 259.94/260.11
% 259.94/260.11 Resetting weight limit to 22 after 10160 givens.
% 259.94/260.11
% 260.12/260.31
% 260.12/260.31
% 260.12/260.31 Changing weight limit from 22 to 18.
% 260.12/260.31
% 260.12/260.31 Resetting weight limit to 18 after 10170 givens.
% 260.12/260.31
% 260.12/260.35
% 260.12/260.35
% 260.12/260.35 Changing weight limit from 18 to 19.
% 260.12/260.35
% 260.12/260.35 Resetting weight limit to 19 after 10175 givens.
% 260.12/260.35
% 260.20/260.39
% 260.20/260.39
% 260.20/260.39 Changing weight limit from 19 to 20.
% 260.20/260.39
% 260.20/260.39 Resetting weight limit to 20 after 10180 givens.
% 260.20/260.39
% 260.25/260.43
% 260.25/260.43
% 260.25/260.43 Changing weight limit from 20 to 21.
% 260.25/260.43
% 260.25/260.43 Resetting weight limit to 21 after 10185 givens.
% 260.25/260.43
% 260.32/260.47
% 260.32/260.47
% 260.32/260.47 Changing weight limit from 21 to 22.
% 260.32/260.47
% 260.32/260.47 Resetting weight limit to 22 after 10190 givens.
% 260.32/260.47
% 260.49/260.68
% 260.49/260.68
% 260.49/260.68 Changing weight limit from 22 to 18.
% 260.49/260.68
% 260.49/260.68 Resetting weight limit to 18 after 10200 givens.
% 260.49/260.68
% 260.54/260.72
% 260.54/260.72
% 260.54/260.72 Changing weight limit from 18 to 19.
% 260.54/260.72
% 260.54/260.72 Resetting weight limit to 19 after 10205 givens.
% 260.54/260.72
% 260.60/260.76
% 260.60/260.76
% 260.60/260.76 Changing weight limit from 19 to 20.
% 260.60/260.76
% 260.60/260.76 Resetting weight limit to 20 after 10210 givens.
% 260.60/260.76
% 260.62/260.80
% 260.62/260.80
% 260.62/260.80 Changing weight limit from 20 to 21.
% 260.62/260.80
% 260.62/260.80 Resetting weight limit to 21 after 10215 givens.
% 260.62/260.80
% 260.67/260.83
% 260.67/260.83
% 260.67/260.83 Changing weight limit from 21 to 22.
% 260.67/260.83
% 260.67/260.83 Resetting weight limit to 22 after 10220 givens.
% 260.67/260.83
% 281.91/282.09
% 281.91/282.09
% 281.91/282.09 Changing weight limit from 22 to 17.
% 281.91/282.09
% 281.91/282.09 Resetting weight limit to 17 after 11810 givens.
% 281.91/282.09
% 281.91/282.12
% 281.91/282.12
% 281.91/282.12 Changing weight limit from 17 to 18.
% 281.91/282.12
% 281.91/282.12 Resetting weight limit to 18 after 11815 givens.
% 281.91/282.12
% 282.00/282.16
% 282.00/282.16
% 282.00/282.16 Changing weight limit from 18 to 19.
% 282.00/282.16
% 282.00/282.16 Resetting weight limit to 19 after 11820 givens.
% 282.00/282.16
% 282.04/282.19
% 282.04/282.19
% 282.04/282.19 Changing weight limit from 19 to 20.
% 282.04/282.19
% 282.04/282.19 Resetting weight limit to 20 after 11825 givens.
% 282.04/282.19
% 282.04/282.23
% 282.04/282.23
% 282.04/282.23 Changing weight limit from 20 to 21.
% 282.04/282.23
% 282.04/282.23 Resetting weight limit to 21 after 11830 givens.
% 282.04/282.23
% 282.10/282.27
% 282.10/282.27
% 282.10/282.27 Changing weight limit from 21 to 22.
% 282.10/282.27
% 282.10/282.27 Resetting weight limit to 22 after 11835 givens.
% 282.10/282.27
% 284.06/284.21
% 284.06/284.21
% 284.06/284.21 Changing weight limit from 22 to 17.
% 284.06/284.21
% 284.06/284.21 Resetting weight limit to 17 after 11965 givens.
% 284.06/284.21
% 284.06/284.25
% 284.06/284.25
% 284.06/284.25 Changing weight limit from 17 to 18.
% 284.06/284.25
% 284.06/284.25 Resetting weight limit to 18 after 11970 givens.
% 284.06/284.25
% 284.11/284.28
% 284.11/284.28
% 284.11/284.28 Changing weight limit from 18 to 19.
% 284.11/284.28
% 284.11/284.28 Resetting weight limit to 19 after 11975 givens.
% 284.11/284.28
% 284.11/284.32
% 284.11/284.32
% 284.11/284.32 Changing weight limit from 19 to 20.
% 284.11/284.32
% 284.11/284.32 Resetting weight limit to 20 after 11980 givens.
% 284.11/284.32
% 284.20/284.36
% 284.20/284.36
% 284.20/284.36 Changing weight limit from 20 to 21.
% 284.20/284.36
% 284.20/284.36 Resetting weight limit to 21 after 11985 givens.
% 284.20/284.36
% 284.20/284.39
% 284.20/284.39
% 284.20/284.39 Changing weight limit from 21 to 22.
% 284.20/284.39
% 284.20/284.39 Resetting weight limit to 22 after 11990 givens.
% 284.20/284.39
% 286.15/286.34
% 286.15/286.34
% 286.15/286.34 Changing weight limit from 22 to 17.
% 286.15/286.34
% 286.15/286.34 Resetting weight limit to 17 after 12115 givens.
% 286.15/286.34
% 286.21/286.38
% 286.21/286.38
% 286.21/286.38 Changing weight limit from 17 to 18.
% 286.21/286.38
% 286.21/286.38 Resetting weight limit to 18 after 12120 givens.
% 286.21/286.38
% 286.26/286.41
% 286.26/286.41
% 286.26/286.41 Changing weight limit from 18 to 19.
% 286.26/286.41
% 286.26/286.41 Resetting weight limit to 19 after 12125 givens.
% 286.26/286.41
% 286.30/286.45
% 286.30/286.45
% 286.30/286.45 Changing weight limit from 19 to 20.
% 286.30/286.45
% 286.30/286.45 Resetting weight limit to 20 after 12130 givens.
% 286.30/286.45
% 286.30/286.48
% 286.30/286.48
% 286.30/286.48 Changing weight limit from 20 to 21.
% 286.30/286.48
% 286.30/286.48 Resetting weight limit to 21 after 12135 givens.
% 286.30/286.48
% 286.30/286.52
% 286.30/286.52
% 286.30/286.52 Changing weight limit from 21 to 22.
% 286.30/286.52
% 286.30/286.52 Resetting weight limit to 22 after 12140 givens.
% 286.30/286.52
% 288.10/288.31
% 288.10/288.31
% 288.10/288.31 Changing weight limit from 22 to 17.
% 288.10/288.31
% 288.10/288.31 Resetting weight limit to 17 after 12255 givens.
% 288.10/288.31
% 288.19/288.34
% 288.19/288.34
% 288.19/288.34 Changing weight limit from 17 to 18.
% 288.19/288.34
% 288.19/288.34 Resetting weight limit to 18 after 12260 givens.
% 288.19/288.34
% 288.19/288.38
% 288.19/288.38
% 288.19/288.38 Changing weight limit from 18 to 19.
% 288.19/288.38
% 288.19/288.38 Resetting weight limit to 19 after 12265 givens.
% 288.19/288.38
% 288.24/288.41
% 288.24/288.41
% 288.24/288.41 Changing weight limit from 19 to 20.
% 288.24/288.41
% 288.24/288.41 Resetting weight limit to 20 after 12270 givens.
% 288.24/288.41
% 288.30/288.45
% 288.30/288.45
% 288.30/288.45 Changing weight limit from 20 to 21.
% 288.30/288.45
% 288.30/288.45 Resetting weight limit to 21 after 12275 givens.
% 288.30/288.45
% 288.31/288.48
% 288.31/288.48
% 288.31/288.48 Changing weight limit from 21 to 22.
% 288.31/288.48
% 288.31/288.48 Resetting weight limit to 22 after 12280 givens.
% 288.31/288.48
% 290.69/290.84
% 290.69/290.84
% 290.69/290.84 Changing weight limit from 22 to 17.
% 290.69/290.84
% 290.69/290.84 Resetting weight limit to 17 after 12430 givens.
% 290.69/290.84
% 290.69/290.88
% 290.69/290.88
% 290.69/290.88 Changing weight limit from 17 to 18.
% 290.69/290.88
% 290.69/290.88 Resetting weight limit to 18 after 12435 givens.
% 290.69/290.88
% 290.75/290.91
% 290.75/290.91
% 290.75/290.91 Changing weight limit from 18 to 19.
% 290.75/290.91
% 290.75/290.91 Resetting weight limit to 19 after 12440 givens.
% 290.75/290.91
% 290.75/290.95
% 290.75/290.95
% 290.75/290.95 Changing weight limit from 19 to 20.
% 290.75/290.95
% 290.75/290.95 Resetting weight limit to 20 after 12445 givens.
% 290.75/290.95
% 290.81/290.99
% 290.81/290.99
% 290.81/290.99 Changing weight limit from 20 to 21.
% 290.81/290.99
% 290.81/290.99 Resetting weight limit to 21 after 12450 givens.
% 290.81/290.99
% 290.81/291.02
% 290.81/291.02
% 290.81/291.02 Changing weight limit from 21 to 22.
% 290.81/291.02
% 290.81/291.02 Resetting weight limit to 22 after 12455 givens.
% 290.81/291.02
% 292.25/292.42
% 292.25/292.42
% 292.25/292.42 Changing weight limit from 22 to 17.
% 292.25/292.42
% 292.25/292.42 Resetting weight limit to 17 after 12540 givens.
% 292.25/292.42
% 292.25/292.46
% 292.25/292.46
% 292.25/292.46 Changing weight limit from 17 to 18.
% 292.25/292.46
% 292.25/292.46 Resetting weight limit to 18 after 12545 givens.
% 292.25/292.46
% 292.31/292.49
% 292.31/292.49
% 292.31/292.49 Changing weight limit from 18 to 19.
% 292.31/292.49
% 292.31/292.49 Resetting weight limit to 19 after 12550 givens.
% 292.31/292.49
% 292.31/292.53
% 292.31/292.53
% 292.31/292.53 Changing weight limit from 19 to 20.
% 292.31/292.53
% 292.31/292.53 Resetting weight limit to 20 after 12555 givens.
% 292.31/292.53
% 292.41/292.56
% 292.41/292.56
% 292.41/292.56 Changing weight limit from 20 to 21.
% 292.41/292.56
% 292.41/292.56 Resetting weight limit to 21 after 12560 givens.
% 292.41/292.56
% 292.45/292.60
% 292.45/292.60
% 292.45/292.60 Changing weight limit from 21 to 22.
% 292.45/292.60
% 292.45/292.60 Resetting weight limit to 22 after 12565 givens.
% 292.45/292.60
% 293.71/293.86
% 293.71/293.86
% 293.71/293.86 Changing weight limit from 22 to 17.
% 293.71/293.86
% 293.71/293.86 Resetting weight limit to 17 after 12640 givens.
% 293.71/293.86
% 293.71/293.90
% 293.71/293.90
% 293.71/293.90 Changing weight limit from 17 to 18.
% 293.71/293.90
% 293.71/293.90 Resetting weight limit to 18 after 12645 givens.
% 293.71/293.90
% 293.76/293.93
% 293.76/293.93
% 293.76/293.93 Changing weight limit from 18 to 19.
% 293.76/293.93
% 293.76/293.93 Resetting weight limit to 19 after 12650 givens.
% 293.76/293.93
% 293.80/293.97
% 293.80/293.97
% 293.80/293.97 Changing weight limit from 19 to 20.
% 293.80/293.97
% 293.80/293.97 Resetting weight limit to 20 after 12655 givens.
% 293.80/293.97
% 293.80/294.00
% 293.80/294.00
% 293.80/294.00 Changing weight limit from 20 to 21.
% 293.80/294.00
% 293.80/294.00 Resetting weight limit to 21 after 12660 givens.
% 293.80/294.00
% 293.80/294.04
% 293.80/294.04
% 293.80/294.04 Changing weight limit from 21 to 22.
% 293.80/294.04
% 293.80/294.04 Resetting weight limit to 22 after 12665 givens.
% 293.80/294.04
% 300.01/300.17 Wow, sos-wrapper got a signal XCPU
%------------------------------------------------------------------------------