TSTP Solution File: LCL675+1.010 by SOS---2.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : SOS---2.0
% Problem : LCL675+1.010 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : sos-script %s
% Computer : n004.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 14:32:02 EDT 2022
% Result : Unknown 65.58s 65.79s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.12 % Problem : LCL675+1.010 : TPTP v8.1.0. Released v4.0.0.
% 0.12/0.13 % Command : sos-script %s
% 0.13/0.34 % Computer : n004.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Mon Jul 4 08:07:53 EDT 2022
% 0.13/0.34 % CPUTime :
% 0.13/0.37 ----- Otter 3.2, August 2001 -----
% 0.13/0.37 The process was started by sandbox2 on n004.cluster.edu,
% 0.13/0.37 Mon Jul 4 08:07:53 2022
% 0.13/0.37 The command was "./sos". The process ID is 3595.
% 0.13/0.37
% 0.13/0.37 set(prolog_style_variables).
% 0.13/0.37 set(auto).
% 0.13/0.37 dependent: set(auto1).
% 0.13/0.37 dependent: set(process_input).
% 0.13/0.37 dependent: clear(print_kept).
% 0.13/0.37 dependent: clear(print_new_demod).
% 0.13/0.37 dependent: clear(print_back_demod).
% 0.13/0.37 dependent: clear(print_back_sub).
% 0.13/0.37 dependent: set(control_memory).
% 0.13/0.37 dependent: assign(max_mem, 12000).
% 0.13/0.37 dependent: assign(pick_given_ratio, 4).
% 0.13/0.37 dependent: assign(stats_level, 1).
% 0.13/0.37 dependent: assign(pick_semantic_ratio, 3).
% 0.13/0.37 dependent: assign(sos_limit, 5000).
% 0.13/0.37 dependent: assign(max_weight, 60).
% 0.13/0.37 clear(print_given).
% 0.13/0.37
% 0.13/0.37 formula_list(usable).
% 0.13/0.37
% 0.13/0.37 SCAN INPUT: prop=0, horn=0, equality=0, symmetry=0, max_lits=6.
% 0.13/0.37
% 0.13/0.37 This is a non-Horn set without equality. The strategy
% 0.13/0.37 will be ordered hyper_res, ur_res, unit deletion, and
% 0.13/0.37 factoring, with satellites in sos and nuclei in usable.
% 0.13/0.37
% 0.13/0.37 dependent: set(hyper_res).
% 0.13/0.37 dependent: set(factor).
% 0.13/0.37 dependent: set(unit_deletion).
% 0.13/0.37
% 0.13/0.37 ------------> process usable:
% 0.13/0.37
% 0.13/0.37 ------------> process sos:
% 0.13/0.37
% 0.13/0.37 ======= end of input processing =======
% 0.13/0.40
% 0.13/0.40 Model 1 (0.00 seconds, 0 Inserts)
% 0.13/0.40
% 0.13/0.40 Stopped by limit on number of solutions
% 0.13/0.40
% 0.13/0.40
% 0.13/0.40 -------------- Softie stats --------------
% 0.13/0.40
% 0.13/0.40 UPDATE_STOP: 300
% 0.13/0.40 SFINDER_TIME_LIMIT: 2
% 0.13/0.40 SHORT_CLAUSE_CUTOFF: 4
% 0.13/0.40 number of clauses in intial UL: 115
% 0.13/0.40 number of clauses initially in problem: 117
% 0.13/0.40 percentage of clauses intially in UL: 98
% 0.13/0.40 percentage of distinct symbols occuring in initial UL: 100
% 0.13/0.40 percent of all initial clauses that are short: 100
% 0.13/0.40 absolute distinct symbol count: 45
% 0.13/0.40 distinct predicate count: 24
% 0.13/0.40 distinct function count: 20
% 0.13/0.40 distinct constant count: 1
% 0.13/0.40
% 0.13/0.40 ---------- no more Softie stats ----------
% 0.13/0.40
% 0.13/0.40
% 0.13/0.40
% 0.13/0.40 =========== start of search ===========
% 1.32/1.51
% 1.32/1.51
% 1.32/1.51 Changing weight limit from 60 to 33.
% 1.32/1.51
% 1.32/1.51 Model 2 (0.00 seconds, 0 Inserts)
% 1.32/1.51
% 1.32/1.51 Stopped by limit on number of solutions
% 1.32/1.51
% 1.32/1.51 Model 3 (0.00 seconds, 0 Inserts)
% 1.32/1.51
% 1.32/1.51 Stopped by limit on number of solutions
% 1.32/1.51
% 1.32/1.51 Model 4 (0.00 seconds, 0 Inserts)
% 1.32/1.51
% 1.32/1.51 Stopped by limit on number of solutions
% 1.32/1.51
% 1.32/1.51 Model 5 (0.00 seconds, 0 Inserts)
% 1.32/1.51
% 1.32/1.51 Stopped by limit on number of solutions
% 1.32/1.51
% 1.32/1.51 Stopped by limit on insertions
% 1.32/1.51
% 1.32/1.51 Model 6 [ 2 0 1252 ] (0.00 seconds, 250000 Inserts)
% 1.32/1.51
% 1.32/1.51 Stopped by limit on insertions
% 1.32/1.51
% 1.32/1.51 Model 7 [ 1 0 2253 ] (0.00 seconds, 250000 Inserts)
% 1.32/1.51
% 1.32/1.51 Stopped by limit on insertions
% 1.32/1.51
% 1.32/1.51 Model 8 [ 3 1 472 ] (0.00 seconds, 250000 Inserts)
% 1.32/1.51
% 1.32/1.51 Stopped by limit on insertions
% 1.32/1.51
% 1.32/1.51 Model 9 [ 1 1 1876 ] (0.00 seconds, 250000 Inserts)
% 1.32/1.51
% 1.32/1.51 Stopped by limit on insertions
% 1.32/1.51
% 1.32/1.51 Model 10 [ 1 0 2945 ] (0.00 seconds, 250000 Inserts)
% 1.32/1.51
% 1.32/1.51 Stopped by limit on insertions
% 1.32/1.51
% 1.32/1.51 Model 11 [ 4 0 4078 ] (0.00 seconds, 250000 Inserts)
% 1.32/1.51
% 1.32/1.51 Stopped by limit on insertions
% 1.32/1.51
% 1.32/1.51 Model 12 [ 4 1 308 ] (0.00 seconds, 250000 Inserts)
% 1.32/1.51
% 1.32/1.51 Model 13 (0.00 seconds, 250000 Inserts)
% 1.32/1.51
% 1.32/1.51 Stopped by limit on number of solutions
% 1.32/1.51
% 1.32/1.51 Resetting weight limit to 33 after 1020 givens.
% 1.32/1.51
% 1.35/1.53
% 1.35/1.53
% 1.35/1.53 Changing weight limit from 33 to 32.
% 1.35/1.53
% 1.35/1.53 Resetting weight limit to 32 after 1040 givens.
% 1.35/1.53
% 1.35/1.54
% 1.35/1.54
% 1.35/1.54 Changing weight limit from 32 to 31.
% 1.35/1.54
% 1.35/1.54 Resetting weight limit to 31 after 1045 givens.
% 1.35/1.54
% 1.35/1.55
% 1.35/1.55
% 1.35/1.55 Changing weight limit from 31 to 30.
% 1.35/1.55
% 1.35/1.55 Resetting weight limit to 30 after 1060 givens.
% 1.35/1.55
% 1.44/1.68
% 1.44/1.68
% 1.44/1.68 Changing weight limit from 30 to 29.
% 1.44/1.68
% 1.44/1.68 Resetting weight limit to 29 after 1245 givens.
% 1.44/1.68
% 1.52/1.76
% 1.52/1.76
% 1.52/1.76 Changing weight limit from 29 to 30.
% 1.52/1.76
% 1.52/1.76 Resetting weight limit to 30 after 1365 givens.
% 1.52/1.76
% 1.60/1.78
% 1.60/1.78
% 1.60/1.78 Changing weight limit from 30 to 29.
% 1.60/1.78
% 1.60/1.78 Resetting weight limit to 29 after 1370 givens.
% 1.60/1.78
% 1.60/1.78
% 1.60/1.78
% 1.60/1.78 Changing weight limit from 29 to 30.
% 1.60/1.78
% 1.60/1.78 Resetting weight limit to 30 after 1375 givens.
% 1.60/1.78
% 1.60/1.78
% 1.60/1.78
% 1.60/1.78 Changing weight limit from 30 to 29.
% 1.60/1.78
% 1.60/1.78 Resetting weight limit to 29 after 1380 givens.
% 1.60/1.78
% 1.61/1.80
% 1.61/1.80
% 1.61/1.80 Changing weight limit from 29 to 30.
% 1.61/1.80
% 1.61/1.80 Resetting weight limit to 30 after 1390 givens.
% 1.61/1.80
% 1.63/1.81
% 1.63/1.81
% 1.63/1.81 Changing weight limit from 30 to 31.
% 1.63/1.81
% 1.63/1.81 Resetting weight limit to 31 after 1400 givens.
% 1.63/1.81
% 1.63/1.82
% 1.63/1.82
% 1.63/1.82 Changing weight limit from 31 to 29.
% 1.63/1.82
% 1.63/1.82 Resetting weight limit to 29 after 1405 givens.
% 1.63/1.82
% 1.63/1.86
% 1.63/1.86
% 1.63/1.86 Changing weight limit from 29 to 28.
% 1.63/1.86
% 1.63/1.86 Resetting weight limit to 28 after 1420 givens.
% 1.63/1.86
% 1.63/1.89
% 1.63/1.89
% 1.63/1.89 Changing weight limit from 28 to 29.
% 1.63/1.89
% 1.63/1.89 Resetting weight limit to 29 after 1435 givens.
% 1.63/1.89
% 1.63/1.90
% 1.63/1.90
% 1.63/1.90 Changing weight limit from 29 to 30.
% 1.63/1.90
% 1.63/1.90 Resetting weight limit to 30 after 1445 givens.
% 1.63/1.90
% 1.63/1.90
% 1.63/1.90
% 1.63/1.90 Changing weight limit from 30 to 28.
% 1.63/1.90
% 1.63/1.90 Resetting weight limit to 28 after 1450 givens.
% 1.63/1.90
% 1.72/1.93
% 1.72/1.93
% 1.72/1.93 Changing weight limit from 28 to 29.
% 1.72/1.93
% 1.72/1.93 Resetting weight limit to 29 after 1480 givens.
% 1.72/1.93
% 1.72/1.95
% 1.72/1.95
% 1.72/1.95 Changing weight limit from 29 to 28.
% 1.72/1.95
% 1.72/1.95 Resetting weight limit to 28 after 1490 givens.
% 1.72/1.95
% 1.72/1.97
% 1.72/1.97
% 1.72/1.97 Changing weight limit from 28 to 29.
% 1.72/1.97
% 1.72/1.97 Resetting weight limit to 29 after 1500 givens.
% 1.72/1.97
% 1.72/1.98
% 1.72/1.98
% 1.72/1.98 Changing weight limit from 29 to 28.
% 1.72/1.98
% 1.72/1.98 Resetting weight limit to 28 after 1505 givens.
% 1.72/1.98
% 1.94/2.14
% 1.94/2.14
% 1.94/2.14 Changing weight limit from 28 to 29.
% 1.94/2.14
% 1.94/2.14 Resetting weight limit to 29 after 1530 givens.
% 1.94/2.14
% 1.94/2.16
% 1.94/2.16
% 1.94/2.16 Changing weight limit from 29 to 28.
% 1.94/2.16
% 1.94/2.16 Resetting weight limit to 28 after 1535 givens.
% 1.94/2.16
% 2.04/2.23
% 2.04/2.23
% 2.04/2.23 Changing weight limit from 28 to 29.
% 2.04/2.23
% 2.04/2.23 Resetting weight limit to 29 after 1565 givens.
% 2.04/2.23
% 2.04/2.23
% 2.04/2.23
% 2.04/2.23 Changing weight limit from 29 to 30.
% 2.04/2.23
% 2.04/2.23 Resetting weight limit to 30 after 1570 givens.
% 2.04/2.23
% 2.04/2.24
% 2.04/2.24
% 2.04/2.24 Changing weight limit from 30 to 29.
% 2.04/2.24
% 2.04/2.24 Resetting weight limit to 29 after 1575 givens.
% 2.04/2.24
% 2.04/2.24
% 2.04/2.24
% 2.04/2.24 Changing weight limit from 29 to 30.
% 2.04/2.24
% 2.04/2.24 Resetting weight limit to 30 after 1580 givens.
% 2.04/2.24
% 2.04/2.25
% 2.04/2.25
% 2.04/2.25 Changing weight limit from 30 to 28.
% 2.04/2.25
% 2.04/2.25 Resetting weight limit to 28 after 1585 givens.
% 2.04/2.25
% 2.04/2.29
% 2.04/2.29
% 2.04/2.29 Changing weight limit from 28 to 29.
% 2.04/2.29
% 2.04/2.29 Resetting weight limit to 29 after 1605 givens.
% 2.04/2.29
% 2.04/2.30
% 2.04/2.30
% 2.04/2.30 Changing weight limit from 29 to 28.
% 2.04/2.30
% 2.04/2.30 Resetting weight limit to 28 after 1610 givens.
% 2.04/2.30
% 2.12/2.30
% 2.12/2.30
% 2.12/2.30 Changing weight limit from 28 to 29.
% 2.12/2.30
% 2.12/2.30 Resetting weight limit to 29 after 1620 givens.
% 2.12/2.30
% 2.12/2.31
% 2.12/2.31
% 2.12/2.31 Changing weight limit from 29 to 30.
% 2.12/2.31
% 2.12/2.31 Resetting weight limit to 30 after 1625 givens.
% 2.12/2.31
% 2.12/2.33
% 2.12/2.33
% 2.12/2.33 Changing weight limit from 30 to 28.
% 2.12/2.33
% 2.12/2.33 Resetting weight limit to 28 after 1630 givens.
% 2.12/2.33
% 2.12/2.39
% 2.12/2.39
% 2.12/2.39 Changing weight limit from 28 to 29.
% 2.12/2.39
% 2.12/2.39 Resetting weight limit to 29 after 1650 givens.
% 2.12/2.39
% 2.22/2.39
% 2.22/2.39
% 2.22/2.39 Changing weight limit from 29 to 28.
% 2.22/2.39
% 2.22/2.39 Resetting weight limit to 28 after 1655 givens.
% 2.22/2.39
% 2.22/2.41
% 2.22/2.41
% 2.22/2.41 Changing weight limit from 28 to 29.
% 2.22/2.41
% 2.22/2.41 Resetting weight limit to 29 after 1670 givens.
% 2.22/2.41
% 2.22/2.43
% 2.22/2.43
% 2.22/2.43 Changing weight limit from 29 to 28.
% 2.22/2.43
% 2.22/2.43 Resetting weight limit to 28 after 1680 givens.
% 2.22/2.43
% 2.22/2.49
% 2.22/2.49
% 2.22/2.49 Changing weight limit from 28 to 29.
% 2.22/2.49
% 2.22/2.49 Resetting weight limit to 29 after 1700 givens.
% 2.22/2.49
% 2.31/2.49
% 2.31/2.49
% 2.31/2.49 Changing weight limit from 29 to 28.
% 2.31/2.49
% 2.31/2.49 Resetting weight limit to 28 after 1705 givens.
% 2.31/2.49
% 2.32/2.51
% 2.32/2.51
% 2.32/2.51 Changing weight limit from 28 to 29.
% 2.32/2.51
% 2.32/2.51 Resetting weight limit to 29 after 1720 givens.
% 2.32/2.51
% 2.32/2.56
% 2.32/2.56
% 2.32/2.56 Changing weight limit from 29 to 28.
% 2.32/2.56
% 2.32/2.56 Resetting weight limit to 28 after 1730 givens.
% 2.32/2.56
% 2.42/2.65
% 2.42/2.65
% 2.42/2.65 Changing weight limit from 28 to 29.
% 2.42/2.65
% 2.42/2.65 Resetting weight limit to 29 after 1765 givens.
% 2.42/2.65
% 2.42/2.66
% 2.42/2.66
% 2.42/2.66 Changing weight limit from 29 to 28.
% 2.42/2.66
% 2.42/2.66 Resetting weight limit to 28 after 1770 givens.
% 2.42/2.66
% 2.42/2.67
% 2.42/2.67
% 2.42/2.67 Changing weight limit from 28 to 27.
% 2.42/2.67
% 2.42/2.67 Resetting weight limit to 27 after 1775 givens.
% 2.42/2.67
% 2.52/2.75
% 2.52/2.75
% 2.52/2.75 Changing weight limit from 27 to 28.
% 2.52/2.75
% 2.52/2.75 Resetting weight limit to 28 after 1815 givens.
% 2.52/2.75
% 2.52/2.76
% 2.52/2.76
% 2.52/2.76 Changing weight limit from 28 to 27.
% 2.52/2.76
% 2.52/2.76 Resetting weight limit to 27 after 1820 givens.
% 2.52/2.76
% 2.64/2.89
% 2.64/2.89
% 2.64/2.89 Changing weight limit from 27 to 28.
% 2.64/2.89
% 2.64/2.89 Resetting weight limit to 28 after 1870 givens.
% 2.64/2.89
% 2.64/2.89
% 2.64/2.89
% 2.64/2.89 Changing weight limit from 28 to 29.
% 2.64/2.89
% 2.64/2.89 Resetting weight limit to 29 after 1875 givens.
% 2.64/2.89
% 2.81/3.03
% 2.81/3.03
% 2.81/3.03 Changing weight limit from 29 to 27.
% 2.81/3.03
% 2.81/3.03 Resetting weight limit to 27 after 1880 givens.
% 2.81/3.03
% 2.94/3.21
% 2.94/3.21
% 2.94/3.21 Changing weight limit from 27 to 28.
% 2.94/3.21
% 2.94/3.21 Resetting weight limit to 28 after 1910 givens.
% 2.94/3.21
% 3.03/3.22
% 3.03/3.22
% 3.03/3.22 Changing weight limit from 28 to 29.
% 3.03/3.22
% 3.03/3.22 Resetting weight limit to 29 after 1915 givens.
% 3.03/3.22
% 3.03/3.23
% 3.03/3.23
% 3.03/3.23 Changing weight limit from 29 to 30.
% 3.03/3.23
% 3.03/3.23 Resetting weight limit to 30 after 1920 givens.
% 3.03/3.23
% 3.03/3.23
% 3.03/3.23
% 3.03/3.23 Changing weight limit from 30 to 28.
% 3.03/3.23
% 3.03/3.23 Resetting weight limit to 28 after 1925 givens.
% 3.03/3.23
% 3.03/3.23
% 3.03/3.23
% 3.03/3.23 Changing weight limit from 28 to 29.
% 3.03/3.23
% 3.03/3.23 Resetting weight limit to 29 after 1930 givens.
% 3.03/3.23
% 3.03/3.24
% 3.03/3.24
% 3.03/3.24 Changing weight limit from 29 to 30.
% 3.03/3.24
% 3.03/3.24 Resetting weight limit to 30 after 1935 givens.
% 3.03/3.24
% 3.03/3.24
% 3.03/3.24
% 3.03/3.24 Changing weight limit from 30 to 31.
% 3.03/3.24
% 3.03/3.24 Resetting weight limit to 31 after 1940 givens.
% 3.03/3.24
% 3.03/3.25
% 3.03/3.25
% 3.03/3.25 Changing weight limit from 31 to 28.
% 3.03/3.25
% 3.03/3.25 Resetting weight limit to 28 after 1945 givens.
% 3.03/3.25
% 3.03/3.25
% 3.03/3.25
% 3.03/3.25 Changing weight limit from 28 to 29.
% 3.03/3.25
% 3.03/3.25 Resetting weight limit to 29 after 1950 givens.
% 3.03/3.25
% 3.03/3.26
% 3.03/3.26
% 3.03/3.26 Changing weight limit from 29 to 30.
% 3.03/3.26
% 3.03/3.26 Resetting weight limit to 30 after 1955 givens.
% 3.03/3.26
% 3.03/3.26
% 3.03/3.26
% 3.03/3.26 Changing weight limit from 30 to 31.
% 3.03/3.26
% 3.03/3.26 Resetting weight limit to 31 after 1960 givens.
% 3.03/3.26
% 3.03/3.26
% 3.03/3.26
% 3.03/3.26 Changing weight limit from 31 to 32.
% 3.03/3.26
% 3.03/3.26 Resetting weight limit to 32 after 1965 givens.
% 3.03/3.26
% 3.03/3.27
% 3.03/3.27
% 3.03/3.27 Changing weight limit from 32 to 33.
% 3.03/3.27
% 3.03/3.27 Resetting weight limit to 33 after 1970 givens.
% 3.03/3.27
% 3.21/3.39
% 3.21/3.39
% 3.21/3.39 Changing weight limit from 33 to 32.
% 3.21/3.39
% 3.21/3.39 Resetting weight limit to 32 after 1975 givens.
% 3.21/3.39
% 3.21/3.40
% 3.21/3.40
% 3.21/3.40 Changing weight limit from 32 to 28.
% 3.21/3.40
% 3.21/3.40 Resetting weight limit to 28 after 1980 givens.
% 3.21/3.40
% 3.55/3.80
% 3.55/3.80
% 3.55/3.80 Changing weight limit from 28 to 27.
% 3.55/3.80
% 3.55/3.80 Resetting weight limit to 27 after 2035 givens.
% 3.55/3.80
% 3.70/3.93
% 3.70/3.93
% 3.70/3.93 Changing weight limit from 27 to 28.
% 3.70/3.93
% 3.70/3.93 Resetting weight limit to 28 after 2050 givens.
% 3.70/3.93
% 3.70/3.93
% 3.70/3.93
% 3.70/3.93 Changing weight limit from 28 to 27.
% 3.70/3.93
% 3.70/3.93 Resetting weight limit to 27 after 2055 givens.
% 3.70/3.93
% 3.98/4.20
% 3.98/4.20
% 3.98/4.20 Changing weight limit from 27 to 28.
% 3.98/4.20
% 3.98/4.20 Resetting weight limit to 28 after 2105 givens.
% 3.98/4.20
% 3.98/4.20
% 3.98/4.20
% 3.98/4.20 Changing weight limit from 28 to 27.
% 3.98/4.20
% 3.98/4.20 Resetting weight limit to 27 after 2110 givens.
% 3.98/4.20
% 3.98/4.21
% 3.98/4.21
% 3.98/4.21 Changing weight limit from 27 to 28.
% 3.98/4.21
% 3.98/4.21 Resetting weight limit to 28 after 2115 givens.
% 3.98/4.21
% 4.11/4.32
% 4.11/4.32
% 4.11/4.32 Changing weight limit from 28 to 27.
% 4.11/4.32
% 4.11/4.32 Resetting weight limit to 27 after 2120 givens.
% 4.11/4.32
% 4.16/4.36
% 4.16/4.36
% 4.16/4.36 Changing weight limit from 27 to 28.
% 4.16/4.36
% 4.16/4.36 Resetting weight limit to 28 after 2140 givens.
% 4.16/4.36
% 4.16/4.37
% 4.16/4.37
% 4.16/4.37 Changing weight limit from 28 to 27.
% 4.16/4.37
% 4.16/4.37 Resetting weight limit to 27 after 2145 givens.
% 4.16/4.37
% 4.29/4.48
% 4.29/4.48
% 4.29/4.48 Changing weight limit from 27 to 28.
% 4.29/4.48
% 4.29/4.48 Resetting weight limit to 28 after 2200 givens.
% 4.29/4.48
% 4.29/4.49
% 4.29/4.49
% 4.29/4.49 Changing weight limit from 28 to 27.
% 4.29/4.49
% 4.29/4.49 Resetting weight limit to 27 after 2205 givens.
% 4.29/4.49
% 4.29/4.55
% 4.29/4.55
% 4.29/4.55 Changing weight limit from 27 to 28.
% 4.29/4.55
% 4.29/4.55 Resetting weight limit to 28 after 2230 givens.
% 4.29/4.55
% 4.29/4.55
% 4.29/4.55
% 4.29/4.55 Changing weight limit from 28 to 27.
% 4.29/4.55
% 4.29/4.55 Resetting weight limit to 27 after 2235 givens.
% 4.29/4.55
% 4.29/4.56
% 4.29/4.56
% 4.29/4.56 Changing weight limit from 27 to 28.
% 4.29/4.56
% 4.29/4.56 Resetting weight limit to 28 after 2240 givens.
% 4.29/4.56
% 4.29/4.56
% 4.29/4.56
% 4.29/4.56 Changing weight limit from 28 to 27.
% 4.29/4.56
% 4.29/4.56 Resetting weight limit to 27 after 2245 givens.
% 4.29/4.56
% 4.45/4.64
% 4.45/4.64
% 4.45/4.64 Changing weight limit from 27 to 28.
% 4.45/4.64
% 4.45/4.64 Resetting weight limit to 28 after 2300 givens.
% 4.45/4.64
% 4.45/4.64
% 4.45/4.64
% 4.45/4.64 Changing weight limit from 28 to 27.
% 4.45/4.64
% 4.45/4.64 Resetting weight limit to 27 after 2305 givens.
% 4.45/4.64
% 4.45/4.65
% 4.45/4.65
% 4.45/4.65 Changing weight limit from 27 to 28.
% 4.45/4.65
% 4.45/4.65 Resetting weight limit to 28 after 2320 givens.
% 4.45/4.65
% 4.45/4.65
% 4.45/4.65
% 4.45/4.65 Changing weight limit from 28 to 27.
% 4.45/4.65
% 4.45/4.65 Resetting weight limit to 27 after 2325 givens.
% 4.45/4.65
% 4.45/4.68
% 4.45/4.68
% 4.45/4.68 Changing weight limit from 27 to 28.
% 4.45/4.68
% 4.45/4.68 Resetting weight limit to 28 after 2350 givens.
% 4.45/4.68
% 4.45/4.68
% 4.45/4.68
% 4.45/4.68 Changing weight limit from 28 to 27.
% 4.45/4.68
% 4.45/4.68 Resetting weight limit to 27 after 2355 givens.
% 4.45/4.68
% 4.45/4.68
% 4.45/4.68
% 4.45/4.68 Changing weight limit from 27 to 28.
% 4.45/4.68
% 4.45/4.68 Resetting weight limit to 28 after 2360 givens.
% 4.45/4.68
% 4.45/4.69
% 4.45/4.69
% 4.45/4.69 Changing weight limit from 28 to 27.
% 4.45/4.69
% 4.45/4.69 Resetting weight limit to 27 after 2365 givens.
% 4.45/4.69
% 4.45/4.70
% 4.45/4.70
% 4.45/4.70 Changing weight limit from 27 to 28.
% 4.45/4.70
% 4.45/4.70 Resetting weight limit to 28 after 2380 givens.
% 4.45/4.70
% 4.45/4.71
% 4.45/4.71
% 4.45/4.71 Changing weight limit from 28 to 29.
% 4.45/4.71
% 4.45/4.71 Resetting weight limit to 29 after 2385 givens.
% 4.45/4.71
% 4.53/4.72
% 4.53/4.72
% 4.53/4.72 Changing weight limit from 29 to 27.
% 4.53/4.72
% 4.53/4.72 Resetting weight limit to 27 after 2390 givens.
% 4.53/4.72
% 4.53/4.75
% 4.53/4.75
% 4.53/4.75 Changing weight limit from 27 to 28.
% 4.53/4.75
% 4.53/4.75 Resetting weight limit to 28 after 2420 givens.
% 4.53/4.75
% 4.53/4.76
% 4.53/4.76
% 4.53/4.76 Changing weight limit from 28 to 27.
% 4.53/4.76
% 4.53/4.76 Resetting weight limit to 27 after 2425 givens.
% 4.53/4.76
% 4.53/4.78
% 4.53/4.78
% 4.53/4.78 Changing weight limit from 27 to 28.
% 4.53/4.78
% 4.53/4.78 Resetting weight limit to 28 after 2440 givens.
% 4.53/4.78
% 4.53/4.78
% 4.53/4.78
% 4.53/4.78 Changing weight limit from 28 to 29.
% 4.53/4.78
% 4.53/4.78 Resetting weight limit to 29 after 2445 givens.
% 4.53/4.78
% 4.61/4.79
% 4.61/4.79
% 4.61/4.79 Changing weight limit from 29 to 27.
% 4.61/4.79
% 4.61/4.79 Resetting weight limit to 27 after 2450 givens.
% 4.61/4.79
% 4.75/5.00
% 4.75/5.00
% 4.75/5.00 Changing weight limit from 27 to 28.
% 4.75/5.00
% 4.75/5.00 Resetting weight limit to 28 after 2480 givens.
% 4.75/5.00
% 4.75/5.00
% 4.75/5.00
% 4.75/5.00 Changing weight limit from 28 to 27.
% 4.75/5.00
% 4.75/5.00 Resetting weight limit to 27 after 2485 givens.
% 4.75/5.00
% 4.75/5.00
% 4.75/5.00
% 4.75/5.00 Changing weight limit from 27 to 28.
% 4.75/5.00
% 4.75/5.00 Resetting weight limit to 28 after 2490 givens.
% 4.75/5.00
% 4.75/5.01
% 4.75/5.01
% 4.75/5.01 Changing weight limit from 28 to 27.
% 4.75/5.01
% 4.75/5.01 Resetting weight limit to 27 after 2495 givens.
% 4.75/5.01
% 4.92/5.14
% 4.92/5.14
% 4.92/5.14 Changing weight limit from 27 to 28.
% 4.92/5.14
% 4.92/5.14 Resetting weight limit to 28 after 2560 givens.
% 4.92/5.14
% 4.92/5.14
% 4.92/5.14
% 4.92/5.14 Changing weight limit from 28 to 27.
% 4.92/5.14
% 4.92/5.14 Resetting weight limit to 27 after 2565 givens.
% 4.92/5.14
% 4.92/5.15
% 4.92/5.15
% 4.92/5.15 Changing weight limit from 27 to 28.
% 4.92/5.15
% 4.92/5.15 Resetting weight limit to 28 after 2580 givens.
% 4.92/5.15
% 4.92/5.16
% 4.92/5.16
% 4.92/5.16 Changing weight limit from 28 to 27.
% 4.92/5.16
% 4.92/5.16 Resetting weight limit to 27 after 2585 givens.
% 4.92/5.16
% 5.01/5.20
% 5.01/5.20
% 5.01/5.20 Changing weight limit from 27 to 28.
% 5.01/5.20
% 5.01/5.20 Resetting weight limit to 28 after 2605 givens.
% 5.01/5.20
% 5.01/5.21
% 5.01/5.21
% 5.01/5.21 Changing weight limit from 28 to 27.
% 5.01/5.21
% 5.01/5.21 Resetting weight limit to 27 after 2610 givens.
% 5.01/5.21
% 5.03/5.21
% 5.03/5.21
% 5.03/5.21 Changing weight limit from 27 to 28.
% 5.03/5.21
% 5.03/5.21 Resetting weight limit to 28 after 2615 givens.
% 5.03/5.21
% 5.03/5.21
% 5.03/5.21
% 5.03/5.21 Changing weight limit from 28 to 27.
% 5.03/5.21
% 5.03/5.21 Resetting weight limit to 27 after 2620 givens.
% 5.03/5.21
% 5.04/5.23
% 5.04/5.23
% 5.04/5.23 Changing weight limit from 27 to 28.
% 5.04/5.23
% 5.04/5.23 Resetting weight limit to 28 after 2635 givens.
% 5.04/5.23
% 5.04/5.23
% 5.04/5.23
% 5.04/5.23 Changing weight limit from 28 to 27.
% 5.04/5.23
% 5.04/5.23 Resetting weight limit to 27 after 2640 givens.
% 5.04/5.23
% 5.12/5.31
% 5.12/5.31
% 5.12/5.31 Changing weight limit from 27 to 28.
% 5.12/5.31
% 5.12/5.31 Resetting weight limit to 28 after 2680 givens.
% 5.12/5.31
% 5.12/5.32
% 5.12/5.32
% 5.12/5.32 Changing weight limit from 28 to 27.
% 5.12/5.32
% 5.12/5.32 Resetting weight limit to 27 after 2685 givens.
% 5.12/5.32
% 5.12/5.34
% 5.12/5.34
% 5.12/5.34 Changing weight limit from 27 to 28.
% 5.12/5.34
% 5.12/5.34 Resetting weight limit to 28 after 2700 givens.
% 5.12/5.34
% 5.12/5.35
% 5.12/5.35
% 5.12/5.35 Changing weight limit from 28 to 29.
% 5.12/5.35
% 5.12/5.35 Resetting weight limit to 29 after 2705 givens.
% 5.12/5.35
% 5.12/5.36
% 5.12/5.36
% 5.12/5.36 Changing weight limit from 29 to 27.
% 5.12/5.36
% 5.12/5.36 Resetting weight limit to 27 after 2710 givens.
% 5.12/5.36
% 5.20/5.39
% 5.20/5.39
% 5.20/5.39 Changing weight limit from 27 to 28.
% 5.20/5.39
% 5.20/5.39 Resetting weight limit to 28 after 2730 givens.
% 5.20/5.39
% 5.20/5.40
% 5.20/5.40
% 5.20/5.40 Changing weight limit from 28 to 27.
% 5.20/5.40
% 5.20/5.40 Resetting weight limit to 27 after 2735 givens.
% 5.20/5.40
% 5.20/5.40
% 5.20/5.40
% 5.20/5.40 Changing weight limit from 27 to 28.
% 5.20/5.40
% 5.20/5.40 Resetting weight limit to 28 after 2740 givens.
% 5.20/5.40
% 5.20/5.40
% 5.20/5.40
% 5.20/5.40 Changing weight limit from 28 to 27.
% 5.20/5.40
% 5.20/5.40 Resetting weight limit to 27 after 2745 givens.
% 5.20/5.40
% 5.20/5.42
% 5.20/5.42
% 5.20/5.42 Changing weight limit from 27 to 28.
% 5.20/5.42
% 5.20/5.42 Resetting weight limit to 28 after 2765 givens.
% 5.20/5.42
% 5.20/5.43
% 5.20/5.43
% 5.20/5.43 Changing weight limit from 28 to 27.
% 5.20/5.43
% 5.20/5.43 Resetting weight limit to 27 after 2770 givens.
% 5.20/5.43
% 5.93/6.18
% 5.93/6.18
% 5.93/6.18 Changing weight limit from 27 to 28.
% 5.93/6.18
% 5.93/6.18 Resetting weight limit to 28 after 2860 givens.
% 5.93/6.18
% 6.05/6.30
% 6.05/6.30
% 6.05/6.30 Changing weight limit from 28 to 27.
% 6.05/6.30
% 6.05/6.30 Resetting weight limit to 27 after 2865 givens.
% 6.05/6.30
% 6.22/6.40
% 6.22/6.40
% 6.22/6.40 Changing weight limit from 27 to 28.
% 6.22/6.40
% 6.22/6.40 Resetting weight limit to 28 after 2900 givens.
% 6.22/6.40
% 6.22/6.41
% 6.22/6.41
% 6.22/6.41 Changing weight limit from 28 to 27.
% 6.22/6.41
% 6.22/6.41 Resetting weight limit to 27 after 2905 givens.
% 6.22/6.41
% 6.31/6.48
% 6.31/6.48
% 6.31/6.48 Changing weight limit from 27 to 28.
% 6.31/6.48
% 6.31/6.48 Resetting weight limit to 28 after 2940 givens.
% 6.31/6.48
% 6.31/6.48
% 6.31/6.48
% 6.31/6.48 Changing weight limit from 28 to 27.
% 6.31/6.48
% 6.31/6.48 Resetting weight limit to 27 after 2945 givens.
% 6.31/6.48
% 6.33/6.50
% 6.33/6.50
% 6.33/6.50 Changing weight limit from 27 to 28.
% 6.33/6.50
% 6.33/6.50 Resetting weight limit to 28 after 2960 givens.
% 6.33/6.50
% 6.33/6.51
% 6.33/6.51
% 6.33/6.51 Changing weight limit from 28 to 29.
% 6.33/6.51
% 6.33/6.51 Resetting weight limit to 29 after 2965 givens.
% 6.33/6.51
% 6.33/6.52
% 6.33/6.52
% 6.33/6.52 Changing weight limit from 29 to 27.
% 6.33/6.52
% 6.33/6.52 Resetting weight limit to 27 after 2970 givens.
% 6.33/6.52
% 6.35/6.54
% 6.35/6.54
% 6.35/6.54 Changing weight limit from 27 to 28.
% 6.35/6.54
% 6.35/6.54 Resetting weight limit to 28 after 2990 givens.
% 6.35/6.54
% 6.35/6.54
% 6.35/6.54
% 6.35/6.54 Changing weight limit from 28 to 27.
% 6.35/6.54
% 6.35/6.54 Resetting weight limit to 27 after 2995 givens.
% 6.35/6.54
% 6.35/6.54
% 6.35/6.54
% 6.35/6.54 Changing weight limit from 27 to 28.
% 6.35/6.54
% 6.35/6.54 Resetting weight limit to 28 after 3000 givens.
% 6.35/6.54
% 6.35/6.55
% 6.35/6.55
% 6.35/6.55 Changing weight limit from 28 to 27.
% 6.35/6.55
% 6.35/6.55 Resetting weight limit to 27 after 3005 givens.
% 6.35/6.55
% 6.35/6.56
% 6.35/6.56
% 6.35/6.56 Changing weight limit from 27 to 28.
% 6.35/6.56
% 6.35/6.56 Resetting weight limit to 28 after 3020 givens.
% 6.35/6.56
% 6.35/6.58
% 6.35/6.58
% 6.35/6.58 Changing weight limit from 28 to 27.
% 6.35/6.58
% 6.35/6.58 Resetting weight limit to 27 after 3025 givens.
% 6.35/6.58
% 6.64/6.82
% 6.64/6.82
% 6.64/6.82 Changing weight limit from 27 to 28.
% 6.64/6.82
% 6.64/6.82 Resetting weight limit to 28 after 3065 givens.
% 6.64/6.82
% 6.74/6.95
% 6.74/6.95
% 6.74/6.95 Changing weight limit from 28 to 27.
% 6.74/6.95
% 6.74/6.95 Resetting weight limit to 27 after 3070 givens.
% 6.74/6.95
% 7.33/7.52
% 7.33/7.52
% 7.33/7.52 Changing weight limit from 27 to 26.
% 7.33/7.52
% 7.33/7.52 Resetting weight limit to 26 after 3110 givens.
% 7.33/7.52
% 7.33/7.53
% 7.33/7.53
% 7.33/7.53 Changing weight limit from 26 to 27.
% 7.33/7.53
% 7.33/7.53 Resetting weight limit to 27 after 3115 givens.
% 7.33/7.53
% 7.39/7.57
% 7.39/7.57
% 7.39/7.57 Changing weight limit from 27 to 26.
% 7.39/7.57
% 7.39/7.57 Resetting weight limit to 26 after 3120 givens.
% 7.39/7.57
% 7.39/7.58
% 7.39/7.58
% 7.39/7.58 Changing weight limit from 26 to 27.
% 7.39/7.58
% 7.39/7.58 Resetting weight limit to 27 after 3130 givens.
% 7.39/7.58
% 7.39/7.58
% 7.39/7.58
% 7.39/7.58 Changing weight limit from 27 to 26.
% 7.39/7.58
% 7.39/7.58 Resetting weight limit to 26 after 3135 givens.
% 7.39/7.58
% 7.39/7.64
% 7.39/7.64
% 7.39/7.64 Changing weight limit from 26 to 27.
% 7.39/7.64
% 7.39/7.64 Resetting weight limit to 27 after 3165 givens.
% 7.39/7.64
% 7.56/7.76
% 7.56/7.76
% 7.56/7.76 Changing weight limit from 27 to 26.
% 7.56/7.76
% 7.56/7.76 Resetting weight limit to 26 after 3170 givens.
% 7.56/7.76
% 7.70/7.95
% 7.70/7.95
% 7.70/7.95 Changing weight limit from 26 to 27.
% 7.70/7.95
% 7.70/7.95 Resetting weight limit to 27 after 3200 givens.
% 7.70/7.95
% 7.70/7.95
% 7.70/7.95
% 7.70/7.95 Changing weight limit from 27 to 28.
% 7.70/7.95
% 7.70/7.95 Resetting weight limit to 28 after 3205 givens.
% 7.70/7.95
% 7.70/7.96
% 7.70/7.96
% 7.70/7.96 Changing weight limit from 28 to 26.
% 7.70/7.96
% 7.70/7.96 Resetting weight limit to 26 after 3210 givens.
% 7.70/7.96
% 7.80/7.98
% 7.80/7.98
% 7.80/7.98 Changing weight limit from 26 to 27.
% 7.80/7.98
% 7.80/7.98 Resetting weight limit to 27 after 3230 givens.
% 7.80/7.98
% 7.80/7.99
% 7.80/7.99
% 7.80/7.99 Changing weight limit from 27 to 26.
% 7.80/7.99
% 7.80/7.99 Resetting weight limit to 26 after 3235 givens.
% 7.80/7.99
% 7.80/8.00
% 7.80/8.00
% 7.80/8.00 Changing weight limit from 26 to 27.
% 7.80/8.00
% 7.80/8.00 Resetting weight limit to 27 after 3250 givens.
% 7.80/8.00
% 7.84/8.02
% 7.84/8.02
% 7.84/8.02 Changing weight limit from 27 to 26.
% 7.84/8.02
% 7.84/8.02 Resetting weight limit to 26 after 3255 givens.
% 7.84/8.02
% 7.86/8.06
% 7.86/8.06
% 7.86/8.06 Changing weight limit from 26 to 27.
% 7.86/8.06
% 7.86/8.06 Resetting weight limit to 27 after 3265 givens.
% 7.86/8.06
% 7.86/8.08
% 7.86/8.08
% 7.86/8.08 Changing weight limit from 27 to 26.
% 7.86/8.08
% 7.86/8.08 Resetting weight limit to 26 after 3275 givens.
% 7.86/8.08
% 8.01/8.22
% 8.01/8.22
% 8.01/8.22 Changing weight limit from 26 to 27.
% 8.01/8.22
% 8.01/8.22 Resetting weight limit to 27 after 3285 givens.
% 8.01/8.22
% 8.16/8.33
% 8.16/8.33
% 8.16/8.33 Changing weight limit from 27 to 26.
% 8.16/8.33
% 8.16/8.33 Resetting weight limit to 26 after 3290 givens.
% 8.16/8.33
% 8.25/8.45
% 8.25/8.45
% 8.25/8.45 Changing weight limit from 26 to 27.
% 8.25/8.45
% 8.25/8.45 Resetting weight limit to 27 after 3295 givens.
% 8.25/8.45
% 8.33/8.57
% 8.33/8.57
% 8.33/8.57 Changing weight limit from 27 to 26.
% 8.33/8.57
% 8.33/8.57 Resetting weight limit to 26 after 3300 givens.
% 8.33/8.57
% 9.13/9.39
% 9.13/9.39
% 9.13/9.39 Changing weight limit from 26 to 27.
% 9.13/9.39
% 9.13/9.39 Resetting weight limit to 27 after 3335 givens.
% 9.13/9.39
% 9.33/9.56
% 9.33/9.56
% 9.33/9.56 Changing weight limit from 27 to 26.
% 9.33/9.56
% 9.33/9.56 Resetting weight limit to 26 after 3355 givens.
% 9.33/9.56
% 9.45/9.62
% 9.45/9.62
% 9.45/9.62 Changing weight limit from 26 to 27.
% 9.45/9.62
% 9.45/9.62 Resetting weight limit to 27 after 3375 givens.
% 9.45/9.62
% 9.45/9.63
% 9.45/9.63
% 9.45/9.63 Changing weight limit from 27 to 28.
% 9.45/9.63
% 9.45/9.63 Resetting weight limit to 28 after 3380 givens.
% 9.45/9.63
% 9.45/9.64
% 9.45/9.64
% 9.45/9.64 Changing weight limit from 28 to 26.
% 9.45/9.64
% 9.45/9.64 Resetting weight limit to 26 after 3385 givens.
% 9.45/9.64
% 9.55/9.75
% 9.55/9.75
% 9.55/9.75 Changing weight limit from 26 to 27.
% 9.55/9.75
% 9.55/9.75 Resetting weight limit to 27 after 3410 givens.
% 9.55/9.75
% 9.55/9.76
% 9.55/9.76
% 9.55/9.76 Changing weight limit from 27 to 28.
% 9.55/9.76
% 9.55/9.76 Resetting weight limit to 28 after 3420 givens.
% 9.55/9.76
% 9.55/9.76
% 9.55/9.76
% 9.55/9.76 Changing weight limit from 28 to 27.
% 9.55/9.76
% 9.55/9.76 Resetting weight limit to 27 after 3425 givens.
% 9.55/9.76
% 9.70/9.88
% 9.70/9.88
% 9.70/9.88 Changing weight limit from 27 to 28.
% 9.70/9.88
% 9.70/9.88 Resetting weight limit to 28 after 3430 givens.
% 9.70/9.88
% 9.74/10.01
% 9.74/10.01
% 9.74/10.01 Changing weight limit from 28 to 26.
% 9.74/10.01
% 9.74/10.01 Resetting weight limit to 26 after 3435 givens.
% 9.74/10.01
% 10.20/10.42
% 10.20/10.42
% 10.20/10.42 Changing weight limit from 26 to 27.
% 10.20/10.42
% 10.20/10.42 Resetting weight limit to 27 after 3470 givens.
% 10.20/10.42
% 10.51/10.68
% 10.51/10.68
% 10.51/10.68 Changing weight limit from 27 to 26.
% 10.51/10.68
% 10.51/10.68 Resetting weight limit to 26 after 3490 givens.
% 10.51/10.68
% 10.66/10.87
% 10.66/10.87
% 10.66/10.87 Changing weight limit from 26 to 27.
% 10.66/10.87
% 10.66/10.87 Resetting weight limit to 27 after 3525 givens.
% 10.66/10.87
% 10.66/10.88
% 10.66/10.88
% 10.66/10.88 Changing weight limit from 27 to 26.
% 10.66/10.88
% 10.66/10.88 Resetting weight limit to 26 after 3530 givens.
% 10.66/10.88
% 10.66/10.89
% 10.66/10.89
% 10.66/10.89 Changing weight limit from 26 to 27.
% 10.66/10.89
% 10.66/10.89 Resetting weight limit to 27 after 3535 givens.
% 10.66/10.89
% 10.66/10.90
% 10.66/10.90
% 10.66/10.90 Changing weight limit from 27 to 26.
% 10.66/10.90
% 10.66/10.90 Resetting weight limit to 26 after 3540 givens.
% 10.66/10.90
% 10.73/10.91
% 10.73/10.91
% 10.73/10.91 Changing weight limit from 26 to 27.
% 10.73/10.91
% 10.73/10.91 Resetting weight limit to 27 after 3545 givens.
% 10.73/10.91
% 10.73/10.91
% 10.73/10.91
% 10.73/10.91 Changing weight limit from 27 to 26.
% 10.73/10.91
% 10.73/10.91 Resetting weight limit to 26 after 3550 givens.
% 10.73/10.91
% 10.73/10.95
% 10.73/10.95
% 10.73/10.95 Changing weight limit from 26 to 27.
% 10.73/10.95
% 10.73/10.95 Resetting weight limit to 27 after 3570 givens.
% 10.73/10.95
% 10.73/10.96
% 10.73/10.96
% 10.73/10.96 Changing weight limit from 27 to 26.
% 10.73/10.96
% 10.73/10.96 Resetting weight limit to 26 after 3575 givens.
% 10.73/10.96
% 10.79/10.97
% 10.79/10.97
% 10.79/10.97 Changing weight limit from 26 to 27.
% 10.79/10.97
% 10.79/10.97 Resetting weight limit to 27 after 3585 givens.
% 10.79/10.97
% 10.79/10.98
% 10.79/10.98
% 10.79/10.98 Changing weight limit from 27 to 26.
% 10.79/10.98
% 10.79/10.98 Resetting weight limit to 26 after 3605 givens.
% 10.79/10.98
% 10.79/11.01
% 10.79/11.01
% 10.79/11.01 Changing weight limit from 26 to 27.
% 10.79/11.01
% 10.79/11.01 Resetting weight limit to 27 after 3640 givens.
% 10.79/11.01
% 10.79/11.02
% 10.79/11.02
% 10.79/11.02 Changing weight limit from 27 to 28.
% 10.79/11.02
% 10.79/11.02 Resetting weight limit to 28 after 3650 givens.
% 10.79/11.02
% 10.79/11.02
% 10.79/11.02
% 10.79/11.02 Changing weight limit from 28 to 27.
% 10.79/11.02
% 10.79/11.02 Resetting weight limit to 27 after 3655 givens.
% 10.79/11.02
% 10.79/11.05
% 10.79/11.05
% 10.79/11.05 Changing weight limit from 27 to 28.
% 10.79/11.05
% 10.79/11.05 Resetting weight limit to 28 after 3660 givens.
% 10.79/11.05
% 10.92/11.11
% 10.92/11.11
% 10.92/11.11 Changing weight limit from 28 to 29.
% 10.92/11.11
% 10.92/11.11 Resetting weight limit to 29 after 3670 givens.
% 10.92/11.11
% 10.92/11.12
% 10.92/11.12
% 10.92/11.12 Changing weight limit from 29 to 30.
% 10.92/11.12
% 10.92/11.12 Resetting weight limit to 30 after 3675 givens.
% 10.92/11.12
% 10.92/11.12
% 10.92/11.12
% 10.92/11.12 Changing weight limit from 30 to 31.
% 10.92/11.12
% 10.92/11.12 Resetting weight limit to 31 after 3680 givens.
% 10.92/11.12
% 10.92/11.13
% 10.92/11.13
% 10.92/11.13 Changing weight limit from 31 to 29.
% 10.92/11.13
% 10.92/11.13 Resetting weight limit to 29 after 3685 givens.
% 10.92/11.13
% 10.96/11.16
% 10.96/11.16
% 10.96/11.16 Changing weight limit from 29 to 30.
% 10.96/11.16
% 10.96/11.16 Resetting weight limit to 30 after 3705 givens.
% 10.96/11.16
% 11.03/11.22
% 11.03/11.22
% 11.03/11.22 Changing weight limit from 30 to 29.
% 11.03/11.22
% 11.03/11.22 Resetting weight limit to 29 after 3725 givens.
% 11.03/11.22
% 11.10/11.29
% 11.10/11.29
% 11.10/11.29 Changing weight limit from 29 to 30.
% 11.10/11.29
% 11.10/11.29 Resetting weight limit to 30 after 3770 givens.
% 11.10/11.29
% 11.10/11.33
% 11.10/11.33
% 11.10/11.33 Changing weight limit from 30 to 29.
% 11.10/11.33
% 11.10/11.33 Resetting weight limit to 29 after 3790 givens.
% 11.10/11.33
% 11.21/11.38
% 11.21/11.38
% 11.21/11.38 Changing weight limit from 29 to 30.
% 11.21/11.38
% 11.21/11.38 Resetting weight limit to 30 after 3825 givens.
% 11.21/11.38
% 11.21/11.40
% 11.21/11.40
% 11.21/11.40 Changing weight limit from 30 to 29.
% 11.21/11.40
% 11.21/11.40 Resetting weight limit to 29 after 3835 givens.
% 11.21/11.40
% 11.26/11.51
% 11.26/11.51
% 11.26/11.51 Changing weight limit from 29 to 28.
% 11.26/11.51
% 11.26/11.51 Resetting weight limit to 28 after 3860 givens.
% 11.26/11.51
% 11.41/11.64
% 11.41/11.64
% 11.41/11.64 Changing weight limit from 28 to 29.
% 11.41/11.64
% 11.41/11.64 Resetting weight limit to 29 after 3870 givens.
% 11.41/11.64
% 11.56/11.77
% 11.56/11.77
% 11.56/11.77 Changing weight limit from 29 to 30.
% 11.56/11.77
% 11.56/11.77 Resetting weight limit to 30 after 3875 givens.
% 11.56/11.77
% 11.82/12.01
% 11.82/12.01
% 11.82/12.01 Changing weight limit from 30 to 29.
% 11.82/12.01
% 11.82/12.01 Resetting weight limit to 29 after 3890 givens.
% 11.82/12.01
% 11.93/12.14
% 11.93/12.14
% 11.93/12.14 Changing weight limit from 29 to 30.
% 11.93/12.14
% 11.93/12.14 Resetting weight limit to 30 after 3935 givens.
% 11.93/12.14
% 11.93/12.16
% 11.93/12.16
% 11.93/12.16 Changing weight limit from 30 to 31.
% 11.93/12.16
% 11.93/12.16 Resetting weight limit to 31 after 3940 givens.
% 11.93/12.16
% 11.93/12.17
% 11.93/12.17
% 11.93/12.17 Changing weight limit from 31 to 28.
% 11.93/12.17
% 11.93/12.17 Resetting weight limit to 28 after 3945 givens.
% 11.93/12.17
% 12.15/12.34
% 12.15/12.34
% 12.15/12.34 Changing weight limit from 28 to 29.
% 12.15/12.34
% 12.15/12.34 Resetting weight limit to 29 after 4060 givens.
% 12.15/12.34
% 12.15/12.38
% 12.15/12.38
% 12.15/12.38 Changing weight limit from 29 to 28.
% 12.15/12.38
% 12.15/12.38 Resetting weight limit to 28 after 4065 givens.
% 12.15/12.38
% 12.24/12.48
% 12.24/12.48
% 12.24/12.48 Changing weight limit from 28 to 29.
% 12.24/12.48
% 12.24/12.48 Resetting weight limit to 29 after 4080 givens.
% 12.24/12.48
% 12.24/12.50
% 12.24/12.50
% 12.24/12.50 Changing weight limit from 29 to 28.
% 12.24/12.50
% 12.24/12.50 Resetting weight limit to 28 after 4085 givens.
% 12.24/12.50
% 12.42/12.66
% 12.42/12.66
% 12.42/12.66 Changing weight limit from 28 to 29.
% 12.42/12.66
% 12.42/12.66 Resetting weight limit to 29 after 4095 givens.
% 12.42/12.66
% 12.54/12.79
% 12.54/12.79
% 12.54/12.79 Changing weight limit from 29 to 30.
% 12.54/12.79
% 12.54/12.79 Resetting weight limit to 30 after 4100 givens.
% 12.54/12.79
% 12.73/12.94
% 12.73/12.94
% 12.73/12.94 Changing weight limit from 30 to 31.
% 12.73/12.94
% 12.73/12.94 Resetting weight limit to 31 after 4105 givens.
% 12.73/12.94
% 12.85/13.07
% 12.85/13.07
% 12.85/13.07 Changing weight limit from 31 to 32.
% 12.85/13.07
% 12.85/13.07 Resetting weight limit to 32 after 4110 givens.
% 12.85/13.07
% 12.94/13.19
% 12.94/13.19
% 12.94/13.19 Changing weight limit from 32 to 33.
% 12.94/13.19
% 12.94/13.19 Resetting weight limit to 33 after 4115 givens.
% 12.94/13.19
% 13.15/13.34
% 13.15/13.34
% 13.15/13.34 Changing weight limit from 33 to 31.
% 13.15/13.34
% 13.15/13.34 Resetting weight limit to 31 after 4120 givens.
% 13.15/13.34
% 13.61/13.85
% 13.61/13.85
% 13.61/13.85 Changing weight limit from 31 to 32.
% 13.61/13.85
% 13.61/13.85 Resetting weight limit to 32 after 4140 givens.
% 13.61/13.85
% 13.77/14.00
% 13.77/14.00
% 13.77/14.00 Changing weight limit from 32 to 31.
% 13.77/14.00
% 13.77/14.00 Resetting weight limit to 31 after 4145 givens.
% 13.77/14.00
% 14.19/14.45
% 14.19/14.45
% 14.19/14.45 Changing weight limit from 31 to 32.
% 14.19/14.45
% 14.19/14.45 Resetting weight limit to 32 after 4205 givens.
% 14.19/14.45
% 14.29/14.48
% 14.29/14.48
% 14.29/14.48 Changing weight limit from 32 to 31.
% 14.29/14.48
% 14.29/14.48 Resetting weight limit to 31 after 4210 givens.
% 14.29/14.48
% 14.36/14.57
% 14.36/14.57
% 14.36/14.57 Changing weight limit from 31 to 30.
% 14.36/14.57
% 14.36/14.57 Resetting weight limit to 30 after 4230 givens.
% 14.36/14.57
% 14.36/14.58
% 14.36/14.58
% 14.36/14.58 Changing weight limit from 30 to 31.
% 14.36/14.58
% 14.36/14.58 Resetting weight limit to 31 after 4235 givens.
% 14.36/14.58
% 14.43/14.61
% 14.43/14.61
% 14.43/14.61 Changing weight limit from 31 to 32.
% 14.43/14.61
% 14.43/14.61 Resetting weight limit to 32 after 4240 givens.
% 14.43/14.61
% 14.43/14.65
% 14.43/14.65
% 14.43/14.65 Changing weight limit from 32 to 31.
% 14.43/14.65
% 14.43/14.65 Resetting weight limit to 31 after 4245 givens.
% 14.43/14.65
% 14.96/15.20
% 14.96/15.20
% 14.96/15.20 Changing weight limit from 31 to 30.
% 14.96/15.20
% 14.96/15.20 Resetting weight limit to 30 after 4270 givens.
% 14.96/15.20
% 15.12/15.33
% 15.12/15.33
% 15.12/15.33 Changing weight limit from 30 to 31.
% 15.12/15.33
% 15.12/15.33 Resetting weight limit to 31 after 4275 givens.
% 15.12/15.33
% 15.72/15.95
% 15.72/15.95
% 15.72/15.95 Changing weight limit from 31 to 32.
% 15.72/15.95
% 15.72/15.95 Resetting weight limit to 32 after 4345 givens.
% 15.72/15.95
% 15.72/15.99
% 15.72/15.99
% 15.72/15.99 Changing weight limit from 32 to 31.
% 15.72/15.99
% 15.72/15.99 Resetting weight limit to 31 after 4350 givens.
% 15.72/15.99
% 16.24/16.45
% 16.24/16.45
% 16.24/16.45 Changing weight limit from 31 to 30.
% 16.24/16.45
% 16.24/16.45 Modelling stopped after 300 given clauses and 0.00 seconds
% 16.24/16.45
% 16.24/16.45
% 16.24/16.45 Resetting weight limit to 30 after 4470 givens.
% 16.24/16.45
% 16.51/16.68
% 16.51/16.68
% 16.51/16.68 Changing weight limit from 30 to 31.
% 16.51/16.68
% 16.51/16.68 Resetting weight limit to 31 after 4480 givens.
% 16.51/16.68
% 16.73/16.91
% 16.73/16.91
% 16.73/16.91 Changing weight limit from 31 to 32.
% 16.73/16.91
% 16.73/16.91 Resetting weight limit to 32 after 4490 givens.
% 16.73/16.91
% 16.73/16.94
% 16.73/16.94
% 16.73/16.94 Changing weight limit from 32 to 31.
% 16.73/16.94
% 16.73/16.94 Resetting weight limit to 31 after 4495 givens.
% 16.73/16.94
% 16.87/17.09
% 16.87/17.09
% 16.87/17.09 Changing weight limit from 31 to 32.
% 16.87/17.09
% 16.87/17.09 Resetting weight limit to 32 after 4530 givens.
% 16.87/17.09
% 16.87/17.10
% 16.87/17.10
% 16.87/17.10 Changing weight limit from 32 to 31.
% 16.87/17.10
% 16.87/17.10 Resetting weight limit to 31 after 4535 givens.
% 16.87/17.10
% 16.95/17.12
% 16.95/17.12
% 16.95/17.12 Changing weight limit from 31 to 30.
% 16.95/17.12
% 16.95/17.12 Resetting weight limit to 30 after 4540 givens.
% 16.95/17.12
% 16.95/17.12
% 16.95/17.12
% 16.95/17.12 Changing weight limit from 30 to 31.
% 16.95/17.12
% 16.95/17.12 Resetting weight limit to 31 after 4545 givens.
% 16.95/17.12
% 16.95/17.13
% 16.95/17.13
% 16.95/17.13 Changing weight limit from 31 to 32.
% 16.95/17.13
% 16.95/17.13 Resetting weight limit to 32 after 4550 givens.
% 16.95/17.13
% 16.95/17.15
% 16.95/17.15
% 16.95/17.15 Changing weight limit from 32 to 31.
% 16.95/17.15
% 16.95/17.15 Resetting weight limit to 31 after 4560 givens.
% 16.95/17.15
% 17.01/17.21
% 17.01/17.21
% 17.01/17.21 Changing weight limit from 31 to 30.
% 17.01/17.21
% 17.01/17.21 Resetting weight limit to 30 after 4570 givens.
% 17.01/17.21
% 17.01/17.25
% 17.01/17.25
% 17.01/17.25 Changing weight limit from 30 to 31.
% 17.01/17.25
% 17.01/17.25 Resetting weight limit to 31 after 4580 givens.
% 17.01/17.25
% 17.09/17.27
% 17.09/17.27
% 17.09/17.27 Changing weight limit from 31 to 30.
% 17.09/17.27
% 17.09/17.27 Resetting weight limit to 30 after 4585 givens.
% 17.09/17.27
% 17.31/17.56
% 17.31/17.56
% 17.31/17.56 Changing weight limit from 30 to 31.
% 17.31/17.56
% 17.31/17.56 Resetting weight limit to 31 after 4600 givens.
% 17.31/17.56
% 17.46/17.69
% 17.46/17.69
% 17.46/17.69 Changing weight limit from 31 to 32.
% 17.46/17.69
% 17.46/17.69 Resetting weight limit to 32 after 4605 givens.
% 17.46/17.69
% 17.59/17.84
% 17.59/17.84
% 17.59/17.84 Changing weight limit from 32 to 31.
% 17.59/17.84
% 17.59/17.84 Resetting weight limit to 31 after 4610 givens.
% 17.59/17.84
% 17.90/18.10
% 17.90/18.10
% 17.90/18.10 Changing weight limit from 31 to 30.
% 17.90/18.10
% 17.90/18.10 Resetting weight limit to 30 after 4620 givens.
% 17.90/18.10
% 18.04/18.23
% 18.04/18.23
% 18.04/18.23 Changing weight limit from 30 to 31.
% 18.04/18.23
% 18.04/18.23 Resetting weight limit to 31 after 4625 givens.
% 18.04/18.23
% 18.73/18.91
% 18.73/18.91
% 18.73/18.91 Changing weight limit from 31 to 30.
% 18.73/18.91
% 18.73/18.91 Resetting weight limit to 30 after 4660 givens.
% 18.73/18.91
% 18.94/19.18
% 18.94/19.18
% 18.94/19.18 Changing weight limit from 30 to 31.
% 18.94/19.18
% 18.94/19.18 Resetting weight limit to 31 after 4720 givens.
% 18.94/19.18
% 18.94/19.19
% 18.94/19.19
% 18.94/19.19 Changing weight limit from 31 to 32.
% 18.94/19.19
% 18.94/19.19 Resetting weight limit to 32 after 4725 givens.
% 18.94/19.19
% 18.94/19.20
% 18.94/19.20
% 18.94/19.20 Changing weight limit from 32 to 31.
% 18.94/19.20
% 18.94/19.20 Resetting weight limit to 31 after 4730 givens.
% 18.94/19.20
% 19.82/20.03
% 19.82/20.03
% 19.82/20.03 Changing weight limit from 31 to 30.
% 19.82/20.03
% 19.82/20.03 Resetting weight limit to 30 after 4765 givens.
% 19.82/20.03
% 20.12/20.35
% 20.12/20.35
% 20.12/20.35 Changing weight limit from 30 to 31.
% 20.12/20.35
% 20.12/20.35 Resetting weight limit to 31 after 4805 givens.
% 20.12/20.35
% 20.20/20.38
% 20.20/20.38
% 20.20/20.38 Changing weight limit from 31 to 32.
% 20.20/20.38
% 20.20/20.38 Resetting weight limit to 32 after 4810 givens.
% 20.20/20.38
% 20.27/20.44
% 20.27/20.44
% 20.27/20.44 Changing weight limit from 32 to 30.
% 20.27/20.44
% 20.27/20.44 Resetting weight limit to 30 after 4820 givens.
% 20.27/20.44
% 20.27/20.48
% 20.27/20.48
% 20.27/20.48 Changing weight limit from 30 to 31.
% 20.27/20.48
% 20.27/20.48 Resetting weight limit to 31 after 4835 givens.
% 20.27/20.48
% 20.35/20.52
% 20.35/20.52
% 20.35/20.52 Changing weight limit from 31 to 32.
% 20.35/20.52
% 20.35/20.52 Resetting weight limit to 32 after 4840 givens.
% 20.35/20.52
% 20.35/20.54
% 20.35/20.54
% 20.35/20.54 Changing weight limit from 32 to 30.
% 20.35/20.54
% 20.35/20.54 Resetting weight limit to 30 after 4845 givens.
% 20.35/20.54
% 20.41/20.58
% 20.41/20.58
% 20.41/20.58 Changing weight limit from 30 to 31.
% 20.41/20.58
% 20.41/20.58 Resetting weight limit to 31 after 4860 givens.
% 20.41/20.58
% 20.41/20.59
% 20.41/20.59
% 20.41/20.59 Changing weight limit from 31 to 32.
% 20.41/20.59
% 20.41/20.59 Resetting weight limit to 32 after 4865 givens.
% 20.41/20.59
% 20.41/20.61
% 20.41/20.61
% 20.41/20.61 Changing weight limit from 32 to 33.
% 20.41/20.61
% 20.41/20.61 Resetting weight limit to 33 after 4870 givens.
% 20.41/20.61
% 20.41/20.64
% 20.41/20.64
% 20.41/20.64 Changing weight limit from 33 to 30.
% 20.41/20.64
% 20.41/20.64 Resetting weight limit to 30 after 4875 givens.
% 20.41/20.64
% 20.49/20.66
% 20.49/20.66
% 20.49/20.66 Changing weight limit from 30 to 31.
% 20.49/20.66
% 20.49/20.66 Resetting weight limit to 31 after 4890 givens.
% 20.49/20.66
% 20.51/20.70
% 20.51/20.70
% 20.51/20.70 Changing weight limit from 31 to 32.
% 20.51/20.70
% 20.51/20.70 Resetting weight limit to 32 after 4895 givens.
% 20.51/20.70
% 20.55/20.72
% 20.55/20.72
% 20.55/20.72 Changing weight limit from 32 to 30.
% 20.55/20.72
% 20.55/20.72 Resetting weight limit to 30 after 4900 givens.
% 20.55/20.72
% 20.56/20.78
% 20.56/20.78
% 20.56/20.78 Changing weight limit from 30 to 31.
% 20.56/20.78
% 20.56/20.78 Resetting weight limit to 31 after 4915 givens.
% 20.56/20.78
% 20.56/20.80
% 20.56/20.80
% 20.56/20.80 Changing weight limit from 31 to 32.
% 20.56/20.80
% 20.56/20.80 Resetting weight limit to 32 after 4920 givens.
% 20.56/20.80
% 20.64/20.85
% 20.64/20.85
% 20.64/20.85 Changing weight limit from 32 to 30.
% 20.64/20.85
% 20.64/20.85 Resetting weight limit to 30 after 4930 givens.
% 20.64/20.85
% 20.64/20.87
% 20.64/20.87
% 20.64/20.87 Changing weight limit from 30 to 31.
% 20.64/20.87
% 20.64/20.87 Resetting weight limit to 31 after 4940 givens.
% 20.64/20.87
% 20.72/20.91
% 20.72/20.91
% 20.72/20.91 Changing weight limit from 31 to 32.
% 20.72/20.91
% 20.72/20.91 Resetting weight limit to 32 after 4945 givens.
% 20.72/20.91
% 20.72/20.93
% 20.72/20.93
% 20.72/20.93 Changing weight limit from 32 to 30.
% 20.72/20.93
% 20.72/20.93 Resetting weight limit to 30 after 4950 givens.
% 20.72/20.93
% 20.72/20.95
% 20.72/20.95
% 20.72/20.95 Changing weight limit from 30 to 31.
% 20.72/20.95
% 20.72/20.95 Resetting weight limit to 31 after 4960 givens.
% 20.72/20.95
% 20.82/20.99
% 20.82/20.99
% 20.82/20.99 Changing weight limit from 31 to 32.
% 20.82/20.99
% 20.82/20.99 Resetting weight limit to 32 after 4965 givens.
% 20.82/20.99
% 20.84/21.00
% 20.84/21.00
% 20.84/21.00 Changing weight limit from 32 to 30.
% 20.84/21.00
% 20.84/21.00 Resetting weight limit to 30 after 4970 givens.
% 20.84/21.00
% 20.87/21.05
% 20.87/21.05
% 20.87/21.05 Changing weight limit from 30 to 31.
% 20.87/21.05
% 20.87/21.05 Resetting weight limit to 31 after 4995 givens.
% 20.87/21.05
% 20.87/21.09
% 20.87/21.09
% 20.87/21.09 Changing weight limit from 31 to 32.
% 20.87/21.09
% 20.87/21.09 Resetting weight limit to 32 after 5000 givens.
% 20.87/21.09
% 20.93/21.10
% 20.93/21.10
% 20.93/21.10 Changing weight limit from 32 to 30.
% 20.93/21.10
% 20.93/21.10 Resetting weight limit to 30 after 5005 givens.
% 20.93/21.10
% 21.00/21.18
% 21.00/21.18
% 21.00/21.18 Changing weight limit from 30 to 31.
% 21.00/21.18
% 21.00/21.18 Resetting weight limit to 31 after 5025 givens.
% 21.00/21.18
% 21.00/21.20
% 21.00/21.20
% 21.00/21.20 Changing weight limit from 31 to 32.
% 21.00/21.20
% 21.00/21.20 Resetting weight limit to 32 after 5030 givens.
% 21.00/21.20
% 21.00/21.22
% 21.00/21.22
% 21.00/21.22 Changing weight limit from 32 to 31.
% 21.00/21.22
% 21.00/21.22 Resetting weight limit to 31 after 5035 givens.
% 21.00/21.22
% 21.00/21.23
% 21.00/21.23
% 21.00/21.23 Changing weight limit from 31 to 30.
% 21.00/21.23
% 21.00/21.23 Resetting weight limit to 30 after 5040 givens.
% 21.00/21.23
% 21.00/21.26
% 21.00/21.26
% 21.00/21.26 Changing weight limit from 30 to 31.
% 21.00/21.26
% 21.00/21.26 Resetting weight limit to 31 after 5050 givens.
% 21.00/21.26
% 21.11/21.29
% 21.11/21.29
% 21.11/21.29 Changing weight limit from 31 to 32.
% 21.11/21.29
% 21.11/21.29 Resetting weight limit to 32 after 5055 givens.
% 21.11/21.29
% 21.15/21.31
% 21.15/21.31
% 21.15/21.31 Changing weight limit from 32 to 30.
% 21.15/21.31
% 21.15/21.31 Resetting weight limit to 30 after 5060 givens.
% 21.15/21.31
% 21.18/21.33
% 21.18/21.33
% 21.18/21.33 Changing weight limit from 30 to 31.
% 21.18/21.33
% 21.18/21.33 Resetting weight limit to 31 after 5070 givens.
% 21.18/21.33
% 21.18/21.37
% 21.18/21.37
% 21.18/21.37 Changing weight limit from 31 to 32.
% 21.18/21.37
% 21.18/21.37 Resetting weight limit to 32 after 5075 givens.
% 21.18/21.37
% 21.18/21.38
% 21.18/21.38
% 21.18/21.38 Changing weight limit from 32 to 30.
% 21.18/21.38
% 21.18/21.38 Resetting weight limit to 30 after 5080 givens.
% 21.18/21.38
% 21.18/21.39
% 21.18/21.39
% 21.18/21.39 Changing weight limit from 30 to 31.
% 21.18/21.39
% 21.18/21.39 Resetting weight limit to 31 after 5090 givens.
% 21.18/21.39
% 21.24/21.42
% 21.24/21.42
% 21.24/21.42 Changing weight limit from 31 to 32.
% 21.24/21.42
% 21.24/21.42 Resetting weight limit to 32 after 5095 givens.
% 21.24/21.42
% 21.24/21.45
% 21.24/21.45
% 21.24/21.45 Changing weight limit from 32 to 30.
% 21.24/21.45
% 21.24/21.45 Resetting weight limit to 30 after 5100 givens.
% 21.24/21.45
% 21.33/21.48
% 21.33/21.48
% 21.33/21.48 Changing weight limit from 30 to 31.
% 21.33/21.48
% 21.33/21.48 Resetting weight limit to 31 after 5110 givens.
% 21.33/21.48
% 21.33/21.51
% 21.33/21.51
% 21.33/21.51 Changing weight limit from 31 to 32.
% 21.33/21.51
% 21.33/21.51 Resetting weight limit to 32 after 5115 givens.
% 21.33/21.51
% 21.33/21.57
% 21.33/21.57
% 21.33/21.57 Changing weight limit from 32 to 29.
% 21.33/21.57
% 21.33/21.57 Resetting weight limit to 29 after 5125 givens.
% 21.33/21.57
% 21.43/21.58
% 21.43/21.58
% 21.43/21.58 Changing weight limit from 29 to 30.
% 21.43/21.58
% 21.43/21.58 Resetting weight limit to 30 after 5135 givens.
% 21.43/21.58
% 21.46/21.62
% 21.46/21.62
% 21.46/21.62 Changing weight limit from 30 to 31.
% 21.46/21.62
% 21.46/21.62 Resetting weight limit to 31 after 5140 givens.
% 21.46/21.62
% 21.46/21.63
% 21.46/21.63
% 21.46/21.63 Changing weight limit from 31 to 30.
% 21.46/21.63
% 21.46/21.63 Resetting weight limit to 30 after 5145 givens.
% 21.46/21.63
% 21.48/21.68
% 21.48/21.68
% 21.48/21.68 Changing weight limit from 30 to 31.
% 21.48/21.68
% 21.48/21.68 Resetting weight limit to 31 after 5165 givens.
% 21.48/21.68
% 21.48/21.69
% 21.48/21.69
% 21.48/21.69 Changing weight limit from 31 to 32.
% 21.48/21.69
% 21.48/21.69 Resetting weight limit to 32 after 5170 givens.
% 21.48/21.69
% 21.56/21.73
% 21.56/21.73
% 21.56/21.73 Changing weight limit from 32 to 30.
% 21.56/21.73
% 21.56/21.73 Resetting weight limit to 30 after 5180 givens.
% 21.56/21.73
% 21.56/21.78
% 21.56/21.78
% 21.56/21.78 Changing weight limit from 30 to 31.
% 21.56/21.78
% 21.56/21.78 Resetting weight limit to 31 after 5200 givens.
% 21.56/21.78
% 21.63/21.80
% 21.63/21.80
% 21.63/21.80 Changing weight limit from 31 to 32.
% 21.63/21.80
% 21.63/21.80 Resetting weight limit to 32 after 5205 givens.
% 21.63/21.80
% 21.63/21.83
% 21.63/21.83
% 21.63/21.83 Changing weight limit from 32 to 30.
% 21.63/21.83
% 21.63/21.83 Resetting weight limit to 30 after 5210 givens.
% 21.63/21.83
% 21.63/21.86
% 21.63/21.86
% 21.63/21.86 Changing weight limit from 30 to 31.
% 21.63/21.86
% 21.63/21.86 Resetting weight limit to 31 after 5220 givens.
% 21.63/21.86
% 21.73/21.89
% 21.73/21.89
% 21.73/21.89 Changing weight limit from 31 to 32.
% 21.73/21.89
% 21.73/21.89 Resetting weight limit to 32 after 5225 givens.
% 21.73/21.89
% 21.77/21.92
% 21.77/21.92
% 21.77/21.92 Changing weight limit from 32 to 31.
% 21.77/21.92
% 21.77/21.92 Resetting weight limit to 31 after 5230 givens.
% 21.77/21.92
% 21.78/21.93
% 21.78/21.93
% 21.78/21.93 Changing weight limit from 31 to 30.
% 21.78/21.93
% 21.78/21.93 Resetting weight limit to 30 after 5235 givens.
% 21.78/21.93
% 21.78/21.94
% 21.78/21.94
% 21.78/21.94 Changing weight limit from 30 to 31.
% 21.78/21.94
% 21.78/21.94 Resetting weight limit to 31 after 5245 givens.
% 21.78/21.94
% 21.78/21.99
% 21.78/21.99
% 21.78/21.99 Changing weight limit from 31 to 32.
% 21.78/21.99
% 21.78/21.99 Resetting weight limit to 32 after 5250 givens.
% 21.78/21.99
% 21.78/22.00
% 21.78/22.00
% 21.78/22.00 Changing weight limit from 32 to 30.
% 21.78/22.00
% 21.78/22.00 Resetting weight limit to 30 after 5255 givens.
% 21.78/22.00
% 21.86/22.03
% 21.86/22.03
% 21.86/22.03 Changing weight limit from 30 to 31.
% 21.86/22.03
% 21.86/22.03 Resetting weight limit to 31 after 5265 givens.
% 21.86/22.03
% 21.86/22.05
% 21.86/22.05
% 21.86/22.05 Changing weight limit from 31 to 32.
% 21.86/22.05
% 21.86/22.05 Resetting weight limit to 32 after 5270 givens.
% 21.86/22.05
% 21.86/22.07
% 21.86/22.07
% 21.86/22.07 Changing weight limit from 32 to 29.
% 21.86/22.07
% 21.86/22.07 Resetting weight limit to 29 after 5275 givens.
% 21.86/22.07
% 21.86/22.09
% 21.86/22.09
% 21.86/22.09 Changing weight limit from 29 to 30.
% 21.86/22.09
% 21.86/22.09 Resetting weight limit to 30 after 5285 givens.
% 21.86/22.09
% 21.95/22.10
% 21.95/22.10
% 21.95/22.10 Changing weight limit from 30 to 31.
% 21.95/22.10
% 21.95/22.10 Resetting weight limit to 31 after 5290 givens.
% 21.95/22.10
% 21.95/22.10
% 21.95/22.10
% 21.95/22.10 Changing weight limit from 31 to 32.
% 21.95/22.10
% 21.95/22.10 Resetting weight limit to 32 after 5295 givens.
% 21.95/22.10
% 21.95/22.15
% 21.95/22.15
% 21.95/22.15 Changing weight limit from 32 to 31.
% 21.95/22.15
% 21.95/22.15 Resetting weight limit to 31 after 5300 givens.
% 21.95/22.15
% 21.95/22.15
% 21.95/22.15
% 21.95/22.15 Changing weight limit from 31 to 30.
% 21.95/22.15
% 21.95/22.15 Resetting weight limit to 30 after 5305 givens.
% 21.95/22.15
% 22.07/22.24
% 22.07/22.24
% 22.07/22.24 Changing weight limit from 30 to 31.
% 22.07/22.24
% 22.07/22.24 Resetting weight limit to 31 after 5330 givens.
% 22.07/22.24
% 22.07/22.28
% 22.07/22.28
% 22.07/22.28 Changing weight limit from 31 to 32.
% 22.07/22.28
% 22.07/22.28 Resetting weight limit to 32 after 5335 givens.
% 22.07/22.28
% 22.07/22.29
% 22.07/22.29
% 22.07/22.29 Changing weight limit from 32 to 30.
% 22.07/22.29
% 22.07/22.29 Resetting weight limit to 30 after 5340 givens.
% 22.07/22.29
% 22.14/22.33
% 22.14/22.33
% 22.14/22.33 Changing weight limit from 30 to 31.
% 22.14/22.33
% 22.14/22.33 Resetting weight limit to 31 after 5360 givens.
% 22.14/22.33
% 22.14/22.38
% 22.14/22.38
% 22.14/22.38 Changing weight limit from 31 to 32.
% 22.14/22.38
% 22.14/22.38 Resetting weight limit to 32 after 5365 givens.
% 22.14/22.38
% 22.23/22.39
% 22.23/22.39
% 22.23/22.39 Changing weight limit from 32 to 30.
% 22.23/22.39
% 22.23/22.39 Resetting weight limit to 30 after 5370 givens.
% 22.23/22.39
% 22.23/22.41
% 22.23/22.41
% 22.23/22.41 Changing weight limit from 30 to 31.
% 22.23/22.41
% 22.23/22.41 Resetting weight limit to 31 after 5380 givens.
% 22.23/22.41
% 22.23/22.44
% 22.23/22.44
% 22.23/22.44 Changing weight limit from 31 to 32.
% 22.23/22.44
% 22.23/22.44 Resetting weight limit to 32 after 5385 givens.
% 22.23/22.44
% 22.23/22.45
% 22.23/22.45
% 22.23/22.45 Changing weight limit from 32 to 30.
% 22.23/22.45
% 22.23/22.45 Resetting weight limit to 30 after 5390 givens.
% 22.23/22.45
% 22.36/22.53
% 22.36/22.53
% 22.36/22.53 Changing weight limit from 30 to 31.
% 22.36/22.53
% 22.36/22.53 Resetting weight limit to 31 after 5415 givens.
% 22.36/22.53
% 22.36/22.55
% 22.36/22.55
% 22.36/22.55 Changing weight limit from 31 to 32.
% 22.36/22.55
% 22.36/22.55 Resetting weight limit to 32 after 5420 givens.
% 22.36/22.55
% 22.36/22.58
% 22.36/22.58
% 22.36/22.58 Changing weight limit from 32 to 30.
% 22.36/22.58
% 22.36/22.58 Resetting weight limit to 30 after 5425 givens.
% 22.36/22.58
% 22.47/22.63
% 22.47/22.63
% 22.47/22.63 Changing weight limit from 30 to 31.
% 22.47/22.63
% 22.47/22.63 Resetting weight limit to 31 after 5450 givens.
% 22.47/22.63
% 22.47/22.65
% 22.47/22.65
% 22.47/22.65 Changing weight limit from 31 to 32.
% 22.47/22.65
% 22.47/22.65 Resetting weight limit to 32 after 5455 givens.
% 22.47/22.65
% 22.55/22.70
% 22.55/22.70
% 22.55/22.70 Changing weight limit from 32 to 30.
% 22.55/22.70
% 22.55/22.70 Resetting weight limit to 30 after 5465 givens.
% 22.55/22.70
% 22.55/22.78
% 22.55/22.78
% 22.55/22.78 Changing weight limit from 30 to 31.
% 22.55/22.78
% 22.55/22.78 Resetting weight limit to 31 after 5505 givens.
% 22.55/22.78
% 22.64/22.83
% 22.64/22.83
% 22.64/22.83 Changing weight limit from 31 to 32.
% 22.64/22.83
% 22.64/22.83 Resetting weight limit to 32 after 5510 givens.
% 22.64/22.83
% 22.64/22.86
% 22.64/22.86
% 22.64/22.86 Changing weight limit from 32 to 30.
% 22.64/22.86
% 22.64/22.86 Resetting weight limit to 30 after 5515 givens.
% 22.64/22.86
% 22.74/22.93
% 22.74/22.93
% 22.74/22.93 Changing weight limit from 30 to 31.
% 22.74/22.93
% 22.74/22.93 Resetting weight limit to 31 after 5550 givens.
% 22.74/22.93
% 22.74/22.94
% 22.74/22.94
% 22.74/22.94 Changing weight limit from 31 to 32.
% 22.74/22.94
% 22.74/22.94 Resetting weight limit to 32 after 5555 givens.
% 22.74/22.94
% 22.74/22.99
% 22.74/22.99
% 22.74/22.99 Changing weight limit from 32 to 30.
% 22.74/22.99
% 22.74/22.99 Resetting weight limit to 30 after 5565 givens.
% 22.74/22.99
% 22.85/23.01
% 22.85/23.01
% 22.85/23.01 Changing weight limit from 30 to 31.
% 22.85/23.01
% 22.85/23.01 Resetting weight limit to 31 after 5575 givens.
% 22.85/23.01
% 22.85/23.03
% 22.85/23.03
% 22.85/23.03 Changing weight limit from 31 to 32.
% 22.85/23.03
% 22.85/23.03 Resetting weight limit to 32 after 5580 givens.
% 22.85/23.03
% 22.85/23.05
% 22.85/23.05
% 22.85/23.05 Changing weight limit from 32 to 30.
% 22.85/23.05
% 22.85/23.05 Resetting weight limit to 30 after 5590 givens.
% 22.85/23.05
% 22.85/23.08
% 22.85/23.08
% 22.85/23.08 Changing weight limit from 30 to 31.
% 22.85/23.08
% 22.85/23.08 Resetting weight limit to 31 after 5620 givens.
% 22.85/23.08
% 22.95/23.10
% 22.95/23.10
% 22.95/23.10 Changing weight limit from 31 to 32.
% 22.95/23.10
% 22.95/23.10 Resetting weight limit to 32 after 5625 givens.
% 22.95/23.10
% 22.95/23.14
% 22.95/23.14
% 22.95/23.14 Changing weight limit from 32 to 30.
% 22.95/23.14
% 22.95/23.14 Resetting weight limit to 30 after 5635 givens.
% 22.95/23.14
% 22.95/23.14
% 22.95/23.14
% 22.95/23.14 Changing weight limit from 30 to 31.
% 22.95/23.14
% 22.95/23.14 Resetting weight limit to 31 after 5645 givens.
% 22.95/23.14
% 22.95/23.18
% 22.95/23.18
% 22.95/23.18 Changing weight limit from 31 to 32.
% 22.95/23.18
% 22.95/23.18 Resetting weight limit to 32 after 5650 givens.
% 22.95/23.18
% 22.95/23.19
% 22.95/23.19
% 22.95/23.19 Changing weight limit from 32 to 30.
% 22.95/23.19
% 22.95/23.19 Resetting weight limit to 30 after 5655 givens.
% 22.95/23.19
% 23.04/23.20
% 23.04/23.20
% 23.04/23.20 Changing weight limit from 30 to 31.
% 23.04/23.20
% 23.04/23.20 Resetting weight limit to 31 after 5665 givens.
% 23.04/23.20
% 23.04/23.23
% 23.04/23.23
% 23.04/23.23 Changing weight limit from 31 to 32.
% 23.04/23.23
% 23.04/23.23 Resetting weight limit to 32 after 5670 givens.
% 23.04/23.23
% 23.04/23.24
% 23.04/23.24
% 23.04/23.24 Changing weight limit from 32 to 30.
% 23.04/23.24
% 23.04/23.24 Resetting weight limit to 30 after 5675 givens.
% 23.04/23.24
% 23.04/23.25
% 23.04/23.25
% 23.04/23.25 Changing weight limit from 30 to 31.
% 23.04/23.25
% 23.04/23.25 Resetting weight limit to 31 after 5685 givens.
% 23.04/23.25
% 23.04/23.27
% 23.04/23.27
% 23.04/23.27 Changing weight limit from 31 to 32.
% 23.04/23.27
% 23.04/23.27 Resetting weight limit to 32 after 5690 givens.
% 23.04/23.27
% 23.04/23.28
% 23.04/23.28
% 23.04/23.28 Changing weight limit from 32 to 30.
% 23.04/23.28
% 23.04/23.28 Resetting weight limit to 30 after 5695 givens.
% 23.04/23.28
% 23.54/23.71
% 23.54/23.71
% 23.54/23.71 Changing weight limit from 30 to 31.
% 23.54/23.71
% 23.54/23.71 Resetting weight limit to 31 after 6145 givens.
% 23.54/23.71
% 23.56/23.76
% 23.56/23.76
% 23.56/23.76 Changing weight limit from 31 to 32.
% 23.56/23.76
% 23.56/23.76 Resetting weight limit to 32 after 6155 givens.
% 23.56/23.76
% 23.56/23.76
% 23.56/23.76
% 23.56/23.76 Changing weight limit from 32 to 33.
% 23.56/23.76
% 23.56/23.76 Resetting weight limit to 33 after 6160 givens.
% 23.56/23.76
% 23.56/23.77
% 23.56/23.77
% 23.56/23.77 Changing weight limit from 33 to 34.
% 23.56/23.77
% 23.56/23.77 Resetting weight limit to 34 after 6165 givens.
% 23.56/23.77
% 23.56/23.79
% 23.56/23.79
% 23.56/23.79 Changing weight limit from 34 to 33.
% 23.56/23.79
% 23.56/23.79 Resetting weight limit to 33 after 6170 givens.
% 23.56/23.79
% 23.66/23.86
% 23.66/23.86
% 23.66/23.86 Changing weight limit from 33 to 34.
% 23.66/23.86
% 23.66/23.86 Resetting weight limit to 34 after 6180 givens.
% 23.66/23.86
% 23.66/23.88
% 23.66/23.88
% 23.66/23.88 Changing weight limit from 34 to 33.
% 23.66/23.88
% 23.66/23.88 Resetting weight limit to 33 after 6185 givens.
% 23.66/23.88
% 23.66/23.89
% 23.66/23.89
% 23.66/23.89 Changing weight limit from 33 to 34.
% 23.66/23.89
% 23.66/23.89 Resetting weight limit to 34 after 6190 givens.
% 23.66/23.89
% 23.75/23.94
% 23.75/23.94
% 23.75/23.94 Changing weight limit from 34 to 33.
% 23.75/23.94
% 23.75/23.94 Resetting weight limit to 33 after 6195 givens.
% 23.75/23.94
% 23.75/23.95
% 23.75/23.95
% 23.75/23.95 Changing weight limit from 33 to 34.
% 23.75/23.95
% 23.75/23.95 Resetting weight limit to 34 after 6200 givens.
% 23.75/23.95
% 23.75/23.95
% 23.75/23.95
% 23.75/23.95 Changing weight limit from 34 to 33.
% 23.75/23.95
% 23.75/23.95 Resetting weight limit to 33 after 6205 givens.
% 23.75/23.95
% 23.75/23.96
% 23.75/23.96
% 23.75/23.96 Changing weight limit from 33 to 34.
% 23.75/23.96
% 23.75/23.96 Resetting weight limit to 34 after 6210 givens.
% 23.75/23.96
% 23.75/23.96
% 23.75/23.96
% 23.75/23.96 Changing weight limit from 34 to 33.
% 23.75/23.96
% 23.75/23.96 Resetting weight limit to 33 after 6215 givens.
% 23.75/23.96
% 23.83/24.00
% 23.83/24.00
% 23.83/24.00 Changing weight limit from 33 to 34.
% 23.83/24.00
% 23.83/24.00 Resetting weight limit to 34 after 6225 givens.
% 23.83/24.00
% 23.83/24.01
% 23.83/24.01
% 23.83/24.01 Changing weight limit from 34 to 33.
% 23.83/24.01
% 23.83/24.01 Resetting weight limit to 33 after 6230 givens.
% 23.83/24.01
% 23.83/24.01
% 23.83/24.01
% 23.83/24.01 Changing weight limit from 33 to 34.
% 23.83/24.01
% 23.83/24.01 Resetting weight limit to 34 after 6235 givens.
% 23.83/24.01
% 23.83/24.04
% 23.83/24.04
% 23.83/24.04 Changing weight limit from 34 to 33.
% 23.83/24.04
% 23.83/24.04 Resetting weight limit to 33 after 6240 givens.
% 23.83/24.04
% 23.83/24.05
% 23.83/24.05
% 23.83/24.05 Changing weight limit from 33 to 34.
% 23.83/24.05
% 23.83/24.05 Resetting weight limit to 34 after 6245 givens.
% 23.83/24.05
% 23.83/24.05
% 23.83/24.05
% 23.83/24.05 Changing weight limit from 34 to 33.
% 23.83/24.05
% 23.83/24.05 Resetting weight limit to 33 after 6250 givens.
% 23.83/24.05
% 23.83/24.06
% 23.83/24.06
% 23.83/24.06 Changing weight limit from 33 to 34.
% 23.83/24.06
% 23.83/24.06 Resetting weight limit to 34 after 6255 givens.
% 23.83/24.06
% 23.83/24.09
% 23.83/24.09
% 23.83/24.09 Changing weight limit from 34 to 33.
% 23.83/24.09
% 23.83/24.09 Resetting weight limit to 33 after 6260 givens.
% 23.83/24.09
% 23.98/24.15
% 23.98/24.15
% 23.98/24.15 Changing weight limit from 33 to 34.
% 23.98/24.15
% 23.98/24.15 Resetting weight limit to 34 after 6270 givens.
% 23.98/24.15
% 23.98/24.17
% 23.98/24.17
% 23.98/24.17 Changing weight limit from 34 to 33.
% 23.98/24.17
% 23.98/24.17 Resetting weight limit to 33 after 6275 givens.
% 23.98/24.17
% 23.98/24.18
% 23.98/24.18
% 23.98/24.18 Changing weight limit from 33 to 34.
% 23.98/24.18
% 23.98/24.18 Resetting weight limit to 34 after 6280 givens.
% 23.98/24.18
% 24.06/24.23
% 24.06/24.23
% 24.06/24.23 Changing weight limit from 34 to 33.
% 24.06/24.23
% 24.06/24.23 Resetting weight limit to 33 after 6285 givens.
% 24.06/24.23
% 24.06/24.24
% 24.06/24.24
% 24.06/24.24 Changing weight limit from 33 to 34.
% 24.06/24.24
% 24.06/24.24 Resetting weight limit to 34 after 6290 givens.
% 24.06/24.24
% 24.06/24.24
% 24.06/24.24
% 24.06/24.24 Changing weight limit from 34 to 33.
% 24.06/24.24
% 24.06/24.24 Resetting weight limit to 33 after 6295 givens.
% 24.06/24.24
% 24.06/24.25
% 24.06/24.25
% 24.06/24.25 Changing weight limit from 33 to 34.
% 24.06/24.25
% 24.06/24.25 Resetting weight limit to 34 after 6300 givens.
% 24.06/24.25
% 24.06/24.25
% 24.06/24.25
% 24.06/24.25 Changing weight limit from 34 to 33.
% 24.06/24.25
% 24.06/24.25 Resetting weight limit to 33 after 6305 givens.
% 24.06/24.25
% 24.13/24.29
% 24.13/24.29
% 24.13/24.29 Changing weight limit from 33 to 34.
% 24.13/24.29
% 24.13/24.29 Resetting weight limit to 34 after 6315 givens.
% 24.13/24.29
% 24.13/24.30
% 24.13/24.30
% 24.13/24.30 Changing weight limit from 34 to 33.
% 24.13/24.30
% 24.13/24.30 Resetting weight limit to 33 after 6320 givens.
% 24.13/24.30
% 24.13/24.30
% 24.13/24.30
% 24.13/24.30 Changing weight limit from 33 to 34.
% 24.13/24.30
% 24.13/24.30 Resetting weight limit to 34 after 6325 givens.
% 24.13/24.30
% 24.13/24.33
% 24.13/24.33
% 24.13/24.33 Changing weight limit from 34 to 33.
% 24.13/24.33
% 24.13/24.33 Resetting weight limit to 33 after 6330 givens.
% 24.13/24.33
% 24.13/24.35
% 24.13/24.35
% 24.13/24.35 Changing weight limit from 33 to 34.
% 24.13/24.35
% 24.13/24.35 Resetting weight limit to 34 after 6335 givens.
% 24.13/24.35
% 24.13/24.36
% 24.13/24.36
% 24.13/24.36 Changing weight limit from 34 to 33.
% 24.13/24.36
% 24.13/24.36 Resetting weight limit to 33 after 6340 givens.
% 24.13/24.36
% 24.23/24.38
% 24.23/24.38
% 24.23/24.38 Changing weight limit from 33 to 34.
% 24.23/24.38
% 24.23/24.38 Resetting weight limit to 34 after 6345 givens.
% 24.23/24.38
% 24.23/24.40
% 24.23/24.40
% 24.23/24.40 Changing weight limit from 34 to 33.
% 24.23/24.40
% 24.23/24.40 Resetting weight limit to 33 after 6350 givens.
% 24.23/24.40
% 24.28/24.46
% 24.28/24.46
% 24.28/24.46 Changing weight limit from 33 to 34.
% 24.28/24.46
% 24.28/24.46 Resetting weight limit to 34 after 6360 givens.
% 24.28/24.46
% 24.28/24.46
% 24.28/24.46
% 24.28/24.46 Changing weight limit from 34 to 33.
% 24.28/24.46
% 24.28/24.46 Resetting weight limit to 33 after 6365 givens.
% 24.28/24.46
% 24.28/24.47
% 24.28/24.47
% 24.28/24.47 Changing weight limit from 33 to 34.
% 24.28/24.47
% 24.28/24.47 Resetting weight limit to 34 after 6370 givens.
% 24.28/24.47
% 24.28/24.50
% 24.28/24.50
% 24.28/24.50 Changing weight limit from 34 to 33.
% 24.28/24.50
% 24.28/24.50 Resetting weight limit to 33 after 6375 givens.
% 24.28/24.50
% 24.28/24.50
% 24.28/24.50
% 24.28/24.50 Changing weight limit from 33 to 34.
% 24.28/24.50
% 24.28/24.50 Resetting weight limit to 34 after 6380 givens.
% 24.28/24.50
% 24.28/24.51
% 24.28/24.51
% 24.28/24.51 Changing weight limit from 34 to 33.
% 24.28/24.51
% 24.28/24.51 Resetting weight limit to 33 after 6385 givens.
% 24.28/24.51
% 24.28/24.51
% 24.28/24.51
% 24.28/24.51 Changing weight limit from 33 to 34.
% 24.28/24.51
% 24.28/24.51 Resetting weight limit to 34 after 6390 givens.
% 24.28/24.51
% 24.36/24.54
% 24.36/24.54
% 24.36/24.54 Changing weight limit from 34 to 33.
% 24.36/24.54
% 24.36/24.54 Resetting weight limit to 33 after 6395 givens.
% 24.36/24.54
% 24.43/24.59
% 24.43/24.59
% 24.43/24.59 Changing weight limit from 33 to 34.
% 24.43/24.59
% 24.43/24.59 Resetting weight limit to 34 after 6405 givens.
% 24.43/24.59
% 24.43/24.60
% 24.43/24.60
% 24.43/24.60 Changing weight limit from 34 to 33.
% 24.43/24.60
% 24.43/24.60 Resetting weight limit to 33 after 6410 givens.
% 24.43/24.60
% 24.43/24.60
% 24.43/24.60
% 24.43/24.60 Changing weight limit from 33 to 34.
% 24.43/24.60
% 24.43/24.60 Resetting weight limit to 34 after 6415 givens.
% 24.43/24.60
% 24.43/24.63
% 24.43/24.63
% 24.43/24.63 Changing weight limit from 34 to 33.
% 24.43/24.63
% 24.43/24.63 Resetting weight limit to 33 after 6420 givens.
% 24.43/24.63
% 24.43/24.65
% 24.43/24.65
% 24.43/24.65 Changing weight limit from 33 to 34.
% 24.43/24.65
% 24.43/24.65 Resetting weight limit to 34 after 6425 givens.
% 24.43/24.65
% 24.43/24.66
% 24.43/24.66
% 24.43/24.66 Changing weight limit from 34 to 33.
% 24.43/24.66
% 24.43/24.66 Resetting weight limit to 33 after 6430 givens.
% 24.43/24.66
% 24.53/24.68
% 24.53/24.68
% 24.53/24.68 Changing weight limit from 33 to 34.
% 24.53/24.68
% 24.53/24.68 Resetting weight limit to 34 after 6435 givens.
% 24.53/24.68
% 24.53/24.69
% 24.53/24.69
% 24.53/24.69 Changing weight limit from 34 to 33.
% 24.53/24.69
% 24.53/24.69 Resetting weight limit to 33 after 6440 givens.
% 24.53/24.69
% 24.55/24.72
% 24.55/24.72
% 24.55/24.72 Changing weight limit from 33 to 34.
% 24.55/24.72
% 24.55/24.72 Resetting weight limit to 34 after 6450 givens.
% 24.55/24.72
% 24.55/24.73
% 24.55/24.73
% 24.55/24.73 Changing weight limit from 34 to 33.
% 24.55/24.73
% 24.55/24.73 Resetting weight limit to 33 after 6455 givens.
% 24.55/24.73
% 24.58/24.73
% 24.58/24.73
% 24.58/24.73 Changing weight limit from 33 to 34.
% 24.58/24.73
% 24.58/24.73 Resetting weight limit to 34 after 6460 givens.
% 24.58/24.73
% 24.58/24.77
% 24.58/24.77
% 24.58/24.77 Changing weight limit from 34 to 33.
% 24.58/24.77
% 24.58/24.77 Resetting weight limit to 33 after 6465 givens.
% 24.58/24.77
% 24.58/24.77
% 24.58/24.77
% 24.58/24.77 Changing weight limit from 33 to 34.
% 24.58/24.77
% 24.58/24.77 Resetting weight limit to 34 after 6470 givens.
% 24.58/24.77
% 24.58/24.78
% 24.58/24.78
% 24.58/24.78 Changing weight limit from 34 to 33.
% 24.58/24.78
% 24.58/24.78 Resetting weight limit to 33 after 6475 givens.
% 24.58/24.78
% 24.58/24.78
% 24.58/24.78
% 24.58/24.78 Changing weight limit from 33 to 34.
% 24.58/24.78
% 24.58/24.78 Resetting weight limit to 34 after 6480 givens.
% 24.58/24.78
% 24.58/24.79
% 24.58/24.79
% 24.58/24.79 Changing weight limit from 34 to 33.
% 24.58/24.79
% 24.58/24.79 Resetting weight limit to 33 after 6485 givens.
% 24.58/24.79
% 24.65/24.82
% 24.65/24.82
% 24.65/24.82 Changing weight limit from 33 to 34.
% 24.65/24.82
% 24.65/24.82 Resetting weight limit to 34 after 6495 givens.
% 24.65/24.82
% 24.65/24.83
% 24.65/24.83
% 24.65/24.83 Changing weight limit from 34 to 33.
% 24.65/24.83
% 24.65/24.83 Resetting weight limit to 33 after 6500 givens.
% 24.65/24.83
% 24.65/24.83
% 24.65/24.83
% 24.65/24.83 Changing weight limit from 33 to 34.
% 24.65/24.83
% 24.65/24.83 Resetting weight limit to 34 after 6505 givens.
% 24.65/24.83
% 24.65/24.83
% 24.65/24.83
% 24.65/24.83 Changing weight limit from 34 to 35.
% 24.65/24.83
% 24.65/24.83 Resetting weight limit to 35 after 6510 givens.
% 24.65/24.83
% 24.65/24.83
% 24.65/24.83
% 24.65/24.83 Changing weight limit from 35 to 36.
% 24.65/24.83
% 24.65/24.83 Resetting weight limit to 36 after 6515 givens.
% 24.65/24.83
% 24.65/24.84
% 24.65/24.84
% 24.65/24.84 Changing weight limit from 36 to 37.
% 24.65/24.84
% 24.65/24.84 Resetting weight limit to 37 after 6520 givens.
% 24.65/24.84
% 24.65/24.84
% 24.65/24.84
% 24.65/24.84 Changing weight limit from 37 to 34.
% 24.65/24.84
% 24.65/24.84 Resetting weight limit to 34 after 6525 givens.
% 24.65/24.84
% 24.65/24.85
% 24.65/24.85
% 24.65/24.85 Changing weight limit from 34 to 33.
% 24.65/24.85
% 24.65/24.85 Resetting weight limit to 33 after 6535 givens.
% 24.65/24.85
% 24.84/25.00
% 24.84/25.00
% 24.84/25.00 Changing weight limit from 33 to 34.
% 24.84/25.00
% 24.84/25.00 Resetting weight limit to 34 after 6620 givens.
% 24.84/25.00
% 24.84/25.00
% 24.84/25.00
% 24.84/25.00 Changing weight limit from 34 to 33.
% 24.84/25.00
% 24.84/25.00 Resetting weight limit to 33 after 6625 givens.
% 24.84/25.00
% 24.84/25.01
% 24.84/25.01
% 24.84/25.01 Changing weight limit from 33 to 34.
% 24.84/25.01
% 24.84/25.01 Resetting weight limit to 34 after 6635 givens.
% 24.84/25.01
% 24.84/25.02
% 24.84/25.02
% 24.84/25.02 Changing weight limit from 34 to 31.
% 24.84/25.02
% 24.84/25.02 Resetting weight limit to 31 after 6645 givens.
% 24.84/25.02
% 24.88/25.09
% 24.88/25.09
% 24.88/25.09 Changing weight limit from 31 to 32.
% 24.88/25.09
% 24.88/25.09 Resetting weight limit to 32 after 6655 givens.
% 24.88/25.09
% 24.88/25.09
% 24.88/25.09
% 24.88/25.09 Changing weight limit from 32 to 33.
% 24.88/25.09
% 24.88/25.09 Resetting weight limit to 33 after 6660 givens.
% 24.88/25.09
% 24.95/25.10
% 24.95/25.10
% 24.95/25.10 Changing weight limit from 33 to 31.
% 24.95/25.10
% 24.95/25.10 Resetting weight limit to 31 after 6665 givens.
% 24.95/25.10
% 24.95/25.10
% 24.95/25.10
% 24.95/25.10 Changing weight limit from 31 to 32.
% 24.95/25.10
% 24.95/25.10 Resetting weight limit to 32 after 6670 givens.
% 24.95/25.10
% 24.95/25.11
% 24.95/25.11
% 24.95/25.11 Changing weight limit from 32 to 33.
% 24.95/25.11
% 24.95/25.11 Resetting weight limit to 33 after 6675 givens.
% 24.95/25.11
% 24.95/25.11
% 24.95/25.11
% 24.95/25.11 Changing weight limit from 33 to 31.
% 24.95/25.11
% 24.95/25.11 Resetting weight limit to 31 after 6680 givens.
% 24.95/25.11
% 24.95/25.16
% 24.95/25.16
% 24.95/25.16 Changing weight limit from 31 to 32.
% 24.95/25.16
% 24.95/25.16 Resetting weight limit to 32 after 6690 givens.
% 24.95/25.16
% 25.03/25.19
% 25.03/25.19
% 25.03/25.19 Changing weight limit from 32 to 33.
% 25.03/25.19
% 25.03/25.19 Resetting weight limit to 33 after 6695 givens.
% 25.03/25.19
% 25.03/25.19
% 25.03/25.19
% 25.03/25.19 Changing weight limit from 33 to 31.
% 25.03/25.19
% 25.03/25.19 Resetting weight limit to 31 after 6700 givens.
% 25.03/25.19
% 25.03/25.21
% 25.03/25.21
% 25.03/25.21 Changing weight limit from 31 to 32.
% 25.03/25.21
% 25.03/25.21 Resetting weight limit to 32 after 6725 givens.
% 25.03/25.21
% 25.03/25.22
% 25.03/25.22
% 25.03/25.22 Changing weight limit from 32 to 33.
% 25.03/25.22
% 25.03/25.22 Resetting weight limit to 33 after 6730 givens.
% 25.03/25.22
% 25.03/25.22
% 25.03/25.22
% 25.03/25.22 Changing weight limit from 33 to 34.
% 25.03/25.22
% 25.03/25.22 Resetting weight limit to 34 after 6735 givens.
% 25.03/25.22
% 25.03/25.23
% 25.03/25.23
% 25.03/25.23 Changing weight limit from 34 to 35.
% 25.03/25.23
% 25.03/25.23 Resetting weight limit to 35 after 6740 givens.
% 25.03/25.23
% 25.03/25.23
% 25.03/25.23
% 25.03/25.23 Changing weight limit from 35 to 36.
% 25.03/25.23
% 25.03/25.23 Resetting weight limit to 36 after 6745 givens.
% 25.03/25.23
% 25.03/25.23
% 25.03/25.23
% 25.03/25.23 Changing weight limit from 36 to 34.
% 25.03/25.23
% 25.03/25.23 Resetting weight limit to 34 after 6750 givens.
% 25.03/25.23
% 25.03/25.27
% 25.03/25.27
% 25.03/25.27 Changing weight limit from 34 to 35.
% 25.03/25.27
% 25.03/25.27 Resetting weight limit to 35 after 6800 givens.
% 25.03/25.27
% 25.03/25.27
% 25.03/25.27
% 25.03/25.27 Changing weight limit from 35 to 34.
% 25.03/25.27
% 25.03/25.27 Resetting weight limit to 34 after 6805 givens.
% 25.03/25.27
% 25.03/25.28
% 25.03/25.28
% 25.03/25.28 Changing weight limit from 34 to 35.
% 25.03/25.28
% 25.03/25.28 Resetting weight limit to 35 after 6815 givens.
% 25.03/25.28
% 25.13/25.28
% 25.13/25.28
% 25.13/25.28 Changing weight limit from 35 to 34.
% 25.13/25.28
% 25.13/25.28 Resetting weight limit to 34 after 6820 givens.
% 25.13/25.28
% 25.16/25.32
% 25.16/25.32
% 25.16/25.32 Changing weight limit from 34 to 35.
% 25.16/25.32
% 25.16/25.32 Resetting weight limit to 35 after 6875 givens.
% 25.16/25.32
% 25.16/25.32
% 25.16/25.32
% 25.16/25.32 Changing weight limit from 35 to 34.
% 25.16/25.32
% 25.16/25.32 Resetting weight limit to 34 after 6880 givens.
% 25.16/25.32
% 25.16/25.33
% 25.16/25.33
% 25.16/25.33 Changing weight limit from 34 to 35.
% 25.16/25.33
% 25.16/25.33 Resetting weight limit to 35 after 6890 givens.
% 25.16/25.33
% 25.18/25.33
% 25.18/25.33
% 25.18/25.33 Changing weight limit from 35 to 34.
% 25.18/25.33
% 25.18/25.33 Resetting weight limit to 34 after 6895 givens.
% 25.18/25.33
% 28.96/29.12
% 28.96/29.12
% 28.96/29.12 Changing weight limit from 34 to 33.
% 28.96/29.12
% 28.96/29.12 Resetting weight limit to 33 after 6960 givens.
% 28.96/29.12
% 35.86/36.02
% 35.86/36.02
% 35.86/36.02 Changing weight limit from 33 to 31.
% 35.86/36.02
% 35.86/36.02 Resetting weight limit to 31 after 7040 givens.
% 35.86/36.02
% 35.88/36.05
% 35.88/36.05
% 35.88/36.05 Changing weight limit from 31 to 32.
% 35.88/36.05
% 35.88/36.05 Resetting weight limit to 32 after 7045 givens.
% 35.88/36.05
% 35.88/36.05
% 35.88/36.05
% 35.88/36.05 Changing weight limit from 32 to 33.
% 35.88/36.05
% 35.88/36.05 Resetting weight limit to 33 after 7050 givens.
% 35.88/36.05
% 35.88/36.06
% 35.88/36.06
% 35.88/36.06 Changing weight limit from 33 to 34.
% 35.88/36.06
% 35.88/36.06 Resetting weight limit to 34 after 7055 givens.
% 35.88/36.06
% 35.88/36.07
% 35.88/36.07
% 35.88/36.07 Changing weight limit from 34 to 33.
% 35.88/36.07
% 35.88/36.07 Resetting weight limit to 33 after 7060 givens.
% 35.88/36.07
% 35.97/36.14
% 35.97/36.14
% 35.97/36.14 Changing weight limit from 33 to 34.
% 35.97/36.14
% 35.97/36.14 Resetting weight limit to 34 after 7120 givens.
% 35.97/36.14
% 36.56/36.79
% 36.56/36.79
% 36.56/36.79 Changing weight limit from 34 to 33.
% 36.56/36.79
% 36.56/36.79 Resetting weight limit to 33 after 7130 givens.
% 36.56/36.79
% 36.65/36.81
% 36.65/36.81
% 36.65/36.81 Changing weight limit from 33 to 34.
% 36.65/36.81
% 36.65/36.81 Resetting weight limit to 34 after 7145 givens.
% 36.65/36.81
% 36.65/36.82
% 36.65/36.82
% 36.65/36.82 Changing weight limit from 34 to 33.
% 36.65/36.82
% 36.65/36.82 Resetting weight limit to 33 after 7155 givens.
% 36.65/36.82
% 37.44/37.67
% 37.44/37.67
% 37.44/37.67 Changing weight limit from 33 to 34.
% 37.44/37.67
% 37.44/37.67 Resetting weight limit to 34 after 7240 givens.
% 37.44/37.67
% 44.05/44.26
% 44.05/44.26
% 44.05/44.26 Changing weight limit from 34 to 35.
% 44.05/44.26
% 44.05/44.26 Resetting weight limit to 35 after 8435 givens.
% 44.05/44.26
% 44.15/44.37
% 44.15/44.37
% 44.15/44.37 Changing weight limit from 35 to 34.
% 44.15/44.37
% 44.15/44.37 Resetting weight limit to 34 after 8440 givens.
% 44.15/44.37
% 47.46/47.60
% 47.46/47.60
% 47.46/47.60 Changing weight limit from 34 to 35.
% 47.46/47.60
% 47.46/47.60 Resetting weight limit to 35 after 8600 givens.
% 47.46/47.60
% 47.46/47.61
% 47.46/47.61
% 47.46/47.61 Changing weight limit from 35 to 36.
% 47.46/47.61
% 47.46/47.61 Resetting weight limit to 36 after 8605 givens.
% 47.46/47.61
% 47.46/47.62
% 47.46/47.62
% 47.46/47.62 Changing weight limit from 36 to 35.
% 47.46/47.62
% 47.46/47.62 Resetting weight limit to 35 after 8610 givens.
% 47.46/47.62
% 47.75/47.95
% 47.75/47.95
% 47.75/47.95 Changing weight limit from 35 to 36.
% 47.75/47.95
% 47.75/47.95 Resetting weight limit to 36 after 8840 givens.
% 47.75/47.95
% 47.75/47.96
% 47.75/47.96
% 47.75/47.96 Changing weight limit from 36 to 37.
% 47.75/47.96
% 47.75/47.96 Resetting weight limit to 37 after 8845 givens.
% 47.75/47.96
% 47.75/47.96
% 47.75/47.96
% 47.75/47.96 Changing weight limit from 37 to 36.
% 47.75/47.96
% 47.75/47.96 Resetting weight limit to 36 after 8850 givens.
% 47.75/47.96
% 48.08/48.25
% 48.08/48.25
% 48.08/48.25 Changing weight limit from 36 to 35.
% 48.08/48.25
% 48.08/48.25 Resetting weight limit to 35 after 9180 givens.
% 48.08/48.25
% 48.74/48.94
% 48.74/48.94
% 48.74/48.94 Changing weight limit from 35 to 36.
% 48.74/48.94
% 48.74/48.94 Resetting weight limit to 36 after 9245 givens.
% 48.74/48.94
% 48.88/49.02
% 48.88/49.02
% 48.88/49.02 Changing weight limit from 36 to 37.
% 48.88/49.02
% 48.88/49.02 Resetting weight limit to 37 after 9300 givens.
% 48.88/49.02
% 49.20/49.36
% 49.20/49.36
% 49.20/49.36 Changing weight limit from 37 to 36.
% 49.20/49.36
% 49.20/49.36 Resetting weight limit to 36 after 9645 givens.
% 49.20/49.36
% 49.32/49.52
% 49.32/49.52
% 49.32/49.52 Changing weight limit from 36 to 37.
% 49.32/49.52
% 49.32/49.52 Resetting weight limit to 37 after 9785 givens.
% 49.32/49.52
% 50.25/50.45
% 50.25/50.45
% 50.25/50.45 Changing weight limit from 37 to 38.
% 50.25/50.45
% 50.25/50.45 Resetting weight limit to 38 after 9910 givens.
% 50.25/50.45
% 50.46/50.62
% 50.46/50.62
% 50.46/50.62 Changing weight limit from 38 to 39.
% 50.46/50.62
% 50.46/50.62 Resetting weight limit to 39 after 9995 givens.
% 50.46/50.62
% 50.46/50.62
% 50.46/50.62
% 50.46/50.62 Changing weight limit from 39 to 40.
% 50.46/50.62
% 50.46/50.62 Resetting weight limit to 40 after 10000 givens.
% 50.46/50.62
% 50.46/50.63
% 50.46/50.63
% 50.46/50.63 Changing weight limit from 40 to 39.
% 50.46/50.63
% 50.46/50.63 Resetting weight limit to 39 after 10005 givens.
% 50.46/50.63
% 50.46/50.65
% 50.46/50.65
% 50.46/50.65 Changing weight limit from 39 to 38.
% 50.46/50.65
% 50.46/50.65 Resetting weight limit to 38 after 10030 givens.
% 50.46/50.65
% 50.55/50.73
% 50.55/50.73
% 50.55/50.73 Changing weight limit from 38 to 39.
% 50.55/50.73
% 50.55/50.73 Resetting weight limit to 39 after 10095 givens.
% 50.55/50.73
% 50.86/51.06
% 50.86/51.06
% 50.86/51.06 Changing weight limit from 39 to 40.
% 50.86/51.06
% 50.86/51.06 Resetting weight limit to 40 after 10255 givens.
% 50.86/51.06
% 51.05/51.20
% 51.05/51.20
% 51.05/51.20 Changing weight limit from 40 to 39.
% 51.05/51.20
% 51.05/51.20 Resetting weight limit to 39 after 10385 givens.
% 51.05/51.20
% 51.94/52.08
% 51.94/52.08
% 51.94/52.08 Changing weight limit from 39 to 40.
% 51.94/52.08
% 51.94/52.08 Resetting weight limit to 40 after 11160 givens.
% 51.94/52.08
% 51.99/52.15
% 51.99/52.15
% 51.99/52.15 Changing weight limit from 40 to 41.
% 51.99/52.15
% 51.99/52.15 Resetting weight limit to 41 after 11195 givens.
% 51.99/52.15
% 52.55/52.71
% 52.55/52.71
% 52.55/52.71 Changing weight limit from 41 to 40.
% 52.55/52.71
% 52.55/52.71 Resetting weight limit to 40 after 11655 givens.
% 52.55/52.71
% 52.73/52.88
% 52.73/52.88
% 52.73/52.88 Changing weight limit from 40 to 41.
% 52.73/52.88
% 52.73/52.88 Resetting weight limit to 41 after 11780 givens.
% 52.73/52.88
% 52.73/52.96
% 52.73/52.96
% 52.73/52.96 Changing weight limit from 41 to 42.
% 52.73/52.96
% 52.73/52.96 Resetting weight limit to 42 after 11820 givens.
% 52.73/52.96
% 52.89/53.07
% 52.89/53.07
% 52.89/53.07 Changing weight limit from 42 to 41.
% 52.89/53.07
% 52.89/53.07 Resetting weight limit to 41 after 11905 givens.
% 52.89/53.07
% 53.66/53.80
% 53.66/53.80
% 53.66/53.80 Changing weight limit from 41 to 42.
% 53.66/53.80
% 53.66/53.80 Resetting weight limit to 42 after 12350 givens.
% 53.66/53.80
% 53.66/53.80
% 53.66/53.80
% 53.66/53.80 Changing weight limit from 42 to 43.
% 53.66/53.80
% 53.66/53.80 Resetting weight limit to 43 after 12355 givens.
% 53.66/53.80
% 53.66/53.81
% 53.66/53.81
% 53.66/53.81 Changing weight limit from 43 to 44.
% 53.66/53.81
% 53.66/53.81 Resetting weight limit to 44 after 12360 givens.
% 53.66/53.81
% 53.66/53.82
% 53.66/53.82
% 53.66/53.82 Changing weight limit from 44 to 45.
% 53.66/53.82
% 53.66/53.82 Resetting weight limit to 45 after 12365 givens.
% 53.66/53.82
% 53.66/53.82
% 53.66/53.82
% 53.66/53.82 Changing weight limit from 45 to 43.
% 53.66/53.82
% 53.66/53.82 Resetting weight limit to 43 after 12370 givens.
% 53.66/53.82
% 53.66/53.86
% 53.66/53.86
% 53.66/53.86 Changing weight limit from 43 to 44.
% 53.66/53.86
% 53.66/53.86 Resetting weight limit to 44 after 12415 givens.
% 53.66/53.86
% 53.94/54.08
% 53.94/54.08
% 53.94/54.08 Changing weight limit from 44 to 43.
% 53.94/54.08
% 53.94/54.08 Resetting weight limit to 43 after 12575 givens.
% 53.94/54.08
% 53.94/54.11
% 53.94/54.11
% 53.94/54.11 Changing weight limit from 43 to 44.
% 53.94/54.11
% 53.94/54.11 Resetting weight limit to 44 after 12600 givens.
% 53.94/54.11
% 53.94/54.11
% 53.94/54.11
% 53.94/54.11 Changing weight limit from 44 to 45.
% 53.94/54.11
% 53.94/54.11 Resetting weight limit to 45 after 12605 givens.
% 53.94/54.11
% 53.94/54.12
% 53.94/54.12
% 53.94/54.12 Changing weight limit from 45 to 46.
% 53.94/54.12
% 53.94/54.12 Resetting weight limit to 46 after 12610 givens.
% 53.94/54.12
% 53.94/54.12
% 53.94/54.12
% 53.94/54.12 Changing weight limit from 46 to 47.
% 53.94/54.12
% 53.94/54.12 Resetting weight limit to 47 after 12615 givens.
% 53.94/54.12
% 53.94/54.13
% 53.94/54.13
% 53.94/54.13 Changing weight limit from 47 to 45.
% 53.94/54.13
% 53.94/54.13 Resetting weight limit to 45 after 12620 givens.
% 53.94/54.13
% 54.26/54.44
% 54.26/54.44
% 54.26/54.44 Changing weight limit from 45 to 44.
% 54.26/54.44
% 54.26/54.44 Resetting weight limit to 44 after 12835 givens.
% 54.26/54.44
% 55.57/55.77
% 55.57/55.77
% 55.57/55.77 Changing weight limit from 44 to 45.
% 55.57/55.77
% 55.57/55.77 Resetting weight limit to 45 after 13665 givens.
% 55.57/55.77
% 55.57/55.78
% 55.57/55.78
% 55.57/55.78 Changing weight limit from 45 to 46.
% 55.57/55.78
% 55.57/55.78 Resetting weight limit to 46 after 13670 givens.
% 55.57/55.78
% 55.64/55.78
% 55.64/55.78
% 55.64/55.78 Changing weight limit from 46 to 47.
% 55.64/55.78
% 55.64/55.78 Resetting weight limit to 47 after 13675 givens.
% 55.64/55.78
% 55.64/55.79
% 55.64/55.79
% 55.64/55.79 Changing weight limit from 47 to 48.
% 55.64/55.79
% 55.64/55.79 Resetting weight limit to 48 after 13680 givens.
% 55.64/55.79
% 55.64/55.79
% 55.64/55.79
% 55.64/55.79 Changing weight limit from 48 to 46.
% 55.64/55.79
% 55.64/55.79 Resetting weight limit to 46 after 13685 givens.
% 55.64/55.79
% 55.73/55.87
% 55.73/55.87
% 55.73/55.87 Changing weight limit from 46 to 45.
% 55.73/55.87
% 55.73/55.87 Resetting weight limit to 45 after 13715 givens.
% 55.73/55.87
% 57.24/57.38
% 57.24/57.38
% 57.24/57.38 Changing weight limit from 45 to 46.
% 57.24/57.38
% 57.24/57.38 Resetting weight limit to 46 after 14285 givens.
% 57.24/57.38
% 57.24/57.38
% 57.24/57.38
% 57.24/57.38 Changing weight limit from 46 to 47.
% 57.24/57.38
% 57.24/57.38 Resetting weight limit to 47 after 14290 givens.
% 57.24/57.38
% 57.24/57.39
% 57.24/57.39
% 57.24/57.39 Changing weight limit from 47 to 48.
% 57.24/57.39
% 57.24/57.39 Resetting weight limit to 48 after 14295 givens.
% 57.24/57.39
% 57.27/57.40
% 57.27/57.40
% 57.27/57.40 Changing weight limit from 48 to 49.
% 57.27/57.40
% 57.27/57.40 Resetting weight limit to 49 after 14300 givens.
% 57.27/57.40
% 57.27/57.40
% 57.27/57.40
% 57.27/57.40 Changing weight limit from 49 to 47.
% 57.27/57.40
% 57.27/57.40 Resetting weight limit to 47 after 14305 givens.
% 57.27/57.40
% 57.29/57.49
% 57.29/57.49
% 57.29/57.49 Changing weight limit from 47 to 46.
% 57.29/57.49
% 57.29/57.49 Resetting weight limit to 46 after 14340 givens.
% 57.29/57.49
% 59.07/59.23
% 59.07/59.23
% 59.07/59.23 Changing weight limit from 46 to 47.
% 59.07/59.23
% 59.07/59.23 Resetting weight limit to 47 after 14850 givens.
% 59.07/59.23
% 59.07/59.24
% 59.07/59.24
% 59.07/59.24 Changing weight limit from 47 to 48.
% 59.07/59.24
% 59.07/59.24 Resetting weight limit to 48 after 14855 givens.
% 59.07/59.24
% 59.07/59.24
% 59.07/59.24
% 59.07/59.24 Changing weight limit from 48 to 49.
% 59.07/59.24
% 59.07/59.24 Resetting weight limit to 49 after 14860 givens.
% 59.07/59.24
% 59.07/59.25
% 59.07/59.25
% 59.07/59.25 Changing weight limit from 49 to 50.
% 59.07/59.25
% 59.07/59.25 Resetting weight limit to 50 after 14865 givens.
% 59.07/59.25
% 59.07/59.25
% 59.07/59.25
% 59.07/59.25 Changing weight limit from 50 to 51.
% 59.07/59.25
% 59.07/59.25 Resetting weight limit to 51 after 14870 givens.
% 59.07/59.25
% 59.07/59.26
% 59.07/59.26
% 59.07/59.26 Changing weight limit from 51 to 49.
% 59.07/59.26
% 59.07/59.26 Resetting weight limit to 49 after 14875 givens.
% 59.07/59.26
% 59.15/59.38
% 59.15/59.38
% 59.15/59.38 Changing weight limit from 49 to 48.
% 59.15/59.38
% 59.15/59.38 Resetting weight limit to 48 after 14945 givens.
% 59.15/59.38
% 59.75/59.89
% 59.75/59.89
% 59.75/59.89 Changing weight limit from 48 to 49.
% 59.75/59.89
% 59.75/59.89 Resetting weight limit to 49 after 15100 givens.
% 59.75/59.89
% 59.75/59.89
% 59.75/59.89
% 59.75/59.89 Changing weight limit from 49 to 50.
% 59.75/59.89
% 59.75/59.89 Resetting weight limit to 50 after 15105 givens.
% 59.75/59.89
% 59.75/59.90
% 59.75/59.90
% 59.75/59.90 Changing weight limit from 50 to 51.
% 59.75/59.90
% 59.75/59.90 Resetting weight limit to 51 after 15110 givens.
% 59.75/59.90
% 59.75/59.90
% 59.75/59.90
% 59.75/59.90 Changing weight limit from 51 to 52.
% 59.75/59.90
% 59.75/59.90 Resetting weight limit to 52 after 15115 givens.
% 59.75/59.90
% 59.75/59.91
% 59.75/59.91
% 59.75/59.91 Changing weight limit from 52 to 53.
% 59.75/59.91
% 59.75/59.91 Resetting weight limit to 53 after 15120 givens.
% 59.75/59.91
% 59.75/59.91
% 59.75/59.91
% 59.75/59.91 Changing weight limit from 53 to 54.
% 59.75/59.91
% 59.75/59.91 Resetting weight limit to 54 after 15125 givens.
% 59.75/59.91
% 59.75/59.92
% 59.75/59.92
% 59.75/59.92 Changing weight limit from 54 to 55.
% 59.75/59.92
% 59.75/59.92 Resetting weight limit to 55 after 15130 givens.
% 59.75/59.92
% 59.75/59.92
% 59.75/59.92
% 59.75/59.92 Changing weight limit from 55 to 56.
% 59.75/59.92
% 59.75/59.92 Resetting weight limit to 56 after 15135 givens.
% 59.75/59.92
% 59.75/59.93
% 59.75/59.93
% 59.75/59.93 Changing weight limit from 56 to 57.
% 59.75/59.93
% 59.75/59.93 Resetting weight limit to 57 after 15140 givens.
% 59.75/59.93
% 59.75/59.93
% 59.75/59.93
% 59.75/59.93 Changing weight limit from 57 to 58.
% 59.75/59.93
% 59.75/59.93 Resetting weight limit to 58 after 15145 givens.
% 59.75/59.93
% 59.75/59.93
% 59.75/59.93
% 59.75/59.93 Changing weight limit from 58 to 59.
% 59.75/59.93
% 59.75/59.93 Resetting weight limit to 59 after 15150 givens.
% 59.75/59.93
% 59.75/59.94
% 59.75/59.94
% 59.75/59.94 Changing weight limit from 59 to 60.
% 59.75/59.94
% 59.75/59.94 Resetting weight limit to 60 after 15155 givens.
% 59.75/59.94
% 60.59/60.72
% 60.59/60.72
% 60.59/60.72 Changing weight limit from 60 to 52.
% 60.59/60.72
% 60.59/60.72 Resetting weight limit to 52 after 15510 givens.
% 60.59/60.72
% 61.09/61.28
% 61.09/61.28
% 61.09/61.28 Changing weight limit from 52 to 49.
% 61.09/61.28
% 61.09/61.28 Resetting weight limit to 49 after 15590 givens.
% 61.09/61.28
% 62.70/62.90
% 62.70/62.90
% 62.70/62.90 Changing weight limit from 49 to 50.
% 62.70/62.90
% 62.70/62.90 Resetting weight limit to 50 after 16165 givens.
% 62.70/62.90
% 62.70/62.91
% 62.70/62.91
% 62.70/62.91 Changing weight limit from 50 to 51.
% 62.70/62.91
% 62.70/62.91 Resetting weight limit to 51 after 16170 givens.
% 62.70/62.91
% 62.70/62.91
% 62.70/62.91
% 62.70/62.91 Changing weight limit from 51 to 52.
% 62.70/62.91
% 62.70/62.91 Resetting weight limit to 52 after 16175 givens.
% 62.70/62.91
% 62.78/62.92
% 62.78/62.92
% 62.78/62.92 Changing weight limit from 52 to 53.
% 62.78/62.92
% 62.78/62.92 Resetting weight limit to 53 after 16180 givens.
% 62.78/62.92
% 62.78/62.92
% 62.78/62.92
% 62.78/62.92 Changing weight limit from 53 to 54.
% 62.78/62.92
% 62.78/62.92 Resetting weight limit to 54 after 16185 givens.
% 62.78/62.92
% 62.78/62.93
% 62.78/62.93
% 62.78/62.93 Changing weight limit from 54 to 55.
% 62.78/62.93
% 62.78/62.93 Resetting weight limit to 55 after 16190 givens.
% 62.78/62.93
% 62.78/62.93
% 62.78/62.93
% 62.78/62.93 Changing weight limit from 55 to 56.
% 62.78/62.93
% 62.78/62.93 Resetting weight limit to 56 after 16195 givens.
% 62.78/62.93
% 62.78/62.93
% 62.78/62.93
% 62.78/62.93 Changing weight limit from 56 to 57.
% 62.78/62.93
% 62.78/62.93 Resetting weight limit to 57 after 16200 givens.
% 62.78/62.93
% 62.78/62.94
% 62.78/62.94
% 62.78/62.94 Changing weight limit from 57 to 58.
% 62.78/62.94
% 62.78/62.94 Resetting weight limit to 58 after 16205 givens.
% 62.78/62.94
% 62.78/62.94
% 62.78/62.94
% 62.78/62.94 Changing weight limit from 58 to 59.
% 62.78/62.94
% 62.78/62.94 Resetting weight limit to 59 after 16210 givens.
% 62.78/62.94
% 62.78/62.95
% 62.78/62.95
% 62.78/62.95 Changing weight limit from 59 to 60.
% 62.78/62.95
% 62.78/62.95 Resetting weight limit to 60 after 16215 givens.
% 62.78/62.95
% 65.58/65.78
% 65.58/65.78 Search stopped because sos empty.
% 65.58/65.78
% 65.58/65.78
% 65.58/65.78 Search stopped because sos empty.
% 65.58/65.78
% 65.58/65.78 ============ end of search ============
% 65.58/65.78
% 65.58/65.78 ----------- soft-scott stats ----------
% 65.58/65.78
% 65.58/65.78 true clauses given 18339 (98.3%)
% 65.58/65.78 false clauses given 324
% 65.58/65.78
% 65.58/65.78 FALSE TRUE
% 65.58/65.78 tot: 0 0 (-nan% true)
% 65.58/65.78
% 65.58/65.78
% 65.58/65.78 Model 13 (0.01 seconds, 250000 Inserts)
% 65.58/65.78
% 65.58/65.78 Process 3595 finished Mon Jul 4 08:08:58 2022
%------------------------------------------------------------------------------