TSTP Solution File: MED007+1 by SOS---2.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : SOS---2.0
% Problem : MED007+1 : TPTP v8.1.0. Released v3.2.0.
% Transfm : none
% Format : tptp:raw
% Command : sos-script %s
% Computer : n029.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 600s
% DateTime : Sun Jul 17 21:55:48 EDT 2022
% Result : Timeout 286.07s 286.22s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.12 % Problem : MED007+1 : TPTP v8.1.0. Released v3.2.0.
% 0.08/0.13 % Command : sos-script %s
% 0.12/0.34 % Computer : n029.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Tue Jul 5 01:50:57 EDT 2022
% 0.12/0.34 % CPUTime :
% 0.19/0.41 ----- Otter 3.2, August 2001 -----
% 0.19/0.41 The process was started by sandbox on n029.cluster.edu,
% 0.19/0.41 Tue Jul 5 01:50:57 2022
% 0.19/0.41 The command was "./sos". The process ID is 6273.
% 0.19/0.41
% 0.19/0.41 set(prolog_style_variables).
% 0.19/0.41 set(auto).
% 0.19/0.41 dependent: set(auto1).
% 0.19/0.41 dependent: set(process_input).
% 0.19/0.41 dependent: clear(print_kept).
% 0.19/0.41 dependent: clear(print_new_demod).
% 0.19/0.41 dependent: clear(print_back_demod).
% 0.19/0.41 dependent: clear(print_back_sub).
% 0.19/0.41 dependent: set(control_memory).
% 0.19/0.41 dependent: assign(max_mem, 12000).
% 0.19/0.41 dependent: assign(pick_given_ratio, 4).
% 0.19/0.41 dependent: assign(stats_level, 1).
% 0.19/0.41 dependent: assign(pick_semantic_ratio, 3).
% 0.19/0.41 dependent: assign(sos_limit, 5000).
% 0.19/0.41 dependent: assign(max_weight, 60).
% 0.19/0.41 clear(print_given).
% 0.19/0.41
% 0.19/0.41 formula_list(usable).
% 0.19/0.41
% 0.19/0.41 SCAN INPUT: prop=0, horn=0, equality=0, symmetry=0, max_lits=11.
% 0.19/0.41
% 0.19/0.41 This is a non-Horn set without equality. The strategy
% 0.19/0.41 will be ordered hyper_res, ur_res, unit deletion, and
% 0.19/0.41 factoring, with satellites in sos and nuclei in usable.
% 0.19/0.41
% 0.19/0.41 dependent: set(hyper_res).
% 0.19/0.41 dependent: set(factor).
% 0.19/0.41 dependent: set(unit_deletion).
% 0.19/0.41
% 0.19/0.41 ------------> process usable:
% 0.19/0.41 Following clause subsumed by 59 during input processing: 0 [factor_simp,factor_simp] {-} -gt(A,$f15(A))|gt(A,B)|bsecretioni(B)|gt(A,D)| -releaselg(D)|gt(A,E)|uptakepg(E)|bcapacityex(A).
% 0.19/0.41 Following clause subsumed by 59 during input processing: 0 [factor_simp,factor_simp] {-} -gt(A,$f15(A))|gt(A,B)|bsecretioni(B)|gt(A,D)| -releaselg(D)|gt(A,E)|uptakepg(E)| -gt(A,F)|conditionhyper(F).
% 0.19/0.41 Following clause subsumed by 59 during input processing: 0 [] {-} -gt(A,$f15(A))|gt(A,B)|bsecretioni(B)|gt(A,C)| -releaselg(C)|bcapacityne(A)|gt(A,D)|uptakepg(D).
% 0.19/0.41 Following clause subsumed by 59 during input processing: 0 [factor_simp,factor_simp] {-} -gt(A,$f15(A))|gt(A,D)|bsecretioni(D)|gt(A,C)| -releaselg(C)|gt(A,E)|uptakepg(E).
% 0.19/0.41 Following clause subsumed by 68 during input processing: 0 [] {-} -gt(A,$f15(A))|gt(A,B)|bsecretioni(B)|gt(A,C)| -releaselg(C)| -gt(A,D)|conditionhyper(D)|gt(A,E)|uptakelg(E).
% 0.19/0.41 Following clause subsumed by 68 during input processing: 0 [] {-} -gt(A,$f15(A))|gt(A,B)|bsecretioni(B)|gt(A,C)| -releaselg(C)| -gt(A,D)|conditionhyper(D)|gt(A,E)|uptakepg(E).
% 0.19/0.41 Following clause subsumed by 68 during input processing: 0 [] {-} -gt(A,$f15(A))|gt(A,B)|bsecretioni(B)|gt(A,C)| -releaselg(C)| -gt(A,D)|conditionhyper(D)|bcapacityex(A).
% 0.19/0.41 Following clause subsumed by 68 during input processing: 0 [factor_simp,factor_simp] {-} -gt(A,$f15(A))|gt(A,B)|bsecretioni(B)|gt(A,C)| -releaselg(C)| -gt(A,E)|conditionhyper(E).
% 0.19/0.41 Following clause subsumed by 64 during input processing: 0 [] {-} -gt(A,$f15(A))|gt(A,B)|bsecretioni(B)| -qilt27(A)|gt(A,C)| -releaselg(C)|gt(A,D)|uptakepg(D)|gt(A,E)|uptakelg(E).
% 0.19/0.41 Following clause subsumed by 59 during input processing: 0 [factor_simp,factor_simp] {-} -gt(A,$f15(A))|gt(A,B)|bsecretioni(B)| -qilt27(A)|gt(A,C)| -releaselg(C)|gt(A,E)|uptakepg(E).
% 0.19/0.41 Following clause subsumed by 66 during input processing: 0 [] {-} -gt(A,$f15(A))|gt(A,B)|bsecretioni(B)| -qilt27(A)|gt(A,C)| -releaselg(C)|gt(A,D)|uptakepg(D)|bcapacityex(A).
% 0.19/0.41 Following clause subsumed by 68 during input processing: 0 [] {-} -gt(A,$f15(A))|gt(A,B)|bsecretioni(B)| -qilt27(A)|gt(A,C)| -releaselg(C)|gt(A,D)|uptakepg(D)| -gt(A,E)|conditionhyper(E).
% 0.19/0.41 Following clause subsumed by 80 during input processing: 0 [] {-} -gt(A,$f15(A))|gt(A,B)|bsecretioni(B)| -qilt27(A)| -gt(A,C)|conditionhyper(C)|gt(A,D)|uptakelg(D).
% 0.19/0.41 Following clause subsumed by 80 during input processing: 0 [] {-} -gt(A,$f15(A))|gt(A,B)|bsecretioni(B)| -qilt27(A)| -gt(A,C)|conditionhyper(C)|gt(A,D)|uptakepg(D).
% 0.19/0.41 Following clause subsumed by 80 during input processing: 0 [] {-} -gt(A,$f15(A))|gt(A,B)|bsecretioni(B)| -qilt27(A)| -gt(A,C)|conditionhyper(C)|bcapacityex(A).
% 0.19/0.41 Following clause subsumed by 80 during input processing: 0 [factor_simp,factor_simp] {-} -gt(A,$f15(A))|gt(A,B)|bsecretioni(B)| -qilt27(A)| -gt(A,D)|conditionhyper(D).
% 0.19/0.41 Following clause subsumed by 68 during input processing: 0 [] {-} -gt(A,$f15(A))|gt(A,B)|bsecretioni(B)| -gt(A,C)|conditionhyper(C)|gt(A,D)| -releaselg(D)|gt(A,E)|uptakepg(E)|gt(A,F)|uptakelg(F).
% 0.19/0.41 Following clause subsumed by 68 during input processing: 0 [factor_simp,factor_simp] {-} -gt(A,$f15(A))|gt(A,B)|bsecretioni(B)| -gt(A,C)|conditionhyper(C)|gt(A,D)| -releaselg(D)|gt(A,F)|uptakepg(F).
% 0.19/0.41 Following clause subsumed by 68 during input processing: 0 [] {-} -gt(A,$f15(A))|gt(A,B)|bsecretioni(B)| -gt(A,C)|conditionhyper(C)|gt(A,D)| -releaselg(D)|gt(A,E)|uptakepg(E)|bcapacityex(A).
% 0.19/0.41 Following clause subsumed by 68 during input processing: 0 [factor_simp,factor_simp] {-} -gt(A,$f15(A))|gt(A,B)|bsecretioni(B)| -gt(A,F)|conditionhyper(F)|gt(A,D)| -releaselg(D)|gt(A,E)|uptakepg(E).
% 0.19/0.41 Following clause subsumed by 93 during input processing: 0 [factor_simp,factor_simp] {-} -gt(A,$f15(A))|gt(A,B)|bsecretioni(B)| -gt(A,D)|conditionhyper(D)|gt(A,E)|uptakelg(E).
% 0.19/0.41 Following clause subsumed by 93 during input processing: 0 [factor_simp,factor_simp] {-} -gt(A,$f15(A))|gt(A,B)|bsecretioni(B)| -gt(A,D)|conditionhyper(D)|gt(A,E)|uptakepg(E).
% 0.19/0.41 Following clause subsumed by 93 during input processing: 0 [factor_simp,factor_simp] {-} -gt(A,$f15(A))|gt(A,B)|bsecretioni(B)| -gt(A,D)|conditionhyper(D)|bcapacityex(A).
% 0.19/0.41 Following clause subsumed by 93 during input processing: 0 [factor_simp,factor_simp,factor_simp,factor_simp] {-} -gt(A,$f15(A))|gt(A,B)|bsecretioni(B)| -gt(A,E)|conditionhyper(E).
% 0.19/0.41 Following clause subsumed by 96 during input processing: 0 [] {-} -gt(A,$f15(A))|bcapacitysn(A)|gt(A,B)| -releaselg(B)|gt(A,C)|uptakepg(C)|bcapacityex(A).
% 0.19/0.41 Following clause subsumed by 96 during input processing: 0 [] {-} -gt(A,$f15(A))|bcapacitysn(A)|gt(A,B)| -releaselg(B)|gt(A,C)|uptakepg(C)| -gt(A,D)|conditionhyper(D).
% 0.19/0.41 Following clause subsumed by 93 during input processing: 0 [] {-} -gt(A,$f15(A))|bcapacitysn(A)|gt(A,B)|bsecretioni(B)| -gt(A,C)|conditionhyper(C).
% 0.19/0.41 Following clause subsumed by 112 during input processing: 0 [factor_simp,factor_simp] {-} -gt(A,$f15(A))|qilt27(A)|gt(A,C)| -releaselg(C)|gt(A,D)|uptakepg(D)|bcapacityex(A).
% 0.19/0.41 Following clause subsumed by 112 during input processing: 0 [factor_simp,factor_simp] {-} -gt(A,$f15(A))|qilt27(A)|gt(A,C)| -releaselg(C)|gt(A,D)|uptakepg(D)| -gt(A,E)|conditionhyper(E).
% 0.19/0.41 Following clause subsumed by 112 during input processing: 0 [] {-} -gt(A,$f15(A))|qilt27(A)|gt(A,B)| -releaselg(B)|bcapacityne(A)|gt(A,C)|uptakepg(C).
% 0.19/0.41 Following clause subsumed by 64 during input processing: 0 [] {-} -gt(A,$f15(A))|qilt27(A)|gt(A,B)| -releaselg(B)|gt(A,C)|bsecretioni(C)|gt(A,D)|uptakelg(D).
% 0.19/0.41 Following clause subsumed by 112 during input processing: 0 [] {-} -gt(A,$f15(A))|qilt27(A)|gt(A,B)| -releaselg(B)|gt(A,C)|bsecretioni(C)|gt(A,D)|uptakepg(D).
% 0.19/0.41 Following clause subsumed by 66 during input processing: 0 [] {-} -gt(A,$f15(A))|qilt27(A)|gt(A,B)| -releaselg(B)|gt(A,C)|bsecretioni(C)|bcapacityex(A).
% 0.19/0.41 Following clause subsumed by 93 during input processing: 0 [] {-} -gt(A,$f15(A))|qilt27(A)|gt(A,B)| -releaselg(B)|gt(A,C)|bsecretioni(C)| -gt(A,D)|conditionhyper(D).
% 0.19/0.41 Following clause subsumed by 112 during input processing: 0 [] {-} -gt(A,$f15(A))|qilt27(A)|gt(A,B)| -releaselg(B)| -gt(A,C)|conditionhyper(C)|gt(A,D)|uptakepg(D).
% 0.19/0.41 Following clause subsumed by 119 during input processing: 0 [] {-} -gt(A,$f15(A))|qilt27(A)| -gt(A,B)|conditionhyper(B)|gt(A,C)| -releaselg(C)|gt(A,D)|uptakepg(D)|gt(A,E)|uptakelg(E).
% 0.19/0.41 Following clause subsumed by 119 during input processing: 0 [factor_simp,factor_simp] {-} -gt(A,$f15(A))|qilt27(A)| -gt(A,B)|conditionhyper(B)|gt(A,C)| -releaselg(C)|gt(A,E)|uptakepg(E).
% 0.19/0.41 Following clause subsumed by 119 during input processing: 0 [] {-} -gt(A,$f15(A))|qilt27(A)| -gt(A,B)|conditionhyper(B)|gt(A,C)| -releaselg(C)|gt(A,D)|uptakepg(D)|bcapacityex(A).
% 0.19/0.41 Following clause subsumed by 119 during input processing: 0 [factor_simp,factor_simp] {-} -gt(A,$f15(A))|qilt27(A)| -gt(A,E)|conditionhyper(E)|gt(A,C)| -releaselg(C)|gt(A,D)|uptakepg(D).
% 0.19/0.41 Following clause subsumed by 93 during input processing: 0 [] {-} -gt(A,$f15(A))|qilt27(A)| -gt(A,B)|conditionhyper(B)|gt(A,C)|bsecretioni(C)|gt(A,D)|uptakelg(D).
% 0.19/0.42 Following clause subsumed by 93 during input processing: 0 [] {-} -gt(A,$f15(A))|qilt27(A)| -gt(A,B)|conditionhyper(B)|gt(A,C)|bsecretioni(C)|gt(A,D)|uptakepg(D).
% 0.19/0.42 Following clause subsumed by 93 during input processing: 0 [] {-} -gt(A,$f15(A))|qilt27(A)| -gt(A,B)|conditionhyper(B)|gt(A,C)|bsecretioni(C)|bcapacityex(A).
% 0.19/0.42 Following clause subsumed by 93 during input processing: 0 [factor_simp,factor_simp] {-} -gt(A,$f15(A))|qilt27(A)| -gt(A,D)|conditionhyper(D)|gt(A,C)|bsecretioni(C).
% 0.19/0.42 Following clause subsumed by 136 during input processing: 0 [factor_simp,factor_simp] {-} -gt(A,$f15(A))| -gt(A,B)|conditionhyper(B)|gt(A,D)| -releaselg(D)|gt(A,E)|uptakepg(E)|bcapacityex(A).
% 0.19/0.42 Following clause subsumed by 136 during input processing: 0 [factor_simp,factor_simp,factor_simp,factor_simp] {-} -gt(A,$f15(A))| -gt(A,F)|conditionhyper(F)|gt(A,D)| -releaselg(D)|gt(A,E)|uptakepg(E).
% 0.19/0.42 Following clause subsumed by 136 during input processing: 0 [] {-} -gt(A,$f15(A))| -gt(A,B)|conditionhyper(B)|gt(A,C)| -releaselg(C)|bcapacityne(A)|gt(A,D)|uptakepg(D).
% 0.19/0.42 Following clause subsumed by 93 during input processing: 0 [] {-} -gt(A,$f15(A))| -gt(A,B)|conditionhyper(B)|gt(A,C)| -releaselg(C)|gt(A,D)|bsecretioni(D)|gt(A,E)|uptakelg(E).
% 0.19/0.42 Following clause subsumed by 136 during input processing: 0 [] {-} -gt(A,$f15(A))| -gt(A,B)|conditionhyper(B)|gt(A,C)| -releaselg(C)|gt(A,D)|bsecretioni(D)|gt(A,E)|uptakepg(E).
% 0.19/0.42 Following clause subsumed by 93 during input processing: 0 [] {-} -gt(A,$f15(A))| -gt(A,B)|conditionhyper(B)|gt(A,C)| -releaselg(C)|gt(A,D)|bsecretioni(D)|bcapacityex(A).
% 0.19/0.42 Following clause subsumed by 93 during input processing: 0 [factor_simp,factor_simp] {-} -gt(A,$f15(A))| -gt(A,E)|conditionhyper(E)|gt(A,C)| -releaselg(C)|gt(A,D)|bsecretioni(D).
% 0.19/0.42 Following clause subsumed by 136 during input processing: 0 [factor_simp,factor_simp] {-} -gt(A,$f15(A))| -gt(A,D)|conditionhyper(D)|gt(A,C)| -releaselg(C)|gt(A,E)|uptakepg(E).
% 0.19/0.42 Following clause subsumed by 146 during input processing: 0 [] {-} -gt(A,$f15(A))| -gt(A,B)|conditionhyper(B)| -qilt27(A)|gt(A,C)| -releaselg(C)|gt(A,D)|uptakepg(D)|gt(A,E)|uptakelg(E).
% 0.19/0.42 Following clause subsumed by 146 during input processing: 0 [factor_simp,factor_simp] {-} -gt(A,$f15(A))| -gt(A,B)|conditionhyper(B)| -qilt27(A)|gt(A,C)| -releaselg(C)|gt(A,E)|uptakepg(E).
% 0.19/0.42 Following clause subsumed by 146 during input processing: 0 [] {-} -gt(A,$f15(A))| -gt(A,B)|conditionhyper(B)| -qilt27(A)|gt(A,C)| -releaselg(C)|gt(A,D)|uptakepg(D)|bcapacityex(A).
% 0.19/0.42 Following clause subsumed by 146 during input processing: 0 [factor_simp,factor_simp] {-} -gt(A,$f15(A))| -gt(A,E)|conditionhyper(E)| -qilt27(A)|gt(A,C)| -releaselg(C)|gt(A,D)|uptakepg(D).
% 0.19/0.42 Following clause subsumed by 93 during input processing: 0 [] {-} -gt(A,$f15(A))| -gt(A,B)|conditionhyper(B)| -qilt27(A)|gt(A,C)|bsecretioni(C)|gt(A,D)|uptakelg(D).
% 0.19/0.42 Following clause subsumed by 93 during input processing: 0 [] {-} -gt(A,$f15(A))| -gt(A,B)|conditionhyper(B)| -qilt27(A)|gt(A,C)|bsecretioni(C)|gt(A,D)|uptakepg(D).
% 0.19/0.42 Following clause subsumed by 93 during input processing: 0 [] {-} -gt(A,$f15(A))| -gt(A,B)|conditionhyper(B)| -qilt27(A)|gt(A,C)|bsecretioni(C)|bcapacityex(A).
% 0.19/0.42 Following clause subsumed by 93 during input processing: 0 [factor_simp,factor_simp] {-} -gt(A,$f15(A))| -gt(A,D)|conditionhyper(D)| -qilt27(A)|gt(A,C)|bsecretioni(C).
% 0.19/0.42 Following clause subsumed by 146 during input processing: 0 [factor_simp,factor_simp] {-} -gt(A,$f15(A))| -gt(A,C)|conditionhyper(C)|gt(A,D)| -releaselg(D)|gt(A,E)|uptakepg(E)|gt(A,F)|uptakelg(F).
% 0.19/0.42 Following clause subsumed by 146 during input processing: 0 [factor_simp,factor_simp,factor_simp,factor_simp] {-} -gt(A,$f15(A))| -gt(A,C)|conditionhyper(C)|gt(A,D)| -releaselg(D)|gt(A,F)|uptakepg(F).
% 0.19/0.42 Following clause subsumed by 146 during input processing: 0 [factor_simp,factor_simp] {-} -gt(A,$f15(A))| -gt(A,C)|conditionhyper(C)|gt(A,D)| -releaselg(D)|gt(A,E)|uptakepg(E)|bcapacityex(A).
% 0.19/0.42 Following clause subsumed by 146 during input processing: 0 [factor_simp,factor_simp,factor_simp,factor_simp] {-} -gt(A,$f15(A))| -gt(A,F)|conditionhyper(F)|gt(A,D)| -releaselg(D)|gt(A,E)|uptakepg(E).
% 0.19/0.42 Following clause subsumed by 93 during input processing: 0 [factor_simp,factor_simp] {-} -gt(A,$f15(A))| -gt(A,C)|conditionhyper(C)|gt(A,D)|bsecretioni(D)|gt(A,E)|uptakelg(E).
% 0.19/0.42 Following clause subsumed by 93 during input processing: 0 [factor_simp,factor_simp] {-} -gt(A,$f15(A))| -gt(A,C)|conditionhyper(C)|gt(A,D)|bsecretioni(D)|gt(A,E)|uptakepg(E).
% 0.19/0.42 Following clause subsumed by 93 during input processing: 0 [factor_simp,factor_simp] {-} -gt(A,$f15(A))| -gt(A,C)|conditionhyper(C)|gt(A,D)|bsecretioni(D)|bcapacityex(A).
% 0.19/0.42 Following clause subsumed by 93 during input processing: 0 [factor_simp,factor_simp,factor_simp,factor_simp] {-} -gt(A,$f15(A))| -gt(A,E)|conditionhyper(E)|gt(A,D)|bsecretioni(D).
% 0.19/0.42 Following clause subsumed by 179 during input processing: 0 [factor_simp,factor_simp] {-} -conditionnormo($f15(A))|gt(A,B)|bsecretioni(B)|gt(A,D)| -releaselg(D)|gt(A,E)|uptakepg(E)|bcapacityex(A).
% 0.19/0.42 Following clause subsumed by 179 during input processing: 0 [factor_simp,factor_simp] {-} -conditionnormo($f15(A))|gt(A,B)|bsecretioni(B)|gt(A,D)| -releaselg(D)|gt(A,E)|uptakepg(E)| -gt(A,F)|conditionhyper(F).
% 0.19/0.42 Following clause subsumed by 179 during input processing: 0 [] {-} -conditionnormo($f15(A))|gt(A,B)|bsecretioni(B)|gt(A,C)| -releaselg(C)|bcapacityne(A)|gt(A,D)|uptakepg(D).
% 0.19/0.42 Following clause subsumed by 179 during input processing: 0 [factor_simp,factor_simp] {-} -conditionnormo($f15(A))|gt(A,D)|bsecretioni(D)|gt(A,C)| -releaselg(C)|gt(A,E)|uptakepg(E).
% 0.19/0.42 Following clause subsumed by 188 during input processing: 0 [] {-} -conditionnormo($f15(A))|gt(A,B)|bsecretioni(B)|gt(A,C)| -releaselg(C)| -gt(A,D)|conditionhyper(D)|gt(A,E)|uptakelg(E).
% 0.19/0.42 Following clause subsumed by 188 during input processing: 0 [] {-} -conditionnormo($f15(A))|gt(A,B)|bsecretioni(B)|gt(A,C)| -releaselg(C)| -gt(A,D)|conditionhyper(D)|gt(A,E)|uptakepg(E).
% 0.19/0.42 Following clause subsumed by 188 during input processing: 0 [] {-} -conditionnormo($f15(A))|gt(A,B)|bsecretioni(B)|gt(A,C)| -releaselg(C)| -gt(A,D)|conditionhyper(D)|bcapacityex(A).
% 0.19/0.42 Following clause subsumed by 188 during input processing: 0 [factor_simp,factor_simp] {-} -conditionnormo($f15(A))|gt(A,B)|bsecretioni(B)|gt(A,C)| -releaselg(C)| -gt(A,E)|conditionhyper(E).
% 0.19/0.42 Following clause subsumed by 184 during input processing: 0 [] {-} -conditionnormo($f15(A))|gt(A,B)|bsecretioni(B)| -qilt27(A)|gt(A,C)| -releaselg(C)|gt(A,D)|uptakepg(D)|gt(A,E)|uptakelg(E).
% 0.19/0.42 Following clause subsumed by 179 during input processing: 0 [factor_simp,factor_simp] {-} -conditionnormo($f15(A))|gt(A,B)|bsecretioni(B)| -qilt27(A)|gt(A,C)| -releaselg(C)|gt(A,E)|uptakepg(E).
% 0.19/0.42 Following clause subsumed by 186 during input processing: 0 [] {-} -conditionnormo($f15(A))|gt(A,B)|bsecretioni(B)| -qilt27(A)|gt(A,C)| -releaselg(C)|gt(A,D)|uptakepg(D)|bcapacityex(A).
% 0.19/0.42 Following clause subsumed by 188 during input processing: 0 [] {-} -conditionnormo($f15(A))|gt(A,B)|bsecretioni(B)| -qilt27(A)|gt(A,C)| -releaselg(C)|gt(A,D)|uptakepg(D)| -gt(A,E)|conditionhyper(E).
% 0.19/0.42 Following clause subsumed by 200 during input processing: 0 [] {-} -conditionnormo($f15(A))|gt(A,B)|bsecretioni(B)| -qilt27(A)| -gt(A,C)|conditionhyper(C)|gt(A,D)|uptakelg(D).
% 0.19/0.42 Following clause subsumed by 200 during input processing: 0 [] {-} -conditionnormo($f15(A))|gt(A,B)|bsecretioni(B)| -qilt27(A)| -gt(A,C)|conditionhyper(C)|gt(A,D)|uptakepg(D).
% 0.19/0.42 Following clause subsumed by 200 during input processing: 0 [] {-} -conditionnormo($f15(A))|gt(A,B)|bsecretioni(B)| -qilt27(A)| -gt(A,C)|conditionhyper(C)|bcapacityex(A).
% 0.19/0.42 Following clause subsumed by 200 during input processing: 0 [factor_simp,factor_simp] {-} -conditionnormo($f15(A))|gt(A,B)|bsecretioni(B)| -qilt27(A)| -gt(A,D)|conditionhyper(D).
% 0.19/0.42 Following clause subsumed by 188 during input processing: 0 [] {-} -conditionnormo($f15(A))|gt(A,B)|bsecretioni(B)| -gt(A,C)|conditionhyper(C)|gt(A,D)| -releaselg(D)|gt(A,E)|uptakepg(E)|gt(A,F)|uptakelg(F).
% 0.19/0.42 Following clause subsumed by 188 during input processing: 0 [factor_simp,factor_simp] {-} -conditionnormo($f15(A))|gt(A,B)|bsecretioni(B)| -gt(A,C)|conditionhyper(C)|gt(A,D)| -releaselg(D)|gt(A,F)|uptakepg(F).
% 0.19/0.42 Following clause subsumed by 188 during input processing: 0 [] {-} -conditionnormo($f15(A))|gt(A,B)|bsecretioni(B)| -gt(A,C)|conditionhyper(C)|gt(A,D)| -releaselg(D)|gt(A,E)|uptakepg(E)|bcapacityex(A).
% 0.19/0.42 Following clause subsumed by 188 during input processing: 0 [factor_simp,factor_simp] {-} -conditionnormo($f15(A))|gt(A,B)|bsecretioni(B)| -gt(A,F)|conditionhyper(F)|gt(A,D)| -releaselg(D)|gt(A,E)|uptakepg(E).
% 0.19/0.42 Following clause subsumed by 213 during input processing: 0 [factor_simp,factor_simp] {-} -conditionnormo($f15(A))|gt(A,B)|bsecretioni(B)| -gt(A,D)|conditionhyper(D)|gt(A,E)|uptakelg(E).
% 0.19/0.42 Following clause subsumed by 213 during input processing: 0 [factor_simp,factor_simp] {-} -conditionnormo($f15(A))|gt(A,B)|bsecretioni(B)| -gt(A,D)|conditionhyper(D)|gt(A,E)|uptakepg(E).
% 0.19/0.42 Following clause subsumed by 213 during input processing: 0 [factor_simp,factor_simp] {-} -conditionnormo($f15(A))|gt(A,B)|bsecretioni(B)| -gt(A,D)|conditionhyper(D)|bcapacityex(A).
% 0.19/0.42 Following clause subsumed by 213 during input processing: 0 [factor_simp,factor_simp,factor_simp,factor_simp] {-} -conditionnormo($f15(A))|gt(A,B)|bsecretioni(B)| -gt(A,E)|conditionhyper(E).
% 0.19/0.42 Following clause subsumed by 216 during input processing: 0 [] {-} -conditionnormo($f15(A))|bcapacitysn(A)|gt(A,B)| -releaselg(B)|gt(A,C)|uptakepg(C)|bcapacityex(A).
% 0.19/0.42 Following clause subsumed by 216 during input processing: 0 [] {-} -conditionnormo($f15(A))|bcapacitysn(A)|gt(A,B)| -releaselg(B)|gt(A,C)|uptakepg(C)| -gt(A,D)|conditionhyper(D).
% 0.19/0.42 Following clause subsumed by 213 during input processing: 0 [] {-} -conditionnormo($f15(A))|bcapacitysn(A)|gt(A,B)|bsecretioni(B)| -gt(A,C)|conditionhyper(C).
% 0.19/0.42 Following clause subsumed by 232 during input processing: 0 [factor_simp,factor_simp] {-} -conditionnormo($f15(A))|qilt27(A)|gt(A,C)| -releaselg(C)|gt(A,D)|uptakepg(D)|bcapacityex(A).
% 0.19/0.42 Following clause subsumed by 232 during input processing: 0 [factor_simp,factor_simp] {-} -conditionnormo($f15(A))|qilt27(A)|gt(A,C)| -releaselg(C)|gt(A,D)|uptakepg(D)| -gt(A,E)|conditionhyper(E).
% 0.19/0.42 Following clause subsumed by 232 during input processing: 0 [] {-} -conditionnormo($f15(A))|qilt27(A)|gt(A,B)| -releaselg(B)|bcapacityne(A)|gt(A,C)|uptakepg(C).
% 0.19/0.42 Following clause subsumed by 184 during input processing: 0 [] {-} -conditionnormo($f15(A))|qilt27(A)|gt(A,B)| -releaselg(B)|gt(A,C)|bsecretioni(C)|gt(A,D)|uptakelg(D).
% 0.19/0.42 Following clause subsumed by 232 during input processing: 0 [] {-} -conditionnormo($f15(A))|qilt27(A)|gt(A,B)| -releaselg(B)|gt(A,C)|bsecretioni(C)|gt(A,D)|uptakepg(D).
% 0.19/0.42 Following clause subsumed by 186 during input processing: 0 [] {-} -conditionnormo($f15(A))|qilt27(A)|gt(A,B)| -releaselg(B)|gt(A,C)|bsecretioni(C)|bcapacityex(A).
% 0.19/0.42 Following clause subsumed by 213 during input processing: 0 [] {-} -conditionnormo($f15(A))|qilt27(A)|gt(A,B)| -releaselg(B)|gt(A,C)|bsecretioni(C)| -gt(A,D)|conditionhyper(D).
% 0.19/0.42 Following clause subsumed by 232 during input processing: 0 [] {-} -conditionnormo($f15(A))|qilt27(A)|gt(A,B)| -releaselg(B)| -gt(A,C)|conditionhyper(C)|gt(A,D)|uptakepg(D).
% 0.19/0.42 Following clause subsumed by 239 during input processing: 0 [] {-} -conditionnormo($f15(A))|qilt27(A)| -gt(A,B)|conditionhyper(B)|gt(A,C)| -releaselg(C)|gt(A,D)|uptakepg(D)|gt(A,E)|uptakelg(E).
% 0.19/0.42 Following clause subsumed by 239 during input processing: 0 [factor_simp,factor_simp] {-} -conditionnormo($f15(A))|qilt27(A)| -gt(A,B)|conditionhyper(B)|gt(A,C)| -releaselg(C)|gt(A,E)|uptakepg(E).
% 0.19/0.42 Following clause subsumed by 239 during input processing: 0 [] {-} -conditionnormo($f15(A))|qilt27(A)| -gt(A,B)|conditionhyper(B)|gt(A,C)| -releaselg(C)|gt(A,D)|uptakepg(D)|bcapacityex(A).
% 0.19/0.42 Following clause subsumed by 239 during input processing: 0 [factor_simp,factor_simp] {-} -conditionnormo($f15(A))|qilt27(A)| -gt(A,E)|conditionhyper(E)|gt(A,C)| -releaselg(C)|gt(A,D)|uptakepg(D).
% 0.19/0.43 Following clause subsumed by 213 during input processing: 0 [] {-} -conditionnormo($f15(A))|qilt27(A)| -gt(A,B)|conditionhyper(B)|gt(A,C)|bsecretioni(C)|gt(A,D)|uptakelg(D).
% 0.19/0.43 Following clause subsumed by 213 during input processing: 0 [] {-} -conditionnormo($f15(A))|qilt27(A)| -gt(A,B)|conditionhyper(B)|gt(A,C)|bsecretioni(C)|gt(A,D)|uptakepg(D).
% 0.19/0.43 Following clause subsumed by 213 during input processing: 0 [] {-} -conditionnormo($f15(A))|qilt27(A)| -gt(A,B)|conditionhyper(B)|gt(A,C)|bsecretioni(C)|bcapacityex(A).
% 0.19/0.43 Following clause subsumed by 213 during input processing: 0 [factor_simp,factor_simp] {-} -conditionnormo($f15(A))|qilt27(A)| -gt(A,D)|conditionhyper(D)|gt(A,C)|bsecretioni(C).
% 0.19/0.43 Following clause subsumed by 256 during input processing: 0 [factor_simp,factor_simp] {-} -conditionnormo($f15(A))| -gt(A,B)|conditionhyper(B)|gt(A,D)| -releaselg(D)|gt(A,E)|uptakepg(E)|bcapacityex(A).
% 0.19/0.43 Following clause subsumed by 256 during input processing: 0 [factor_simp,factor_simp,factor_simp,factor_simp] {-} -conditionnormo($f15(A))| -gt(A,F)|conditionhyper(F)|gt(A,D)| -releaselg(D)|gt(A,E)|uptakepg(E).
% 0.19/0.43 Following clause subsumed by 256 during input processing: 0 [] {-} -conditionnormo($f15(A))| -gt(A,B)|conditionhyper(B)|gt(A,C)| -releaselg(C)|bcapacityne(A)|gt(A,D)|uptakepg(D).
% 0.19/0.43 Following clause subsumed by 213 during input processing: 0 [] {-} -conditionnormo($f15(A))| -gt(A,B)|conditionhyper(B)|gt(A,C)| -releaselg(C)|gt(A,D)|bsecretioni(D)|gt(A,E)|uptakelg(E).
% 0.19/0.43 Following clause subsumed by 256 during input processing: 0 [] {-} -conditionnormo($f15(A))| -gt(A,B)|conditionhyper(B)|gt(A,C)| -releaselg(C)|gt(A,D)|bsecretioni(D)|gt(A,E)|uptakepg(E).
% 0.19/0.43 Following clause subsumed by 213 during input processing: 0 [] {-} -conditionnormo($f15(A))| -gt(A,B)|conditionhyper(B)|gt(A,C)| -releaselg(C)|gt(A,D)|bsecretioni(D)|bcapacityex(A).
% 0.19/0.43 Following clause subsumed by 213 during input processing: 0 [factor_simp,factor_simp] {-} -conditionnormo($f15(A))| -gt(A,E)|conditionhyper(E)|gt(A,C)| -releaselg(C)|gt(A,D)|bsecretioni(D).
% 0.19/0.43 Following clause subsumed by 256 during input processing: 0 [factor_simp,factor_simp] {-} -conditionnormo($f15(A))| -gt(A,D)|conditionhyper(D)|gt(A,C)| -releaselg(C)|gt(A,E)|uptakepg(E).
% 0.19/0.43 Following clause subsumed by 266 during input processing: 0 [] {-} -conditionnormo($f15(A))| -gt(A,B)|conditionhyper(B)| -qilt27(A)|gt(A,C)| -releaselg(C)|gt(A,D)|uptakepg(D)|gt(A,E)|uptakelg(E).
% 0.19/0.43 Following clause subsumed by 266 during input processing: 0 [factor_simp,factor_simp] {-} -conditionnormo($f15(A))| -gt(A,B)|conditionhyper(B)| -qilt27(A)|gt(A,C)| -releaselg(C)|gt(A,E)|uptakepg(E).
% 0.19/0.43 Following clause subsumed by 266 during input processing: 0 [] {-} -conditionnormo($f15(A))| -gt(A,B)|conditionhyper(B)| -qilt27(A)|gt(A,C)| -releaselg(C)|gt(A,D)|uptakepg(D)|bcapacityex(A).
% 0.19/0.43 Following clause subsumed by 266 during input processing: 0 [factor_simp,factor_simp] {-} -conditionnormo($f15(A))| -gt(A,E)|conditionhyper(E)| -qilt27(A)|gt(A,C)| -releaselg(C)|gt(A,D)|uptakepg(D).
% 0.19/0.43 Following clause subsumed by 213 during input processing: 0 [] {-} -conditionnormo($f15(A))| -gt(A,B)|conditionhyper(B)| -qilt27(A)|gt(A,C)|bsecretioni(C)|gt(A,D)|uptakelg(D).
% 0.19/0.43 Following clause subsumed by 213 during input processing: 0 [] {-} -conditionnormo($f15(A))| -gt(A,B)|conditionhyper(B)| -qilt27(A)|gt(A,C)|bsecretioni(C)|gt(A,D)|uptakepg(D).
% 0.19/0.43 Following clause subsumed by 213 during input processing: 0 [] {-} -conditionnormo($f15(A))| -gt(A,B)|conditionhyper(B)| -qilt27(A)|gt(A,C)|bsecretioni(C)|bcapacityex(A).
% 0.19/0.43 Following clause subsumed by 213 during input processing: 0 [factor_simp,factor_simp] {-} -conditionnormo($f15(A))| -gt(A,D)|conditionhyper(D)| -qilt27(A)|gt(A,C)|bsecretioni(C).
% 0.19/0.43 Following clause subsumed by 266 during input processing: 0 [factor_simp,factor_simp] {-} -conditionnormo($f15(A))| -gt(A,C)|conditionhyper(C)|gt(A,D)| -releaselg(D)|gt(A,E)|uptakepg(E)|gt(A,F)|uptakelg(F).
% 0.19/0.43 Following clause subsumed by 266 during input processing: 0 [factor_simp,factor_simp,factor_simp,factor_simp] {-} -conditionnormo($f15(A))| -gt(A,C)|conditionhyper(C)|gt(A,D)| -releaselg(D)|gt(A,F)|uptakepg(F).
% 0.19/0.45 Following clause subsumed by 266 during input processing: 0 [factor_simp,factor_simp] {-} -conditionnormo($f15(A))| -gt(A,C)|conditionhyper(C)|gt(A,D)| -releaselg(D)|gt(A,E)|uptakepg(E)|bcapacityex(A).
% 0.19/0.45 Following clause subsumed by 266 during input processing: 0 [factor_simp,factor_simp,factor_simp,factor_simp] {-} -conditionnormo($f15(A))| -gt(A,F)|conditionhyper(F)|gt(A,D)| -releaselg(D)|gt(A,E)|uptakepg(E).
% 0.19/0.45 Following clause subsumed by 213 during input processing: 0 [factor_simp,factor_simp] {-} -conditionnormo($f15(A))| -gt(A,C)|conditionhyper(C)|gt(A,D)|bsecretioni(D)|gt(A,E)|uptakelg(E).
% 0.19/0.45 Following clause subsumed by 213 during input processing: 0 [factor_simp,factor_simp] {-} -conditionnormo($f15(A))| -gt(A,C)|conditionhyper(C)|gt(A,D)|bsecretioni(D)|gt(A,E)|uptakepg(E).
% 0.19/0.45 Following clause subsumed by 213 during input processing: 0 [factor_simp,factor_simp] {-} -conditionnormo($f15(A))| -gt(A,C)|conditionhyper(C)|gt(A,D)|bsecretioni(D)|bcapacityex(A).
% 0.19/0.45 Following clause subsumed by 213 during input processing: 0 [factor_simp,factor_simp,factor_simp,factor_simp] {-} -conditionnormo($f15(A))| -gt(A,E)|conditionhyper(E)|gt(A,D)|bsecretioni(D).
% 0.19/0.45 59 back subsumes 57.
% 0.19/0.45 64 back subsumes 60.
% 0.19/0.45 66 back subsumes 61.
% 0.19/0.45 68 back subsumes 62.
% 0.19/0.45 74 back subsumes 69.
% 0.19/0.45 76 back subsumes 70.
% 0.19/0.45 78 back subsumes 71.
% 0.19/0.45 80 back subsumes 72.
% 0.19/0.45 85 back subsumes 83.
% 0.19/0.45 85 back subsumes 82.
% 0.19/0.45 85 back subsumes 81.
% 0.19/0.45 93 back subsumes 91.
% 0.19/0.45 93 back subsumes 89.
% 0.19/0.45 93 back subsumes 87.
% 0.19/0.45 93 back subsumes 85.
% 0.19/0.45 93 back subsumes 80.
% 0.19/0.45 93 back subsumes 68.
% 0.19/0.45 96 back subsumes 94.
% 0.19/0.45 108 back subsumes 106.
% 0.19/0.45 108 back subsumes 105.
% 0.19/0.45 108 back subsumes 104.
% 0.19/0.45 108 back subsumes 100.
% 0.19/0.45 112 back subsumes 110.
% 0.19/0.45 119 back subsumes 117.
% 0.19/0.45 119 back subsumes 116.
% 0.19/0.45 119 back subsumes 115.
% 0.19/0.45 124 back subsumes 122.
% 0.19/0.45 124 back subsumes 121.
% 0.19/0.45 124 back subsumes 120.
% 0.19/0.45 132 back subsumes 130.
% 0.19/0.45 132 back subsumes 128.
% 0.19/0.45 132 back subsumes 126.
% 0.19/0.45 132 back subsumes 124.
% 0.19/0.45 132 back subsumes 119.
% 0.19/0.45 136 back subsumes 134.
% 0.19/0.45 140 back subsumes 138.
% 0.19/0.45 140 back subsumes 137.
% 0.19/0.45 146 back subsumes 144.
% 0.19/0.45 146 back subsumes 142.
% 0.19/0.45 146 back subsumes 140.
% 0.19/0.45 146 back subsumes 136.
% 0.19/0.45 151 back subsumes 149.
% 0.19/0.45 151 back subsumes 148.
% 0.19/0.45 151 back subsumes 147.
% 0.19/0.45 159 back subsumes 157.
% 0.19/0.45 159 back subsumes 155.
% 0.19/0.45 159 back subsumes 153.
% 0.19/0.45 159 back subsumes 151.
% 0.19/0.45 167 back subsumes 165.
% 0.19/0.45 167 back subsumes 163.
% 0.19/0.45 167 back subsumes 161.
% 0.19/0.45 175 back subsumes 173.
% 0.19/0.45 175 back subsumes 171.
% 0.19/0.45 175 back subsumes 169.
% 0.19/0.45 175 back subsumes 167.
% 0.19/0.45 175 back subsumes 159.
% 0.19/0.45 175 back subsumes 146.
% 0.19/0.45 175 back subsumes 132.
% 0.19/0.45 175 back subsumes 108.
% 0.19/0.45 175 back subsumes 93.
% 0.19/0.45 179 back subsumes 177.
% 0.19/0.45 184 back subsumes 180.
% 0.19/0.45 186 back subsumes 181.
% 0.19/0.45 188 back subsumes 182.
% 0.19/0.45 194 back subsumes 189.
% 0.19/0.45 196 back subsumes 190.
% 0.19/0.45 198 back subsumes 191.
% 0.19/0.45 200 back subsumes 192.
% 0.19/0.45 205 back subsumes 203.
% 0.19/0.45 205 back subsumes 202.
% 0.19/0.45 205 back subsumes 201.
% 0.19/0.45 213 back subsumes 211.
% 0.19/0.45 213 back subsumes 209.
% 0.19/0.45 213 back subsumes 207.
% 0.19/0.45 213 back subsumes 205.
% 0.19/0.45 213 back subsumes 200.
% 0.19/0.45 213 back subsumes 188.
% 0.19/0.45 216 back subsumes 214.
% 0.19/0.45 228 back subsumes 226.
% 0.19/0.45 228 back subsumes 225.
% 0.19/0.45 228 back subsumes 224.
% 0.19/0.45 228 back subsumes 220.
% 0.19/0.45 232 back subsumes 230.
% 0.19/0.45 239 back subsumes 237.
% 0.19/0.45 239 back subsumes 236.
% 0.19/0.45 239 back subsumes 235.
% 0.19/0.45 244 back subsumes 242.
% 0.19/0.45 244 back subsumes 241.
% 0.19/0.45 244 back subsumes 240.
% 0.19/0.45 252 back subsumes 250.
% 0.19/0.45 252 back subsumes 248.
% 0.19/0.45 252 back subsumes 246.
% 0.19/0.45 252 back subsumes 244.
% 0.19/0.45 252 back subsumes 239.
% 0.19/0.45 256 back subsumes 254.
% 0.19/0.45 260 back subsumes 258.
% 0.19/0.45 260 back subsumes 257.
% 0.19/0.45 266 back subsumes 264.
% 0.19/0.45 266 back subsumes 262.
% 0.19/0.45 266 back subsumes 260.
% 0.19/0.45 266 back subsumes 256.
% 0.19/0.45 271 back subsumes 269.
% 0.19/0.45 271 back subsumes 268.
% 0.19/0.45 271 back subsumes 267.
% 0.19/0.45 279 back subsumes 277.
% 0.19/0.45 279 back subsumes 275.
% 0.19/0.45 279 back subsumes 273.
% 0.19/0.45 279 back subsumes 271.
% 0.19/0.45 287 back subsumes 285.
% 0.19/0.45 287 back subsumes 283.
% 0.19/0.45 287 back subsumes 281.
% 0.19/0.45 295 back subsumes 293.
% 0.19/0.45 295 back subsumes 291.
% 0.19/0.45 295 back subsumes 289.
% 0.19/0.45 295 back subsumes 287.
% 0.19/0.45 295 back subsumes 279.
% 0.19/0.45 295 back subsumes 266.
% 0.19/0.45 295 back subsumes 252.
% 0.19/0.45 295 back subsumes 228.
% 0.19/0.45 295 back subsumes 213.
% 0.19/0.45
% 0.19/0.45 ------------> process sos:
% 0.19/0.45 381 back subsumes 219.
% 0.19/0.45 381 back subsumes 99.
% 0.19/0.45
% 0.19/0.45 ======= end of input processing =======
% 0.19/0.49
% 0.19/0.49 Model 1 (0.00 seconds, 0 Inserts)
% 0.19/0.49
% 0.19/0.49 Stopped by limit on number of solutions
% 0.19/0.49
% 0.19/0.49
% 0.19/0.49 -------------- Softie stats --------------
% 0.19/0.49
% 0.19/0.49 UPDATE_STOP: 300
% 0.19/0.49 SFINDER_TIME_LIMIT: 2
% 0.19/0.49 SHORT_CLAUSE_CUTOFF: 4
% 0.19/0.49 number of clauses in intial UL: 172
% 0.19/0.49 number of clauses initially in problem: 179
% 0.19/0.49 percentage of clauses intially in UL: 96
% 0.19/0.49 percentage of distinct symbols occuring in initial UL: 100
% 0.19/0.49 percent of all initial clauses that are short: 100
% 0.19/0.49 absolute distinct symbol count: 44
% 0.19/0.49 distinct predicate count: 20
% 0.19/0.49 distinct function count: 23
% 0.19/0.49 distinct constant count: 1
% 0.19/0.49
% 0.19/0.49 ---------- no more Softie stats ----------
% 0.19/0.49
% 0.19/0.49
% 0.19/0.49
% 0.19/0.49 Model 2 (0.00 seconds, 0 Inserts)
% 0.19/0.49
% 0.19/0.49 Stopped by limit on number of solutions
% 0.19/0.49
% 0.19/0.49 =========== start of search ===========
% 16.09/16.34
% 16.09/16.34
% 16.09/16.34 Changing weight limit from 60 to 48.
% 16.09/16.34
% 16.09/16.34 Model 3 (0.00 seconds, 0 Inserts)
% 16.09/16.34
% 16.09/16.34 Stopped by limit on number of solutions
% 16.09/16.34
% 16.09/16.34 Model 4 (0.00 seconds, 0 Inserts)
% 16.09/16.34
% 16.09/16.34 Stopped by limit on number of solutions
% 16.09/16.34
% 16.09/16.34 Stopped by limit on insertions
% 16.09/16.34
% 16.09/16.34 Stopped by limit on insertions
% 16.09/16.34
% 16.09/16.34 Model 5 [ 1 1 1267 ] (0.00 seconds, 250000 Inserts)
% 16.09/16.34
% 16.09/16.34 Stopped by limit on insertions
% 16.09/16.34
% 16.09/16.34 Model 6 [ 1 0 993 ] (0.00 seconds, 250000 Inserts)
% 16.09/16.34
% 16.09/16.34 Stopped by limit on insertions
% 16.09/16.34
% 16.09/16.34 Stopped by limit on insertions
% 16.09/16.34
% 16.09/16.34 Model 7 [ 1 1 3149 ] (0.00 seconds, 250000 Inserts)
% 16.09/16.34
% 16.09/16.34 Resetting weight limit to 48 after 25 givens.
% 16.09/16.34
% 37.00/37.21
% 37.00/37.21
% 37.00/37.21 Changing weight limit from 48 to 35.
% 37.00/37.21
% 37.00/37.21 Resetting weight limit to 35 after 30 givens.
% 37.00/37.21
% 38.19/38.37
% 38.19/38.37
% 38.19/38.37 Changing weight limit from 35 to 36.
% 38.19/38.37
% 38.19/38.37 Resetting weight limit to 36 after 55 givens.
% 38.19/38.37
% 38.65/38.84
% 38.65/38.84
% 38.65/38.84 Changing weight limit from 36 to 37.
% 38.65/38.84
% 38.65/38.84 Resetting weight limit to 37 after 90 givens.
% 38.65/38.84
% 38.99/39.18
% 38.99/39.18
% 38.99/39.18 Changing weight limit from 37 to 38.
% 38.99/39.18
% 38.99/39.18 Resetting weight limit to 38 after 110 givens.
% 38.99/39.18
% 39.61/39.82
% 39.61/39.82
% 39.61/39.82 Changing weight limit from 38 to 39.
% 39.61/39.82
% 39.61/39.82 Resetting weight limit to 39 after 145 givens.
% 39.61/39.82
% 39.61/39.86
% 39.61/39.86
% 39.61/39.86 Changing weight limit from 39 to 38.
% 39.61/39.86
% 39.61/39.86 Resetting weight limit to 38 after 150 givens.
% 39.61/39.86
% 39.76/39.99
% 39.76/39.99
% 39.76/39.99 Changing weight limit from 38 to 39.
% 39.76/39.99
% 39.76/39.99 Resetting weight limit to 39 after 165 givens.
% 39.76/39.99
% 39.76/40.02
% 39.76/40.02
% 39.76/40.02 Changing weight limit from 39 to 38.
% 39.76/40.02
% 39.76/40.02 Resetting weight limit to 38 after 170 givens.
% 39.76/40.02
% 40.15/40.34
% 40.15/40.34
% 40.15/40.34 Changing weight limit from 38 to 39.
% 40.15/40.34
% 40.15/40.34 Resetting weight limit to 39 after 195 givens.
% 40.15/40.34
% 40.15/40.37
% 40.15/40.37
% 40.15/40.37 Changing weight limit from 39 to 40.
% 40.15/40.37
% 40.15/40.37 Resetting weight limit to 40 after 200 givens.
% 40.15/40.37
% 40.29/40.47
% 40.29/40.47
% 40.29/40.47 Changing weight limit from 40 to 41.
% 40.29/40.47
% 40.29/40.47 Resetting weight limit to 41 after 205 givens.
% 40.29/40.47
% 40.29/40.52
% 40.29/40.52
% 40.29/40.52 Changing weight limit from 41 to 42.
% 40.29/40.52
% 40.29/40.52 Resetting weight limit to 42 after 210 givens.
% 40.29/40.52
% 40.38/40.59
% 40.38/40.59
% 40.38/40.59 Changing weight limit from 42 to 43.
% 40.38/40.59
% 40.38/40.59 Resetting weight limit to 43 after 215 givens.
% 40.38/40.59
% 41.20/41.39
% 41.20/41.39
% 41.20/41.39 Changing weight limit from 43 to 44.
% 41.20/41.39
% 41.20/41.39 Resetting weight limit to 44 after 235 givens.
% 41.20/41.39
% 41.33/41.52
% 41.33/41.52
% 41.33/41.52 Changing weight limit from 44 to 43.
% 41.33/41.52
% 41.33/41.52 Resetting weight limit to 43 after 240 givens.
% 41.33/41.52
% 41.88/42.08
% 41.88/42.08
% 41.88/42.08 Changing weight limit from 43 to 44.
% 41.88/42.08
% 41.88/42.08 Resetting weight limit to 44 after 280 givens.
% 41.88/42.08
% 41.88/42.11
% 41.88/42.11
% 41.88/42.11 Changing weight limit from 44 to 43.
% 41.88/42.11
% 41.88/42.11 Resetting weight limit to 43 after 295 givens.
% 41.88/42.11
% 43.00/43.21
% 43.00/43.21
% 43.00/43.21 Changing weight limit from 43 to 44.
% 43.00/43.21
% 43.00/43.21 Resetting weight limit to 44 after 305 givens.
% 43.00/43.21
% 43.10/43.29
% 43.10/43.29
% 43.10/43.29 Changing weight limit from 44 to 43.
% 43.10/43.29
% 43.10/43.29 Resetting weight limit to 43 after 310 givens.
% 43.10/43.29
% 43.10/43.30
% 43.10/43.30
% 43.10/43.30 Changing weight limit from 43 to 44.
% 43.10/43.30
% 43.10/43.30 Resetting weight limit to 44 after 315 givens.
% 43.10/43.30
% 43.13/43.31
% 43.13/43.31
% 43.13/43.31 Changing weight limit from 44 to 45.
% 43.13/43.31
% 43.13/43.31 Resetting weight limit to 45 after 320 givens.
% 43.13/43.31
% 43.13/43.34
% 43.13/43.34
% 43.13/43.34 Changing weight limit from 45 to 46.
% 43.13/43.34
% 43.13/43.34 Resetting weight limit to 46 after 325 givens.
% 43.13/43.34
% 43.83/44.03
% 43.83/44.03
% 43.83/44.03 Changing weight limit from 46 to 45.
% 43.83/44.03
% 43.83/44.03 Resetting weight limit to 45 after 330 givens.
% 43.83/44.03
% 43.97/44.20
% 43.97/44.20
% 43.97/44.20 Changing weight limit from 45 to 46.
% 43.97/44.20
% 43.97/44.20 Resetting weight limit to 46 after 345 givens.
% 43.97/44.20
% 45.45/45.66
% 45.45/45.66
% 45.45/45.66 Changing weight limit from 46 to 45.
% 45.45/45.66
% 45.45/45.66 Resetting weight limit to 45 after 350 givens.
% 45.45/45.66
% 45.45/45.67
% 45.45/45.67
% 45.45/45.67 Changing weight limit from 45 to 46.
% 45.45/45.67
% 45.45/45.67 Resetting weight limit to 46 after 355 givens.
% 45.45/45.67
% 45.60/45.82
% 45.60/45.82
% 45.60/45.82 Changing weight limit from 46 to 33.
% 45.60/45.82
% 45.60/45.82 Resetting weight limit to 33 after 360 givens.
% 45.60/45.82
% 45.66/45.90
% 45.66/45.90
% 45.66/45.90 Changing weight limit from 33 to 34.
% 45.66/45.90
% 45.66/45.90 Resetting weight limit to 34 after 370 givens.
% 45.66/45.90
% 45.73/45.94
% 45.73/45.94
% 45.73/45.94 Changing weight limit from 34 to 33.
% 45.73/45.94
% 45.73/45.94 Resetting weight limit to 33 after 375 givens.
% 45.73/45.94
% 46.65/46.88
% 46.65/46.88
% 46.65/46.88 Changing weight limit from 33 to 32.
% 46.65/46.88
% 46.65/46.88 Resetting weight limit to 32 after 430 givens.
% 46.65/46.88
% 46.78/47.00
% 46.78/47.00
% 46.78/47.00 Changing weight limit from 32 to 33.
% 46.78/47.00
% 46.78/47.00 Resetting weight limit to 33 after 440 givens.
% 46.78/47.00
% 46.88/47.07
% 46.88/47.07
% 46.88/47.07 Changing weight limit from 33 to 32.
% 46.88/47.07
% 46.88/47.07 Resetting weight limit to 32 after 445 givens.
% 46.88/47.07
% 46.95/47.17
% 46.95/47.17
% 46.95/47.17 Changing weight limit from 32 to 33.
% 46.95/47.17
% 46.95/47.17 Resetting weight limit to 33 after 460 givens.
% 46.95/47.17
% 46.95/47.19
% 46.95/47.19
% 46.95/47.19 Changing weight limit from 33 to 34.
% 46.95/47.19
% 46.95/47.19 Resetting weight limit to 34 after 465 givens.
% 46.95/47.19
% 47.08/47.33
% 47.08/47.33
% 47.08/47.33 Changing weight limit from 34 to 32.
% 47.08/47.33
% 47.08/47.33 Resetting weight limit to 32 after 470 givens.
% 47.08/47.33
% 47.88/48.07
% 47.88/48.07
% 47.88/48.07 Changing weight limit from 32 to 33.
% 47.88/48.07
% 47.88/48.07 Resetting weight limit to 33 after 495 givens.
% 47.88/48.07
% 47.88/48.11
% 47.88/48.11
% 47.88/48.11 Changing weight limit from 33 to 34.
% 47.88/48.11
% 47.88/48.11 Resetting weight limit to 34 after 500 givens.
% 47.88/48.11
% 47.96/48.18
% 47.96/48.18
% 47.96/48.18 Changing weight limit from 34 to 32.
% 47.96/48.18
% 47.96/48.18 Resetting weight limit to 32 after 505 givens.
% 47.96/48.18
% 48.12/48.35
% 48.12/48.35
% 48.12/48.35 Changing weight limit from 32 to 33.
% 48.12/48.35
% 48.12/48.35 Resetting weight limit to 33 after 515 givens.
% 48.12/48.35
% 48.17/48.43
% 48.17/48.43
% 48.17/48.43 Changing weight limit from 33 to 34.
% 48.17/48.43
% 48.17/48.43 Resetting weight limit to 34 after 520 givens.
% 48.17/48.43
% 48.30/48.50
% 48.30/48.50
% 48.30/48.50 Changing weight limit from 34 to 35.
% 48.30/48.50
% 48.30/48.50 Resetting weight limit to 35 after 525 givens.
% 48.30/48.50
% 48.30/48.52
% 48.30/48.52
% 48.30/48.52 Changing weight limit from 35 to 36.
% 48.30/48.52
% 48.30/48.52 Resetting weight limit to 36 after 530 givens.
% 48.30/48.52
% 48.38/48.58
% 48.38/48.58
% 48.38/48.58 Changing weight limit from 36 to 37.
% 48.38/48.58
% 48.38/48.58 Resetting weight limit to 37 after 535 givens.
% 48.38/48.58
% 48.58/48.80
% 48.58/48.80
% 48.58/48.80 Changing weight limit from 37 to 34.
% 48.58/48.80
% 48.58/48.80 Resetting weight limit to 34 after 540 givens.
% 48.58/48.80
% 48.69/48.90
% 48.69/48.90
% 48.69/48.90 Changing weight limit from 34 to 35.
% 48.69/48.90
% 48.69/48.90 Resetting weight limit to 35 after 545 givens.
% 48.69/48.90
% 48.91/49.14
% 48.91/49.14
% 48.91/49.14 Changing weight limit from 35 to 36.
% 48.91/49.14
% 48.91/49.14 Resetting weight limit to 36 after 560 givens.
% 48.91/49.14
% 49.00/49.21
% 49.00/49.21
% 49.00/49.21 Changing weight limit from 36 to 37.
% 49.00/49.21
% 49.00/49.21 Resetting weight limit to 37 after 565 givens.
% 49.00/49.21
% 49.07/49.25
% 49.07/49.25
% 49.07/49.25 Changing weight limit from 37 to 38.
% 49.07/49.25
% 49.07/49.25 Resetting weight limit to 38 after 570 givens.
% 49.07/49.25
% 49.07/49.26
% 49.07/49.26
% 49.07/49.26 Changing weight limit from 38 to 39.
% 49.07/49.26
% 49.07/49.26 Resetting weight limit to 39 after 575 givens.
% 49.07/49.26
% 49.19/49.39
% 49.19/49.39
% 49.19/49.39 Changing weight limit from 39 to 40.
% 49.19/49.39
% 49.19/49.39 Resetting weight limit to 40 after 580 givens.
% 49.19/49.39
% 49.27/49.46
% 49.27/49.46
% 49.27/49.46 Changing weight limit from 40 to 41.
% 49.27/49.46
% 49.27/49.46 Resetting weight limit to 41 after 585 givens.
% 49.27/49.46
% 49.60/49.80
% 49.60/49.80
% 49.60/49.80 Changing weight limit from 41 to 34.
% 49.60/49.80
% 49.60/49.80 Resetting weight limit to 34 after 590 givens.
% 49.60/49.80
% 49.81/50.06
% 49.81/50.06
% 49.81/50.06 Changing weight limit from 34 to 33.
% 49.81/50.06
% 49.81/50.06 Resetting weight limit to 33 after 600 givens.
% 49.81/50.06
% 50.13/50.36
% 50.13/50.36
% 50.13/50.36 Changing weight limit from 33 to 34.
% 50.13/50.36
% 50.13/50.36 Resetting weight limit to 34 after 605 givens.
% 50.13/50.36
% 50.35/50.53
% 50.35/50.53
% 50.35/50.53 Changing weight limit from 34 to 33.
% 50.35/50.53
% 50.35/50.53 Resetting weight limit to 33 after 610 givens.
% 50.35/50.53
% 50.43/50.61
% 50.43/50.61
% 50.43/50.61 Changing weight limit from 33 to 32.
% 50.43/50.61
% 50.43/50.61 Resetting weight limit to 32 after 615 givens.
% 50.43/50.61
% 51.58/51.81
% 51.58/51.81
% 51.58/51.81 Changing weight limit from 32 to 33.
% 51.58/51.81
% 51.58/51.81 Resetting weight limit to 33 after 650 givens.
% 51.58/51.81
% 51.58/51.85
% 51.58/51.85
% 51.58/51.85 Changing weight limit from 33 to 34.
% 51.58/51.85
% 51.58/51.85 Resetting weight limit to 34 after 655 givens.
% 51.58/51.85
% 51.68/51.89
% 51.68/51.89
% 51.68/51.89 Changing weight limit from 34 to 35.
% 51.68/51.89
% 51.68/51.89 Resetting weight limit to 35 after 660 givens.
% 51.68/51.89
% 51.84/52.05
% 51.84/52.05
% 51.84/52.05 Changing weight limit from 35 to 36.
% 51.84/52.05
% 51.84/52.05 Resetting weight limit to 36 after 665 givens.
% 51.84/52.05
% 52.00/52.22
% 52.00/52.22
% 52.00/52.22 Changing weight limit from 36 to 37.
% 52.00/52.22
% 52.00/52.22 Resetting weight limit to 37 after 670 givens.
% 52.00/52.22
% 52.46/52.65
% 52.46/52.65
% 52.46/52.65 Changing weight limit from 37 to 35.
% 52.46/52.65
% 52.46/52.65 Resetting weight limit to 35 after 675 givens.
% 52.46/52.65
% 52.54/52.76
% 52.54/52.76
% 52.54/52.76 Changing weight limit from 35 to 36.
% 52.54/52.76
% 52.54/52.76 Resetting weight limit to 36 after 680 givens.
% 52.54/52.76
% 52.76/52.95
% 52.76/52.95
% 52.76/52.95 Changing weight limit from 36 to 37.
% 52.76/52.95
% 52.76/52.95 Resetting weight limit to 37 after 685 givens.
% 52.76/52.95
% 52.76/53.01
% 52.76/53.01
% 52.76/53.01 Changing weight limit from 37 to 38.
% 52.76/53.01
% 52.76/53.01 Resetting weight limit to 38 after 690 givens.
% 52.76/53.01
% 52.91/53.13
% 52.91/53.13
% 52.91/53.13 Changing weight limit from 38 to 35.
% 52.91/53.13
% 52.91/53.13 Resetting weight limit to 35 after 695 givens.
% 52.91/53.13
% 53.36/53.58
% 53.36/53.58
% 53.36/53.58 Changing weight limit from 35 to 33.
% 53.36/53.58
% 53.36/53.58 Resetting weight limit to 33 after 710 givens.
% 53.36/53.58
% 53.46/53.69
% 53.46/53.69
% 53.46/53.69 Changing weight limit from 33 to 34.
% 53.46/53.69
% 53.46/53.69 Resetting weight limit to 34 after 715 givens.
% 53.46/53.69
% 53.59/53.80
% 53.59/53.80
% 53.59/53.80 Changing weight limit from 34 to 35.
% 53.59/53.80
% 53.59/53.80 Resetting weight limit to 35 after 720 givens.
% 53.59/53.80
% 53.59/53.85
% 53.59/53.85
% 53.59/53.85 Changing weight limit from 35 to 36.
% 53.59/53.85
% 53.59/53.85 Resetting weight limit to 36 after 725 givens.
% 53.59/53.85
% 53.67/53.85
% 53.67/53.85
% 53.67/53.85 Changing weight limit from 36 to 37.
% 53.67/53.85
% 53.67/53.85 Resetting weight limit to 37 after 730 givens.
% 53.67/53.85
% 53.74/53.93
% 53.74/53.93
% 53.74/53.93 Changing weight limit from 37 to 35.
% 53.74/53.93
% 53.74/53.93 Resetting weight limit to 35 after 735 givens.
% 53.74/53.93
% 53.76/53.95
% 53.76/53.95
% 53.76/53.95 Changing weight limit from 35 to 36.
% 53.76/53.95
% 53.76/53.95 Resetting weight limit to 36 after 740 givens.
% 53.76/53.95
% 53.76/53.97
% 53.76/53.97
% 53.76/53.97 Changing weight limit from 36 to 37.
% 53.76/53.97
% 53.76/53.97 Resetting weight limit to 37 after 745 givens.
% 53.76/53.97
% 53.76/54.00
% 53.76/54.00
% 53.76/54.00 Changing weight limit from 37 to 38.
% 53.76/54.00
% 53.76/54.00 Resetting weight limit to 38 after 750 givens.
% 53.76/54.00
% 53.89/54.09
% 53.89/54.09
% 53.89/54.09 Changing weight limit from 38 to 33.
% 53.89/54.09
% 53.89/54.09 Resetting weight limit to 33 after 755 givens.
% 53.89/54.09
% 53.89/54.09
% 53.89/54.09
% 53.89/54.09 Changing weight limit from 33 to 34.
% 53.89/54.09
% 53.89/54.09 Resetting weight limit to 34 after 760 givens.
% 53.89/54.09
% 53.89/54.11
% 53.89/54.11
% 53.89/54.11 Changing weight limit from 34 to 35.
% 53.89/54.11
% 53.89/54.11 Resetting weight limit to 35 after 765 givens.
% 53.89/54.11
% 53.97/54.17
% 53.97/54.17
% 53.97/54.17 Changing weight limit from 35 to 33.
% 53.97/54.17
% 53.97/54.17 Resetting weight limit to 33 after 770 givens.
% 53.97/54.17
% 54.17/54.43
% 54.17/54.43
% 54.17/54.43 Changing weight limit from 33 to 34.
% 54.17/54.43
% 54.17/54.43 Resetting weight limit to 34 after 785 givens.
% 54.17/54.43
% 54.47/54.74
% 54.47/54.74
% 54.47/54.74 Changing weight limit from 34 to 32.
% 54.47/54.74
% 54.47/54.74 Resetting weight limit to 32 after 790 givens.
% 54.47/54.74
% 54.67/54.93
% 54.67/54.93
% 54.67/54.93 Changing weight limit from 32 to 31.
% 54.67/54.93
% 54.67/54.93 Resetting weight limit to 31 after 800 givens.
% 54.67/54.93
% 54.85/55.09
% 54.85/55.09
% 54.85/55.09 Changing weight limit from 31 to 32.
% 54.85/55.09
% 54.85/55.09 Resetting weight limit to 32 after 815 givens.
% 54.85/55.09
% 54.91/55.12
% 54.91/55.12
% 54.91/55.12 Changing weight limit from 32 to 33.
% 54.91/55.12
% 54.91/55.12 Resetting weight limit to 33 after 820 givens.
% 54.91/55.12
% 55.23/55.43
% 55.23/55.43
% 55.23/55.43 Changing weight limit from 33 to 31.
% 55.23/55.43
% 55.23/55.43 Resetting weight limit to 31 after 830 givens.
% 55.23/55.43
% 55.53/55.74
% 55.53/55.74
% 55.53/55.74 Changing weight limit from 31 to 32.
% 55.53/55.74
% 55.53/55.74 Resetting weight limit to 32 after 855 givens.
% 55.53/55.74
% 55.57/55.82
% 55.57/55.82
% 55.57/55.82 Changing weight limit from 32 to 33.
% 55.57/55.82
% 55.57/55.82 Resetting weight limit to 33 after 860 givens.
% 55.57/55.82
% 55.70/55.94
% 55.70/55.94
% 55.70/55.94 Changing weight limit from 33 to 31.
% 55.70/55.94
% 55.70/55.94 Resetting weight limit to 31 after 865 givens.
% 55.70/55.94
% 56.10/56.27
% 56.10/56.27
% 56.10/56.27 Changing weight limit from 31 to 32.
% 56.10/56.27
% 56.10/56.27 Resetting weight limit to 32 after 885 givens.
% 56.10/56.27
% 56.17/56.38
% 56.17/56.38
% 56.17/56.38 Changing weight limit from 32 to 31.
% 56.17/56.38
% 56.17/56.38 Resetting weight limit to 31 after 890 givens.
% 56.17/56.38
% 56.46/56.64
% 56.46/56.64
% 56.46/56.64 Changing weight limit from 31 to 32.
% 56.46/56.64
% 56.46/56.64 Resetting weight limit to 32 after 905 givens.
% 56.46/56.64
% 56.46/56.69
% 56.46/56.69
% 56.46/56.69 Changing weight limit from 32 to 33.
% 56.46/56.69
% 56.46/56.69 Resetting weight limit to 33 after 910 givens.
% 56.46/56.69
% 56.55/56.76
% 56.55/56.76
% 56.55/56.76 Changing weight limit from 33 to 34.
% 56.55/56.76
% 56.55/56.76 Resetting weight limit to 34 after 915 givens.
% 56.55/56.76
% 56.62/56.84
% 56.62/56.84
% 56.62/56.84 Changing weight limit from 34 to 31.
% 56.62/56.84
% 56.62/56.84 Resetting weight limit to 31 after 920 givens.
% 56.62/56.84
% 56.77/56.94
% 56.77/56.94
% 56.77/56.94 Changing weight limit from 31 to 32.
% 56.77/56.94
% 56.77/56.94 Resetting weight limit to 32 after 930 givens.
% 56.77/56.94
% 56.77/57.02
% 56.77/57.02
% 56.77/57.02 Changing weight limit from 32 to 31.
% 56.77/57.02
% 56.77/57.02 Resetting weight limit to 31 after 935 givens.
% 56.77/57.02
% 57.00/57.17
% 57.00/57.17
% 57.00/57.17 Changing weight limit from 31 to 32.
% 57.00/57.17
% 57.00/57.17 Resetting weight limit to 32 after 945 givens.
% 57.00/57.17
% 57.00/57.24
% 57.00/57.24
% 57.00/57.24 Changing weight limit from 32 to 33.
% 57.00/57.24
% 57.00/57.24 Resetting weight limit to 33 after 950 givens.
% 57.00/57.24
% 57.11/57.30
% 57.11/57.30
% 57.11/57.30 Changing weight limit from 33 to 34.
% 57.11/57.30
% 57.11/57.30 Resetting weight limit to 34 after 955 givens.
% 57.11/57.30
% 57.17/57.34
% 57.17/57.34
% 57.17/57.34 Changing weight limit from 34 to 35.
% 57.17/57.34
% 57.17/57.34 Resetting weight limit to 35 after 960 givens.
% 57.17/57.34
% 57.24/57.41
% 57.24/57.41
% 57.24/57.41 Changing weight limit from 35 to 36.
% 57.24/57.41
% 57.24/57.41 Resetting weight limit to 36 after 965 givens.
% 57.24/57.41
% 57.29/57.51
% 57.29/57.51
% 57.29/57.51 Changing weight limit from 36 to 37.
% 57.29/57.51
% 57.29/57.51 Resetting weight limit to 37 after 970 givens.
% 57.29/57.51
% 57.38/57.56
% 57.38/57.56
% 57.38/57.56 Changing weight limit from 37 to 36.
% 57.38/57.56
% 57.38/57.56 Resetting weight limit to 36 after 975 givens.
% 57.38/57.56
% 57.58/57.76
% 57.58/57.76
% 57.58/57.76 Changing weight limit from 36 to 32.
% 57.58/57.76
% 57.58/57.76 Resetting weight limit to 32 after 980 givens.
% 57.58/57.76
% 57.77/57.95
% 57.77/57.95
% 57.77/57.95 Changing weight limit from 32 to 31.
% 57.77/57.95
% 57.77/57.95 Resetting weight limit to 31 after 985 givens.
% 57.77/57.95
% 57.78/57.97
% 57.78/57.97
% 57.78/57.97 Changing weight limit from 31 to 32.
% 57.78/57.97
% 57.78/57.97 Resetting weight limit to 32 after 990 givens.
% 57.78/57.97
% 57.88/58.06
% 57.88/58.06
% 57.88/58.06 Changing weight limit from 32 to 31.
% 57.88/58.06
% 57.88/58.06 Resetting weight limit to 31 after 995 givens.
% 57.88/58.06
% 57.88/58.11
% 57.88/58.11
% 57.88/58.11 Changing weight limit from 31 to 32.
% 57.88/58.11
% 57.88/58.11 Resetting weight limit to 32 after 1000 givens.
% 57.88/58.11
% 57.88/58.11
% 57.88/58.11
% 57.88/58.11 Changing weight limit from 32 to 33.
% 57.88/58.11
% 57.88/58.11 Resetting weight limit to 33 after 1005 givens.
% 57.88/58.11
% 57.98/58.17
% 57.98/58.17
% 57.98/58.17 Changing weight limit from 33 to 31.
% 57.98/58.17
% 57.98/58.17 Resetting weight limit to 31 after 1010 givens.
% 57.98/58.17
% 58.02/58.23
% 58.02/58.23
% 58.02/58.23 Changing weight limit from 31 to 32.
% 58.02/58.23
% 58.02/58.23 Resetting weight limit to 32 after 1015 givens.
% 58.02/58.23
% 58.38/58.58
% 58.38/58.58
% 58.38/58.58 Changing weight limit from 32 to 31.
% 58.38/58.58
% 58.38/58.58 Resetting weight limit to 31 after 1020 givens.
% 58.38/58.58
% 58.98/59.19
% 58.98/59.19
% 58.98/59.19 Changing weight limit from 31 to 32.
% 58.98/59.19
% 58.98/59.19 Resetting weight limit to 32 after 1065 givens.
% 58.98/59.19
% 59.11/59.30
% 59.11/59.30
% 59.11/59.30 Changing weight limit from 32 to 31.
% 59.11/59.30
% 59.11/59.30 Resetting weight limit to 31 after 1070 givens.
% 59.11/59.30
% 59.24/59.42
% 59.24/59.42
% 59.24/59.42 Changing weight limit from 31 to 32.
% 59.24/59.42
% 59.24/59.42 Resetting weight limit to 32 after 1080 givens.
% 59.24/59.42
% 59.27/59.49
% 59.27/59.49
% 59.27/59.49 Changing weight limit from 32 to 33.
% 59.27/59.49
% 59.27/59.49 Resetting weight limit to 33 after 1085 givens.
% 59.27/59.49
% 59.40/59.65
% 59.40/59.65
% 59.40/59.65 Changing weight limit from 33 to 31.
% 59.40/59.65
% 59.40/59.65 Resetting weight limit to 31 after 1090 givens.
% 59.40/59.65
% 59.49/59.68
% 59.49/59.68
% 59.49/59.68 Changing weight limit from 31 to 32.
% 59.49/59.68
% 59.49/59.68 Resetting weight limit to 32 after 1095 givens.
% 59.49/59.68
% 59.55/59.72
% 59.55/59.72
% 59.55/59.72 Changing weight limit from 32 to 33.
% 59.55/59.72
% 59.55/59.72 Resetting weight limit to 33 after 1100 givens.
% 59.55/59.72
% 59.67/59.87
% 59.67/59.87
% 59.67/59.87 Changing weight limit from 33 to 31.
% 59.67/59.87
% 59.67/59.87 Resetting weight limit to 31 after 1105 givens.
% 59.67/59.87
% 59.67/59.88
% 59.67/59.88
% 59.67/59.88 Changing weight limit from 31 to 32.
% 59.67/59.88
% 59.67/59.88 Resetting weight limit to 32 after 1110 givens.
% 59.67/59.88
% 59.72/59.93
% 59.72/59.93
% 59.72/59.93 Changing weight limit from 32 to 31.
% 59.72/59.93
% 59.72/59.93 Resetting weight limit to 31 after 1115 givens.
% 59.72/59.93
% 60.18/60.40
% 60.18/60.40
% 60.18/60.40 Changing weight limit from 31 to 32.
% 60.18/60.40
% 60.18/60.40 Resetting weight limit to 32 after 1140 givens.
% 60.18/60.40
% 60.40/60.60
% 60.40/60.60
% 60.40/60.60 Changing weight limit from 32 to 33.
% 60.40/60.60
% 60.40/60.60 Resetting weight limit to 33 after 1145 givens.
% 60.40/60.60
% 60.58/60.76
% 60.58/60.76
% 60.58/60.76 Changing weight limit from 33 to 31.
% 60.58/60.76
% 60.58/60.76 Resetting weight limit to 31 after 1150 givens.
% 60.58/60.76
% 60.78/60.97
% 60.78/60.97
% 60.78/60.97 Changing weight limit from 31 to 32.
% 60.78/60.97
% 60.78/60.97 Resetting weight limit to 32 after 1155 givens.
% 60.78/60.97
% 60.98/61.17
% 60.98/61.17
% 60.98/61.17 Changing weight limit from 32 to 33.
% 60.98/61.17
% 60.98/61.17 Resetting weight limit to 33 after 1160 givens.
% 60.98/61.17
% 60.98/61.22
% 60.98/61.22
% 60.98/61.22 Changing weight limit from 33 to 34.
% 60.98/61.22
% 60.98/61.22 Resetting weight limit to 34 after 1165 givens.
% 60.98/61.22
% 61.06/61.23
% 61.06/61.23
% 61.06/61.23 Changing weight limit from 34 to 35.
% 61.06/61.23
% 61.06/61.23 Resetting weight limit to 35 after 1170 givens.
% 61.06/61.23
% 61.11/61.33
% 61.11/61.33
% 61.11/61.33 Changing weight limit from 35 to 36.
% 61.11/61.33
% 61.11/61.33 Resetting weight limit to 36 after 1175 givens.
% 61.11/61.33
% 61.28/61.52
% 61.28/61.52
% 61.28/61.52 Changing weight limit from 36 to 37.
% 61.28/61.52
% 61.28/61.52 Resetting weight limit to 37 after 1180 givens.
% 61.28/61.52
% 61.42/61.65
% 61.42/61.65
% 61.42/61.65 Changing weight limit from 37 to 38.
% 61.42/61.65
% 61.42/61.65 Resetting weight limit to 38 after 1185 givens.
% 61.42/61.65
% 61.56/61.81
% 61.56/61.81
% 61.56/61.81 Changing weight limit from 38 to 39.
% 61.56/61.81
% 61.56/61.81 Resetting weight limit to 39 after 1190 givens.
% 61.56/61.81
% 61.83/62.02
% 61.83/62.02
% 61.83/62.02 Changing weight limit from 39 to 32.
% 61.83/62.02
% 61.83/62.02 Resetting weight limit to 32 after 1195 givens.
% 61.83/62.02
% 62.04/62.24
% 62.04/62.24
% 62.04/62.24 Changing weight limit from 32 to 33.
% 62.04/62.24
% 62.04/62.24 Resetting weight limit to 33 after 1205 givens.
% 62.04/62.24
% 62.09/62.32
% 62.09/62.32
% 62.09/62.32 Changing weight limit from 33 to 34.
% 62.09/62.32
% 62.09/62.32 Resetting weight limit to 34 after 1210 givens.
% 62.09/62.32
% 62.28/62.47
% 62.28/62.47
% 62.28/62.47 Changing weight limit from 34 to 31.
% 62.28/62.47
% 62.28/62.47 Resetting weight limit to 31 after 1215 givens.
% 62.28/62.47
% 62.64/62.83
% 62.64/62.83
% 62.64/62.83 Changing weight limit from 31 to 32.
% 62.64/62.83
% 62.64/62.83 Resetting weight limit to 32 after 1230 givens.
% 62.64/62.83
% 62.76/62.95
% 62.76/62.95
% 62.76/62.95 Changing weight limit from 32 to 31.
% 62.76/62.95
% 62.76/62.95 Resetting weight limit to 31 after 1235 givens.
% 62.76/62.95
% 63.29/63.47
% 63.29/63.47
% 63.29/63.47 Changing weight limit from 31 to 30.
% 63.29/63.47
% 63.29/63.47 Resetting weight limit to 30 after 1250 givens.
% 63.29/63.47
% 63.32/63.51
% 63.32/63.51
% 63.32/63.51 Changing weight limit from 30 to 31.
% 63.32/63.51
% 63.32/63.51 Resetting weight limit to 31 after 1255 givens.
% 63.32/63.51
% 63.42/63.61
% 63.42/63.61
% 63.42/63.61 Changing weight limit from 31 to 30.
% 63.42/63.61
% 63.42/63.61 Resetting weight limit to 30 after 1260 givens.
% 63.42/63.61
% 63.42/63.64
% 63.42/63.64
% 63.42/63.64 Changing weight limit from 30 to 31.
% 63.42/63.64
% 63.42/63.64 Resetting weight limit to 31 after 1265 givens.
% 63.42/63.64
% 63.49/63.69
% 63.49/63.69
% 63.49/63.69 Changing weight limit from 31 to 32.
% 63.49/63.69
% 63.49/63.69 Resetting weight limit to 32 after 1270 givens.
% 63.49/63.69
% 63.49/63.75
% 63.49/63.75
% 63.49/63.75 Changing weight limit from 32 to 33.
% 63.49/63.75
% 63.49/63.75 Resetting weight limit to 33 after 1275 givens.
% 63.49/63.75
% 63.62/63.84
% 63.62/63.84
% 63.62/63.84 Changing weight limit from 33 to 32.
% 63.62/63.84
% 63.62/63.84 Resetting weight limit to 32 after 1280 givens.
% 63.62/63.84
% 63.74/63.93
% 63.74/63.93
% 63.74/63.93 Changing weight limit from 32 to 30.
% 63.74/63.93
% 63.74/63.93 Resetting weight limit to 30 after 1285 givens.
% 63.74/63.93
% 63.79/63.98
% 63.79/63.98
% 63.79/63.98 Changing weight limit from 30 to 31.
% 63.79/63.98
% 63.79/63.98 Resetting weight limit to 31 after 1290 givens.
% 63.79/63.98
% 63.79/64.00
% 63.79/64.00
% 63.79/64.00 Changing weight limit from 31 to 32.
% 63.79/64.00
% 63.79/64.00 Resetting weight limit to 32 after 1295 givens.
% 63.79/64.00
% 63.87/64.06
% 63.87/64.06
% 63.87/64.06 Changing weight limit from 32 to 33.
% 63.87/64.06
% 63.87/64.06 Resetting weight limit to 33 after 1300 givens.
% 63.87/64.06
% 64.04/64.23
% 64.04/64.23
% 64.04/64.23 Changing weight limit from 33 to 34.
% 64.04/64.23
% 64.04/64.23 Resetting weight limit to 34 after 1305 givens.
% 64.04/64.23
% 64.17/64.36
% 64.17/64.36
% 64.17/64.36 Changing weight limit from 34 to 30.
% 64.17/64.36
% 64.17/64.36 Resetting weight limit to 30 after 1310 givens.
% 64.17/64.36
% 64.37/64.55
% 64.37/64.55
% 64.37/64.55 Changing weight limit from 30 to 31.
% 64.37/64.55
% 64.37/64.55 Resetting weight limit to 31 after 1320 givens.
% 64.37/64.55
% 64.37/64.62
% 64.37/64.62
% 64.37/64.62 Changing weight limit from 31 to 32.
% 64.37/64.62
% 64.37/64.62 Resetting weight limit to 32 after 1325 givens.
% 64.37/64.62
% 64.50/64.69
% 64.50/64.69
% 64.50/64.69 Changing weight limit from 32 to 33.
% 64.50/64.69
% 64.50/64.69 Resetting weight limit to 33 after 1330 givens.
% 64.50/64.69
% 64.64/64.84
% 64.64/64.84
% 64.64/64.84 Changing weight limit from 33 to 34.
% 64.64/64.84
% 64.64/64.84 Resetting weight limit to 34 after 1335 givens.
% 64.64/64.84
% 64.67/64.92
% 64.67/64.92
% 64.67/64.92 Changing weight limit from 34 to 35.
% 64.67/64.92
% 64.67/64.92 Resetting weight limit to 35 after 1340 givens.
% 64.67/64.92
% 64.77/64.99
% 64.77/64.99
% 64.77/64.99 Changing weight limit from 35 to 36.
% 64.77/64.99
% 64.77/64.99 Resetting weight limit to 36 after 1345 givens.
% 64.77/64.99
% 64.95/65.21
% 64.95/65.21
% 64.95/65.21 Changing weight limit from 36 to 32.
% 64.95/65.21
% 64.95/65.21 Resetting weight limit to 32 after 1350 givens.
% 64.95/65.21
% 65.05/65.26
% 65.05/65.26
% 65.05/65.26 Changing weight limit from 32 to 31.
% 65.05/65.26
% 65.05/65.26 Resetting weight limit to 31 after 1355 givens.
% 65.05/65.26
% 65.19/65.36
% 65.19/65.36
% 65.19/65.36 Changing weight limit from 31 to 32.
% 65.19/65.36
% 65.19/65.36 Resetting weight limit to 32 after 1365 givens.
% 65.19/65.36
% 65.23/65.41
% 65.23/65.41
% 65.23/65.41 Changing weight limit from 32 to 33.
% 65.23/65.41
% 65.23/65.41 Resetting weight limit to 33 after 1370 givens.
% 65.23/65.41
% 65.28/65.45
% 65.28/65.45
% 65.28/65.45 Changing weight limit from 33 to 34.
% 65.28/65.45
% 65.28/65.45 Resetting weight limit to 34 after 1375 givens.
% 65.28/65.45
% 65.28/65.50
% 65.28/65.50
% 65.28/65.50 Changing weight limit from 34 to 35.
% 65.28/65.50
% 65.28/65.50 Resetting weight limit to 35 after 1380 givens.
% 65.28/65.50
% 65.38/65.56
% 65.38/65.56
% 65.38/65.56 Changing weight limit from 35 to 31.
% 65.38/65.56
% 65.38/65.56 Resetting weight limit to 31 after 1385 givens.
% 65.38/65.56
% 65.38/65.60
% 65.38/65.60
% 65.38/65.60 Changing weight limit from 31 to 32.
% 65.38/65.60
% 65.38/65.60 Resetting weight limit to 32 after 1390 givens.
% 65.38/65.60
% 65.49/65.67
% 65.49/65.67
% 65.49/65.67 Changing weight limit from 32 to 33.
% 65.49/65.67
% 65.49/65.67 Resetting weight limit to 33 after 1395 givens.
% 65.49/65.67
% 65.61/65.79
% 65.61/65.79
% 65.61/65.79 Changing weight limit from 33 to 32.
% 65.61/65.79
% 65.61/65.79 Resetting weight limit to 32 after 1400 givens.
% 65.61/65.79
% 65.68/65.85
% 65.68/65.85
% 65.68/65.85 Changing weight limit from 32 to 33.
% 65.68/65.85
% 65.68/65.85 Resetting weight limit to 33 after 1405 givens.
% 65.68/65.85
% 71.58/71.79
% 71.58/71.79
% 71.58/71.79 Changing weight limit from 33 to 31.
% 71.58/71.79
% 71.58/71.79 Resetting weight limit to 31 after 1410 givens.
% 71.58/71.79
% 77.78/77.96
% 77.78/77.96
% 77.78/77.96 Changing weight limit from 31 to 32.
% 77.78/77.96
% 77.78/77.96 Resetting weight limit to 32 after 1425 givens.
% 77.78/77.96
% 77.82/78.00
% 77.82/78.00
% 77.82/78.00 Changing weight limit from 32 to 30.
% 77.82/78.00
% 77.82/78.00 Resetting weight limit to 30 after 1430 givens.
% 77.82/78.00
% 77.82/78.01
% 77.82/78.01
% 77.82/78.01 Changing weight limit from 30 to 31.
% 77.82/78.01
% 77.82/78.01 Resetting weight limit to 31 after 1435 givens.
% 77.82/78.01
% 77.82/78.02
% 77.82/78.02
% 77.82/78.02 Changing weight limit from 31 to 32.
% 77.82/78.02
% 77.82/78.02 Resetting weight limit to 32 after 1440 givens.
% 77.82/78.02
% 77.82/78.03
% 77.82/78.03
% 77.82/78.03 Changing weight limit from 32 to 33.
% 77.82/78.03
% 77.82/78.03 Resetting weight limit to 33 after 1445 givens.
% 77.82/78.03
% 77.98/78.20
% 77.98/78.20
% 77.98/78.20 Changing weight limit from 33 to 34.
% 77.98/78.20
% 77.98/78.20 Resetting weight limit to 34 after 1450 givens.
% 77.98/78.20
% 78.10/78.33
% 78.10/78.33
% 78.10/78.33 Changing weight limit from 34 to 35.
% 78.10/78.33
% 78.10/78.33 Resetting weight limit to 35 after 1455 givens.
% 78.10/78.33
% 78.28/78.51
% 78.28/78.51
% 78.28/78.51 Changing weight limit from 35 to 33.
% 78.28/78.51
% 78.28/78.51 Resetting weight limit to 33 after 1460 givens.
% 78.28/78.51
% 78.28/78.53
% 78.28/78.53
% 78.28/78.53 Changing weight limit from 33 to 34.
% 78.28/78.53
% 78.28/78.53 Resetting weight limit to 34 after 1465 givens.
% 78.28/78.53
% 78.37/78.55
% 78.37/78.55
% 78.37/78.55 Changing weight limit from 34 to 35.
% 78.37/78.55
% 78.37/78.55 Resetting weight limit to 35 after 1470 givens.
% 78.37/78.55
% 78.53/78.70
% 78.53/78.70
% 78.53/78.70 Changing weight limit from 35 to 33.
% 78.53/78.70
% 78.53/78.70 Resetting weight limit to 33 after 1475 givens.
% 78.53/78.70
% 78.83/79.05
% 78.83/79.05
% 78.83/79.05 Changing weight limit from 33 to 32.
% 78.83/79.05
% 78.83/79.05 Resetting weight limit to 32 after 1490 givens.
% 78.83/79.05
% 78.88/79.06
% 78.88/79.06
% 78.88/79.06 Changing weight limit from 32 to 33.
% 78.88/79.06
% 78.88/79.06 Resetting weight limit to 33 after 1495 givens.
% 78.88/79.06
% 78.88/79.12
% 78.88/79.12
% 78.88/79.12 Changing weight limit from 33 to 31.
% 78.88/79.12
% 78.88/79.12 Resetting weight limit to 31 after 1500 givens.
% 78.88/79.12
% 79.17/79.37
% 79.17/79.37
% 79.17/79.37 Changing weight limit from 31 to 32.
% 79.17/79.37
% 79.17/79.37 Resetting weight limit to 32 after 1505 givens.
% 79.17/79.37
% 79.34/79.54
% 79.34/79.54
% 79.34/79.54 Changing weight limit from 32 to 31.
% 79.34/79.54
% 79.34/79.54 Resetting weight limit to 31 after 1510 givens.
% 79.34/79.54
% 79.64/79.81
% 79.64/79.81
% 79.64/79.81 Changing weight limit from 31 to 32.
% 79.64/79.81
% 79.64/79.81 Resetting weight limit to 32 after 1520 givens.
% 79.64/79.81
% 79.75/79.95
% 79.75/79.95
% 79.75/79.95 Changing weight limit from 32 to 33.
% 79.75/79.95
% 79.75/79.95 Resetting weight limit to 33 after 1525 givens.
% 79.75/79.95
% 79.89/80.10
% 79.89/80.10
% 79.89/80.10 Changing weight limit from 33 to 30.
% 79.89/80.10
% 79.89/80.10 Resetting weight limit to 30 after 1530 givens.
% 79.89/80.10
% 80.42/80.61
% 80.42/80.61
% 80.42/80.61 Changing weight limit from 30 to 31.
% 80.42/80.61
% 80.42/80.61 Resetting weight limit to 31 after 1540 givens.
% 80.42/80.61
% 80.42/80.66
% 80.42/80.66
% 80.42/80.66 Changing weight limit from 31 to 32.
% 80.42/80.66
% 80.42/80.66 Resetting weight limit to 32 after 1545 givens.
% 80.42/80.66
% 80.49/80.73
% 80.49/80.73
% 80.49/80.73 Changing weight limit from 32 to 33.
% 80.49/80.73
% 80.49/80.73 Resetting weight limit to 33 after 1550 givens.
% 80.49/80.73
% 80.74/80.93
% 80.74/80.93
% 80.74/80.93 Changing weight limit from 33 to 34.
% 80.74/80.93
% 80.74/80.93 Resetting weight limit to 34 after 1555 givens.
% 80.74/80.93
% 81.04/81.24
% 81.04/81.24
% 81.04/81.24 Changing weight limit from 34 to 35.
% 81.04/81.24
% 81.04/81.24 Resetting weight limit to 35 after 1560 givens.
% 81.04/81.24
% 81.50/81.72
% 81.50/81.72
% 81.50/81.72 Changing weight limit from 35 to 36.
% 81.50/81.72
% 81.50/81.72 Resetting weight limit to 36 after 1565 givens.
% 81.50/81.72
% 81.89/82.14
% 81.89/82.14
% 81.89/82.14 Changing weight limit from 36 to 37.
% 81.89/82.14
% 81.89/82.14 Resetting weight limit to 37 after 1570 givens.
% 81.89/82.14
% 82.06/82.30
% 82.06/82.30
% 82.06/82.30 Changing weight limit from 37 to 38.
% 82.06/82.30
% 82.06/82.30 Resetting weight limit to 38 after 1575 givens.
% 82.06/82.30
% 82.37/82.55
% 82.37/82.55
% 82.37/82.55 Changing weight limit from 38 to 39.
% 82.37/82.55
% 82.37/82.55 Resetting weight limit to 39 after 1580 givens.
% 82.37/82.55
% 82.57/82.75
% 82.57/82.75
% 82.57/82.75 Changing weight limit from 39 to 40.
% 82.57/82.75
% 82.57/82.75 Resetting weight limit to 40 after 1585 givens.
% 82.57/82.75
% 82.67/82.86
% 82.67/82.86
% 82.67/82.86 Changing weight limit from 40 to 41.
% 82.67/82.86
% 82.67/82.86 Resetting weight limit to 41 after 1590 givens.
% 82.67/82.86
% 82.99/83.19
% 82.99/83.19
% 82.99/83.19 Changing weight limit from 41 to 42.
% 82.99/83.19
% 82.99/83.19 Resetting weight limit to 42 after 1595 givens.
% 82.99/83.19
% 83.46/83.69
% 83.46/83.69
% 83.46/83.69 Changing weight limit from 42 to 37.
% 83.46/83.69
% 83.46/83.69 Resetting weight limit to 37 after 1600 givens.
% 83.46/83.69
% 83.53/83.72
% 83.53/83.72
% 83.53/83.72 Changing weight limit from 37 to 36.
% 83.53/83.72
% 83.53/83.72 Resetting weight limit to 36 after 1605 givens.
% 83.53/83.72
% 83.53/83.73
% 83.53/83.73
% 83.53/83.73 Changing weight limit from 36 to 37.
% 83.53/83.73
% 83.53/83.73 Resetting weight limit to 37 after 1610 givens.
% 83.53/83.73
% 83.83/84.02
% 83.83/84.02
% 83.83/84.02 Changing weight limit from 37 to 38.
% 83.83/84.02
% 83.83/84.02 Resetting weight limit to 38 after 1615 givens.
% 83.83/84.02
% 83.90/84.08
% 83.90/84.08
% 83.90/84.08 Changing weight limit from 38 to 39.
% 83.90/84.08
% 83.90/84.08 Resetting weight limit to 39 after 1620 givens.
% 83.90/84.08
% 83.98/84.17
% 83.98/84.17
% 83.98/84.17 Changing weight limit from 39 to 40.
% 83.98/84.17
% 83.98/84.17 Resetting weight limit to 40 after 1625 givens.
% 83.98/84.17
% 84.08/84.26
% 84.08/84.26
% 84.08/84.26 Changing weight limit from 40 to 41.
% 84.08/84.26
% 84.08/84.26 Resetting weight limit to 41 after 1630 givens.
% 84.08/84.26
% 84.38/84.61
% 84.38/84.61
% 84.38/84.61 Changing weight limit from 41 to 42.
% 84.38/84.61
% 84.38/84.61 Resetting weight limit to 42 after 1635 givens.
% 84.38/84.61
% 85.00/85.17
% 85.00/85.17
% 85.00/85.17 Changing weight limit from 42 to 33.
% 85.00/85.17
% 85.00/85.17 Resetting weight limit to 33 after 1640 givens.
% 85.00/85.17
% 85.24/85.41
% 85.24/85.41
% 85.24/85.41 Changing weight limit from 33 to 32.
% 85.24/85.41
% 85.24/85.41 Resetting weight limit to 32 after 1645 givens.
% 85.24/85.41
% 85.43/85.60
% 85.43/85.60
% 85.43/85.60 Changing weight limit from 32 to 33.
% 85.43/85.60
% 85.43/85.60 Resetting weight limit to 33 after 1650 givens.
% 85.43/85.60
% 85.60/85.82
% 85.60/85.82
% 85.60/85.82 Changing weight limit from 33 to 34.
% 85.60/85.82
% 85.60/85.82 Resetting weight limit to 34 after 1655 givens.
% 85.60/85.82
% 85.85/86.03
% 85.85/86.03
% 85.85/86.03 Changing weight limit from 34 to 32.
% 85.85/86.03
% 85.85/86.03 Resetting weight limit to 32 after 1660 givens.
% 85.85/86.03
% 86.01/86.20
% 86.01/86.20
% 86.01/86.20 Changing weight limit from 32 to 33.
% 86.01/86.20
% 86.01/86.20 Resetting weight limit to 33 after 1665 givens.
% 86.01/86.20
% 86.40/86.58
% 86.40/86.58
% 86.40/86.58 Changing weight limit from 33 to 32.
% 86.40/86.58
% 86.40/86.58 Resetting weight limit to 32 after 1670 givens.
% 86.40/86.58
% 87.39/87.59
% 87.39/87.59
% 87.39/87.59 Changing weight limit from 32 to 31.
% 87.39/87.59
% 87.39/87.59 Resetting weight limit to 31 after 1685 givens.
% 87.39/87.59
% 87.61/87.80
% 87.61/87.80
% 87.61/87.80 Changing weight limit from 31 to 32.
% 87.61/87.80
% 87.61/87.80 Resetting weight limit to 32 after 1695 givens.
% 87.61/87.80
% 87.61/87.82
% 87.61/87.82
% 87.61/87.82 Changing weight limit from 32 to 33.
% 87.61/87.82
% 87.61/87.82 Resetting weight limit to 33 after 1700 givens.
% 87.61/87.82
% 87.61/87.84
% 87.61/87.84
% 87.61/87.84 Changing weight limit from 33 to 31.
% 87.61/87.84
% 87.61/87.84 Resetting weight limit to 31 after 1705 givens.
% 87.61/87.84
% 87.79/87.95
% 87.79/87.95
% 87.79/87.95 Changing weight limit from 31 to 30.
% 87.79/87.95
% 87.79/87.95 Resetting weight limit to 30 after 1710 givens.
% 87.79/87.95
% 87.79/87.97
% 87.79/87.97
% 87.79/87.97 Changing weight limit from 30 to 31.
% 87.79/87.97
% 87.79/87.97 Resetting weight limit to 31 after 1715 givens.
% 87.79/87.97
% 87.79/87.99
% 87.79/87.99
% 87.79/87.99 Changing weight limit from 31 to 32.
% 87.79/87.99
% 87.79/87.99 Resetting weight limit to 32 after 1720 givens.
% 87.79/87.99
% 87.86/88.01
% 87.86/88.01
% 87.86/88.01 Changing weight limit from 32 to 33.
% 87.86/88.01
% 87.86/88.01 Resetting weight limit to 33 after 1725 givens.
% 87.86/88.01
% 87.86/88.03
% 87.86/88.03
% 87.86/88.03 Changing weight limit from 33 to 34.
% 87.86/88.03
% 87.86/88.03 Resetting weight limit to 34 after 1730 givens.
% 87.86/88.03
% 87.86/88.05
% 87.86/88.05
% 87.86/88.05 Changing weight limit from 34 to 35.
% 87.86/88.05
% 87.86/88.05 Resetting weight limit to 35 after 1735 givens.
% 87.86/88.05
% 88.00/88.16
% 88.00/88.16
% 88.00/88.16 Changing weight limit from 35 to 36.
% 88.00/88.16
% 88.00/88.16 Resetting weight limit to 36 after 1740 givens.
% 88.00/88.16
% 88.00/88.17
% 88.00/88.17
% 88.00/88.17 Changing weight limit from 36 to 37.
% 88.00/88.17
% 88.00/88.17 Resetting weight limit to 37 after 1745 givens.
% 88.00/88.17
% 88.04/88.20
% 88.04/88.20
% 88.04/88.20 Changing weight limit from 37 to 38.
% 88.04/88.20
% 88.04/88.20 Resetting weight limit to 38 after 1750 givens.
% 88.04/88.20
% 88.19/88.35
% 88.19/88.35
% 88.19/88.35 Changing weight limit from 38 to 30.
% 88.19/88.35
% 88.19/88.35 Resetting weight limit to 30 after 1755 givens.
% 88.19/88.35
% 88.19/88.36
% 88.19/88.36
% 88.19/88.36 Changing weight limit from 30 to 31.
% 88.19/88.36
% 88.19/88.36 Resetting weight limit to 31 after 1760 givens.
% 88.19/88.36
% 95.45/95.60
% 95.45/95.60
% 95.45/95.60 Changing weight limit from 31 to 32.
% 95.45/95.60
% 95.45/95.60 Resetting weight limit to 32 after 1765 givens.
% 95.45/95.60
% 95.64/95.83
% 95.64/95.83
% 95.64/95.83 Changing weight limit from 32 to 33.
% 95.64/95.83
% 95.64/95.83 Resetting weight limit to 33 after 1770 givens.
% 95.64/95.83
% 95.68/95.84
% 95.68/95.84
% 95.68/95.84 Changing weight limit from 33 to 34.
% 95.68/95.84
% 95.68/95.84 Resetting weight limit to 34 after 1775 givens.
% 95.68/95.84
% 95.81/96.06
% 95.81/96.06
% 95.81/96.06 Changing weight limit from 34 to 35.
% 95.81/96.06
% 95.81/96.06 Resetting weight limit to 35 after 1780 givens.
% 95.81/96.06
% 95.99/96.21
% 95.99/96.21
% 95.99/96.21 Changing weight limit from 35 to 30.
% 95.99/96.21
% 95.99/96.21 Resetting weight limit to 30 after 1785 givens.
% 95.99/96.21
% 95.99/96.21
% 95.99/96.21
% 95.99/96.21 Changing weight limit from 30 to 31.
% 95.99/96.21
% 95.99/96.21 Resetting weight limit to 31 after 1790 givens.
% 95.99/96.21
% 95.99/96.21
% 95.99/96.21
% 95.99/96.21 Changing weight limit from 31 to 32.
% 95.99/96.21
% 95.99/96.21 Resetting weight limit to 32 after 1795 givens.
% 95.99/96.21
% 95.99/96.22
% 95.99/96.22
% 95.99/96.22 Changing weight limit from 32 to 33.
% 95.99/96.22
% 95.99/96.22 Resetting weight limit to 33 after 1800 givens.
% 95.99/96.22
% 96.06/96.22
% 96.06/96.22
% 96.06/96.22 Changing weight limit from 33 to 34.
% 96.06/96.22
% 96.06/96.22 Resetting weight limit to 34 after 1805 givens.
% 96.06/96.22
% 96.06/96.23
% 96.06/96.23
% 96.06/96.23 Changing weight limit from 34 to 35.
% 96.06/96.23
% 96.06/96.23 Resetting weight limit to 35 after 1810 givens.
% 96.06/96.23
% 96.06/96.24
% 96.06/96.24
% 96.06/96.24 Changing weight limit from 35 to 36.
% 96.06/96.24
% 96.06/96.24 Resetting weight limit to 36 after 1815 givens.
% 96.06/96.24
% 96.06/96.25
% 96.06/96.25
% 96.06/96.25 Changing weight limit from 36 to 37.
% 96.06/96.25
% 96.06/96.25 Resetting weight limit to 37 after 1820 givens.
% 96.06/96.25
% 96.06/96.26
% 96.06/96.26
% 96.06/96.26 Changing weight limit from 37 to 38.
% 96.06/96.26
% 96.06/96.26 Resetting weight limit to 38 after 1825 givens.
% 96.06/96.26
% 96.27/96.45
% 96.27/96.45
% 96.27/96.45 Changing weight limit from 38 to 39.
% 96.27/96.45
% 96.27/96.45 Resetting weight limit to 39 after 1830 givens.
% 96.27/96.45
% 96.82/97.02
% 96.82/97.02
% 96.82/97.02 Changing weight limit from 39 to 30.
% 96.82/97.02
% 96.82/97.02 Resetting weight limit to 30 after 1835 givens.
% 96.82/97.02
% 96.99/97.22
% 96.99/97.22
% 96.99/97.22 Changing weight limit from 30 to 31.
% 96.99/97.22
% 96.99/97.22 Resetting weight limit to 31 after 1845 givens.
% 96.99/97.22
% 96.99/97.24
% 96.99/97.24
% 96.99/97.24 Changing weight limit from 31 to 32.
% 96.99/97.24
% 96.99/97.24 Resetting weight limit to 32 after 1850 givens.
% 96.99/97.24
% 97.14/97.34
% 97.14/97.34
% 97.14/97.34 Changing weight limit from 32 to 33.
% 97.14/97.34
% 97.14/97.34 Resetting weight limit to 33 after 1855 givens.
% 97.14/97.34
% 97.21/97.40
% 97.21/97.40
% 97.21/97.40 Changing weight limit from 33 to 34.
% 97.21/97.40
% 97.21/97.40 Resetting weight limit to 34 after 1860 givens.
% 97.21/97.40
% 97.27/97.44
% 97.27/97.44
% 97.27/97.44 Changing weight limit from 34 to 35.
% 97.27/97.44
% 97.27/97.44 Resetting weight limit to 35 after 1865 givens.
% 97.27/97.44
% 97.27/97.47
% 97.27/97.47
% 97.27/97.47 Changing weight limit from 35 to 36.
% 97.27/97.47
% 97.27/97.47 Resetting weight limit to 36 after 1870 givens.
% 97.27/97.47
% 97.27/97.50
% 97.27/97.50
% 97.27/97.50 Changing weight limit from 36 to 37.
% 97.27/97.50
% 97.27/97.50 Resetting weight limit to 37 after 1875 givens.
% 97.27/97.50
% 97.37/97.53
% 97.37/97.53
% 97.37/97.53 Changing weight limit from 37 to 38.
% 97.37/97.53
% 97.37/97.53 Resetting weight limit to 38 after 1880 givens.
% 97.37/97.53
% 97.59/97.76
% 97.59/97.76
% 97.59/97.76 Changing weight limit from 38 to 39.
% 97.59/97.76
% 97.59/97.76 Resetting weight limit to 39 after 1885 givens.
% 97.59/97.76
% 98.24/98.44
% 98.24/98.44
% 98.24/98.44 Changing weight limit from 39 to 34.
% 98.24/98.44
% 98.24/98.44 Resetting weight limit to 34 after 1890 givens.
% 98.24/98.44
% 98.39/98.59
% 98.39/98.59
% 98.39/98.59 Changing weight limit from 34 to 35.
% 98.39/98.59
% 98.39/98.59 Resetting weight limit to 35 after 1895 givens.
% 98.39/98.59
% 98.60/98.77
% 98.60/98.77
% 98.60/98.77 Changing weight limit from 35 to 34.
% 98.60/98.77
% 98.60/98.77 Resetting weight limit to 34 after 1900 givens.
% 98.60/98.77
% 99.04/99.22
% 99.04/99.22
% 99.04/99.22 Changing weight limit from 34 to 35.
% 99.04/99.22
% 99.04/99.22 Resetting weight limit to 35 after 1910 givens.
% 99.04/99.22
% 99.31/99.46
% 99.31/99.46
% 99.31/99.46 Changing weight limit from 35 to 34.
% 99.31/99.46
% 99.31/99.46 Resetting weight limit to 34 after 1915 givens.
% 99.31/99.46
% 99.62/99.81
% 99.62/99.81
% 99.62/99.81 Changing weight limit from 34 to 33.
% 99.62/99.81
% 99.62/99.81 Resetting weight limit to 33 after 1925 givens.
% 99.62/99.81
% 101.51/101.66
% 101.51/101.66
% 101.51/101.66 Changing weight limit from 33 to 32.
% 101.51/101.66
% 101.51/101.66 Resetting weight limit to 32 after 1955 givens.
% 101.51/101.66
% 102.73/102.95
% 102.73/102.95
% 102.73/102.95 Changing weight limit from 32 to 33.
% 102.73/102.95
% 102.73/102.95 Resetting weight limit to 33 after 1985 givens.
% 102.73/102.95
% 102.91/103.12
% 102.91/103.12
% 102.91/103.12 Changing weight limit from 33 to 32.
% 102.91/103.12
% 102.91/103.12 Resetting weight limit to 32 after 1990 givens.
% 102.91/103.12
% 103.10/103.30
% 103.10/103.30
% 103.10/103.30 Changing weight limit from 32 to 33.
% 103.10/103.30
% 103.10/103.30 Resetting weight limit to 33 after 2000 givens.
% 103.10/103.30
% 103.33/103.51
% 103.33/103.51
% 103.33/103.51 Changing weight limit from 33 to 32.
% 103.33/103.51
% 103.33/103.51 Resetting weight limit to 32 after 2005 givens.
% 103.33/103.51
% 103.56/103.74
% 103.56/103.74
% 103.56/103.74 Changing weight limit from 32 to 31.
% 103.56/103.74
% 103.56/103.74 Resetting weight limit to 31 after 2010 givens.
% 103.56/103.74
% 104.61/104.82
% 104.61/104.82
% 104.61/104.82 Changing weight limit from 31 to 32.
% 104.61/104.82
% 104.61/104.82 Resetting weight limit to 32 after 2035 givens.
% 104.61/104.82
% 104.85/105.03
% 104.85/105.03
% 104.85/105.03 Changing weight limit from 32 to 33.
% 104.85/105.03
% 104.85/105.03 Resetting weight limit to 33 after 2040 givens.
% 104.85/105.03
% 105.29/105.44
% 105.29/105.44
% 105.29/105.44 Changing weight limit from 33 to 32.
% 105.29/105.44
% 105.29/105.44 Resetting weight limit to 32 after 2045 givens.
% 105.29/105.44
% 105.65/105.84
% 105.65/105.84
% 105.65/105.84 Changing weight limit from 32 to 31.
% 105.65/105.84
% 105.65/105.84 Resetting weight limit to 31 after 2050 givens.
% 105.65/105.84
% 105.65/105.85
% 105.65/105.85
% 105.65/105.85 Changing weight limit from 31 to 32.
% 105.65/105.85
% 105.65/105.85 Resetting weight limit to 32 after 2055 givens.
% 105.65/105.85
% 105.89/106.04
% 105.89/106.04
% 105.89/106.04 Changing weight limit from 32 to 31.
% 105.89/106.04
% 105.89/106.04 Resetting weight limit to 31 after 2060 givens.
% 105.89/106.04
% 105.89/106.05
% 105.89/106.05
% 105.89/106.05 Changing weight limit from 31 to 32.
% 105.89/106.05
% 105.89/106.05 Resetting weight limit to 32 after 2065 givens.
% 105.89/106.05
% 106.01/106.18
% 106.01/106.18
% 106.01/106.18 Changing weight limit from 32 to 33.
% 106.01/106.18
% 106.01/106.18 Resetting weight limit to 33 after 2070 givens.
% 106.01/106.18
% 106.20/106.36
% 106.20/106.36
% 106.20/106.36 Changing weight limit from 33 to 34.
% 106.20/106.36
% 106.20/106.36 Resetting weight limit to 34 after 2075 givens.
% 106.20/106.36
% 107.45/107.62
% 107.45/107.62
% 107.45/107.62 Changing weight limit from 34 to 32.
% 107.45/107.62
% 107.45/107.62 Resetting weight limit to 32 after 2080 givens.
% 107.45/107.62
% 107.79/107.96
% 107.79/107.96
% 107.79/107.96 Changing weight limit from 32 to 33.
% 107.79/107.96
% 107.79/107.96 Resetting weight limit to 33 after 2085 givens.
% 107.79/107.96
% 107.79/107.97
% 107.79/107.97
% 107.79/107.97 Changing weight limit from 33 to 34.
% 107.79/107.97
% 107.79/107.97 Resetting weight limit to 34 after 2090 givens.
% 107.79/107.97
% 108.01/108.20
% 108.01/108.20
% 108.01/108.20 Changing weight limit from 34 to 31.
% 108.01/108.20
% 108.01/108.20 Resetting weight limit to 31 after 2095 givens.
% 108.01/108.20
% 108.55/108.72
% 108.55/108.72
% 108.55/108.72 Changing weight limit from 31 to 30.
% 108.55/108.72
% 108.55/108.72 Resetting weight limit to 30 after 2100 givens.
% 108.55/108.72
% 108.55/108.73
% 108.55/108.73
% 108.55/108.73 Changing weight limit from 30 to 31.
% 108.55/108.73
% 108.55/108.73 Resetting weight limit to 31 after 2105 givens.
% 108.55/108.73
% 108.55/108.74
% 108.55/108.74
% 108.55/108.74 Changing weight limit from 31 to 32.
% 108.55/108.74
% 108.55/108.74 Resetting weight limit to 32 after 2110 givens.
% 108.55/108.74
% 108.59/108.76
% 108.59/108.76
% 108.59/108.76 Changing weight limit from 32 to 33.
% 108.59/108.76
% 108.59/108.76 Resetting weight limit to 33 after 2115 givens.
% 108.59/108.76
% 108.68/108.89
% 108.68/108.89
% 108.68/108.89 Changing weight limit from 33 to 34.
% 108.68/108.89
% 108.68/108.89 Resetting weight limit to 34 after 2120 givens.
% 108.68/108.89
% 108.89/109.07
% 108.89/109.07
% 108.89/109.07 Changing weight limit from 34 to 32.
% 108.89/109.07
% 108.89/109.07 Resetting weight limit to 32 after 2125 givens.
% 108.89/109.07
% 109.11/109.28
% 109.11/109.28
% 109.11/109.28 Changing weight limit from 32 to 31.
% 109.11/109.28
% 109.11/109.28 Resetting weight limit to 31 after 2130 givens.
% 109.11/109.28
% 109.28/109.49
% 109.28/109.49
% 109.28/109.49 Changing weight limit from 31 to 32.
% 109.28/109.49
% 109.28/109.49 Resetting weight limit to 32 after 2135 givens.
% 109.28/109.49
% 109.53/109.71
% 109.53/109.71
% 109.53/109.71 Changing weight limit from 32 to 33.
% 109.53/109.71
% 109.53/109.71 Resetting weight limit to 33 after 2140 givens.
% 109.53/109.71
% 109.67/109.86
% 109.67/109.86
% 109.67/109.86 Changing weight limit from 33 to 31.
% 109.67/109.86
% 109.67/109.86 Resetting weight limit to 31 after 2145 givens.
% 109.67/109.86
% 109.90/110.07
% 109.90/110.07
% 109.90/110.07 Changing weight limit from 31 to 30.
% 109.90/110.07
% 109.90/110.07 Resetting weight limit to 30 after 2155 givens.
% 109.90/110.07
% 110.01/110.21
% 110.01/110.21
% 110.01/110.21 Changing weight limit from 30 to 31.
% 110.01/110.21
% 110.01/110.21 Resetting weight limit to 31 after 2160 givens.
% 110.01/110.21
% 110.49/110.65
% 110.49/110.65
% 110.49/110.65 Changing weight limit from 31 to 32.
% 110.49/110.65
% 110.49/110.65 Resetting weight limit to 32 after 2165 givens.
% 110.49/110.65
% 110.87/111.03
% 110.87/111.03
% 110.87/111.03 Changing weight limit from 32 to 33.
% 110.87/111.03
% 110.87/111.03 Resetting weight limit to 33 after 2170 givens.
% 110.87/111.03
% 111.03/111.22
% 111.03/111.22
% 111.03/111.22 Changing weight limit from 33 to 31.
% 111.03/111.22
% 111.03/111.22 Resetting weight limit to 31 after 2175 givens.
% 111.03/111.22
% 111.41/111.58
% 111.41/111.58
% 111.41/111.58 Changing weight limit from 31 to 32.
% 111.41/111.58
% 111.41/111.58 Resetting weight limit to 32 after 2180 givens.
% 111.41/111.58
% 111.58/111.80
% 111.58/111.80
% 111.58/111.80 Changing weight limit from 32 to 33.
% 111.58/111.80
% 111.58/111.80 Resetting weight limit to 33 after 2185 givens.
% 111.58/111.80
% 112.07/112.23
% 112.07/112.23
% 112.07/112.23 Changing weight limit from 33 to 31.
% 112.07/112.23
% 112.07/112.23 Resetting weight limit to 31 after 2190 givens.
% 112.07/112.23
% 112.21/112.38
% 112.21/112.38
% 112.21/112.38 Changing weight limit from 31 to 32.
% 112.21/112.38
% 112.21/112.38 Resetting weight limit to 32 after 2195 givens.
% 112.21/112.38
% 112.25/112.42
% 112.25/112.42
% 112.25/112.42 Changing weight limit from 32 to 33.
% 112.25/112.42
% 112.25/112.42 Resetting weight limit to 33 after 2200 givens.
% 112.25/112.42
% 112.51/112.71
% 112.51/112.71
% 112.51/112.71 Changing weight limit from 33 to 34.
% 112.51/112.71
% 112.51/112.71 Resetting weight limit to 34 after 2205 givens.
% 112.51/112.71
% 112.51/112.76
% 112.51/112.76
% 112.51/112.76 Changing weight limit from 34 to 35.
% 112.51/112.76
% 112.51/112.76 Resetting weight limit to 35 after 2210 givens.
% 112.51/112.76
% 112.81/113.00
% 112.81/113.00
% 112.81/113.00 Changing weight limit from 35 to 31.
% 112.81/113.00
% 112.81/113.00 Resetting weight limit to 31 after 2215 givens.
% 112.81/113.00
% 114.13/114.29
% 114.13/114.29
% 114.13/114.29 Changing weight limit from 31 to 32.
% 114.13/114.29
% 114.13/114.29 Resetting weight limit to 32 after 2225 givens.
% 114.13/114.29
% 114.29/114.47
% 114.29/114.47
% 114.29/114.47 Changing weight limit from 32 to 31.
% 114.29/114.47
% 114.29/114.47 Resetting weight limit to 31 after 2230 givens.
% 114.29/114.47
% 114.43/114.60
% 114.43/114.60
% 114.43/114.60 Changing weight limit from 31 to 30.
% 114.43/114.60
% 114.43/114.60 Resetting weight limit to 30 after 2245 givens.
% 114.43/114.60
% 115.10/115.29
% 115.10/115.29
% 115.10/115.29 Changing weight limit from 30 to 31.
% 115.10/115.29
% 115.10/115.29 Resetting weight limit to 31 after 2265 givens.
% 115.10/115.29
% 115.39/115.56
% 115.39/115.56
% 115.39/115.56 Changing weight limit from 31 to 30.
% 115.39/115.56
% 115.39/115.56 Resetting weight limit to 30 after 2270 givens.
% 115.39/115.56
% 115.39/115.59
% 115.39/115.59
% 115.39/115.59 Changing weight limit from 30 to 31.
% 115.39/115.59
% 115.39/115.59 Resetting weight limit to 31 after 2275 givens.
% 115.39/115.59
% 115.60/115.76
% 115.60/115.76
% 115.60/115.76 Changing weight limit from 31 to 32.
% 115.60/115.76
% 115.60/115.76 Resetting weight limit to 32 after 2280 givens.
% 115.60/115.76
% 115.80/116.00
% 115.80/116.00
% 115.80/116.00 Changing weight limit from 32 to 33.
% 115.80/116.00
% 115.80/116.00 Resetting weight limit to 33 after 2285 givens.
% 115.80/116.00
% 116.07/116.23
% 116.07/116.23
% 116.07/116.23 Changing weight limit from 33 to 34.
% 116.07/116.23
% 116.07/116.23 Resetting weight limit to 34 after 2290 givens.
% 116.07/116.23
% 116.22/116.41
% 116.22/116.41
% 116.22/116.41 Changing weight limit from 34 to 35.
% 116.22/116.41
% 116.22/116.41 Resetting weight limit to 35 after 2295 givens.
% 116.22/116.41
% 116.52/116.69
% 116.52/116.69
% 116.52/116.69 Changing weight limit from 35 to 33.
% 116.52/116.69
% 116.52/116.69 Resetting weight limit to 33 after 2300 givens.
% 116.52/116.69
% 116.77/116.97
% 116.77/116.97
% 116.77/116.97 Changing weight limit from 33 to 32.
% 116.77/116.97
% 116.77/116.97 Resetting weight limit to 32 after 2305 givens.
% 116.77/116.97
% 116.82/117.02
% 116.82/117.02
% 116.82/117.02 Changing weight limit from 32 to 31.
% 116.82/117.02
% 116.82/117.02 Resetting weight limit to 31 after 2310 givens.
% 116.82/117.02
% 117.10/117.27
% 117.10/117.27
% 117.10/117.27 Changing weight limit from 31 to 32.
% 117.10/117.27
% 117.10/117.27 Resetting weight limit to 32 after 2320 givens.
% 117.10/117.27
% 117.17/117.33
% 117.17/117.33
% 117.17/117.33 Changing weight limit from 32 to 31.
% 117.17/117.33
% 117.17/117.33 Resetting weight limit to 31 after 2325 givens.
% 117.17/117.33
% 117.53/117.72
% 117.53/117.72
% 117.53/117.72 Changing weight limit from 31 to 30.
% 117.53/117.72
% 117.53/117.72 Resetting weight limit to 30 after 2330 givens.
% 117.53/117.72
% 119.08/119.35
% 119.08/119.35
% 119.08/119.35 Changing weight limit from 30 to 31.
% 119.08/119.35
% 119.08/119.35 Resetting weight limit to 31 after 2340 givens.
% 119.08/119.35
% 119.25/119.42
% 119.25/119.42
% 119.25/119.42 Changing weight limit from 31 to 32.
% 119.25/119.42
% 119.25/119.42 Resetting weight limit to 32 after 2345 givens.
% 119.25/119.42
% 119.25/119.46
% 119.25/119.46
% 119.25/119.46 Changing weight limit from 32 to 33.
% 119.25/119.46
% 119.25/119.46 Resetting weight limit to 33 after 2350 givens.
% 119.25/119.46
% 119.48/119.70
% 119.48/119.70
% 119.48/119.70 Changing weight limit from 33 to 34.
% 119.48/119.70
% 119.48/119.70 Resetting weight limit to 34 after 2355 givens.
% 119.48/119.70
% 119.55/119.77
% 119.55/119.77
% 119.55/119.77 Changing weight limit from 34 to 35.
% 119.55/119.77
% 119.55/119.77 Resetting weight limit to 35 after 2360 givens.
% 119.55/119.77
% 119.80/119.97
% 119.80/119.97
% 119.80/119.97 Changing weight limit from 35 to 36.
% 119.80/119.97
% 119.80/119.97 Resetting weight limit to 36 after 2365 givens.
% 119.80/119.97
% 119.80/119.97
% 119.80/119.97
% 119.80/119.97 Changing weight limit from 36 to 37.
% 119.80/119.97
% 119.80/119.97 Resetting weight limit to 37 after 2370 givens.
% 119.80/119.97
% 119.80/119.99
% 119.80/119.99
% 119.80/119.99 Changing weight limit from 37 to 38.
% 119.80/119.99
% 119.80/119.99 Resetting weight limit to 38 after 2375 givens.
% 119.80/119.99
% 119.80/120.00
% 119.80/120.00
% 119.80/120.00 Changing weight limit from 38 to 39.
% 119.80/120.00
% 119.80/120.00 Resetting weight limit to 39 after 2380 givens.
% 119.80/120.00
% 120.10/120.31
% 120.10/120.31
% 120.10/120.31 Changing weight limit from 39 to 34.
% 120.10/120.31
% 120.10/120.31 Resetting weight limit to 34 after 2385 givens.
% 120.10/120.31
% 120.47/120.65
% 120.47/120.65
% 120.47/120.65 Changing weight limit from 34 to 32.
% 120.47/120.65
% 120.47/120.65 Resetting weight limit to 32 after 2390 givens.
% 120.47/120.65
% 120.47/120.65
% 120.47/120.65
% 120.47/120.65 Changing weight limit from 32 to 33.
% 120.47/120.65
% 120.47/120.65 Resetting weight limit to 33 after 2395 givens.
% 120.47/120.65
% 120.71/120.89
% 120.71/120.89
% 120.71/120.89 Changing weight limit from 33 to 34.
% 120.71/120.89
% 120.71/120.89 Resetting weight limit to 34 after 2400 givens.
% 120.71/120.89
% 120.88/121.08
% 120.88/121.08
% 120.88/121.08 Changing weight limit from 34 to 35.
% 120.88/121.08
% 120.88/121.08 Resetting weight limit to 35 after 2405 givens.
% 120.88/121.08
% 121.16/121.37
% 121.16/121.37
% 121.16/121.37 Changing weight limit from 35 to 31.
% 121.16/121.37
% 121.16/121.37 Resetting weight limit to 31 after 2410 givens.
% 121.16/121.37
% 121.86/122.01
% 121.86/122.01
% 121.86/122.01 Changing weight limit from 31 to 32.
% 121.86/122.01
% 121.86/122.01 Resetting weight limit to 32 after 2415 givens.
% 121.86/122.01
% 122.19/122.35
% 122.19/122.35
% 122.19/122.35 Changing weight limit from 32 to 31.
% 122.19/122.35
% 122.19/122.35 Resetting weight limit to 31 after 2420 givens.
% 122.19/122.35
% 122.65/122.85
% 122.65/122.85
% 122.65/122.85 Changing weight limit from 31 to 30.
% 122.65/122.85
% 122.65/122.85 Resetting weight limit to 30 after 2430 givens.
% 122.65/122.85
% 122.87/123.05
% 122.87/123.05
% 122.87/123.05 Changing weight limit from 30 to 31.
% 122.87/123.05
% 122.87/123.05 Resetting weight limit to 31 after 2435 givens.
% 122.87/123.05
% 122.87/123.07
% 122.87/123.07
% 122.87/123.07 Changing weight limit from 31 to 32.
% 122.87/123.07
% 122.87/123.07 Resetting weight limit to 32 after 2440 givens.
% 122.87/123.07
% 122.87/123.09
% 122.87/123.09
% 122.87/123.09 Changing weight limit from 32 to 33.
% 122.87/123.09
% 122.87/123.09 Resetting weight limit to 33 after 2445 givens.
% 122.87/123.09
% 122.87/123.09
% 122.87/123.09
% 122.87/123.09 Changing weight limit from 33 to 34.
% 122.87/123.09
% 122.87/123.09 Resetting weight limit to 34 after 2450 givens.
% 122.87/123.09
% 123.32/123.50
% 123.32/123.50
% 123.32/123.50 Changing weight limit from 34 to 31.
% 123.32/123.50
% 123.32/123.50 Resetting weight limit to 31 after 2455 givens.
% 123.32/123.50
% 123.50/123.70
% 123.50/123.70
% 123.50/123.70 Changing weight limit from 31 to 32.
% 123.50/123.70
% 123.50/123.70 Resetting weight limit to 32 after 2460 givens.
% 123.50/123.70
% 123.73/123.89
% 123.73/123.89
% 123.73/123.89 Changing weight limit from 32 to 30.
% 123.73/123.89
% 123.73/123.89 Resetting weight limit to 30 after 2465 givens.
% 123.73/123.89
% 124.20/124.37
% 124.20/124.37
% 124.20/124.37 Changing weight limit from 30 to 31.
% 124.20/124.37
% 124.20/124.37 Resetting weight limit to 31 after 2480 givens.
% 124.20/124.37
% 124.40/124.56
% 124.40/124.56
% 124.40/124.56 Changing weight limit from 31 to 32.
% 124.40/124.56
% 124.40/124.56 Resetting weight limit to 32 after 2485 givens.
% 124.40/124.56
% 124.49/124.66
% 124.49/124.66
% 124.49/124.66 Changing weight limit from 32 to 33.
% 124.49/124.66
% 124.49/124.66 Resetting weight limit to 33 after 2490 givens.
% 124.49/124.66
% 124.81/124.99
% 124.81/124.99
% 124.81/124.99 Changing weight limit from 33 to 34.
% 124.81/124.99
% 124.81/124.99 Resetting weight limit to 34 after 2495 givens.
% 124.81/124.99
% 124.81/125.02
% 124.81/125.02
% 124.81/125.02 Changing weight limit from 34 to 35.
% 124.81/125.02
% 124.81/125.02 Modelling stopped after 300 given clauses and 0.00 seconds
% 124.81/125.02
% 124.81/125.02
% 124.81/125.02 Resetting weight limit to 35 after 2500 givens.
% 124.81/125.02
% 124.90/125.09
% 124.90/125.09
% 124.90/125.09 Changing weight limit from 35 to 36.
% 124.90/125.09
% 124.90/125.09 Resetting weight limit to 36 after 2505 givens.
% 124.90/125.09
% 125.01/125.18
% 125.01/125.18
% 125.01/125.18 Changing weight limit from 36 to 37.
% 125.01/125.18
% 125.01/125.18 Resetting weight limit to 37 after 2510 givens.
% 125.01/125.18
% 125.01/125.23
% 125.01/125.23
% 125.01/125.23 Changing weight limit from 37 to 38.
% 125.01/125.23
% 125.01/125.23 Resetting weight limit to 38 after 2515 givens.
% 125.01/125.23
% 125.10/125.27
% 125.10/125.27
% 125.10/125.27 Changing weight limit from 38 to 39.
% 125.10/125.27
% 125.10/125.27 Resetting weight limit to 39 after 2520 givens.
% 125.10/125.27
% 125.51/125.65
% 125.51/125.65
% 125.51/125.65 Changing weight limit from 39 to 34.
% 125.51/125.65
% 125.51/125.65 Resetting weight limit to 34 after 2525 givens.
% 125.51/125.65
% 125.56/125.72
% 125.56/125.72
% 125.56/125.72 Changing weight limit from 34 to 32.
% 125.56/125.72
% 125.56/125.72 Resetting weight limit to 32 after 2530 givens.
% 125.56/125.72
% 125.74/125.94
% 125.74/125.94
% 125.74/125.94 Changing weight limit from 32 to 30.
% 125.74/125.94
% 125.74/125.94 Resetting weight limit to 30 after 2540 givens.
% 125.74/125.94
% 125.81/126.00
% 125.81/126.00
% 125.81/126.00 Changing weight limit from 30 to 31.
% 125.81/126.00
% 125.81/126.00 Resetting weight limit to 31 after 2545 givens.
% 125.81/126.00
% 125.86/126.01
% 125.86/126.01
% 125.86/126.01 Changing weight limit from 31 to 32.
% 125.86/126.01
% 125.86/126.01 Resetting weight limit to 32 after 2550 givens.
% 125.86/126.01
% 125.89/126.04
% 125.89/126.04
% 125.89/126.04 Changing weight limit from 32 to 33.
% 125.89/126.04
% 125.89/126.04 Resetting weight limit to 33 after 2555 givens.
% 125.89/126.04
% 126.06/126.25
% 126.06/126.25
% 126.06/126.25 Changing weight limit from 33 to 30.
% 126.06/126.25
% 126.06/126.25 Resetting weight limit to 30 after 2560 givens.
% 126.06/126.25
% 126.12/126.31
% 126.12/126.31
% 126.12/126.31 Changing weight limit from 30 to 31.
% 126.12/126.31
% 126.12/126.31 Resetting weight limit to 31 after 2565 givens.
% 126.12/126.31
% 126.12/126.33
% 126.12/126.33
% 126.12/126.33 Changing weight limit from 31 to 32.
% 126.12/126.33
% 126.12/126.33 Resetting weight limit to 32 after 2570 givens.
% 126.12/126.33
% 126.36/126.51
% 126.36/126.51
% 126.36/126.51 Changing weight limit from 32 to 30.
% 126.36/126.51
% 126.36/126.51 Resetting weight limit to 30 after 2575 givens.
% 126.36/126.51
% 126.36/126.56
% 126.36/126.56
% 126.36/126.56 Changing weight limit from 30 to 31.
% 126.36/126.56
% 126.36/126.56 Resetting weight limit to 31 after 2580 givens.
% 126.36/126.56
% 126.43/126.59
% 126.43/126.59
% 126.43/126.59 Changing weight limit from 31 to 32.
% 126.43/126.59
% 126.43/126.59 Resetting weight limit to 32 after 2585 givens.
% 126.43/126.59
% 127.89/128.06
% 127.89/128.06
% 127.89/128.06 Changing weight limit from 32 to 33.
% 127.89/128.06
% 127.89/128.06 Resetting weight limit to 33 after 2605 givens.
% 127.89/128.06
% 128.04/128.22
% 128.04/128.22
% 128.04/128.22 Changing weight limit from 33 to 34.
% 128.04/128.22
% 128.04/128.22 Resetting weight limit to 34 after 2610 givens.
% 128.04/128.22
% 128.81/129.00
% 128.81/129.00
% 128.81/129.00 Changing weight limit from 34 to 32.
% 128.81/129.00
% 128.81/129.00 Resetting weight limit to 32 after 2615 givens.
% 128.81/129.00
% 129.83/130.02
% 129.83/130.02
% 129.83/130.02 Changing weight limit from 32 to 33.
% 129.83/130.02
% 129.83/130.02 Resetting weight limit to 33 after 2625 givens.
% 129.83/130.02
% 130.71/130.91
% 130.71/130.91
% 130.71/130.91 Changing weight limit from 33 to 32.
% 130.71/130.91
% 130.71/130.91 Resetting weight limit to 32 after 2630 givens.
% 130.71/130.91
% 131.44/131.62
% 131.44/131.62
% 131.44/131.62 Changing weight limit from 32 to 33.
% 131.44/131.62
% 131.44/131.62 Resetting weight limit to 33 after 2635 givens.
% 131.44/131.62
% 131.44/131.64
% 131.44/131.64
% 131.44/131.64 Changing weight limit from 33 to 34.
% 131.44/131.64
% 131.44/131.64 Resetting weight limit to 34 after 2640 givens.
% 131.44/131.64
% 131.52/131.68
% 131.52/131.68
% 131.52/131.68 Changing weight limit from 34 to 32.
% 131.52/131.68
% 131.52/131.68 Resetting weight limit to 32 after 2645 givens.
% 131.52/131.68
% 131.60/131.81
% 131.60/131.81
% 131.60/131.81 Changing weight limit from 32 to 33.
% 131.60/131.81
% 131.60/131.81 Resetting weight limit to 33 after 2650 givens.
% 131.60/131.81
% 131.60/131.83
% 131.60/131.83
% 131.60/131.83 Changing weight limit from 33 to 34.
% 131.60/131.83
% 131.60/131.83 Resetting weight limit to 34 after 2655 givens.
% 131.60/131.83
% 131.95/132.10
% 131.95/132.10
% 131.95/132.10 Changing weight limit from 34 to 31.
% 131.95/132.10
% 131.95/132.10 Resetting weight limit to 31 after 2660 givens.
% 131.95/132.10
% 132.11/132.32
% 132.11/132.32
% 132.11/132.32 Changing weight limit from 31 to 32.
% 132.11/132.32
% 132.11/132.32 Resetting weight limit to 32 after 2665 givens.
% 132.11/132.32
% 132.21/132.39
% 132.21/132.39
% 132.21/132.39 Changing weight limit from 32 to 31.
% 132.21/132.39
% 132.21/132.39 Resetting weight limit to 31 after 2670 givens.
% 132.21/132.39
% 132.36/132.52
% 132.36/132.52
% 132.36/132.52 Changing weight limit from 31 to 30.
% 132.36/132.52
% 132.36/132.52 Resetting weight limit to 30 after 2675 givens.
% 132.36/132.52
% 132.40/132.57
% 132.40/132.57
% 132.40/132.57 Changing weight limit from 30 to 31.
% 132.40/132.57
% 132.40/132.57 Resetting weight limit to 31 after 2680 givens.
% 132.40/132.57
% 132.40/132.58
% 132.40/132.58
% 132.40/132.58 Changing weight limit from 31 to 32.
% 132.40/132.58
% 132.40/132.58 Resetting weight limit to 32 after 2685 givens.
% 132.40/132.58
% 132.40/132.60
% 132.40/132.60
% 132.40/132.60 Changing weight limit from 32 to 33.
% 132.40/132.60
% 132.40/132.60 Resetting weight limit to 33 after 2690 givens.
% 132.40/132.60
% 140.50/140.72
% 140.50/140.72
% 140.50/140.72 Changing weight limit from 33 to 31.
% 140.50/140.72
% 140.50/140.72 Resetting weight limit to 31 after 2695 givens.
% 140.50/140.72
% 140.62/140.82
% 140.62/140.82
% 140.62/140.82 Changing weight limit from 31 to 30.
% 140.62/140.82
% 140.62/140.82 Resetting weight limit to 30 after 2700 givens.
% 140.62/140.82
% 140.74/140.91
% 140.74/140.91
% 140.74/140.91 Changing weight limit from 30 to 31.
% 140.74/140.91
% 140.74/140.91 Resetting weight limit to 31 after 2710 givens.
% 140.74/140.91
% 140.82/140.99
% 140.82/140.99
% 140.82/140.99 Changing weight limit from 31 to 30.
% 140.82/140.99
% 140.82/140.99 Resetting weight limit to 30 after 2715 givens.
% 140.82/140.99
% 141.20/141.40
% 141.20/141.40
% 141.20/141.40 Changing weight limit from 30 to 31.
% 141.20/141.40
% 141.20/141.40 Resetting weight limit to 31 after 2730 givens.
% 141.20/141.40
% 141.34/141.52
% 141.34/141.52
% 141.34/141.52 Changing weight limit from 31 to 32.
% 141.34/141.52
% 141.34/141.52 Resetting weight limit to 32 after 2735 givens.
% 141.34/141.52
% 141.65/141.82
% 141.65/141.82
% 141.65/141.82 Changing weight limit from 32 to 30.
% 141.65/141.82
% 141.65/141.82 Resetting weight limit to 30 after 2740 givens.
% 141.65/141.82
% 142.60/142.81
% 142.60/142.81
% 142.60/142.81 Changing weight limit from 30 to 31.
% 142.60/142.81
% 142.60/142.81 Resetting weight limit to 31 after 2745 givens.
% 142.60/142.81
% 142.81/142.98
% 142.81/142.98
% 142.81/142.98 Changing weight limit from 31 to 32.
% 142.81/142.98
% 142.81/142.98 Resetting weight limit to 32 after 2750 givens.
% 142.81/142.98
% 143.00/143.17
% 143.00/143.17
% 143.00/143.17 Changing weight limit from 32 to 33.
% 143.00/143.17
% 143.00/143.17 Resetting weight limit to 33 after 2755 givens.
% 143.00/143.17
% 143.12/143.32
% 143.12/143.32
% 143.12/143.32 Changing weight limit from 33 to 34.
% 143.12/143.32
% 143.12/143.32 Resetting weight limit to 34 after 2760 givens.
% 143.12/143.32
% 143.28/143.45
% 143.28/143.45
% 143.28/143.45 Changing weight limit from 34 to 35.
% 143.28/143.45
% 143.28/143.45 Resetting weight limit to 35 after 2765 givens.
% 143.28/143.45
% 143.42/143.63
% 143.42/143.63
% 143.42/143.63 Changing weight limit from 35 to 36.
% 143.42/143.63
% 143.42/143.63 Resetting weight limit to 36 after 2770 givens.
% 143.42/143.63
% 143.72/143.90
% 143.72/143.90
% 143.72/143.90 Changing weight limit from 36 to 37.
% 143.72/143.90
% 143.72/143.90 Resetting weight limit to 37 after 2775 givens.
% 143.72/143.90
% 144.09/144.26
% 144.09/144.26
% 144.09/144.26 Changing weight limit from 37 to 32.
% 144.09/144.26
% 144.09/144.26 Resetting weight limit to 32 after 2780 givens.
% 144.09/144.26
% 145.05/145.23
% 145.05/145.23
% 145.05/145.23 Changing weight limit from 32 to 30.
% 145.05/145.23
% 145.05/145.23 Resetting weight limit to 30 after 2785 givens.
% 145.05/145.23
% 147.08/147.24
% 147.08/147.24
% 147.08/147.24 Changing weight limit from 30 to 31.
% 147.08/147.24
% 147.08/147.24 Resetting weight limit to 31 after 2810 givens.
% 147.08/147.24
% 147.20/147.36
% 147.20/147.36
% 147.20/147.36 Changing weight limit from 31 to 32.
% 147.20/147.36
% 147.20/147.36 Resetting weight limit to 32 after 2815 givens.
% 147.20/147.36
% 147.50/147.65
% 147.50/147.65
% 147.50/147.65 Changing weight limit from 32 to 30.
% 147.50/147.65
% 147.50/147.65 Resetting weight limit to 30 after 2820 givens.
% 147.50/147.65
% 148.00/148.20
% 148.00/148.20
% 148.00/148.20 Changing weight limit from 30 to 31.
% 148.00/148.20
% 148.00/148.20 Resetting weight limit to 31 after 2835 givens.
% 148.00/148.20
% 148.09/148.26
% 148.09/148.26
% 148.09/148.26 Changing weight limit from 31 to 32.
% 148.09/148.26
% 148.09/148.26 Resetting weight limit to 32 after 2840 givens.
% 148.09/148.26
% 148.38/148.54
% 148.38/148.54
% 148.38/148.54 Changing weight limit from 32 to 30.
% 148.38/148.54
% 148.38/148.54 Resetting weight limit to 30 after 2845 givens.
% 148.38/148.54
% 148.38/148.56
% 148.38/148.56
% 148.38/148.56 Changing weight limit from 30 to 31.
% 148.38/148.56
% 148.38/148.56 Resetting weight limit to 31 after 2850 givens.
% 148.38/148.56
% 148.38/148.58
% 148.38/148.58
% 148.38/148.58 Changing weight limit from 31 to 32.
% 148.38/148.58
% 148.38/148.58 Resetting weight limit to 32 after 2855 givens.
% 148.38/148.58
% 148.61/148.79
% 148.61/148.79
% 148.61/148.79 Changing weight limit from 32 to 31.
% 148.61/148.79
% 148.61/148.79 Resetting weight limit to 31 after 2870 givens.
% 148.61/148.79
% 148.61/148.80
% 148.61/148.80
% 148.61/148.80 Changing weight limit from 31 to 32.
% 148.61/148.80
% 148.61/148.80 Resetting weight limit to 32 after 2875 givens.
% 148.61/148.80
% 148.70/148.89
% 148.70/148.89
% 148.70/148.89 Changing weight limit from 32 to 30.
% 148.70/148.89
% 148.70/148.89 Resetting weight limit to 30 after 2880 givens.
% 148.70/148.89
% 148.82/149.02
% 148.82/149.02
% 148.82/149.02 Changing weight limit from 30 to 31.
% 148.82/149.02
% 148.82/149.02 Resetting weight limit to 31 after 2890 givens.
% 148.82/149.02
% 148.91/149.08
% 148.91/149.08
% 148.91/149.08 Changing weight limit from 31 to 30.
% 148.91/149.08
% 148.91/149.08 Resetting weight limit to 30 after 2895 givens.
% 148.91/149.08
% 149.66/149.82
% 149.66/149.82
% 149.66/149.82 Changing weight limit from 30 to 31.
% 149.66/149.82
% 149.66/149.82 Resetting weight limit to 31 after 2910 givens.
% 149.66/149.82
% 149.92/150.09
% 149.92/150.09
% 149.92/150.09 Changing weight limit from 31 to 30.
% 149.92/150.09
% 149.92/150.09 Resetting weight limit to 30 after 2915 givens.
% 149.92/150.09
% 150.22/150.39
% 150.22/150.39
% 150.22/150.39 Changing weight limit from 30 to 31.
% 150.22/150.39
% 150.22/150.39 Resetting weight limit to 31 after 2920 givens.
% 150.22/150.39
% 150.41/150.61
% 150.41/150.61
% 150.41/150.61 Changing weight limit from 31 to 32.
% 150.41/150.61
% 150.41/150.61 Resetting weight limit to 32 after 2925 givens.
% 150.41/150.61
% 150.68/150.85
% 150.68/150.85
% 150.68/150.85 Changing weight limit from 32 to 33.
% 150.68/150.85
% 150.68/150.85 Resetting weight limit to 33 after 2930 givens.
% 150.68/150.85
% 150.90/151.07
% 150.90/151.07
% 150.90/151.07 Changing weight limit from 33 to 34.
% 150.90/151.07
% 150.90/151.07 Resetting weight limit to 34 after 2935 givens.
% 150.90/151.07
% 151.54/151.73
% 151.54/151.73
% 151.54/151.73 Changing weight limit from 34 to 30.
% 151.54/151.73
% 151.54/151.73 Resetting weight limit to 30 after 2940 givens.
% 151.54/151.73
% 153.49/153.68
% 153.49/153.68
% 153.49/153.68 Changing weight limit from 30 to 31.
% 153.49/153.68
% 153.49/153.68 Resetting weight limit to 31 after 2960 givens.
% 153.49/153.68
% 153.80/154.01
% 153.80/154.01
% 153.80/154.01 Changing weight limit from 31 to 30.
% 153.80/154.01
% 153.80/154.01 Resetting weight limit to 30 after 2965 givens.
% 153.80/154.01
% 155.09/155.25
% 155.09/155.25
% 155.09/155.25 Changing weight limit from 30 to 31.
% 155.09/155.25
% 155.09/155.25 Resetting weight limit to 31 after 2985 givens.
% 155.09/155.25
% 155.24/155.40
% 155.24/155.40
% 155.24/155.40 Changing weight limit from 31 to 30.
% 155.24/155.40
% 155.24/155.40 Resetting weight limit to 30 after 2990 givens.
% 155.24/155.40
% 155.24/155.42
% 155.24/155.42
% 155.24/155.42 Changing weight limit from 30 to 31.
% 155.24/155.42
% 155.24/155.42 Resetting weight limit to 31 after 2995 givens.
% 155.24/155.42
% 155.24/155.45
% 155.24/155.45
% 155.24/155.45 Changing weight limit from 31 to 32.
% 155.24/155.45
% 155.24/155.45 Resetting weight limit to 32 after 3000 givens.
% 155.24/155.45
% 155.32/155.50
% 155.32/155.50
% 155.32/155.50 Changing weight limit from 32 to 33.
% 155.32/155.50
% 155.32/155.50 Resetting weight limit to 33 after 3005 givens.
% 155.32/155.50
% 155.36/155.54
% 155.36/155.54
% 155.36/155.54 Changing weight limit from 33 to 34.
% 155.36/155.54
% 155.36/155.54 Resetting weight limit to 34 after 3010 givens.
% 155.36/155.54
% 155.40/155.58
% 155.40/155.58
% 155.40/155.58 Changing weight limit from 34 to 35.
% 155.40/155.58
% 155.40/155.58 Resetting weight limit to 35 after 3015 givens.
% 155.40/155.58
% 156.06/156.25
% 156.06/156.25
% 156.06/156.25 Changing weight limit from 35 to 30.
% 156.06/156.25
% 156.06/156.25 Resetting weight limit to 30 after 3020 givens.
% 156.06/156.25
% 156.20/156.42
% 156.20/156.42
% 156.20/156.42 Changing weight limit from 30 to 31.
% 156.20/156.42
% 156.20/156.42 Resetting weight limit to 31 after 3025 givens.
% 156.20/156.42
% 156.29/156.46
% 156.29/156.46
% 156.29/156.46 Changing weight limit from 31 to 32.
% 156.29/156.46
% 156.29/156.46 Resetting weight limit to 32 after 3030 givens.
% 156.29/156.46
% 156.34/156.51
% 156.34/156.51
% 156.34/156.51 Changing weight limit from 32 to 33.
% 156.34/156.51
% 156.34/156.51 Resetting weight limit to 33 after 3035 givens.
% 156.34/156.51
% 156.60/156.78
% 156.60/156.78
% 156.60/156.78 Changing weight limit from 33 to 31.
% 156.60/156.78
% 156.60/156.78 Resetting weight limit to 31 after 3040 givens.
% 156.60/156.78
% 156.89/157.04
% 156.89/157.04
% 156.89/157.04 Changing weight limit from 31 to 32.
% 156.89/157.04
% 156.89/157.04 Resetting weight limit to 32 after 3045 givens.
% 156.89/157.04
% 156.89/157.09
% 156.89/157.09
% 156.89/157.09 Changing weight limit from 32 to 33.
% 156.89/157.09
% 156.89/157.09 Resetting weight limit to 33 after 3050 givens.
% 156.89/157.09
% 157.20/157.38
% 157.20/157.38
% 157.20/157.38 Changing weight limit from 33 to 34.
% 157.20/157.38
% 157.20/157.38 Resetting weight limit to 34 after 3055 givens.
% 157.20/157.38
% 157.50/157.65
% 157.50/157.65
% 157.50/157.65 Changing weight limit from 34 to 35.
% 157.50/157.65
% 157.50/157.65 Resetting weight limit to 35 after 3060 givens.
% 157.50/157.65
% 157.87/158.04
% 157.87/158.04
% 157.87/158.04 Changing weight limit from 35 to 33.
% 157.87/158.04
% 157.87/158.04 Resetting weight limit to 33 after 3070 givens.
% 157.87/158.04
% 158.17/158.33
% 158.17/158.33
% 158.17/158.33 Changing weight limit from 33 to 31.
% 158.17/158.33
% 158.17/158.33 Resetting weight limit to 31 after 3075 givens.
% 158.17/158.33
% 158.96/159.13
% 158.96/159.13
% 158.96/159.13 Changing weight limit from 31 to 32.
% 158.96/159.13
% 158.96/159.13 Resetting weight limit to 32 after 3090 givens.
% 158.96/159.13
% 159.02/159.18
% 159.02/159.18
% 159.02/159.18 Changing weight limit from 32 to 33.
% 159.02/159.18
% 159.02/159.18 Resetting weight limit to 33 after 3095 givens.
% 159.02/159.18
% 159.41/159.59
% 159.41/159.59
% 159.41/159.59 Changing weight limit from 33 to 34.
% 159.41/159.59
% 159.41/159.59 Resetting weight limit to 34 after 3100 givens.
% 159.41/159.59
% 159.46/159.63
% 159.46/159.63
% 159.46/159.63 Changing weight limit from 34 to 31.
% 159.46/159.63
% 159.46/159.63 Resetting weight limit to 31 after 3105 givens.
% 159.46/159.63
% 159.69/159.85
% 159.69/159.85
% 159.69/159.85 Changing weight limit from 31 to 32.
% 159.69/159.85
% 159.69/159.85 Resetting weight limit to 32 after 3110 givens.
% 159.69/159.85
% 159.69/159.88
% 159.69/159.88
% 159.69/159.88 Changing weight limit from 32 to 33.
% 159.69/159.88
% 159.69/159.88 Resetting weight limit to 33 after 3115 givens.
% 159.69/159.88
% 159.81/159.96
% 159.81/159.96
% 159.81/159.96 Changing weight limit from 33 to 32.
% 159.81/159.96
% 159.81/159.96 Resetting weight limit to 32 after 3120 givens.
% 159.81/159.96
% 159.91/160.14
% 159.91/160.14
% 159.91/160.14 Changing weight limit from 32 to 33.
% 159.91/160.14
% 159.91/160.14 Resetting weight limit to 33 after 3125 givens.
% 159.91/160.14
% 160.52/160.68
% 160.52/160.68
% 160.52/160.68 Changing weight limit from 33 to 34.
% 160.52/160.68
% 160.52/160.68 Resetting weight limit to 34 after 3130 givens.
% 160.52/160.68
% 160.68/160.83
% 160.68/160.83
% 160.68/160.83 Changing weight limit from 34 to 31.
% 160.68/160.83
% 160.68/160.83 Resetting weight limit to 31 after 3135 givens.
% 160.68/160.83
% 160.80/160.95
% 160.80/160.95
% 160.80/160.95 Changing weight limit from 31 to 32.
% 160.80/160.95
% 160.80/160.95 Resetting weight limit to 32 after 3140 givens.
% 160.80/160.95
% 161.20/161.36
% 161.20/161.36
% 161.20/161.36 Changing weight limit from 32 to 33.
% 161.20/161.36
% 161.20/161.36 Resetting weight limit to 33 after 3145 givens.
% 161.20/161.36
% 170.63/170.83
% 170.63/170.83
% 170.63/170.83 Changing weight limit from 33 to 31.
% 170.63/170.83
% 170.63/170.83 Resetting weight limit to 31 after 3150 givens.
% 170.63/170.83
% 170.75/170.89
% 170.75/170.89
% 170.75/170.89 Changing weight limit from 31 to 30.
% 170.75/170.89
% 170.75/170.89 Resetting weight limit to 30 after 3155 givens.
% 170.75/170.89
% 170.75/170.89
% 170.75/170.89
% 170.75/170.89 Changing weight limit from 30 to 31.
% 170.75/170.89
% 170.75/170.89 Resetting weight limit to 31 after 3160 givens.
% 170.75/170.89
% 171.59/171.76
% 171.59/171.76
% 171.59/171.76 Changing weight limit from 31 to 30.
% 171.59/171.76
% 171.59/171.76 Resetting weight limit to 30 after 3165 givens.
% 171.59/171.76
% 173.16/173.30
% 173.16/173.30
% 173.16/173.30 Changing weight limit from 30 to 31.
% 173.16/173.30
% 173.16/173.30 Resetting weight limit to 31 after 3180 givens.
% 173.16/173.30
% 173.16/173.33
% 173.16/173.33
% 173.16/173.33 Changing weight limit from 31 to 32.
% 173.16/173.33
% 173.16/173.33 Resetting weight limit to 32 after 3185 givens.
% 173.16/173.33
% 173.20/173.38
% 173.20/173.38
% 173.20/173.38 Changing weight limit from 32 to 33.
% 173.20/173.38
% 173.20/173.38 Resetting weight limit to 33 after 3190 givens.
% 173.20/173.38
% 173.20/173.38
% 173.20/173.38
% 173.20/173.38 Changing weight limit from 33 to 34.
% 173.20/173.38
% 173.20/173.38 Resetting weight limit to 34 after 3195 givens.
% 173.20/173.38
% 173.20/173.39
% 173.20/173.39
% 173.20/173.39 Changing weight limit from 34 to 35.
% 173.20/173.39
% 173.20/173.39 Resetting weight limit to 35 after 3200 givens.
% 173.20/173.39
% 173.20/173.41
% 173.20/173.41
% 173.20/173.41 Changing weight limit from 35 to 36.
% 173.20/173.41
% 173.20/173.41 Resetting weight limit to 36 after 3205 givens.
% 173.20/173.41
% 173.20/173.41
% 173.20/173.41
% 173.20/173.41 Changing weight limit from 36 to 37.
% 173.20/173.41
% 173.20/173.41 Resetting weight limit to 37 after 3210 givens.
% 173.20/173.41
% 173.51/173.70
% 173.51/173.70
% 173.51/173.70 Changing weight limit from 37 to 38.
% 173.51/173.70
% 173.51/173.70 Resetting weight limit to 38 after 3215 givens.
% 173.51/173.70
% 173.90/174.07
% 173.90/174.07
% 173.90/174.07 Changing weight limit from 38 to 39.
% 173.90/174.07
% 173.90/174.07 Resetting weight limit to 39 after 3220 givens.
% 173.90/174.07
% 174.04/174.24
% 174.04/174.24
% 174.04/174.24 Changing weight limit from 39 to 40.
% 174.04/174.24
% 174.04/174.24 Resetting weight limit to 40 after 3225 givens.
% 174.04/174.24
% 174.13/174.27
% 174.13/174.27
% 174.13/174.27 Changing weight limit from 40 to 41.
% 174.13/174.27
% 174.13/174.27 Resetting weight limit to 41 after 3230 givens.
% 174.13/174.27
% 174.15/174.30
% 174.15/174.30
% 174.15/174.30 Changing weight limit from 41 to 42.
% 174.15/174.30
% 174.15/174.30 Resetting weight limit to 42 after 3235 givens.
% 174.15/174.30
% 176.32/176.52
% 176.32/176.52
% 176.32/176.52 Changing weight limit from 42 to 35.
% 176.32/176.52
% 176.32/176.52 Resetting weight limit to 35 after 3240 givens.
% 176.32/176.52
% 176.56/176.71
% 176.56/176.71
% 176.56/176.71 Changing weight limit from 35 to 36.
% 176.56/176.71
% 176.56/176.71 Resetting weight limit to 36 after 3250 givens.
% 176.56/176.71
% 176.56/176.73
% 176.56/176.73
% 176.56/176.73 Changing weight limit from 36 to 37.
% 176.56/176.73
% 176.56/176.73 Resetting weight limit to 37 after 3255 givens.
% 176.56/176.73
% 176.61/176.78
% 176.61/176.78
% 176.61/176.78 Changing weight limit from 37 to 35.
% 176.61/176.78
% 176.61/176.78 Resetting weight limit to 35 after 3260 givens.
% 176.61/176.78
% 176.70/176.87
% 176.70/176.87
% 176.70/176.87 Changing weight limit from 35 to 34.
% 176.70/176.87
% 176.70/176.87 Resetting weight limit to 34 after 3265 givens.
% 176.70/176.87
% 176.91/177.09
% 176.91/177.09
% 176.91/177.09 Changing weight limit from 34 to 33.
% 176.91/177.09
% 176.91/177.09 Resetting weight limit to 33 after 3270 givens.
% 176.91/177.09
% 177.08/177.24
% 177.08/177.24
% 177.08/177.24 Changing weight limit from 33 to 34.
% 177.08/177.24
% 177.08/177.24 Resetting weight limit to 34 after 3280 givens.
% 177.08/177.24
% 177.13/177.27
% 177.13/177.27
% 177.13/177.27 Changing weight limit from 34 to 35.
% 177.13/177.27
% 177.13/177.27 Resetting weight limit to 35 after 3285 givens.
% 177.13/177.27
% 177.13/177.29
% 177.13/177.29
% 177.13/177.29 Changing weight limit from 35 to 36.
% 177.13/177.29
% 177.13/177.29 Resetting weight limit to 36 after 3290 givens.
% 177.13/177.29
% 177.13/177.30
% 177.13/177.30
% 177.13/177.30 Changing weight limit from 36 to 37.
% 177.13/177.30
% 177.13/177.30 Resetting weight limit to 37 after 3295 givens.
% 177.13/177.30
% 177.13/177.34
% 177.13/177.34
% 177.13/177.34 Changing weight limit from 37 to 38.
% 177.13/177.34
% 177.13/177.34 Resetting weight limit to 38 after 3300 givens.
% 177.13/177.34
% 177.25/177.40
% 177.25/177.40
% 177.25/177.40 Changing weight limit from 38 to 39.
% 177.25/177.40
% 177.25/177.40 Resetting weight limit to 39 after 3305 givens.
% 177.25/177.40
% 177.43/177.60
% 177.43/177.60
% 177.43/177.60 Changing weight limit from 39 to 32.
% 177.43/177.60
% 177.43/177.60 Resetting weight limit to 32 after 3310 givens.
% 177.43/177.60
% 177.43/177.60
% 177.43/177.60
% 177.43/177.60 Changing weight limit from 32 to 33.
% 177.43/177.60
% 177.43/177.60 Resetting weight limit to 33 after 3315 givens.
% 177.43/177.60
% 177.43/177.64
% 177.43/177.64
% 177.43/177.64 Changing weight limit from 33 to 34.
% 177.43/177.64
% 177.43/177.64 Resetting weight limit to 34 after 3320 givens.
% 177.43/177.64
% 177.73/177.93
% 177.73/177.93
% 177.73/177.93 Changing weight limit from 34 to 32.
% 177.73/177.93
% 177.73/177.93 Resetting weight limit to 32 after 3325 givens.
% 177.73/177.93
% 178.23/178.39
% 178.23/178.39
% 178.23/178.39 Changing weight limit from 32 to 31.
% 178.23/178.39
% 178.23/178.39 Resetting weight limit to 31 after 3335 givens.
% 178.23/178.39
% 178.23/178.42
% 178.23/178.42
% 178.23/178.42 Changing weight limit from 31 to 32.
% 178.23/178.42
% 178.23/178.42 Resetting weight limit to 32 after 3340 givens.
% 178.23/178.42
% 178.31/178.45
% 178.31/178.45
% 178.31/178.45 Changing weight limit from 32 to 33.
% 178.31/178.45
% 178.31/178.45 Resetting weight limit to 33 after 3345 givens.
% 178.31/178.45
% 178.31/178.49
% 178.31/178.49
% 178.31/178.49 Changing weight limit from 33 to 34.
% 178.31/178.49
% 178.31/178.49 Resetting weight limit to 34 after 3350 givens.
% 178.31/178.49
% 178.60/178.73
% 178.60/178.73
% 178.60/178.73 Changing weight limit from 34 to 31.
% 178.60/178.73
% 178.60/178.73 Resetting weight limit to 31 after 3355 givens.
% 178.60/178.73
% 178.62/178.79
% 178.62/178.79
% 178.62/178.79 Changing weight limit from 31 to 32.
% 178.62/178.79
% 178.62/178.79 Resetting weight limit to 32 after 3360 givens.
% 178.62/178.79
% 178.75/178.88
% 178.75/178.88
% 178.75/178.88 Changing weight limit from 32 to 31.
% 178.75/178.88
% 178.75/178.88 Resetting weight limit to 31 after 3365 givens.
% 178.75/178.88
% 178.82/178.96
% 178.82/178.96
% 178.82/178.96 Changing weight limit from 31 to 30.
% 178.82/178.96
% 178.82/178.96 Resetting weight limit to 30 after 3370 givens.
% 178.82/178.96
% 178.90/179.10
% 178.90/179.10
% 178.90/179.10 Changing weight limit from 30 to 31.
% 178.90/179.10
% 178.90/179.10 Resetting weight limit to 31 after 3380 givens.
% 178.90/179.10
% 178.98/179.15
% 178.98/179.15
% 178.98/179.15 Changing weight limit from 31 to 32.
% 178.98/179.15
% 178.98/179.15 Resetting weight limit to 32 after 3385 givens.
% 178.98/179.15
% 179.14/179.27
% 179.14/179.27
% 179.14/179.27 Changing weight limit from 32 to 33.
% 179.14/179.27
% 179.14/179.27 Resetting weight limit to 33 after 3390 givens.
% 179.14/179.27
% 179.17/179.34
% 179.17/179.34
% 179.17/179.34 Changing weight limit from 33 to 34.
% 179.17/179.34
% 179.17/179.34 Resetting weight limit to 34 after 3395 givens.
% 179.17/179.34
% 192.45/192.59
% 192.45/192.59
% 192.45/192.59 Changing weight limit from 34 to 35.
% 192.45/192.59
% 192.45/192.59 Resetting weight limit to 35 after 3400 givens.
% 192.45/192.59
% 207.78/207.94
% 207.78/207.94
% 207.78/207.94 Changing weight limit from 35 to 36.
% 207.78/207.94
% 207.78/207.94 Resetting weight limit to 36 after 3405 givens.
% 207.78/207.94
% 208.04/208.21
% 208.04/208.21
% 208.04/208.21 Changing weight limit from 36 to 35.
% 208.04/208.21
% 208.04/208.21 Resetting weight limit to 35 after 3410 givens.
% 208.04/208.21
% 208.29/208.43
% 208.29/208.43
% 208.29/208.43 Changing weight limit from 35 to 31.
% 208.29/208.43
% 208.29/208.43 Resetting weight limit to 31 after 3415 givens.
% 208.29/208.43
% 208.43/208.60
% 208.43/208.60
% 208.43/208.60 Changing weight limit from 31 to 32.
% 208.43/208.60
% 208.43/208.60 Resetting weight limit to 32 after 3420 givens.
% 208.43/208.60
% 208.43/208.63
% 208.43/208.63
% 208.43/208.63 Changing weight limit from 32 to 33.
% 208.43/208.63
% 208.43/208.63 Resetting weight limit to 33 after 3425 givens.
% 208.43/208.63
% 208.52/208.66
% 208.52/208.66
% 208.52/208.66 Changing weight limit from 33 to 34.
% 208.52/208.66
% 208.52/208.66 Resetting weight limit to 34 after 3430 givens.
% 208.52/208.66
% 208.64/208.80
% 208.64/208.80
% 208.64/208.80 Changing weight limit from 34 to 35.
% 208.64/208.80
% 208.64/208.80 Resetting weight limit to 35 after 3435 givens.
% 208.64/208.80
% 209.03/209.17
% 209.03/209.17
% 209.03/209.17 Changing weight limit from 35 to 32.
% 209.03/209.17
% 209.03/209.17 Resetting weight limit to 32 after 3440 givens.
% 209.03/209.17
% 211.24/211.42
% 211.24/211.42
% 211.24/211.42 Changing weight limit from 32 to 33.
% 211.24/211.42
% 211.24/211.42 Resetting weight limit to 33 after 3445 givens.
% 211.24/211.42
% 211.50/211.66
% 211.50/211.66
% 211.50/211.66 Changing weight limit from 33 to 32.
% 211.50/211.66
% 211.50/211.66 Resetting weight limit to 32 after 3450 givens.
% 211.50/211.66
% 214.49/214.65
% 214.49/214.65
% 214.49/214.65 Changing weight limit from 32 to 33.
% 214.49/214.65
% 214.49/214.65 Resetting weight limit to 33 after 3460 givens.
% 214.49/214.65
% 216.22/216.39
% 216.22/216.39
% 216.22/216.39 Changing weight limit from 33 to 34.
% 216.22/216.39
% 216.22/216.39 Resetting weight limit to 34 after 3465 givens.
% 216.22/216.39
% 216.88/217.04
% 216.88/217.04
% 216.88/217.04 Changing weight limit from 34 to 32.
% 216.88/217.04
% 216.88/217.04 Resetting weight limit to 32 after 3470 givens.
% 216.88/217.04
% 217.10/217.31
% 217.10/217.31
% 217.10/217.31 Changing weight limit from 32 to 33.
% 217.10/217.31
% 217.10/217.31 Resetting weight limit to 33 after 3475 givens.
% 217.10/217.31
% 217.60/217.75
% 217.60/217.75
% 217.60/217.75 Changing weight limit from 33 to 31.
% 217.60/217.75
% 217.60/217.75 Resetting weight limit to 31 after 3480 givens.
% 217.60/217.75
% 217.62/217.79
% 217.62/217.79
% 217.62/217.79 Changing weight limit from 31 to 32.
% 217.62/217.79
% 217.62/217.79 Resetting weight limit to 32 after 3485 givens.
% 217.62/217.79
% 217.68/217.82
% 217.68/217.82
% 217.68/217.82 Changing weight limit from 32 to 33.
% 217.68/217.82
% 217.68/217.82 Resetting weight limit to 33 after 3490 givens.
% 217.68/217.82
% 223.02/223.17
% 223.02/223.17
% 223.02/223.17 Changing weight limit from 33 to 34.
% 223.02/223.17
% 223.02/223.17 Resetting weight limit to 34 after 3505 givens.
% 223.02/223.17
% 223.06/223.23
% 223.06/223.23
% 223.06/223.23 Changing weight limit from 34 to 35.
% 223.06/223.23
% 223.06/223.23 Resetting weight limit to 35 after 3510 givens.
% 223.06/223.23
% 223.11/223.29
% 223.11/223.29
% 223.11/223.29 Changing weight limit from 35 to 34.
% 223.11/223.29
% 223.11/223.29 Resetting weight limit to 34 after 3515 givens.
% 223.11/223.29
% 223.40/223.56
% 223.40/223.56
% 223.40/223.56 Changing weight limit from 34 to 35.
% 223.40/223.56
% 223.40/223.56 Resetting weight limit to 35 after 3520 givens.
% 223.40/223.56
% 223.42/223.61
% 223.42/223.61
% 223.42/223.61 Changing weight limit from 35 to 36.
% 223.42/223.61
% 223.42/223.61 Resetting weight limit to 36 after 3525 givens.
% 223.42/223.61
% 223.48/223.65
% 223.48/223.65
% 223.48/223.65 Changing weight limit from 36 to 37.
% 223.48/223.65
% 223.48/223.65 Resetting weight limit to 37 after 3530 givens.
% 223.48/223.65
% 223.54/223.72
% 223.54/223.72
% 223.54/223.72 Changing weight limit from 37 to 38.
% 223.54/223.72
% 223.54/223.72 Resetting weight limit to 38 after 3535 givens.
% 223.54/223.72
% 223.64/223.80
% 223.64/223.80
% 223.64/223.80 Changing weight limit from 38 to 35.
% 223.64/223.80
% 223.64/223.80 Resetting weight limit to 35 after 3540 givens.
% 223.64/223.80
% 225.30/225.48
% 225.30/225.48
% 225.30/225.48 Changing weight limit from 35 to 31.
% 225.30/225.48
% 225.30/225.48 Resetting weight limit to 31 after 3550 givens.
% 225.30/225.48
% 225.30/225.50
% 225.30/225.50
% 225.30/225.50 Changing weight limit from 31 to 32.
% 225.30/225.50
% 225.30/225.50 Resetting weight limit to 32 after 3555 givens.
% 225.30/225.50
% 225.44/225.61
% 225.44/225.61
% 225.44/225.61 Changing weight limit from 32 to 30.
% 225.44/225.61
% 225.44/225.61 Resetting weight limit to 30 after 3560 givens.
% 225.44/225.61
% 225.44/225.62
% 225.44/225.62
% 225.44/225.62 Changing weight limit from 30 to 31.
% 225.44/225.62
% 225.44/225.62 Resetting weight limit to 31 after 3565 givens.
% 225.44/225.62
% 225.58/225.72
% 225.58/225.72
% 225.58/225.72 Changing weight limit from 31 to 30.
% 225.58/225.72
% 225.58/225.72 Resetting weight limit to 30 after 3570 givens.
% 225.58/225.72
% 225.62/225.79
% 225.62/225.79
% 225.62/225.79 Changing weight limit from 30 to 31.
% 225.62/225.79
% 225.62/225.79 Resetting weight limit to 31 after 3575 givens.
% 225.62/225.79
% 225.70/225.86
% 225.70/225.86
% 225.70/225.86 Changing weight limit from 31 to 30.
% 225.70/225.86
% 225.70/225.86 Resetting weight limit to 30 after 3580 givens.
% 225.70/225.86
% 225.91/226.08
% 225.91/226.08
% 225.91/226.08 Changing weight limit from 30 to 31.
% 225.91/226.08
% 225.91/226.08 Resetting weight limit to 31 after 3595 givens.
% 225.91/226.08
% 225.91/226.10
% 225.91/226.10
% 225.91/226.10 Changing weight limit from 31 to 32.
% 225.91/226.10
% 225.91/226.10 Resetting weight limit to 32 after 3600 givens.
% 225.91/226.10
% 226.00/226.15
% 226.00/226.15
% 226.00/226.15 Changing weight limit from 32 to 33.
% 226.00/226.15
% 226.00/226.15 Resetting weight limit to 33 after 3605 givens.
% 226.00/226.15
% 226.06/226.21
% 226.06/226.21
% 226.06/226.21 Changing weight limit from 33 to 34.
% 226.06/226.21
% 226.06/226.21 Resetting weight limit to 34 after 3610 givens.
% 226.06/226.21
% 226.18/226.32
% 226.18/226.32
% 226.18/226.32 Changing weight limit from 34 to 33.
% 226.18/226.32
% 226.18/226.32 Resetting weight limit to 33 after 3615 givens.
% 226.18/226.32
% 226.22/226.36
% 226.22/226.36
% 226.22/226.36 Changing weight limit from 33 to 34.
% 226.22/226.36
% 226.22/226.36 Resetting weight limit to 34 after 3620 givens.
% 226.22/226.36
% 226.22/226.40
% 226.22/226.40
% 226.22/226.40 Changing weight limit from 34 to 33.
% 226.22/226.40
% 226.22/226.40 Resetting weight limit to 33 after 3625 givens.
% 226.22/226.40
% 226.53/226.74
% 226.53/226.74
% 226.53/226.74 Changing weight limit from 33 to 32.
% 226.53/226.74
% 226.53/226.74 Resetting weight limit to 32 after 3630 givens.
% 226.53/226.74
% 226.73/226.88
% 226.73/226.88
% 226.73/226.88 Changing weight limit from 32 to 33.
% 226.73/226.88
% 226.73/226.88 Resetting weight limit to 33 after 3640 givens.
% 226.73/226.88
% 230.21/230.38
% 230.21/230.38
% 230.21/230.38 Changing weight limit from 33 to 34.
% 230.21/230.38
% 230.21/230.38 Resetting weight limit to 34 after 3645 givens.
% 230.21/230.38
% 232.21/232.39
% 232.21/232.39
% 232.21/232.39 Changing weight limit from 34 to 35.
% 232.21/232.39
% 232.21/232.39 Resetting weight limit to 35 after 3650 givens.
% 232.21/232.39
% 232.36/232.54
% 232.36/232.54
% 232.36/232.54 Changing weight limit from 35 to 36.
% 232.36/232.54
% 232.36/232.54 Resetting weight limit to 36 after 3655 givens.
% 232.36/232.54
% 233.03/233.17
% 233.03/233.17
% 233.03/233.17 Changing weight limit from 36 to 30.
% 233.03/233.17
% 233.03/233.17 Resetting weight limit to 30 after 3660 givens.
% 233.03/233.17
% 233.03/233.17
% 233.03/233.17
% 233.03/233.17 Changing weight limit from 30 to 31.
% 233.03/233.17
% 233.03/233.17 Resetting weight limit to 31 after 3665 givens.
% 233.03/233.17
% 233.09/233.22
% 233.09/233.22
% 233.09/233.22 Changing weight limit from 31 to 32.
% 233.09/233.22
% 233.09/233.22 Resetting weight limit to 32 after 3670 givens.
% 233.09/233.22
% 233.27/233.40
% 233.27/233.40
% 233.27/233.40 Changing weight limit from 32 to 30.
% 233.27/233.40
% 233.27/233.40 Resetting weight limit to 30 after 3675 givens.
% 233.27/233.40
% 233.43/233.56
% 233.43/233.56
% 233.43/233.56 Changing weight limit from 30 to 31.
% 233.43/233.56
% 233.43/233.56 Resetting weight limit to 31 after 3685 givens.
% 233.43/233.56
% 233.43/233.58
% 233.43/233.58
% 233.43/233.58 Changing weight limit from 31 to 32.
% 233.43/233.58
% 233.43/233.58 Resetting weight limit to 32 after 3690 givens.
% 233.43/233.58
% 233.43/233.62
% 233.43/233.62
% 233.43/233.62 Changing weight limit from 32 to 33.
% 233.43/233.62
% 233.43/233.62 Resetting weight limit to 33 after 3695 givens.
% 233.43/233.62
% 233.43/233.65
% 233.43/233.65
% 233.43/233.65 Changing weight limit from 33 to 34.
% 233.43/233.65
% 233.43/233.65 Resetting weight limit to 34 after 3700 givens.
% 233.43/233.65
% 233.57/233.73
% 233.57/233.73
% 233.57/233.73 Changing weight limit from 34 to 35.
% 233.57/233.73
% 233.57/233.73 Resetting weight limit to 35 after 3705 givens.
% 233.57/233.73
% 235.82/235.99
% 235.82/235.99
% 235.82/235.99 Changing weight limit from 35 to 33.
% 235.82/235.99
% 235.82/235.99 Resetting weight limit to 33 after 3710 givens.
% 235.82/235.99
% 236.26/236.40
% 236.26/236.40
% 236.26/236.40 Changing weight limit from 33 to 34.
% 236.26/236.40
% 236.26/236.40 Resetting weight limit to 34 after 3715 givens.
% 236.26/236.40
% 237.12/237.28
% 237.12/237.28
% 237.12/237.28 Changing weight limit from 34 to 35.
% 237.12/237.28
% 237.12/237.28 Resetting weight limit to 35 after 3725 givens.
% 237.12/237.28
% 237.15/237.30
% 237.15/237.30
% 237.15/237.30 Changing weight limit from 35 to 36.
% 237.15/237.30
% 237.15/237.30 Resetting weight limit to 36 after 3730 givens.
% 237.15/237.30
% 237.21/237.36
% 237.21/237.36
% 237.21/237.36 Changing weight limit from 36 to 35.
% 237.21/237.36
% 237.21/237.36 Resetting weight limit to 35 after 3735 givens.
% 237.21/237.36
% 237.60/237.77
% 237.60/237.77
% 237.60/237.77 Changing weight limit from 35 to 34.
% 237.60/237.77
% 237.60/237.77 Resetting weight limit to 34 after 3740 givens.
% 237.60/237.77
% 237.64/237.78
% 237.64/237.78
% 237.64/237.78 Changing weight limit from 34 to 35.
% 237.64/237.78
% 237.64/237.78 Resetting weight limit to 35 after 3745 givens.
% 237.64/237.78
% 237.94/238.11
% 237.94/238.11
% 237.94/238.11 Changing weight limit from 35 to 31.
% 237.94/238.11
% 237.94/238.11 Resetting weight limit to 31 after 3750 givens.
% 237.94/238.11
% 237.94/238.13
% 237.94/238.13
% 237.94/238.13 Changing weight limit from 31 to 32.
% 237.94/238.13
% 237.94/238.13 Resetting weight limit to 32 after 3755 givens.
% 237.94/238.13
% 238.01/238.15
% 238.01/238.15
% 238.01/238.15 Changing weight limit from 32 to 33.
% 238.01/238.15
% 238.01/238.15 Resetting weight limit to 33 after 3760 givens.
% 238.01/238.15
% 238.01/238.17
% 238.01/238.17
% 238.01/238.17 Changing weight limit from 33 to 34.
% 238.01/238.17
% 238.01/238.17 Resetting weight limit to 34 after 3765 givens.
% 238.01/238.17
% 238.05/238.19
% 238.05/238.19
% 238.05/238.19 Changing weight limit from 34 to 35.
% 238.05/238.19
% 238.05/238.19 Resetting weight limit to 35 after 3770 givens.
% 238.05/238.19
% 238.05/238.22
% 238.05/238.22
% 238.05/238.22 Changing weight limit from 35 to 36.
% 238.05/238.22
% 238.05/238.22 Resetting weight limit to 36 after 3775 givens.
% 238.05/238.22
% 238.15/238.32
% 238.15/238.32
% 238.15/238.32 Changing weight limit from 36 to 37.
% 238.15/238.32
% 238.15/238.32 Resetting weight limit to 37 after 3780 givens.
% 238.15/238.32
% 238.51/238.63
% 238.51/238.63
% 238.51/238.63 Changing weight limit from 37 to 35.
% 238.51/238.63
% 238.51/238.63 Resetting weight limit to 35 after 3785 givens.
% 238.51/238.63
% 238.66/238.78
% 238.66/238.78
% 238.66/238.78 Changing weight limit from 35 to 32.
% 238.66/238.78
% 238.66/238.78 Resetting weight limit to 32 after 3790 givens.
% 238.66/238.78
% 238.73/238.86
% 238.73/238.86
% 238.73/238.86 Changing weight limit from 32 to 33.
% 238.73/238.86
% 238.73/238.86 Resetting weight limit to 33 after 3800 givens.
% 238.73/238.86
% 238.81/238.95
% 238.81/238.95
% 238.81/238.95 Changing weight limit from 33 to 34.
% 238.81/238.95
% 238.81/238.95 Resetting weight limit to 34 after 3805 givens.
% 238.81/238.95
% 238.81/238.99
% 238.81/238.99
% 238.81/238.99 Changing weight limit from 34 to 35.
% 238.81/238.99
% 238.81/238.99 Resetting weight limit to 35 after 3810 givens.
% 238.81/238.99
% 239.05/239.20
% 239.05/239.20
% 239.05/239.20 Changing weight limit from 35 to 36.
% 239.05/239.20
% 239.05/239.20 Resetting weight limit to 36 after 3815 givens.
% 239.05/239.20
% 239.21/239.39
% 239.21/239.39
% 239.21/239.39 Changing weight limit from 36 to 37.
% 239.21/239.39
% 239.21/239.39 Resetting weight limit to 37 after 3820 givens.
% 239.21/239.39
% 240.03/240.18
% 240.03/240.18
% 240.03/240.18 Changing weight limit from 37 to 32.
% 240.03/240.18
% 240.03/240.18 Resetting weight limit to 32 after 3825 givens.
% 240.03/240.18
% 240.43/240.57
% 240.43/240.57
% 240.43/240.57 Changing weight limit from 32 to 33.
% 240.43/240.57
% 240.43/240.57 Resetting weight limit to 33 after 3835 givens.
% 240.43/240.57
% 240.74/240.95
% 240.74/240.95
% 240.74/240.95 Changing weight limit from 33 to 34.
% 240.74/240.95
% 240.74/240.95 Resetting weight limit to 34 after 3840 givens.
% 240.74/240.95
% 240.91/241.09
% 240.91/241.09
% 240.91/241.09 Changing weight limit from 34 to 35.
% 240.91/241.09
% 240.91/241.09 Resetting weight limit to 35 after 3845 givens.
% 240.91/241.09
% 241.15/241.29
% 241.15/241.29
% 241.15/241.29 Changing weight limit from 35 to 32.
% 241.15/241.29
% 241.15/241.29 Resetting weight limit to 32 after 3850 givens.
% 241.15/241.29
% 241.15/241.31
% 241.15/241.31
% 241.15/241.31 Changing weight limit from 32 to 33.
% 241.15/241.31
% 241.15/241.31 Resetting weight limit to 33 after 3855 givens.
% 241.15/241.31
% 241.60/241.73
% 241.60/241.73
% 241.60/241.73 Changing weight limit from 33 to 32.
% 241.60/241.73
% 241.60/241.73 Resetting weight limit to 32 after 3860 givens.
% 241.60/241.73
% 241.92/242.07
% 241.92/242.07
% 241.92/242.07 Changing weight limit from 32 to 31.
% 241.92/242.07
% 241.92/242.07 Resetting weight limit to 31 after 3865 givens.
% 241.92/242.07
% 241.92/242.09
% 241.92/242.09
% 241.92/242.09 Changing weight limit from 31 to 32.
% 241.92/242.09
% 241.92/242.09 Resetting weight limit to 32 after 3870 givens.
% 241.92/242.09
% 242.30/242.46
% 242.30/242.46
% 242.30/242.46 Changing weight limit from 32 to 33.
% 242.30/242.46
% 242.30/242.46 Resetting weight limit to 33 after 3875 givens.
% 242.30/242.46
% 242.83/243.03
% 242.83/243.03
% 242.83/243.03 Changing weight limit from 33 to 30.
% 242.83/243.03
% 242.83/243.03 Resetting weight limit to 30 after 3880 givens.
% 242.83/243.03
% 242.83/243.03
% 242.83/243.03
% 242.83/243.03 Changing weight limit from 30 to 31.
% 242.83/243.03
% 242.83/243.03 Resetting weight limit to 31 after 3885 givens.
% 242.83/243.03
% 243.21/243.43
% 243.21/243.43
% 243.21/243.43 Changing weight limit from 31 to 32.
% 243.21/243.43
% 243.21/243.43 Resetting weight limit to 32 after 3890 givens.
% 243.21/243.43
% 244.55/244.72
% 244.55/244.72
% 244.55/244.72 Changing weight limit from 32 to 30.
% 244.55/244.72
% 244.55/244.72 Resetting weight limit to 30 after 3895 givens.
% 244.55/244.72
% 244.60/244.74
% 244.60/244.74
% 244.60/244.74 Changing weight limit from 30 to 31.
% 244.60/244.74
% 244.60/244.74 Resetting weight limit to 31 after 3900 givens.
% 244.60/244.74
% 244.85/245.04
% 244.85/245.04
% 244.85/245.04 Changing weight limit from 31 to 32.
% 244.85/245.04
% 244.85/245.04 Resetting weight limit to 32 after 3905 givens.
% 244.85/245.04
% 245.20/245.35
% 245.20/245.35
% 245.20/245.35 Changing weight limit from 32 to 33.
% 245.20/245.35
% 245.20/245.35 Resetting weight limit to 33 after 3910 givens.
% 245.20/245.35
% 245.24/245.40
% 245.24/245.40
% 245.24/245.40 Changing weight limit from 33 to 34.
% 245.24/245.40
% 245.24/245.40 Resetting weight limit to 34 after 3915 givens.
% 245.24/245.40
% 245.61/245.74
% 245.61/245.74
% 245.61/245.74 Changing weight limit from 34 to 35.
% 245.61/245.74
% 245.61/245.74 Resetting weight limit to 35 after 3920 givens.
% 245.61/245.74
% 246.35/246.53
% 246.35/246.53
% 246.35/246.53 Changing weight limit from 35 to 31.
% 246.35/246.53
% 246.35/246.53 Resetting weight limit to 31 after 3925 givens.
% 246.35/246.53
% 246.52/246.66
% 246.52/246.66
% 246.52/246.66 Changing weight limit from 31 to 32.
% 246.52/246.66
% 246.52/246.66 Resetting weight limit to 32 after 3935 givens.
% 246.52/246.66
% 246.52/246.72
% 246.52/246.72
% 246.52/246.72 Changing weight limit from 32 to 33.
% 246.52/246.72
% 246.52/246.72 Resetting weight limit to 33 after 3940 givens.
% 246.52/246.72
% 246.60/246.78
% 246.60/246.78
% 246.60/246.78 Changing weight limit from 33 to 34.
% 246.60/246.78
% 246.60/246.78 Resetting weight limit to 34 after 3945 givens.
% 246.60/246.78
% 246.66/246.85
% 246.66/246.85
% 246.66/246.85 Changing weight limit from 34 to 35.
% 246.66/246.85
% 246.66/246.85 Resetting weight limit to 35 after 3950 givens.
% 246.66/246.85
% 246.78/246.91
% 246.78/246.91
% 246.78/246.91 Changing weight limit from 35 to 36.
% 246.78/246.91
% 246.78/246.91 Resetting weight limit to 36 after 3955 givens.
% 246.78/246.91
% 246.81/246.95
% 246.81/246.95
% 246.81/246.95 Changing weight limit from 36 to 34.
% 246.81/246.95
% 246.81/246.95 Resetting weight limit to 34 after 3960 givens.
% 246.81/246.95
% 246.81/247.00
% 246.81/247.00
% 246.81/247.00 Changing weight limit from 34 to 33.
% 246.81/247.00
% 246.81/247.00 Resetting weight limit to 33 after 3965 givens.
% 246.81/247.00
% 247.75/247.92
% 247.75/247.92
% 247.75/247.92 Changing weight limit from 33 to 32.
% 247.75/247.92
% 247.75/247.92 Resetting weight limit to 32 after 3975 givens.
% 247.75/247.92
% 247.85/247.98
% 247.85/247.98
% 247.85/247.98 Changing weight limit from 32 to 33.
% 247.85/247.98
% 247.85/247.98 Resetting weight limit to 33 after 3980 givens.
% 247.85/247.98
% 247.90/248.03
% 247.90/248.03
% 247.90/248.03 Changing weight limit from 33 to 34.
% 247.90/248.03
% 247.90/248.03 Resetting weight limit to 34 after 3985 givens.
% 247.90/248.03
% 248.15/248.29
% 248.15/248.29
% 248.15/248.29 Changing weight limit from 34 to 35.
% 248.15/248.29
% 248.15/248.29 Resetting weight limit to 35 after 3990 givens.
% 248.15/248.29
% 248.43/248.56
% 248.43/248.56
% 248.43/248.56 Changing weight limit from 35 to 31.
% 248.43/248.56
% 248.43/248.56 Resetting weight limit to 31 after 3995 givens.
% 248.43/248.56
% 248.93/249.08
% 248.93/249.08
% 248.93/249.08 Changing weight limit from 31 to 32.
% 248.93/249.08
% 248.93/249.08 Resetting weight limit to 32 after 4005 givens.
% 248.93/249.08
% 248.93/249.09
% 248.93/249.09
% 248.93/249.09 Changing weight limit from 32 to 33.
% 248.93/249.09
% 248.93/249.09 Resetting weight limit to 33 after 4010 givens.
% 248.93/249.09
% 249.17/249.31
% 249.17/249.31
% 249.17/249.31 Changing weight limit from 33 to 31.
% 249.17/249.31
% 249.17/249.31 Resetting weight limit to 31 after 4020 givens.
% 249.17/249.31
% 249.24/249.40
% 249.24/249.40
% 249.24/249.40 Changing weight limit from 31 to 30.
% 249.24/249.40
% 249.24/249.40 Resetting weight limit to 30 after 4025 givens.
% 249.24/249.40
% 249.51/249.63
% 249.51/249.63
% 249.51/249.63 Changing weight limit from 30 to 31.
% 249.51/249.63
% 249.51/249.63 Resetting weight limit to 31 after 4030 givens.
% 249.51/249.63
% 249.74/249.86
% 249.74/249.86
% 249.74/249.86 Changing weight limit from 31 to 32.
% 249.74/249.86
% 249.74/249.86 Resetting weight limit to 32 after 4035 givens.
% 249.74/249.86
% 249.76/249.89
% 249.76/249.89
% 249.76/249.89 Changing weight limit from 32 to 33.
% 249.76/249.89
% 249.76/249.89 Resetting weight limit to 33 after 4040 givens.
% 249.76/249.89
% 249.80/249.93
% 249.80/249.93
% 249.80/249.93 Changing weight limit from 33 to 34.
% 249.80/249.93
% 249.80/249.93 Resetting weight limit to 34 after 4045 givens.
% 249.80/249.93
% 252.42/252.57
% 252.42/252.57
% 252.42/252.57 Changing weight limit from 34 to 31.
% 252.42/252.57
% 252.42/252.57 Resetting weight limit to 31 after 4050 givens.
% 252.42/252.57
% 252.47/252.61
% 252.47/252.61
% 252.47/252.61 Changing weight limit from 31 to 32.
% 252.47/252.61
% 252.47/252.61 Resetting weight limit to 32 after 4055 givens.
% 252.47/252.61
% 252.61/252.73
% 252.61/252.73
% 252.61/252.73 Changing weight limit from 32 to 30.
% 252.61/252.73
% 252.61/252.73 Resetting weight limit to 30 after 4060 givens.
% 252.61/252.73
% 274.33/274.45
% 274.33/274.45
% 274.33/274.45 Changing weight limit from 30 to 31.
% 274.33/274.45
% 274.33/274.45 Resetting weight limit to 31 after 4065 givens.
% 274.33/274.45
% 274.37/274.51
% 274.37/274.51
% 274.37/274.51 Changing weight limit from 31 to 32.
% 274.37/274.51
% 274.37/274.51 Resetting weight limit to 32 after 4070 givens.
% 274.37/274.51
% 274.43/274.59
% 274.43/274.59
% 274.43/274.59 Changing weight limit from 32 to 33.
% 274.43/274.59
% 274.43/274.59 Resetting weight limit to 33 after 4075 givens.
% 274.43/274.59
% 274.53/274.73
% 274.53/274.73
% 274.53/274.73 Changing weight limit from 33 to 30.
% 274.53/274.73
% 274.53/274.73 Resetting weight limit to 30 after 4080 givens.
% 274.53/274.73
% 274.63/274.77
% 274.63/274.77
% 274.63/274.77 Changing weight limit from 30 to 31.
% 274.63/274.77
% 274.63/274.77 Resetting weight limit to 31 after 4085 givens.
% 274.63/274.77
% 274.67/274.82
% 274.67/274.82
% 274.67/274.82 Changing weight limit from 31 to 32.
% 274.67/274.82
% 274.67/274.82 Resetting weight limit to 32 after 4090 givens.
% 274.67/274.82
% 274.73/274.86
% 274.73/274.86
% 274.73/274.86 Changing weight limit from 32 to 33.
% 274.73/274.86
% 274.73/274.86 Resetting weight limit to 33 after 4095 givens.
% 274.73/274.86
% 274.74/274.89
% 274.74/274.89
% 274.74/274.89 Changing weight limit from 33 to 34.
% 274.74/274.89
% 274.74/274.89 Resetting weight limit to 34 after 4100 givens.
% 274.74/274.89
% 274.83/275.00
% 274.83/275.00
% 274.83/275.00 Changing weight limit from 34 to 35.
% 274.83/275.00
% 274.83/275.00 Resetting weight limit to 35 after 4105 givens.
% 274.83/275.00
% 275.04/275.19
% 275.04/275.19
% 275.04/275.19 Changing weight limit from 35 to 32.
% 275.04/275.19
% 275.04/275.19 Resetting weight limit to 32 after 4110 givens.
% 275.04/275.19
% 275.36/275.51
% 275.36/275.51
% 275.36/275.51 Changing weight limit from 32 to 33.
% 275.36/275.51
% 275.36/275.51 Resetting weight limit to 33 after 4115 givens.
% 275.36/275.51
% 275.67/275.80
% 275.67/275.80
% 275.67/275.80 Changing weight limit from 33 to 34.
% 275.67/275.80
% 275.67/275.80 Resetting weight limit to 34 after 4120 givens.
% 275.67/275.80
% 275.81/275.93
% 275.81/275.93
% 275.81/275.93 Changing weight limit from 34 to 32.
% 275.81/275.93
% 275.81/275.93 Resetting weight limit to 32 after 4125 givens.
% 275.81/275.93
% 276.55/276.75
% 276.55/276.75
% 276.55/276.75 Changing weight limit from 32 to 33.
% 276.55/276.75
% 276.55/276.75 Resetting weight limit to 33 after 4140 givens.
% 276.55/276.75
% 278.07/278.23
% 278.07/278.23
% 278.07/278.23 Changing weight limit from 33 to 30.
% 278.07/278.23
% 278.07/278.23 Resetting weight limit to 30 after 4145 givens.
% 278.07/278.23
% 278.82/278.98
% 278.82/278.98
% 278.82/278.98 Changing weight limit from 30 to 31.
% 278.82/278.98
% 278.82/278.98 Resetting weight limit to 31 after 4150 givens.
% 278.82/278.98
% 279.95/280.13
% 279.95/280.13
% 279.95/280.13 Changing weight limit from 31 to 30.
% 279.95/280.13
% 279.95/280.13 Resetting weight limit to 30 after 4155 givens.
% 279.95/280.13
% 280.78/280.92
% 280.78/280.92
% 280.78/280.92 Changing weight limit from 30 to 31.
% 280.78/280.92
% 280.78/280.92 Resetting weight limit to 31 after 4160 givens.
% 280.78/280.92
% 280.83/281.00
% 280.83/281.00
% 280.83/281.00 Changing weight limit from 31 to 30.
% 280.83/281.00
% 280.83/281.00 Resetting weight limit to 30 after 4165 givens.
% 280.83/281.00
% 280.98/281.11
% 280.98/281.11
% 280.98/281.11 Changing weight limit from 30 to 31.
% 280.98/281.11
% 280.98/281.11 Resetting weight limit to 31 after 4175 givens.
% 280.98/281.11
% 280.98/281.12
% 280.98/281.12
% 280.98/281.12 Changing weight limit from 31 to 32.
% 280.98/281.12
% 280.98/281.12 Resetting weight limit to 32 after 4180 givens.
% 280.98/281.12
% 281.34/281.46
% 281.34/281.46
% 281.34/281.46 Changing weight limit from 32 to 33.
% 281.34/281.46
% 281.34/281.46 Resetting weight limit to 33 after 4185 givens.
% 281.34/281.46
% 281.71/281.84
% 281.71/281.84
% 281.71/281.84 Changing weight limit from 33 to 34.
% 281.71/281.84
% 281.71/281.84 Resetting weight limit to 34 after 4190 givens.
% 281.71/281.84
% 282.16/282.28
% 282.16/282.28
% 282.16/282.28 Changing weight limit from 34 to 35.
% 282.16/282.28
% 282.16/282.28 Resetting weight limit to 35 after 4195 givens.
% 282.16/282.28
% 282.89/283.01
% 282.89/283.01
% 282.89/283.01 Changing weight limit from 35 to 32.
% 282.89/283.01
% 282.89/283.01 Resetting weight limit to 32 after 4200 givens.
% 282.89/283.01
% 283.21/283.39
% 283.21/283.39
% 283.21/283.39 Changing weight limit from 32 to 33.
% 283.21/283.39
% 283.21/283.39 Resetting weight limit to 33 after 4205 givens.
% 283.21/283.39
% 283.59/283.73
% 283.59/283.73
% 283.59/283.73 Changing weight limit from 33 to 34.
% 283.59/283.73
% 283.59/283.73 Resetting weight limit to 34 after 4210 givens.
% 283.59/283.73
% 283.94/284.10
% 283.94/284.10
% 283.94/284.10 Changing weight limit from 34 to 35.
% 283.94/284.10
% 283.94/284.10 Resetting weight limit to 35 after 4215 givens.
% 283.94/284.10
% 284.39/284.54
% 284.39/284.54
% 284.39/284.54 Changing weight limit from 35 to 34.
% 284.39/284.54
% 284.39/284.54 Resetting weight limit to 34 after 4220 givens.
% 284.39/284.54
% 284.73/284.89
% 284.73/284.89
% 284.73/284.89 Changing weight limit from 34 to 35.
% 284.73/284.89
% 284.73/284.89 Resetting weight limit to 35 after 4225 givens.
% 284.73/284.89
% 285.16/285.33
% 285.16/285.33
% 285.16/285.33 Changing weight limit from 35 to 34.
% 285.16/285.33
% 285.16/285.33 Resetting weight limit to 34 after 4230 givens.
% 285.16/285.33
% 285.69/285.83
% 285.69/285.83
% 285.69/285.83 Changing weight limit from 34 to 33.
% 285.69/285.83
% 285.69/285.83 Resetting weight limit to 33 after 4235 givens.
% 285.69/285.83
% 286.07/286.22
% 286.07/286.22
% 286.07/286.22 Changing weight limit from 33 to 34.
% 286.07/286.22
% 286.07/286.22 Resetting weight limit to 34 after 4240 givens.
% 286.07/286.22
% 286.51/286.67
% 286.51/286.67
% 286.51/286.67 Changing weight limit from 34 to 35.
% 286.51/286.67
% 286.51/286.67 Resetting weight limit to 35 after 4245 givens.
% 286.51/286.67
% 286.99/287.13
% 286.99/287.13
% 286.99/287.13 Changing weight limit from 35 to 36.
% 286.99/287.13
% 286.99/287.13 Resetting weight limit to 36 after 4250 givens.
% 286.99/287.13
% 287.65/287.83
% 287.65/287.83
% 287.65/287.83 Changing weight limit from 36 to 32.
% 287.65/287.83
% 287.65/287.83 Resetting weight limit to 32 after 4255 givens.
% 287.65/287.83
% 287.97/288.14
% 287.97/288.14
% 287.97/288.14 Changing weight limit from 32 to 31.
% 287.97/288.14
% 287.97/288.14 Resetting weight limit to 31 after 4270 givens.
% 287.97/288.14
% 288.14/288.27
% 288.14/288.27
% 288.14/288.27 Changing weight limit from 31 to 32.
% 288.14/288.27
% 288.14/288.27 Resetting weight limit to 32 after 4275 givens.
% 288.14/288.27
% 288.14/288.30
% 288.14/288.30
% 288.14/288.30 Changing weight limit from 32 to 33.
% 288.14/288.30
% 288.14/288.30 Resetting weight limit to 33 after 4280 givens.
% 288.14/288.30
% 289.90/290.05
% 289.90/290.05
% 289.90/290.05 Changing weight limit from 33 to 31.
% 289.90/290.05
% 289.90/290.05 Resetting weight limit to 31 after 4285 givens.
% 289.90/290.05
% 291.21/291.34
% 291.21/291.34
% 291.21/291.34 Changing weight limit from 31 to 32.
% 291.21/291.34
% 291.21/291.34 Resetting weight limit to 32 after 4290 givens.
% 291.21/291.34
% 291.21/291.42
% 291.21/291.42
% 291.21/291.42 Changing weight limit from 32 to 33.
% 291.21/291.42
% 291.21/291.42 Resetting weight limit to 33 after 4295 givens.
% 291.21/291.42
% 291.46/291.60
% 291.46/291.60
% 291.46/291.61 Changing weight limit from 33 to 31.
% 291.46/291.61
% 291.46/291.61 Resetting weight limit to 31 after 4300 givens.
% 291.46/291.61
% 292.37/292.51
% 292.37/292.51
% 292.37/292.51 Changing weight limit from 31 to 32.
% 292.37/292.51
% 292.37/292.51 Resetting weight limit to 32 after 4305 givens.
% 292.37/292.51
% 293.87/294.04
% 293.87/294.04
% 293.87/294.04 Changing weight limit from 32 to 31.
% 293.87/294.04
% 293.87/294.04 Resetting weight limit to 31 after 4310 givens.
% 293.87/294.04
% 293.97/294.09
% 293.97/294.09
% 293.97/294.09 Changing weight limit from 31 to 32.
% 293.97/294.09
% 293.97/294.09 Resetting weight limit to 32 after 4315 givens.
% 293.97/294.09
% 294.27/294.41
% 294.27/294.41
% 294.27/294.41 Changing weight limit from 32 to 33.
% 294.27/294.41
% 294.27/294.41 Resetting weight limit to 33 after 4320 givens.
% 294.27/294.41
% 294.32/294.45
% 294.32/294.45
% 294.32/294.45 Changing weight limit from 33 to 34.
% 294.32/294.45
% 294.32/294.45 Resetting weight limit to 34 after 4325 givens.
% 294.32/294.45
% 295.15/295.29
% 295.15/295.29
% 295.15/295.29 Changing weight limit from 34 to 35.
% 295.15/295.29
% 295.15/295.29 Resetting weight limit to 35 after 4330 givens.
% 295.15/295.29
% 296.08/296.20
% 296.08/296.20
% 296.08/296.20 Changing weight limit from 35 to 33.
% 296.08/296.20
% 296.08/296.20 Resetting weight limit to 33 after 4340 givens.
% 296.08/296.20
% 296.12/296.31
% 296.12/296.31
% 296.12/296.31 Changing weight limit from 33 to 31.
% 296.12/296.31
% 296.12/296.31 Resetting weight limit to 31 after 4345 givens.
% 296.12/296.31
% 296.59/296.75
% 296.59/296.75
% 296.59/296.75 Changing weight limit from 31 to 32.
% 296.59/296.75
% 296.59/296.75 Resetting weight limit to 32 after 4350 givens.
% 296.59/296.75
% 298.46/298.63
% 298.46/298.63
% 298.46/298.63 Changing weight limit from 32 to 33.
% 298.46/298.63
% 298.46/298.63 Resetting weight limit to 33 after 4360 givens.
% 298.46/298.63
% 298.52/298.66
% 298.52/298.66
% 298.52/298.66 Changing weight limit from 33 to 34.
% 298.52/298.66
% 298.52/298.66 Resetting weight limit to 34 after 4365 givens.
% 298.52/298.66
% 298.54/298.69
% 298.54/298.69
% 298.54/298.69 Changing weight limit from 34 to 32.
% 298.54/298.69
% 298.54/298.69 Resetting weight limit to 32 after 4370 givens.
% 298.54/298.69
% 298.63/298.75
% 298.63/298.75
% 298.63/298.75 Changing weight limit from 32 to 33.
% 298.63/298.75
% 298.63/298.75 Resetting weight limit to 33 after 4380 givens.
% 298.63/298.75
% 298.63/298.77
% 298.63/298.77
% 298.63/298.77 Changing weight limit from 33 to 34.
% 298.63/298.77
% 298.63/298.77 Resetting weight limit to 34 after 4385 givens.
% 298.63/298.77
% 298.63/298.81
% 298.63/298.81
% 298.63/298.81 Changing weight limit from 34 to 35.
% 298.63/298.81
% 298.63/298.81 Resetting weight limit to 35 after 4390 givens.
% 298.63/298.81
% 298.71/298.84
% 298.71/298.84
% 298.71/298.84 Changing weight limit from 35 to 36.
% 298.71/298.84
% 298.71/298.84 Resetting weight limit to 36 after 4395 givens.
% 298.71/298.84
% 298.86/299.03
% 298.86/299.03
% 298.86/299.03 Changing weight limit from 36 to 33.
% 298.86/299.03
% 298.86/299.03 Resetting weight limit to 33 after 4400 givens.
% 298.86/299.03
% 298.91/299.04
% 298.91/299.04
% 298.91/299.04 Changing weight limit from 33 to 34.
% 298.91/299.04
% 298.91/299.04 Resetting weight limit to 34 after 4405 givens.
% 298.91/299.04
% 298.99/299.12
% 298.99/299.12
% 298.99/299.12 Changing weight limit from 34 to 35.
% 298.99/299.12
% 298.99/299.12 Resetting weight limit to 35 after 4410 givens.
% 298.99/299.12
% 299.05/299.23
% 299.05/299.23
% 299.05/299.23 Changing weight limit from 35 to 36.
% 299.05/299.23
% 299.05/299.23 Resetting weight limit to 36 after 4415 givens.
% 299.05/299.23
% 300.00/300.14
% 300.00/300.14
% 300.00/300.14 Changing weight limit from 36 to 31.
% 300.00/300.14
% 300.00/300.14 Resetting weight limit to 31 after 4420 givens.
% 300.00/300.14
% 300.03/300.16 Wow, sos-wrapper got a signal XCPU
%------------------------------------------------------------------------------