TSTP Solution File: LCL675+1.020 by SOS---2.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : SOS---2.0
% Problem : LCL675+1.020 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : sos-script %s
% Computer : n028.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:03 EDT 2022
% Result : Unknown 86.94s 87.17s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.12 % Problem : LCL675+1.020 : TPTP v8.1.0. Released v4.0.0.
% 0.12/0.13 % Command : sos-script %s
% 0.12/0.34 % Computer : n028.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Mon Jul 4 03:00:49 EDT 2022
% 0.19/0.34 % CPUTime :
% 0.19/0.40 ----- Otter 3.2, August 2001 -----
% 0.19/0.40 The process was started by sandbox on n028.cluster.edu,
% 0.19/0.40 Mon Jul 4 03:00:49 2022
% 0.19/0.40 The command was "./sos". The process ID is 12495.
% 0.19/0.40
% 0.19/0.40 set(prolog_style_variables).
% 0.19/0.40 set(auto).
% 0.19/0.40 dependent: set(auto1).
% 0.19/0.40 dependent: set(process_input).
% 0.19/0.40 dependent: clear(print_kept).
% 0.19/0.40 dependent: clear(print_new_demod).
% 0.19/0.40 dependent: clear(print_back_demod).
% 0.19/0.40 dependent: clear(print_back_sub).
% 0.19/0.40 dependent: set(control_memory).
% 0.19/0.40 dependent: assign(max_mem, 12000).
% 0.19/0.40 dependent: assign(pick_given_ratio, 4).
% 0.19/0.40 dependent: assign(stats_level, 1).
% 0.19/0.40 dependent: assign(pick_semantic_ratio, 3).
% 0.19/0.40 dependent: assign(sos_limit, 5000).
% 0.19/0.40 dependent: assign(max_weight, 60).
% 0.19/0.40 clear(print_given).
% 0.19/0.40
% 0.19/0.40 formula_list(usable).
% 0.19/0.40
% 0.19/0.40 SCAN INPUT: prop=0, horn=0, equality=0, symmetry=0, max_lits=6.
% 0.19/0.40
% 0.19/0.40 This is a non-Horn set without equality. The strategy
% 0.19/0.40 will be ordered hyper_res, ur_res, unit deletion, and
% 0.19/0.40 factoring, with satellites in sos and nuclei in usable.
% 0.19/0.40
% 0.19/0.40 dependent: set(hyper_res).
% 0.19/0.40 dependent: set(factor).
% 0.19/0.40 dependent: set(unit_deletion).
% 0.19/0.40
% 0.19/0.40 ------------> process usable:
% 0.19/0.40
% 0.19/0.40 ------------> process sos:
% 0.19/0.40
% 0.19/0.40 ======= end of input processing =======
% 0.19/0.45
% 0.19/0.45 Model 1 (0.00 seconds, 0 Inserts)
% 0.19/0.45
% 0.19/0.45 Stopped by limit on number of solutions
% 0.19/0.45
% 0.19/0.45
% 0.19/0.45 -------------- Softie stats --------------
% 0.19/0.45
% 0.19/0.45 UPDATE_STOP: 300
% 0.19/0.45 SFINDER_TIME_LIMIT: 2
% 0.19/0.45 SHORT_CLAUSE_CUTOFF: 4
% 0.19/0.45 number of clauses in intial UL: 225
% 0.19/0.45 number of clauses initially in problem: 227
% 0.19/0.45 percentage of clauses intially in UL: 99
% 0.19/0.45 percentage of distinct symbols occuring in initial UL: 100
% 0.19/0.45 percent of all initial clauses that are short: 100
% 0.19/0.45 absolute distinct symbol count: 85
% 0.19/0.45 distinct predicate count: 44
% 0.19/0.45 distinct function count: 40
% 0.19/0.45 distinct constant count: 1
% 0.19/0.45
% 0.19/0.45 ---------- no more Softie stats ----------
% 0.19/0.45
% 0.19/0.45
% 0.19/0.45
% 0.19/0.45 Model 2 (0.00 seconds, 0 Inserts)
% 0.19/0.45
% 0.19/0.45 Stopped by limit on number of solutions
% 0.19/0.45
% 0.19/0.45 =========== start of search ===========
% 2.13/2.37
% 2.13/2.37
% 2.13/2.37 Changing weight limit from 60 to 59.
% 2.13/2.37
% 2.13/2.37 Stopped by limit on insertions
% 2.13/2.37
% 2.13/2.37 Model 3 [ 1 4 28799 ] (0.00 seconds, 250000 Inserts)
% 2.13/2.37
% 2.13/2.37 Stopped by limit on insertions
% 2.13/2.37
% 2.13/2.37 Model 4 [ 1 0 1032 ] (0.00 seconds, 250000 Inserts)
% 2.13/2.37
% 2.13/2.37 Stopped by limit on insertions
% 2.13/2.37
% 2.13/2.37 Model 5 [ 1 1 1016 ] (0.00 seconds, 250000 Inserts)
% 2.13/2.37
% 2.13/2.37 Stopped by limit on insertions
% 2.13/2.37
% 2.13/2.37 Model 6 [ 1 1 2670 ] (0.00 seconds, 250000 Inserts)
% 2.13/2.37
% 2.13/2.37 Stopped by limit on insertions
% 2.13/2.37
% 2.13/2.37 Model 7 [ 1 0 3071 ] (0.00 seconds, 250000 Inserts)
% 2.13/2.37
% 2.13/2.37 Stopped by limit on insertions
% 2.13/2.37
% 2.13/2.37 Model 8 [ 2 1 1058 ] (0.00 seconds, 250000 Inserts)
% 2.13/2.37
% 2.13/2.37 Stopped by limit on insertions
% 2.13/2.37
% 2.13/2.37 Model 9 [ 1 0 2710 ] (0.00 seconds, 250000 Inserts)
% 2.13/2.37
% 2.13/2.37 Modelling stopped after 300 given clauses and 0.00 seconds
% 2.13/2.37
% 2.13/2.37
% 2.13/2.37 Resetting weight limit to 59 after 1235 givens.
% 2.13/2.37
% 2.13/2.37
% 2.13/2.37
% 2.13/2.37 Changing weight limit from 59 to 58.
% 2.13/2.37
% 2.13/2.37 Resetting weight limit to 58 after 1240 givens.
% 2.13/2.37
% 2.13/2.37
% 2.13/2.37
% 2.13/2.37 Changing weight limit from 58 to 56.
% 2.13/2.37
% 2.13/2.37 Resetting weight limit to 56 after 1245 givens.
% 2.13/2.37
% 2.13/2.38
% 2.13/2.38
% 2.13/2.38 Changing weight limit from 56 to 55.
% 2.13/2.38
% 2.13/2.38 Resetting weight limit to 55 after 1250 givens.
% 2.13/2.38
% 2.13/2.39
% 2.13/2.39
% 2.13/2.39 Changing weight limit from 55 to 51.
% 2.13/2.39
% 2.13/2.39 Resetting weight limit to 51 after 1260 givens.
% 2.13/2.39
% 2.21/2.39
% 2.21/2.39
% 2.21/2.39 Changing weight limit from 51 to 52.
% 2.21/2.39
% 2.21/2.39 Resetting weight limit to 52 after 1270 givens.
% 2.21/2.39
% 2.21/2.40
% 2.21/2.40
% 2.21/2.40 Changing weight limit from 52 to 51.
% 2.21/2.40
% 2.21/2.40 Resetting weight limit to 51 after 1275 givens.
% 2.21/2.40
% 2.21/2.41
% 2.21/2.41
% 2.21/2.41 Changing weight limit from 51 to 49.
% 2.21/2.41
% 2.21/2.41 Resetting weight limit to 49 after 1295 givens.
% 2.21/2.41
% 2.21/2.42
% 2.21/2.42
% 2.21/2.42 Changing weight limit from 49 to 47.
% 2.21/2.42
% 2.21/2.42 Resetting weight limit to 47 after 1305 givens.
% 2.21/2.42
% 2.21/2.44
% 2.21/2.44
% 2.21/2.44 Changing weight limit from 47 to 48.
% 2.21/2.44
% 2.21/2.44 Resetting weight limit to 48 after 1325 givens.
% 2.21/2.44
% 2.21/2.45
% 2.21/2.45
% 2.21/2.45 Changing weight limit from 48 to 47.
% 2.21/2.45
% 2.21/2.45 Resetting weight limit to 47 after 1330 givens.
% 2.21/2.45
% 2.30/2.49
% 2.30/2.49
% 2.30/2.49 Changing weight limit from 47 to 46.
% 2.30/2.49
% 2.30/2.49 Resetting weight limit to 46 after 1365 givens.
% 2.30/2.49
% 2.31/2.49
% 2.31/2.49
% 2.31/2.49 Changing weight limit from 46 to 45.
% 2.31/2.49
% 2.31/2.49 Resetting weight limit to 45 after 1370 givens.
% 2.31/2.49
% 2.32/2.50
% 2.32/2.50
% 2.32/2.50 Changing weight limit from 45 to 44.
% 2.32/2.50
% 2.32/2.50 Resetting weight limit to 44 after 1385 givens.
% 2.32/2.50
% 2.32/2.51
% 2.32/2.51
% 2.32/2.51 Changing weight limit from 44 to 43.
% 2.32/2.51
% 2.32/2.51 Resetting weight limit to 43 after 1390 givens.
% 2.32/2.51
% 2.33/2.60
% 2.33/2.60
% 2.33/2.60 Changing weight limit from 43 to 41.
% 2.33/2.60
% 2.33/2.60 Resetting weight limit to 41 after 1515 givens.
% 2.33/2.60
% 2.43/2.61
% 2.43/2.61
% 2.43/2.61 Changing weight limit from 41 to 39.
% 2.43/2.61
% 2.43/2.61 Resetting weight limit to 39 after 1525 givens.
% 2.43/2.61
% 2.43/2.66
% 2.43/2.66
% 2.43/2.66 Changing weight limit from 39 to 37.
% 2.43/2.66
% 2.43/2.66 Resetting weight limit to 37 after 1560 givens.
% 2.43/2.66
% 2.43/2.67
% 2.43/2.67
% 2.43/2.67 Changing weight limit from 37 to 34.
% 2.43/2.67
% 2.43/2.67 Resetting weight limit to 34 after 1565 givens.
% 2.43/2.67
% 2.43/2.67
% 2.43/2.67
% 2.43/2.67 Changing weight limit from 34 to 33.
% 2.43/2.67
% 2.43/2.67 Resetting weight limit to 33 after 1570 givens.
% 2.43/2.67
% 2.52/2.72
% 2.52/2.72
% 2.52/2.72 Changing weight limit from 33 to 32.
% 2.52/2.72
% 2.52/2.72 Resetting weight limit to 32 after 1600 givens.
% 2.52/2.72
% 2.52/2.73
% 2.52/2.73
% 2.52/2.73 Changing weight limit from 32 to 30.
% 2.52/2.73
% 2.52/2.73 Resetting weight limit to 30 after 1605 givens.
% 2.52/2.73
% 2.64/2.92
% 2.64/2.92
% 2.64/2.92 Changing weight limit from 30 to 31.
% 2.64/2.92
% 2.64/2.92 Resetting weight limit to 31 after 1820 givens.
% 2.64/2.92
% 2.74/2.92
% 2.74/2.92
% 2.74/2.92 Changing weight limit from 31 to 30.
% 2.74/2.92
% 2.74/2.92 Resetting weight limit to 30 after 1825 givens.
% 2.74/2.92
% 2.81/3.00
% 2.81/3.00
% 2.81/3.00 Changing weight limit from 30 to 29.
% 2.81/3.00
% 2.81/3.00 Resetting weight limit to 29 after 1880 givens.
% 2.81/3.00
% 2.95/3.20
% 2.95/3.20
% 2.95/3.20 Changing weight limit from 29 to 30.
% 2.95/3.20
% 2.95/3.20 Resetting weight limit to 30 after 1920 givens.
% 2.95/3.20
% 3.04/3.22
% 3.04/3.22
% 3.04/3.22 Changing weight limit from 30 to 29.
% 3.04/3.22
% 3.04/3.22 Resetting weight limit to 29 after 1925 givens.
% 3.04/3.22
% 3.12/3.35
% 3.12/3.35
% 3.12/3.35 Changing weight limit from 29 to 30.
% 3.12/3.35
% 3.12/3.35 Resetting weight limit to 30 after 1965 givens.
% 3.12/3.35
% 3.12/3.36
% 3.12/3.36
% 3.12/3.36 Changing weight limit from 30 to 29.
% 3.12/3.36
% 3.12/3.36 Resetting weight limit to 29 after 1970 givens.
% 3.12/3.36
% 3.19/3.38
% 3.19/3.38
% 3.19/3.38 Changing weight limit from 29 to 30.
% 3.19/3.38
% 3.19/3.38 Resetting weight limit to 30 after 1980 givens.
% 3.19/3.38
% 3.21/3.40
% 3.21/3.40
% 3.21/3.40 Changing weight limit from 30 to 29.
% 3.21/3.40
% 3.21/3.40 Resetting weight limit to 29 after 1985 givens.
% 3.21/3.40
% 3.25/3.51
% 3.25/3.51
% 3.25/3.51 Changing weight limit from 29 to 30.
% 3.25/3.51
% 3.25/3.51 Resetting weight limit to 30 after 1995 givens.
% 3.25/3.51
% 3.35/3.53
% 3.35/3.53
% 3.35/3.53 Changing weight limit from 30 to 29.
% 3.35/3.53
% 3.35/3.53 Resetting weight limit to 29 after 2000 givens.
% 3.35/3.53
% 3.50/3.70
% 3.50/3.70
% 3.50/3.70 Changing weight limit from 29 to 30.
% 3.50/3.70
% 3.50/3.70 Resetting weight limit to 30 after 2045 givens.
% 3.50/3.70
% 3.55/3.75
% 3.55/3.75
% 3.55/3.75 Changing weight limit from 30 to 29.
% 3.55/3.75
% 3.55/3.75 Resetting weight limit to 29 after 2050 givens.
% 3.55/3.75
% 3.55/3.78
% 3.55/3.78
% 3.55/3.78 Changing weight limit from 29 to 30.
% 3.55/3.78
% 3.55/3.78 Resetting weight limit to 30 after 2065 givens.
% 3.55/3.78
% 3.55/3.82
% 3.55/3.82
% 3.55/3.82 Changing weight limit from 30 to 29.
% 3.55/3.82
% 3.55/3.82 Resetting weight limit to 29 after 2070 givens.
% 3.55/3.82
% 3.65/3.83
% 3.65/3.83
% 3.65/3.83 Changing weight limit from 29 to 30.
% 3.65/3.83
% 3.65/3.83 Resetting weight limit to 30 after 2075 givens.
% 3.65/3.83
% 3.65/3.83
% 3.65/3.83
% 3.65/3.83 Changing weight limit from 30 to 31.
% 3.65/3.83
% 3.65/3.83 Resetting weight limit to 31 after 2080 givens.
% 3.65/3.83
% 3.65/3.86
% 3.65/3.86
% 3.65/3.86 Changing weight limit from 31 to 29.
% 3.65/3.86
% 3.65/3.86 Resetting weight limit to 29 after 2085 givens.
% 3.65/3.86
% 3.71/3.89
% 3.71/3.89
% 3.71/3.89 Changing weight limit from 29 to 28.
% 3.71/3.89
% 3.71/3.89 Resetting weight limit to 28 after 2095 givens.
% 3.71/3.89
% 3.71/3.89
% 3.71/3.89
% 3.71/3.89 Changing weight limit from 28 to 29.
% 3.71/3.89
% 3.71/3.89 Resetting weight limit to 29 after 2100 givens.
% 3.71/3.89
% 3.71/3.89
% 3.71/3.89
% 3.71/3.89 Changing weight limit from 29 to 28.
% 3.71/3.89
% 3.71/3.89 Resetting weight limit to 28 after 2105 givens.
% 3.71/3.89
% 3.85/4.06
% 3.85/4.06
% 3.85/4.06 Changing weight limit from 28 to 29.
% 3.85/4.06
% 3.85/4.06 Resetting weight limit to 29 after 2135 givens.
% 3.85/4.06
% 3.85/4.07
% 3.85/4.07
% 3.85/4.07 Changing weight limit from 29 to 28.
% 3.85/4.07
% 3.85/4.07 Resetting weight limit to 28 after 2140 givens.
% 3.85/4.07
% 3.99/4.20
% 3.99/4.20
% 3.99/4.20 Changing weight limit from 28 to 29.
% 3.99/4.20
% 3.99/4.20 Resetting weight limit to 29 after 2185 givens.
% 3.99/4.20
% 3.99/4.23
% 3.99/4.23
% 3.99/4.23 Changing weight limit from 29 to 28.
% 3.99/4.23
% 3.99/4.23 Resetting weight limit to 28 after 2190 givens.
% 3.99/4.23
% 4.11/4.30
% 4.11/4.30
% 4.11/4.30 Changing weight limit from 28 to 29.
% 4.11/4.30
% 4.11/4.30 Resetting weight limit to 29 after 2205 givens.
% 4.11/4.30
% 4.11/4.32
% 4.11/4.32
% 4.11/4.32 Changing weight limit from 29 to 30.
% 4.11/4.32
% 4.11/4.32 Resetting weight limit to 30 after 2215 givens.
% 4.11/4.32
% 4.15/4.33
% 4.15/4.33
% 4.15/4.33 Changing weight limit from 30 to 28.
% 4.15/4.33
% 4.15/4.33 Resetting weight limit to 28 after 2220 givens.
% 4.15/4.33
% 4.15/4.36
% 4.15/4.36
% 4.15/4.36 Changing weight limit from 28 to 29.
% 4.15/4.36
% 4.15/4.36 Resetting weight limit to 29 after 2235 givens.
% 4.15/4.36
% 4.15/4.39
% 4.15/4.39
% 4.15/4.39 Changing weight limit from 29 to 28.
% 4.15/4.39
% 4.15/4.39 Resetting weight limit to 28 after 2245 givens.
% 4.15/4.39
% 4.39/4.58
% 4.39/4.58
% 4.39/4.58 Changing weight limit from 28 to 29.
% 4.39/4.58
% 4.39/4.58 Resetting weight limit to 29 after 2270 givens.
% 4.39/4.58
% 4.39/4.58
% 4.39/4.58
% 4.39/4.58 Changing weight limit from 29 to 28.
% 4.39/4.58
% 4.39/4.58 Resetting weight limit to 28 after 2275 givens.
% 4.39/4.58
% 4.45/4.63
% 4.45/4.63
% 4.45/4.63 Changing weight limit from 28 to 29.
% 4.45/4.63
% 4.45/4.63 Resetting weight limit to 29 after 2290 givens.
% 4.45/4.63
% 4.54/4.75
% 4.54/4.75
% 4.54/4.75 Changing weight limit from 29 to 28.
% 4.54/4.75
% 4.54/4.75 Resetting weight limit to 28 after 2295 givens.
% 4.54/4.75
% 5.22/5.41
% 5.22/5.41
% 5.22/5.41 Changing weight limit from 28 to 29.
% 5.22/5.41
% 5.22/5.41 Resetting weight limit to 29 after 2365 givens.
% 5.22/5.41
% 5.22/5.41
% 5.22/5.41
% 5.22/5.41 Changing weight limit from 29 to 30.
% 5.22/5.41
% 5.22/5.41 Resetting weight limit to 30 after 2370 givens.
% 5.22/5.41
% 5.22/5.41
% 5.22/5.41
% 5.22/5.41 Changing weight limit from 30 to 31.
% 5.22/5.41
% 5.22/5.41 Resetting weight limit to 31 after 2375 givens.
% 5.22/5.41
% 5.22/5.42
% 5.22/5.42
% 5.22/5.42 Changing weight limit from 31 to 32.
% 5.22/5.42
% 5.22/5.42 Resetting weight limit to 32 after 2380 givens.
% 5.22/5.42
% 5.22/5.43
% 5.22/5.43
% 5.22/5.43 Changing weight limit from 32 to 33.
% 5.22/5.43
% 5.22/5.43 Resetting weight limit to 33 after 2385 givens.
% 5.22/5.43
% 5.22/5.43
% 5.22/5.43
% 5.22/5.43 Changing weight limit from 33 to 31.
% 5.22/5.43
% 5.22/5.43 Resetting weight limit to 31 after 2390 givens.
% 5.22/5.43
% 5.22/5.43
% 5.22/5.43
% 5.22/5.43 Changing weight limit from 31 to 32.
% 5.22/5.43
% 5.22/5.43 Resetting weight limit to 32 after 2395 givens.
% 5.22/5.43
% 5.22/5.43
% 5.22/5.43
% 5.22/5.43 Changing weight limit from 32 to 33.
% 5.22/5.43
% 5.22/5.43 Resetting weight limit to 33 after 2400 givens.
% 5.22/5.43
% 5.22/5.45
% 5.22/5.45
% 5.22/5.45 Changing weight limit from 33 to 29.
% 5.22/5.45
% 5.22/5.45 Resetting weight limit to 29 after 2405 givens.
% 5.22/5.45
% 5.22/5.46
% 5.22/5.46
% 5.22/5.46 Changing weight limit from 29 to 30.
% 5.22/5.46
% 5.22/5.46 Resetting weight limit to 30 after 2410 givens.
% 5.22/5.46
% 5.22/5.46
% 5.22/5.46
% 5.22/5.46 Changing weight limit from 30 to 28.
% 5.22/5.46
% 5.22/5.46 Resetting weight limit to 28 after 2415 givens.
% 5.22/5.46
% 5.30/5.50
% 5.30/5.50
% 5.30/5.50 Changing weight limit from 28 to 29.
% 5.30/5.50
% 5.30/5.50 Resetting weight limit to 29 after 2430 givens.
% 5.30/5.50
% 5.33/5.56
% 5.33/5.56
% 5.33/5.56 Changing weight limit from 29 to 28.
% 5.33/5.56
% 5.33/5.56 Resetting weight limit to 28 after 2440 givens.
% 5.33/5.56
% 5.53/5.76
% 5.53/5.76
% 5.53/5.76 Changing weight limit from 28 to 27.
% 5.53/5.76
% 5.53/5.76 Resetting weight limit to 27 after 2455 givens.
% 5.53/5.76
% 5.53/5.77
% 5.53/5.77
% 5.53/5.77 Changing weight limit from 27 to 28.
% 5.53/5.77
% 5.53/5.77 Resetting weight limit to 28 after 2465 givens.
% 5.53/5.77
% 5.53/5.79
% 5.53/5.79
% 5.53/5.79 Changing weight limit from 28 to 27.
% 5.53/5.79
% 5.53/5.79 Resetting weight limit to 27 after 2470 givens.
% 5.53/5.79
% 5.61/5.81
% 5.61/5.81
% 5.61/5.81 Changing weight limit from 27 to 28.
% 5.61/5.81
% 5.61/5.81 Resetting weight limit to 28 after 2485 givens.
% 5.61/5.81
% 5.61/5.87
% 5.61/5.87
% 5.61/5.87 Changing weight limit from 28 to 27.
% 5.61/5.87
% 5.61/5.87 Resetting weight limit to 27 after 2490 givens.
% 5.61/5.87
% 5.83/6.06
% 5.83/6.06
% 5.83/6.06 Changing weight limit from 27 to 28.
% 5.83/6.06
% 5.83/6.06 Resetting weight limit to 28 after 2510 givens.
% 5.83/6.06
% 5.83/6.06
% 5.83/6.06
% 5.83/6.06 Changing weight limit from 28 to 29.
% 5.83/6.06
% 5.83/6.06 Resetting weight limit to 29 after 2515 givens.
% 5.83/6.06
% 5.83/6.08
% 5.83/6.08
% 5.83/6.08 Changing weight limit from 29 to 30.
% 5.83/6.08
% 5.83/6.08 Resetting weight limit to 30 after 2520 givens.
% 5.83/6.08
% 5.83/6.08
% 5.83/6.08
% 5.83/6.08 Changing weight limit from 30 to 31.
% 5.83/6.08
% 5.83/6.08 Resetting weight limit to 31 after 2525 givens.
% 5.83/6.08
% 5.83/6.08
% 5.83/6.08
% 5.83/6.08 Changing weight limit from 31 to 32.
% 5.83/6.08
% 5.83/6.08 Resetting weight limit to 32 after 2530 givens.
% 5.83/6.08
% 5.83/6.09
% 5.83/6.09
% 5.83/6.09 Changing weight limit from 32 to 33.
% 5.83/6.09
% 5.83/6.09 Resetting weight limit to 33 after 2540 givens.
% 5.83/6.09
% 5.91/6.12
% 5.91/6.12
% 5.91/6.12 Changing weight limit from 33 to 32.
% 5.91/6.12
% 5.91/6.12 Resetting weight limit to 32 after 2545 givens.
% 5.91/6.12
% 5.91/6.15
% 5.91/6.15
% 5.91/6.15 Changing weight limit from 32 to 28.
% 5.91/6.15
% 5.91/6.15 Resetting weight limit to 28 after 2555 givens.
% 5.91/6.15
% 5.91/6.16
% 5.91/6.16
% 5.91/6.16 Changing weight limit from 28 to 29.
% 5.91/6.16
% 5.91/6.16 Resetting weight limit to 29 after 2560 givens.
% 5.91/6.16
% 5.91/6.16
% 5.91/6.16
% 5.91/6.16 Changing weight limit from 29 to 28.
% 5.91/6.16
% 5.91/6.16 Resetting weight limit to 28 after 2565 givens.
% 5.91/6.16
% 5.91/6.18
% 5.91/6.18
% 5.91/6.18 Changing weight limit from 28 to 27.
% 5.91/6.18
% 5.91/6.18 Resetting weight limit to 27 after 2580 givens.
% 5.91/6.18
% 6.05/6.24
% 6.05/6.24
% 6.05/6.24 Changing weight limit from 27 to 28.
% 6.05/6.24
% 6.05/6.24 Resetting weight limit to 28 after 2615 givens.
% 6.05/6.24
% 6.05/6.24
% 6.05/6.24
% 6.05/6.24 Changing weight limit from 28 to 27.
% 6.05/6.24
% 6.05/6.24 Resetting weight limit to 27 after 2620 givens.
% 6.05/6.24
% 6.05/6.27
% 6.05/6.27
% 6.05/6.27 Changing weight limit from 27 to 28.
% 6.05/6.27
% 6.05/6.27 Resetting weight limit to 28 after 2635 givens.
% 6.05/6.27
% 6.05/6.28
% 6.05/6.28
% 6.05/6.28 Changing weight limit from 28 to 27.
% 6.05/6.28
% 6.05/6.28 Resetting weight limit to 27 after 2640 givens.
% 6.05/6.28
% 6.14/6.35
% 6.14/6.35
% 6.14/6.35 Changing weight limit from 27 to 28.
% 6.14/6.35
% 6.14/6.35 Resetting weight limit to 28 after 2700 givens.
% 6.14/6.35
% 6.14/6.36
% 6.14/6.36
% 6.14/6.36 Changing weight limit from 28 to 27.
% 6.14/6.36
% 6.14/6.36 Resetting weight limit to 27 after 2705 givens.
% 6.14/6.36
% 6.34/6.55
% 6.34/6.55
% 6.34/6.55 Changing weight limit from 27 to 28.
% 6.34/6.55
% 6.34/6.55 Resetting weight limit to 28 after 2760 givens.
% 6.34/6.55
% 6.34/6.56
% 6.34/6.56
% 6.34/6.56 Changing weight limit from 28 to 27.
% 6.34/6.56
% 6.34/6.56 Resetting weight limit to 27 after 2765 givens.
% 6.34/6.56
% 6.66/6.85
% 6.66/6.85
% 6.66/6.85 Changing weight limit from 27 to 28.
% 6.66/6.85
% 6.66/6.85 Resetting weight limit to 28 after 2820 givens.
% 6.66/6.85
% 6.66/6.86
% 6.66/6.86
% 6.66/6.86 Changing weight limit from 28 to 29.
% 6.66/6.86
% 6.66/6.86 Resetting weight limit to 29 after 2825 givens.
% 6.66/6.86
% 6.66/6.87
% 6.66/6.87
% 6.66/6.87 Changing weight limit from 29 to 27.
% 6.66/6.87
% 6.66/6.87 Resetting weight limit to 27 after 2830 givens.
% 6.66/6.87
% 6.66/6.89
% 6.66/6.89
% 6.66/6.89 Changing weight limit from 27 to 28.
% 6.66/6.89
% 6.66/6.89 Resetting weight limit to 28 after 2850 givens.
% 6.66/6.89
% 6.66/6.90
% 6.66/6.90
% 6.66/6.90 Changing weight limit from 28 to 27.
% 6.66/6.90
% 6.66/6.90 Resetting weight limit to 27 after 2855 givens.
% 6.66/6.90
% 6.74/6.95
% 6.74/6.95
% 6.74/6.95 Changing weight limit from 27 to 28.
% 6.74/6.95
% 6.74/6.95 Resetting weight limit to 28 after 2900 givens.
% 6.74/6.95
% 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 2905 givens.
% 6.74/6.95
% 6.74/6.98
% 6.74/6.98
% 6.74/6.98 Changing weight limit from 27 to 28.
% 6.74/6.98
% 6.74/6.98 Resetting weight limit to 28 after 2940 givens.
% 6.74/6.98
% 6.80/6.98
% 6.80/6.98
% 6.80/6.98 Changing weight limit from 28 to 27.
% 6.80/6.98
% 6.80/6.98 Resetting weight limit to 27 after 2945 givens.
% 6.80/6.98
% 6.80/7.05
% 6.80/7.05
% 6.80/7.05 Changing weight limit from 27 to 28.
% 6.80/7.05
% 6.80/7.05 Resetting weight limit to 28 after 2995 givens.
% 6.80/7.05
% 6.96/7.18
% 6.96/7.18
% 6.96/7.18 Changing weight limit from 28 to 27.
% 6.96/7.18
% 6.96/7.18 Resetting weight limit to 27 after 3000 givens.
% 6.96/7.18
% 7.40/7.57
% 7.40/7.57
% 7.40/7.57 Changing weight limit from 27 to 28.
% 7.40/7.57
% 7.40/7.57 Resetting weight limit to 28 after 3055 givens.
% 7.40/7.57
% 7.51/7.71
% 7.51/7.71
% 7.51/7.71 Changing weight limit from 28 to 27.
% 7.51/7.71
% 7.51/7.71 Resetting weight limit to 27 after 3060 givens.
% 7.51/7.71
% 8.25/8.50
% 8.25/8.50
% 8.25/8.50 Changing weight limit from 27 to 28.
% 8.25/8.50
% 8.25/8.50 Resetting weight limit to 28 after 3115 givens.
% 8.25/8.50
% 8.43/8.64
% 8.43/8.64
% 8.43/8.64 Changing weight limit from 28 to 27.
% 8.43/8.64
% 8.43/8.64 Resetting weight limit to 27 after 3120 givens.
% 8.43/8.64
% 8.74/8.99
% 8.74/8.99
% 8.74/8.99 Changing weight limit from 27 to 28.
% 8.74/8.99
% 8.74/8.99 Resetting weight limit to 28 after 3155 givens.
% 8.74/8.99
% 8.74/8.99
% 8.74/8.99
% 8.74/8.99 Changing weight limit from 28 to 27.
% 8.74/8.99
% 8.74/8.99 Resetting weight limit to 27 after 3160 givens.
% 8.74/8.99
% 8.93/9.19
% 8.93/9.19
% 8.93/9.19 Changing weight limit from 27 to 28.
% 8.93/9.19
% 8.93/9.19 Resetting weight limit to 28 after 3235 givens.
% 8.93/9.19
% 9.01/9.21
% 9.01/9.21
% 9.01/9.21 Changing weight limit from 28 to 27.
% 9.01/9.21
% 9.01/9.21 Resetting weight limit to 27 after 3240 givens.
% 9.01/9.21
% 9.13/9.34
% 9.13/9.34
% 9.13/9.34 Changing weight limit from 27 to 28.
% 9.13/9.34
% 9.13/9.34 Resetting weight limit to 28 after 3295 givens.
% 9.13/9.34
% 9.13/9.35
% 9.13/9.35
% 9.13/9.35 Changing weight limit from 28 to 27.
% 9.13/9.35
% 9.13/9.35 Resetting weight limit to 27 after 3300 givens.
% 9.13/9.35
% 9.23/9.44
% 9.23/9.44
% 9.23/9.44 Changing weight limit from 27 to 28.
% 9.23/9.44
% 9.23/9.44 Resetting weight limit to 28 after 3355 givens.
% 9.23/9.44
% 9.23/9.45
% 9.23/9.45
% 9.23/9.45 Changing weight limit from 28 to 29.
% 9.23/9.45
% 9.23/9.45 Resetting weight limit to 29 after 3360 givens.
% 9.23/9.45
% 9.23/9.46
% 9.23/9.46
% 9.23/9.46 Changing weight limit from 29 to 27.
% 9.23/9.46
% 9.23/9.46 Resetting weight limit to 27 after 3365 givens.
% 9.23/9.46
% 9.32/9.52
% 9.32/9.52
% 9.32/9.52 Changing weight limit from 27 to 28.
% 9.32/9.52
% 9.32/9.52 Resetting weight limit to 28 after 3420 givens.
% 9.32/9.52
% 9.32/9.53
% 9.32/9.53
% 9.32/9.53 Changing weight limit from 28 to 29.
% 9.32/9.53
% 9.32/9.53 Resetting weight limit to 29 after 3425 givens.
% 9.32/9.53
% 9.32/9.54
% 9.32/9.54
% 9.32/9.54 Changing weight limit from 29 to 27.
% 9.32/9.54
% 9.32/9.54 Resetting weight limit to 27 after 3430 givens.
% 9.32/9.54
% 9.74/10.02
% 9.74/10.02
% 9.74/10.02 Changing weight limit from 27 to 28.
% 9.74/10.02
% 9.74/10.02 Resetting weight limit to 28 after 3485 givens.
% 9.74/10.02
% 9.92/10.15
% 9.92/10.15
% 9.92/10.15 Changing weight limit from 28 to 29.
% 9.92/10.15
% 9.92/10.15 Resetting weight limit to 29 after 3490 givens.
% 9.92/10.15
% 10.06/10.29
% 10.06/10.29
% 10.06/10.29 Changing weight limit from 29 to 27.
% 10.06/10.29
% 10.06/10.29 Resetting weight limit to 27 after 3495 givens.
% 10.06/10.29
% 10.50/10.74
% 10.50/10.74
% 10.50/10.74 Changing weight limit from 27 to 28.
% 10.50/10.74
% 10.50/10.74 Resetting weight limit to 28 after 3530 givens.
% 10.50/10.74
% 10.50/10.75
% 10.50/10.75
% 10.50/10.75 Changing weight limit from 28 to 27.
% 10.50/10.75
% 10.50/10.75 Resetting weight limit to 27 after 3535 givens.
% 10.50/10.75
% 10.50/10.75
% 10.50/10.75
% 10.50/10.75 Changing weight limit from 27 to 28.
% 10.50/10.75
% 10.50/10.75 Resetting weight limit to 28 after 3540 givens.
% 10.50/10.75
% 10.50/10.76
% 10.50/10.76
% 10.50/10.76 Changing weight limit from 28 to 27.
% 10.50/10.76
% 10.50/10.76 Resetting weight limit to 27 after 3545 givens.
% 10.50/10.76
% 10.50/10.77
% 10.50/10.77
% 10.50/10.77 Changing weight limit from 27 to 28.
% 10.50/10.77
% 10.50/10.77 Resetting weight limit to 28 after 3555 givens.
% 10.50/10.77
% 10.60/10.78
% 10.60/10.78
% 10.60/10.78 Changing weight limit from 28 to 27.
% 10.60/10.78
% 10.60/10.78 Resetting weight limit to 27 after 3560 givens.
% 10.60/10.78
% 10.91/11.09
% 10.91/11.09
% 10.91/11.09 Changing weight limit from 27 to 28.
% 10.91/11.09
% 10.91/11.09 Resetting weight limit to 28 after 3585 givens.
% 10.91/11.09
% 10.91/11.10
% 10.91/11.10
% 10.91/11.10 Changing weight limit from 28 to 27.
% 10.91/11.10
% 10.91/11.10 Resetting weight limit to 27 after 3590 givens.
% 10.91/11.10
% 10.91/11.10
% 10.91/11.10
% 10.91/11.10 Changing weight limit from 27 to 28.
% 10.91/11.10
% 10.91/11.10 Resetting weight limit to 28 after 3595 givens.
% 10.91/11.10
% 11.03/11.24
% 11.03/11.24
% 11.03/11.24 Changing weight limit from 28 to 27.
% 11.03/11.24
% 11.03/11.24 Resetting weight limit to 27 after 3600 givens.
% 11.03/11.24
% 11.50/11.68
% 11.50/11.68
% 11.50/11.68 Changing weight limit from 27 to 28.
% 11.50/11.68
% 11.50/11.68 Resetting weight limit to 28 after 3645 givens.
% 11.50/11.68
% 11.50/11.68
% 11.50/11.68
% 11.50/11.68 Changing weight limit from 28 to 27.
% 11.50/11.68
% 11.50/11.68 Resetting weight limit to 27 after 3650 givens.
% 11.50/11.68
% 11.50/11.70
% 11.50/11.70
% 11.50/11.70 Changing weight limit from 27 to 28.
% 11.50/11.70
% 11.50/11.70 Resetting weight limit to 28 after 3655 givens.
% 11.50/11.70
% 11.53/11.71
% 11.53/11.71
% 11.53/11.71 Changing weight limit from 28 to 27.
% 11.53/11.71
% 11.53/11.71 Resetting weight limit to 27 after 3660 givens.
% 11.53/11.71
% 11.55/11.73
% 11.55/11.73
% 11.55/11.73 Changing weight limit from 27 to 28.
% 11.55/11.73
% 11.55/11.73 Resetting weight limit to 28 after 3680 givens.
% 11.55/11.73
% 11.55/11.74
% 11.55/11.74
% 11.55/11.74 Changing weight limit from 28 to 27.
% 11.55/11.74
% 11.55/11.74 Resetting weight limit to 27 after 3685 givens.
% 11.55/11.74
% 11.55/11.76
% 11.55/11.76
% 11.55/11.76 Changing weight limit from 27 to 28.
% 11.55/11.76
% 11.55/11.76 Resetting weight limit to 28 after 3710 givens.
% 11.55/11.76
% 11.55/11.76
% 11.55/11.76
% 11.55/11.76 Changing weight limit from 28 to 29.
% 11.55/11.76
% 11.55/11.76 Resetting weight limit to 29 after 3715 givens.
% 11.55/11.76
% 11.55/11.78
% 11.55/11.78
% 11.55/11.78 Changing weight limit from 29 to 26.
% 11.55/11.78
% 11.55/11.78 Resetting weight limit to 26 after 3720 givens.
% 11.55/11.78
% 11.81/11.99
% 11.81/11.99
% 11.81/11.99 Changing weight limit from 26 to 27.
% 11.81/11.99
% 11.81/11.99 Resetting weight limit to 27 after 3765 givens.
% 11.81/11.99
% 11.93/12.12
% 11.93/12.12
% 11.93/12.12 Changing weight limit from 27 to 26.
% 11.93/12.12
% 11.93/12.12 Resetting weight limit to 26 after 3775 givens.
% 11.93/12.12
% 11.93/12.12
% 11.93/12.12
% 11.93/12.12 Changing weight limit from 26 to 27.
% 11.93/12.12
% 11.93/12.12 Resetting weight limit to 27 after 3780 givens.
% 11.93/12.12
% 11.93/12.13
% 11.93/12.13
% 11.93/12.13 Changing weight limit from 27 to 26.
% 11.93/12.13
% 11.93/12.13 Resetting weight limit to 26 after 3785 givens.
% 11.93/12.13
% 11.93/12.14
% 11.93/12.14
% 11.93/12.14 Changing weight limit from 26 to 27.
% 11.93/12.14
% 11.93/12.14 Resetting weight limit to 27 after 3795 givens.
% 11.93/12.14
% 11.93/12.14
% 11.93/12.14
% 11.93/12.14 Changing weight limit from 27 to 26.
% 11.93/12.14
% 11.93/12.14 Resetting weight limit to 26 after 3800 givens.
% 11.93/12.14
% 12.32/12.51
% 12.32/12.51
% 12.32/12.51 Changing weight limit from 26 to 27.
% 12.32/12.51
% 12.32/12.51 Resetting weight limit to 27 after 3855 givens.
% 12.32/12.51
% 12.32/12.52
% 12.32/12.52
% 12.32/12.52 Changing weight limit from 27 to 28.
% 12.32/12.52
% 12.32/12.52 Resetting weight limit to 28 after 3865 givens.
% 12.32/12.52
% 12.32/12.53
% 12.32/12.53
% 12.32/12.53 Changing weight limit from 28 to 27.
% 12.32/12.53
% 12.32/12.53 Resetting weight limit to 27 after 3870 givens.
% 12.32/12.53
% 12.32/12.53
% 12.32/12.53
% 12.32/12.53 Changing weight limit from 27 to 28.
% 12.32/12.53
% 12.32/12.53 Resetting weight limit to 28 after 3875 givens.
% 12.32/12.53
% 12.32/12.53
% 12.32/12.53
% 12.32/12.53 Changing weight limit from 28 to 29.
% 12.32/12.53
% 12.32/12.53 Resetting weight limit to 29 after 3880 givens.
% 12.32/12.53
% 12.32/12.54
% 12.32/12.54
% 12.32/12.54 Changing weight limit from 29 to 26.
% 12.32/12.54
% 12.32/12.54 Resetting weight limit to 26 after 3885 givens.
% 12.32/12.54
% 12.32/12.58
% 12.32/12.58
% 12.32/12.58 Changing weight limit from 26 to 27.
% 12.32/12.58
% 12.32/12.58 Resetting weight limit to 27 after 3915 givens.
% 12.32/12.58
% 12.42/12.60
% 12.42/12.60
% 12.42/12.60 Changing weight limit from 27 to 26.
% 12.42/12.60
% 12.42/12.60 Resetting weight limit to 26 after 3935 givens.
% 12.42/12.60
% 12.42/12.63
% 12.42/12.63
% 12.42/12.63 Changing weight limit from 26 to 27.
% 12.42/12.63
% 12.42/12.63 Resetting weight limit to 27 after 3960 givens.
% 12.42/12.63
% 12.42/12.64
% 12.42/12.64
% 12.42/12.64 Changing weight limit from 27 to 26.
% 12.42/12.64
% 12.42/12.64 Resetting weight limit to 26 after 3965 givens.
% 12.42/12.64
% 12.42/12.66
% 12.42/12.66
% 12.42/12.66 Changing weight limit from 26 to 27.
% 12.42/12.66
% 12.42/12.66 Resetting weight limit to 27 after 3975 givens.
% 12.42/12.66
% 12.42/12.67
% 12.42/12.67
% 12.42/12.67 Changing weight limit from 27 to 26.
% 12.42/12.67
% 12.42/12.67 Resetting weight limit to 26 after 3980 givens.
% 12.42/12.67
% 12.42/12.68
% 12.42/12.68
% 12.42/12.68 Changing weight limit from 26 to 27.
% 12.42/12.68
% 12.42/12.68 Resetting weight limit to 27 after 3985 givens.
% 12.42/12.68
% 12.51/12.69
% 12.51/12.69
% 12.51/12.69 Changing weight limit from 27 to 26.
% 12.51/12.69
% 12.51/12.69 Resetting weight limit to 26 after 3990 givens.
% 12.51/12.69
% 12.53/12.71
% 12.53/12.71
% 12.53/12.71 Changing weight limit from 26 to 27.
% 12.53/12.71
% 12.53/12.71 Resetting weight limit to 27 after 3995 givens.
% 12.53/12.71
% 12.53/12.72
% 12.53/12.72
% 12.53/12.72 Changing weight limit from 27 to 26.
% 12.53/12.72
% 12.53/12.72 Resetting weight limit to 26 after 4000 givens.
% 12.53/12.72
% 12.53/12.76
% 12.53/12.76
% 12.53/12.76 Changing weight limit from 26 to 27.
% 12.53/12.76
% 12.53/12.76 Resetting weight limit to 27 after 4015 givens.
% 12.53/12.76
% 12.53/12.78
% 12.53/12.78
% 12.53/12.78 Changing weight limit from 27 to 26.
% 12.53/12.78
% 12.53/12.78 Resetting weight limit to 26 after 4020 givens.
% 12.53/12.78
% 12.63/12.84
% 12.63/12.84
% 12.63/12.84 Changing weight limit from 26 to 27.
% 12.63/12.84
% 12.63/12.84 Resetting weight limit to 27 after 4040 givens.
% 12.63/12.84
% 12.63/12.85
% 12.63/12.85
% 12.63/12.85 Changing weight limit from 27 to 28.
% 12.63/12.85
% 12.63/12.85 Resetting weight limit to 28 after 4045 givens.
% 12.63/12.85
% 12.63/12.86
% 12.63/12.86
% 12.63/12.86 Changing weight limit from 28 to 29.
% 12.63/12.86
% 12.63/12.86 Resetting weight limit to 29 after 4050 givens.
% 12.63/12.86
% 12.63/12.88
% 12.63/12.88
% 12.63/12.88 Changing weight limit from 29 to 30.
% 12.63/12.88
% 12.63/12.88 Resetting weight limit to 30 after 4055 givens.
% 12.63/12.88
% 12.63/12.88
% 12.63/12.88
% 12.63/12.88 Changing weight limit from 30 to 26.
% 12.63/12.88
% 12.63/12.88 Resetting weight limit to 26 after 4060 givens.
% 12.63/12.88
% 12.72/12.96
% 12.72/12.96
% 12.72/12.96 Changing weight limit from 26 to 27.
% 12.72/12.96
% 12.72/12.96 Resetting weight limit to 27 after 4090 givens.
% 12.72/12.96
% 12.72/12.97
% 12.72/12.97
% 12.72/12.97 Changing weight limit from 27 to 26.
% 12.72/12.97
% 12.72/12.97 Resetting weight limit to 26 after 4095 givens.
% 12.72/12.97
% 12.72/12.98
% 12.72/12.98
% 12.72/12.98 Changing weight limit from 26 to 27.
% 12.72/12.98
% 12.72/12.98 Resetting weight limit to 27 after 4100 givens.
% 12.72/12.98
% 12.81/12.99
% 12.81/12.99
% 12.81/12.99 Changing weight limit from 27 to 28.
% 12.81/12.99
% 12.81/12.99 Resetting weight limit to 28 after 4105 givens.
% 12.81/12.99
% 12.81/13.00
% 12.81/13.00
% 12.81/13.00 Changing weight limit from 28 to 26.
% 12.81/13.00
% 12.81/13.00 Resetting weight limit to 26 after 4110 givens.
% 12.81/13.00
% 12.85/13.11
% 12.85/13.11
% 12.85/13.11 Changing weight limit from 26 to 27.
% 12.85/13.11
% 12.85/13.11 Resetting weight limit to 27 after 4155 givens.
% 12.85/13.11
% 12.94/13.12
% 12.94/13.12
% 12.94/13.12 Changing weight limit from 27 to 28.
% 12.94/13.12
% 12.94/13.12 Resetting weight limit to 28 after 4160 givens.
% 12.94/13.12
% 12.94/13.13
% 12.94/13.13
% 12.94/13.13 Changing weight limit from 28 to 29.
% 12.94/13.13
% 12.94/13.13 Resetting weight limit to 29 after 4165 givens.
% 12.94/13.13
% 12.94/13.13
% 12.94/13.13
% 12.94/13.13 Changing weight limit from 29 to 26.
% 12.94/13.13
% 12.94/13.13 Resetting weight limit to 26 after 4175 givens.
% 12.94/13.13
% 12.94/13.15
% 12.94/13.15
% 12.94/13.15 Changing weight limit from 26 to 27.
% 12.94/13.15
% 12.94/13.15 Resetting weight limit to 27 after 4190 givens.
% 12.94/13.15
% 12.94/13.15
% 12.94/13.15
% 12.94/13.15 Changing weight limit from 27 to 26.
% 12.94/13.15
% 12.94/13.15 Resetting weight limit to 26 after 4195 givens.
% 12.94/13.15
% 12.94/13.16
% 12.94/13.16
% 12.94/13.16 Changing weight limit from 26 to 27.
% 12.94/13.16
% 12.94/13.16 Resetting weight limit to 27 after 4205 givens.
% 12.94/13.16
% 12.94/13.18
% 12.94/13.18
% 12.94/13.18 Changing weight limit from 27 to 26.
% 12.94/13.18
% 12.94/13.18 Resetting weight limit to 26 after 4220 givens.
% 12.94/13.18
% 13.02/13.20
% 13.02/13.20
% 13.02/13.20 Changing weight limit from 26 to 27.
% 13.02/13.20
% 13.02/13.20 Resetting weight limit to 27 after 4225 givens.
% 13.02/13.20
% 13.14/13.33
% 13.14/13.33
% 13.14/13.33 Changing weight limit from 27 to 28.
% 13.14/13.33
% 13.14/13.33 Resetting weight limit to 28 after 4230 givens.
% 13.14/13.33
% 13.14/13.40
% 13.14/13.40
% 13.14/13.40 Changing weight limit from 28 to 29.
% 13.14/13.40
% 13.14/13.40 Resetting weight limit to 29 after 4245 givens.
% 13.14/13.40
% 13.14/13.41
% 13.14/13.41
% 13.14/13.41 Changing weight limit from 29 to 30.
% 13.14/13.41
% 13.14/13.41 Resetting weight limit to 30 after 4250 givens.
% 13.14/13.41
% 13.14/13.42
% 13.14/13.42
% 13.14/13.42 Changing weight limit from 30 to 29.
% 13.14/13.42
% 13.14/13.42 Resetting weight limit to 29 after 4255 givens.
% 13.14/13.42
% 13.25/13.44
% 13.25/13.44
% 13.25/13.44 Changing weight limit from 29 to 28.
% 13.25/13.44
% 13.25/13.44 Resetting weight limit to 28 after 4260 givens.
% 13.25/13.44
% 13.25/13.46
% 13.25/13.46
% 13.25/13.46 Changing weight limit from 28 to 27.
% 13.25/13.46
% 13.25/13.46 Resetting weight limit to 27 after 4265 givens.
% 13.25/13.46
% 13.41/13.60
% 13.41/13.60
% 13.41/13.60 Changing weight limit from 27 to 28.
% 13.41/13.60
% 13.41/13.60 Resetting weight limit to 28 after 4270 givens.
% 13.41/13.60
% 13.92/14.14
% 13.92/14.14
% 13.92/14.14 Changing weight limit from 28 to 29.
% 13.92/14.14
% 13.92/14.14 Resetting weight limit to 29 after 4290 givens.
% 13.92/14.14
% 14.08/14.29
% 14.08/14.29
% 14.08/14.29 Changing weight limit from 29 to 30.
% 14.08/14.29
% 14.08/14.29 Resetting weight limit to 30 after 4295 givens.
% 14.08/14.29
% 14.22/14.45
% 14.22/14.45
% 14.22/14.45 Changing weight limit from 30 to 29.
% 14.22/14.45
% 14.22/14.45 Resetting weight limit to 29 after 4330 givens.
% 14.22/14.45
% 14.38/14.57
% 14.38/14.57
% 14.38/14.57 Changing weight limit from 29 to 30.
% 14.38/14.57
% 14.38/14.57 Resetting weight limit to 30 after 4370 givens.
% 14.38/14.57
% 14.38/14.59
% 14.38/14.59
% 14.38/14.59 Changing weight limit from 30 to 29.
% 14.38/14.59
% 14.38/14.59 Resetting weight limit to 29 after 4375 givens.
% 14.38/14.59
% 14.38/14.60
% 14.38/14.60
% 14.38/14.60 Changing weight limit from 29 to 30.
% 14.38/14.60
% 14.38/14.60 Resetting weight limit to 30 after 4380 givens.
% 14.38/14.60
% 14.45/14.65
% 14.45/14.65
% 14.45/14.65 Changing weight limit from 30 to 29.
% 14.45/14.65
% 14.45/14.65 Resetting weight limit to 29 after 4390 givens.
% 14.45/14.65
% 14.52/14.76
% 14.52/14.76
% 14.52/14.76 Changing weight limit from 29 to 28.
% 14.52/14.76
% 14.52/14.76 Resetting weight limit to 28 after 4420 givens.
% 14.52/14.76
% 14.83/15.02
% 14.83/15.02
% 14.83/15.02 Changing weight limit from 28 to 29.
% 14.83/15.02
% 14.83/15.02 Resetting weight limit to 29 after 4435 givens.
% 14.83/15.02
% 16.44/16.62
% 16.44/16.62
% 16.44/16.62 Changing weight limit from 29 to 28.
% 16.44/16.62
% 16.44/16.62 Resetting weight limit to 28 after 4585 givens.
% 16.44/16.62
% 17.85/18.08
% 17.85/18.08
% 17.85/18.08 Changing weight limit from 28 to 29.
% 17.85/18.08
% 17.85/18.08 Resetting weight limit to 29 after 4690 givens.
% 17.85/18.08
% 18.07/18.27
% 18.07/18.27
% 18.07/18.27 Changing weight limit from 29 to 30.
% 18.07/18.27
% 18.07/18.27 Resetting weight limit to 30 after 4695 givens.
% 18.07/18.27
% 18.23/18.43
% 18.23/18.43
% 18.23/18.43 Changing weight limit from 30 to 31.
% 18.23/18.43
% 18.23/18.43 Resetting weight limit to 31 after 4700 givens.
% 18.23/18.43
% 18.37/18.58
% 18.37/18.58
% 18.37/18.58 Changing weight limit from 31 to 32.
% 18.37/18.58
% 18.37/18.58 Resetting weight limit to 32 after 4705 givens.
% 18.37/18.58
% 18.55/18.75
% 18.55/18.75
% 18.55/18.75 Changing weight limit from 32 to 33.
% 18.55/18.75
% 18.55/18.75 Resetting weight limit to 33 after 4710 givens.
% 18.55/18.75
% 18.65/18.90
% 18.65/18.90
% 18.65/18.90 Changing weight limit from 33 to 34.
% 18.65/18.90
% 18.65/18.90 Resetting weight limit to 34 after 4715 givens.
% 18.65/18.90
% 18.76/18.96
% 18.76/18.96
% 18.76/18.96 Changing weight limit from 34 to 31.
% 18.76/18.96
% 18.76/18.96 Resetting weight limit to 31 after 4720 givens.
% 18.76/18.96
% 18.84/19.06
% 18.84/19.06
% 18.84/19.06 Changing weight limit from 31 to 28.
% 18.84/19.06
% 18.84/19.06 Resetting weight limit to 28 after 4730 givens.
% 18.84/19.06
% 19.15/19.34
% 19.15/19.34
% 19.15/19.34 Changing weight limit from 28 to 29.
% 19.15/19.34
% 19.15/19.34 Resetting weight limit to 29 after 4750 givens.
% 19.15/19.34
% 19.33/19.50
% 19.33/19.50
% 19.33/19.50 Changing weight limit from 29 to 30.
% 19.33/19.50
% 19.33/19.50 Resetting weight limit to 30 after 4755 givens.
% 19.33/19.50
% 19.45/19.64
% 19.45/19.64
% 19.45/19.64 Changing weight limit from 30 to 31.
% 19.45/19.64
% 19.45/19.64 Resetting weight limit to 31 after 4760 givens.
% 19.45/19.64
% 19.63/19.79
% 19.63/19.79
% 19.63/19.79 Changing weight limit from 31 to 32.
% 19.63/19.79
% 19.63/19.79 Resetting weight limit to 32 after 4765 givens.
% 19.63/19.79
% 19.76/19.98
% 19.76/19.98
% 19.76/19.98 Changing weight limit from 32 to 33.
% 19.76/19.98
% 19.76/19.98 Resetting weight limit to 33 after 4770 givens.
% 19.76/19.98
% 19.94/20.11
% 19.94/20.11
% 19.94/20.11 Changing weight limit from 33 to 31.
% 19.94/20.11
% 19.94/20.11 Resetting weight limit to 31 after 4775 givens.
% 19.94/20.11
% 20.06/20.27
% 20.06/20.27
% 20.06/20.27 Changing weight limit from 31 to 28.
% 20.06/20.27
% 20.06/20.27 Resetting weight limit to 28 after 4790 givens.
% 20.06/20.27
% 20.14/20.30
% 20.14/20.30
% 20.14/20.30 Changing weight limit from 28 to 29.
% 20.14/20.30
% 20.14/20.30 Resetting weight limit to 29 after 4795 givens.
% 20.14/20.30
% 20.14/20.31
% 20.14/20.31
% 20.14/20.31 Changing weight limit from 29 to 30.
% 20.14/20.31
% 20.14/20.31 Resetting weight limit to 30 after 4800 givens.
% 20.14/20.31
% 20.14/20.36
% 20.14/20.36
% 20.14/20.36 Changing weight limit from 30 to 31.
% 20.14/20.36
% 20.14/20.36 Resetting weight limit to 31 after 4805 givens.
% 20.14/20.36
% 20.14/20.36
% 20.14/20.36
% 20.14/20.36 Changing weight limit from 31 to 32.
% 20.14/20.36
% 20.14/20.36 Resetting weight limit to 32 after 4810 givens.
% 20.14/20.36
% 20.21/20.37
% 20.21/20.37
% 20.21/20.37 Changing weight limit from 32 to 33.
% 20.21/20.37
% 20.21/20.37 Resetting weight limit to 33 after 4815 givens.
% 20.21/20.37
% 20.23/20.40
% 20.23/20.40
% 20.23/20.40 Changing weight limit from 33 to 34.
% 20.23/20.40
% 20.23/20.40 Resetting weight limit to 34 after 4820 givens.
% 20.23/20.40
% 20.28/20.46
% 20.28/20.46
% 20.28/20.46 Changing weight limit from 34 to 31.
% 20.28/20.46
% 20.28/20.46 Resetting weight limit to 31 after 4825 givens.
% 20.28/20.46
% 20.28/20.51
% 20.28/20.51
% 20.28/20.51 Changing weight limit from 31 to 28.
% 20.28/20.51
% 20.28/20.51 Resetting weight limit to 28 after 4830 givens.
% 20.28/20.51
% 20.55/20.71
% 20.55/20.71
% 20.55/20.71 Changing weight limit from 28 to 29.
% 20.55/20.71
% 20.55/20.71 Resetting weight limit to 29 after 4850 givens.
% 20.55/20.71
% 20.66/20.88
% 20.66/20.88
% 20.66/20.88 Changing weight limit from 29 to 30.
% 20.66/20.88
% 20.66/20.88 Resetting weight limit to 30 after 4855 givens.
% 20.66/20.88
% 20.84/21.01
% 20.84/21.01
% 20.84/21.01 Changing weight limit from 30 to 31.
% 20.84/21.01
% 20.84/21.01 Resetting weight limit to 31 after 4860 givens.
% 20.84/21.01
% 20.95/21.16
% 20.95/21.16
% 20.95/21.16 Changing weight limit from 31 to 32.
% 20.95/21.16
% 20.95/21.16 Resetting weight limit to 32 after 4865 givens.
% 20.95/21.16
% 21.13/21.32
% 21.13/21.32
% 21.13/21.32 Changing weight limit from 32 to 33.
% 21.13/21.32
% 21.13/21.32 Resetting weight limit to 33 after 4870 givens.
% 21.13/21.32
% 21.25/21.45
% 21.25/21.45
% 21.25/21.45 Changing weight limit from 33 to 34.
% 21.25/21.45
% 21.25/21.45 Resetting weight limit to 34 after 4875 givens.
% 21.25/21.45
% 21.45/21.61
% 21.45/21.61
% 21.45/21.61 Changing weight limit from 34 to 31.
% 21.45/21.61
% 21.45/21.61 Resetting weight limit to 31 after 4880 givens.
% 21.45/21.61
% 22.06/22.29
% 22.06/22.29
% 22.06/22.29 Changing weight limit from 31 to 32.
% 22.06/22.29
% 22.06/22.29 Resetting weight limit to 32 after 4905 givens.
% 22.06/22.29
% 22.15/22.34
% 22.15/22.34
% 22.15/22.34 Changing weight limit from 32 to 31.
% 22.15/22.34
% 22.15/22.34 Resetting weight limit to 31 after 4910 givens.
% 22.15/22.34
% 22.35/22.54
% 22.35/22.54
% 22.35/22.54 Changing weight limit from 31 to 32.
% 22.35/22.54
% 22.35/22.54 Resetting weight limit to 32 after 4950 givens.
% 22.35/22.54
% 22.35/22.56
% 22.35/22.56
% 22.35/22.56 Changing weight limit from 32 to 31.
% 22.35/22.56
% 22.35/22.56 Resetting weight limit to 31 after 4955 givens.
% 22.35/22.56
% 22.64/22.86
% 22.64/22.86
% 22.64/22.86 Changing weight limit from 31 to 30.
% 22.64/22.86
% 22.64/22.86 Resetting weight limit to 30 after 5005 givens.
% 22.64/22.86
% 22.64/22.86
% 22.64/22.86
% 22.64/22.86 Changing weight limit from 30 to 31.
% 22.64/22.86
% 22.64/22.86 Resetting weight limit to 31 after 5010 givens.
% 22.64/22.86
% 24.72/24.95
% 24.72/24.95
% 24.72/24.95 Changing weight limit from 31 to 32.
% 24.72/24.95
% 24.72/24.95 Resetting weight limit to 32 after 5370 givens.
% 24.72/24.95
% 24.85/25.02
% 24.85/25.02
% 24.85/25.02 Changing weight limit from 32 to 31.
% 24.85/25.02
% 24.85/25.02 Resetting weight limit to 31 after 5380 givens.
% 24.85/25.02
% 24.87/25.06
% 24.87/25.06
% 24.87/25.06 Changing weight limit from 31 to 32.
% 24.87/25.06
% 24.87/25.06 Resetting weight limit to 32 after 5400 givens.
% 24.87/25.06
% 24.97/25.12
% 24.97/25.12
% 24.97/25.12 Changing weight limit from 32 to 31.
% 24.97/25.12
% 24.97/25.12 Resetting weight limit to 31 after 5410 givens.
% 24.97/25.12
% 25.04/25.20
% 25.04/25.20
% 25.04/25.20 Changing weight limit from 31 to 32.
% 25.04/25.20
% 25.04/25.20 Resetting weight limit to 32 after 5435 givens.
% 25.04/25.20
% 25.14/25.31
% 25.14/25.31
% 25.14/25.31 Changing weight limit from 32 to 31.
% 25.14/25.31
% 25.14/25.31 Resetting weight limit to 31 after 5450 givens.
% 25.14/25.31
% 25.17/25.38
% 25.17/25.38
% 25.17/25.38 Changing weight limit from 31 to 32.
% 25.17/25.38
% 25.17/25.38 Resetting weight limit to 32 after 5475 givens.
% 25.17/25.38
% 25.17/25.42
% 25.17/25.42
% 25.17/25.42 Changing weight limit from 32 to 31.
% 25.17/25.42
% 25.17/25.42 Resetting weight limit to 31 after 5480 givens.
% 25.17/25.42
% 25.35/25.51
% 25.35/25.51
% 25.35/25.51 Changing weight limit from 31 to 32.
% 25.35/25.51
% 25.35/25.51 Resetting weight limit to 32 after 5505 givens.
% 25.35/25.51
% 25.43/25.59
% 25.43/25.59
% 25.43/25.59 Changing weight limit from 32 to 31.
% 25.43/25.59
% 25.43/25.59 Resetting weight limit to 31 after 5515 givens.
% 25.43/25.59
% 25.45/25.66
% 25.45/25.66
% 25.45/25.66 Changing weight limit from 31 to 32.
% 25.45/25.66
% 25.45/25.66 Resetting weight limit to 32 after 5535 givens.
% 25.45/25.66
% 25.55/25.74
% 25.55/25.74
% 25.55/25.74 Changing weight limit from 32 to 31.
% 25.55/25.74
% 25.55/25.74 Resetting weight limit to 31 after 5545 givens.
% 25.55/25.74
% 25.55/25.79
% 25.55/25.79
% 25.55/25.79 Changing weight limit from 31 to 32.
% 25.55/25.79
% 25.55/25.79 Resetting weight limit to 32 after 5565 givens.
% 25.55/25.79
% 25.63/25.85
% 25.63/25.85
% 25.63/25.85 Changing weight limit from 32 to 31.
% 25.63/25.85
% 25.63/25.85 Resetting weight limit to 31 after 5575 givens.
% 25.63/25.85
% 25.76/25.92
% 25.76/25.92
% 25.76/25.92 Changing weight limit from 31 to 32.
% 25.76/25.92
% 25.76/25.92 Resetting weight limit to 32 after 5595 givens.
% 25.76/25.92
% 25.76/25.97
% 25.76/25.97
% 25.76/25.97 Changing weight limit from 32 to 31.
% 25.76/25.97
% 25.76/25.97 Resetting weight limit to 31 after 5600 givens.
% 25.76/25.97
% 25.76/25.98
% 25.76/25.98
% 25.76/25.98 Changing weight limit from 31 to 30.
% 25.76/25.98
% 25.76/25.98 Resetting weight limit to 30 after 5605 givens.
% 25.76/25.98
% 25.86/26.03
% 25.86/26.03
% 25.86/26.03 Changing weight limit from 30 to 31.
% 25.86/26.03
% 25.86/26.03 Resetting weight limit to 31 after 5620 givens.
% 25.86/26.03
% 25.86/26.07
% 25.86/26.07
% 25.86/26.07 Changing weight limit from 31 to 32.
% 25.86/26.07
% 25.86/26.07 Resetting weight limit to 32 after 5625 givens.
% 25.86/26.07
% 25.86/26.10
% 25.86/26.10
% 25.86/26.10 Changing weight limit from 32 to 30.
% 25.86/26.10
% 25.86/26.10 Resetting weight limit to 30 after 5630 givens.
% 25.86/26.10
% 25.95/26.13
% 25.95/26.13
% 25.95/26.13 Changing weight limit from 30 to 31.
% 25.95/26.13
% 25.95/26.13 Resetting weight limit to 31 after 5640 givens.
% 25.95/26.13
% 25.95/26.17
% 25.95/26.17
% 25.95/26.17 Changing weight limit from 31 to 32.
% 25.95/26.17
% 25.95/26.17 Resetting weight limit to 32 after 5645 givens.
% 25.95/26.17
% 26.04/26.22
% 26.04/26.22
% 26.04/26.22 Changing weight limit from 32 to 30.
% 26.04/26.22
% 26.04/26.22 Resetting weight limit to 30 after 5655 givens.
% 26.04/26.22
% 26.04/26.23
% 26.04/26.23
% 26.04/26.23 Changing weight limit from 30 to 31.
% 26.04/26.23
% 26.04/26.23 Resetting weight limit to 31 after 5665 givens.
% 26.04/26.23
% 26.04/26.26
% 26.04/26.26
% 26.04/26.26 Changing weight limit from 31 to 32.
% 26.04/26.26
% 26.04/26.26 Resetting weight limit to 32 after 5670 givens.
% 26.04/26.26
% 26.04/26.27
% 26.04/26.27
% 26.04/26.27 Changing weight limit from 32 to 30.
% 26.04/26.27
% 26.04/26.27 Resetting weight limit to 30 after 5675 givens.
% 26.04/26.27
% 26.15/26.35
% 26.15/26.35
% 26.15/26.35 Changing weight limit from 30 to 31.
% 26.15/26.35
% 26.15/26.35 Resetting weight limit to 31 after 5705 givens.
% 26.15/26.35
% 26.15/26.39
% 26.15/26.39
% 26.15/26.39 Changing weight limit from 31 to 32.
% 26.15/26.39
% 26.15/26.39 Resetting weight limit to 32 after 5710 givens.
% 26.15/26.39
% 26.15/26.40
% 26.15/26.40
% 26.15/26.40 Changing weight limit from 32 to 30.
% 26.15/26.40
% 26.15/26.40 Resetting weight limit to 30 after 5715 givens.
% 26.15/26.40
% 26.34/26.52
% 26.34/26.52
% 26.34/26.52 Changing weight limit from 30 to 31.
% 26.34/26.52
% 26.34/26.52 Resetting weight limit to 31 after 5760 givens.
% 26.34/26.52
% 26.34/26.57
% 26.34/26.57
% 26.34/26.57 Changing weight limit from 31 to 32.
% 26.34/26.57
% 26.34/26.57 Resetting weight limit to 32 after 5765 givens.
% 26.34/26.57
% 26.43/26.59
% 26.43/26.59
% 26.43/26.59 Changing weight limit from 32 to 30.
% 26.43/26.59
% 26.43/26.59 Resetting weight limit to 30 after 5770 givens.
% 26.43/26.59
% 26.46/26.61
% 26.46/26.61
% 26.46/26.61 Changing weight limit from 30 to 31.
% 26.46/26.61
% 26.46/26.61 Resetting weight limit to 31 after 5780 givens.
% 26.46/26.61
% 26.47/26.66
% 26.47/26.66
% 26.47/26.66 Changing weight limit from 31 to 32.
% 26.47/26.66
% 26.47/26.66 Resetting weight limit to 32 after 5785 givens.
% 26.47/26.66
% 26.47/26.68
% 26.47/26.68
% 26.47/26.68 Changing weight limit from 32 to 30.
% 26.47/26.68
% 26.47/26.68 Resetting weight limit to 30 after 5790 givens.
% 26.47/26.68
% 26.47/26.70
% 26.47/26.70
% 26.47/26.70 Changing weight limit from 30 to 31.
% 26.47/26.70
% 26.47/26.70 Resetting weight limit to 31 after 5800 givens.
% 26.47/26.70
% 26.56/26.73
% 26.56/26.73
% 26.56/26.73 Changing weight limit from 31 to 32.
% 26.56/26.73
% 26.56/26.73 Resetting weight limit to 32 after 5805 givens.
% 26.56/26.73
% 26.56/26.75
% 26.56/26.75
% 26.56/26.75 Changing weight limit from 32 to 30.
% 26.56/26.75
% 26.56/26.75 Resetting weight limit to 30 after 5810 givens.
% 26.56/26.75
% 26.56/26.76
% 26.56/26.76
% 26.56/26.76 Changing weight limit from 30 to 31.
% 26.56/26.76
% 26.56/26.76 Resetting weight limit to 31 after 5820 givens.
% 26.56/26.76
% 26.56/26.78
% 26.56/26.78
% 26.56/26.78 Changing weight limit from 31 to 32.
% 26.56/26.78
% 26.56/26.78 Resetting weight limit to 32 after 5825 givens.
% 26.56/26.78
% 26.64/26.80
% 26.64/26.80
% 26.64/26.80 Changing weight limit from 32 to 31.
% 26.64/26.80
% 26.64/26.80 Resetting weight limit to 31 after 5830 givens.
% 26.64/26.80
% 26.64/26.83
% 26.64/26.83
% 26.64/26.83 Changing weight limit from 31 to 30.
% 26.64/26.83
% 26.64/26.83 Resetting weight limit to 30 after 5835 givens.
% 26.64/26.83
% 26.64/26.86
% 26.64/26.86
% 26.64/26.86 Changing weight limit from 30 to 31.
% 26.64/26.86
% 26.64/26.86 Resetting weight limit to 31 after 5845 givens.
% 26.64/26.86
% 26.77/26.93
% 26.77/26.93
% 26.77/26.93 Changing weight limit from 31 to 32.
% 26.77/26.93
% 26.77/26.93 Resetting weight limit to 32 after 5850 givens.
% 26.77/26.93
% 26.77/26.94
% 26.77/26.94
% 26.77/26.94 Changing weight limit from 32 to 30.
% 26.77/26.94
% 26.77/26.94 Resetting weight limit to 30 after 5855 givens.
% 26.77/26.94
% 26.77/26.97
% 26.77/26.97
% 26.77/26.97 Changing weight limit from 30 to 31.
% 26.77/26.97
% 26.77/26.97 Resetting weight limit to 31 after 5865 givens.
% 26.77/26.97
% 26.77/27.01
% 26.77/27.01
% 26.77/27.01 Changing weight limit from 31 to 32.
% 26.77/27.01
% 26.77/27.01 Resetting weight limit to 32 after 5870 givens.
% 26.77/27.01
% 26.86/27.03
% 26.86/27.03
% 26.86/27.03 Changing weight limit from 32 to 30.
% 26.86/27.03
% 26.86/27.03 Resetting weight limit to 30 after 5875 givens.
% 26.86/27.03
% 26.86/27.06
% 26.86/27.06
% 26.86/27.06 Changing weight limit from 30 to 31.
% 26.86/27.06
% 26.86/27.06 Resetting weight limit to 31 after 5885 givens.
% 26.86/27.06
% 26.86/27.08
% 26.86/27.08
% 26.86/27.08 Changing weight limit from 31 to 32.
% 26.86/27.08
% 26.86/27.08 Resetting weight limit to 32 after 5890 givens.
% 26.86/27.08
% 26.94/27.11
% 26.94/27.11
% 26.94/27.11 Changing weight limit from 32 to 30.
% 26.94/27.11
% 26.94/27.11 Resetting weight limit to 30 after 5895 givens.
% 26.94/27.11
% 26.94/27.13
% 26.94/27.13
% 26.94/27.13 Changing weight limit from 30 to 31.
% 26.94/27.13
% 26.94/27.13 Resetting weight limit to 31 after 5905 givens.
% 26.94/27.13
% 26.94/27.16
% 26.94/27.16
% 26.94/27.16 Changing weight limit from 31 to 32.
% 26.94/27.16
% 26.94/27.16 Resetting weight limit to 32 after 5910 givens.
% 26.94/27.16
% 27.02/27.18
% 27.02/27.18
% 27.02/27.18 Changing weight limit from 32 to 31.
% 27.02/27.18
% 27.02/27.18 Resetting weight limit to 31 after 5915 givens.
% 27.02/27.18
% 27.03/27.19
% 27.03/27.19
% 27.03/27.19 Changing weight limit from 31 to 30.
% 27.03/27.19
% 27.03/27.19 Resetting weight limit to 30 after 5920 givens.
% 27.03/27.19
% 27.06/27.23
% 27.06/27.23
% 27.06/27.23 Changing weight limit from 30 to 31.
% 27.06/27.23
% 27.06/27.23 Resetting weight limit to 31 after 5945 givens.
% 27.06/27.23
% 27.08/27.29
% 27.08/27.29
% 27.08/27.29 Changing weight limit from 31 to 32.
% 27.08/27.29
% 27.08/27.29 Resetting weight limit to 32 after 5950 givens.
% 27.08/27.29
% 27.08/27.30
% 27.08/27.30
% 27.08/27.30 Changing weight limit from 32 to 30.
% 27.08/27.30
% 27.08/27.30 Resetting weight limit to 30 after 5955 givens.
% 27.08/27.30
% 27.16/27.35
% 27.16/27.35
% 27.16/27.35 Changing weight limit from 30 to 31.
% 27.16/27.35
% 27.16/27.35 Resetting weight limit to 31 after 5970 givens.
% 27.16/27.35
% 27.16/27.37
% 27.16/27.37
% 27.16/27.37 Changing weight limit from 31 to 32.
% 27.16/27.37
% 27.16/27.37 Resetting weight limit to 32 after 5975 givens.
% 27.16/27.37
% 27.22/27.40
% 27.22/27.40
% 27.22/27.40 Changing weight limit from 32 to 31.
% 27.22/27.40
% 27.22/27.40 Resetting weight limit to 31 after 5980 givens.
% 27.22/27.40
% 27.22/27.42
% 27.22/27.42
% 27.22/27.42 Changing weight limit from 31 to 30.
% 27.22/27.42
% 27.22/27.42 Resetting weight limit to 30 after 5985 givens.
% 27.22/27.42
% 27.31/27.46
% 27.31/27.46
% 27.31/27.46 Changing weight limit from 30 to 31.
% 27.31/27.46
% 27.31/27.46 Resetting weight limit to 31 after 6000 givens.
% 27.31/27.46
% 27.32/27.49
% 27.32/27.49
% 27.32/27.49 Changing weight limit from 31 to 32.
% 27.32/27.49
% 27.32/27.49 Resetting weight limit to 32 after 6005 givens.
% 27.32/27.49
% 27.36/27.52
% 27.36/27.52
% 27.36/27.52 Changing weight limit from 32 to 30.
% 27.36/27.52
% 27.36/27.52 Resetting weight limit to 30 after 6010 givens.
% 27.36/27.52
% 27.38/27.53
% 27.38/27.53
% 27.38/27.53 Changing weight limit from 30 to 31.
% 27.38/27.53
% 27.38/27.53 Resetting weight limit to 31 after 6020 givens.
% 27.38/27.53
% 27.38/27.56
% 27.38/27.56
% 27.38/27.56 Changing weight limit from 31 to 32.
% 27.38/27.56
% 27.38/27.56 Resetting weight limit to 32 after 6025 givens.
% 27.38/27.56
% 27.38/27.58
% 27.38/27.58
% 27.38/27.58 Changing weight limit from 32 to 30.
% 27.38/27.58
% 27.38/27.58 Resetting weight limit to 30 after 6030 givens.
% 27.38/27.58
% 27.38/27.61
% 27.38/27.61
% 27.38/27.61 Changing weight limit from 30 to 31.
% 27.38/27.61
% 27.38/27.61 Resetting weight limit to 31 after 6040 givens.
% 27.38/27.61
% 27.47/27.65
% 27.47/27.65
% 27.47/27.65 Changing weight limit from 31 to 32.
% 27.47/27.65
% 27.47/27.65 Resetting weight limit to 32 after 6045 givens.
% 27.47/27.65
% 27.53/27.71
% 27.53/27.71
% 27.53/27.71 Changing weight limit from 32 to 30.
% 27.53/27.71
% 27.53/27.71 Resetting weight limit to 30 after 6055 givens.
% 27.53/27.71
% 27.63/27.79
% 27.63/27.79
% 27.63/27.79 Changing weight limit from 30 to 31.
% 27.63/27.79
% 27.63/27.79 Resetting weight limit to 31 after 6090 givens.
% 27.63/27.79
% 27.67/27.83
% 27.67/27.83
% 27.67/27.83 Changing weight limit from 31 to 32.
% 27.67/27.83
% 27.67/27.83 Resetting weight limit to 32 after 6095 givens.
% 27.67/27.83
% 27.68/27.85
% 27.68/27.85
% 27.68/27.85 Changing weight limit from 32 to 30.
% 27.68/27.85
% 27.68/27.85 Resetting weight limit to 30 after 6100 givens.
% 27.68/27.85
% 27.75/27.94
% 27.75/27.94
% 27.75/27.94 Changing weight limit from 30 to 31.
% 27.75/27.94
% 27.75/27.94 Resetting weight limit to 31 after 6135 givens.
% 27.75/27.94
% 27.75/27.96
% 27.75/27.96
% 27.75/27.96 Changing weight limit from 31 to 32.
% 27.75/27.96
% 27.75/27.96 Resetting weight limit to 32 after 6140 givens.
% 27.75/27.96
% 27.81/27.98
% 27.81/27.98
% 27.81/27.98 Changing weight limit from 32 to 31.
% 27.81/27.98
% 27.81/27.98 Resetting weight limit to 31 after 6145 givens.
% 27.81/27.98
% 27.81/28.01
% 27.81/28.01
% 27.81/28.01 Changing weight limit from 31 to 30.
% 27.81/28.01
% 27.81/28.01 Resetting weight limit to 30 after 6150 givens.
% 27.81/28.01
% 27.81/28.04
% 27.81/28.04
% 27.81/28.04 Changing weight limit from 30 to 31.
% 27.81/28.04
% 27.81/28.04 Resetting weight limit to 31 after 6160 givens.
% 27.81/28.04
% 27.90/28.08
% 27.90/28.08
% 27.90/28.08 Changing weight limit from 31 to 32.
% 27.90/28.08
% 27.90/28.08 Resetting weight limit to 32 after 6165 givens.
% 27.90/28.08
% 27.93/28.09
% 27.93/28.09
% 27.93/28.09 Changing weight limit from 32 to 30.
% 27.93/28.09
% 27.93/28.09 Resetting weight limit to 30 after 6170 givens.
% 27.93/28.09
% 27.93/28.11
% 27.93/28.11
% 27.93/28.11 Changing weight limit from 30 to 31.
% 27.93/28.11
% 27.93/28.11 Resetting weight limit to 31 after 6180 givens.
% 27.93/28.11
% 27.97/28.16
% 27.97/28.16
% 27.97/28.16 Changing weight limit from 31 to 32.
% 27.97/28.16
% 27.97/28.16 Resetting weight limit to 32 after 6185 givens.
% 27.97/28.16
% 27.97/28.18
% 27.97/28.18
% 27.97/28.18 Changing weight limit from 32 to 30.
% 27.97/28.18
% 27.97/28.18 Resetting weight limit to 30 after 6190 givens.
% 27.97/28.18
% 27.97/28.20
% 27.97/28.20
% 27.97/28.20 Changing weight limit from 30 to 31.
% 27.97/28.20
% 27.97/28.20 Resetting weight limit to 31 after 6200 givens.
% 27.97/28.20
% 28.05/28.24
% 28.05/28.24
% 28.05/28.24 Changing weight limit from 31 to 32.
% 28.05/28.24
% 28.05/28.24 Resetting weight limit to 32 after 6205 givens.
% 28.05/28.24
% 28.05/28.25
% 28.05/28.25
% 28.05/28.25 Changing weight limit from 32 to 30.
% 28.05/28.25
% 28.05/28.25 Resetting weight limit to 30 after 6210 givens.
% 28.05/28.25
% 28.05/28.28
% 28.05/28.28
% 28.05/28.28 Changing weight limit from 30 to 31.
% 28.05/28.28
% 28.05/28.28 Resetting weight limit to 31 after 6220 givens.
% 28.05/28.28
% 28.12/28.30
% 28.12/28.30
% 28.12/28.30 Changing weight limit from 31 to 32.
% 28.12/28.30
% 28.12/28.30 Resetting weight limit to 32 after 6225 givens.
% 28.12/28.30
% 28.12/28.34
% 28.12/28.34
% 28.12/28.34 Changing weight limit from 32 to 30.
% 28.12/28.34
% 28.12/28.34 Resetting weight limit to 30 after 6235 givens.
% 28.12/28.34
% 28.12/28.35
% 28.12/28.35
% 28.12/28.35 Changing weight limit from 30 to 31.
% 28.12/28.35
% 28.12/28.35 Resetting weight limit to 31 after 6245 givens.
% 28.12/28.35
% 28.21/28.38
% 28.21/28.38
% 28.21/28.38 Changing weight limit from 31 to 32.
% 28.21/28.38
% 28.21/28.38 Resetting weight limit to 32 after 6250 givens.
% 28.21/28.38
% 28.21/28.39
% 28.21/28.39
% 28.21/28.39 Changing weight limit from 32 to 30.
% 28.21/28.39
% 28.21/28.39 Resetting weight limit to 30 after 6255 givens.
% 28.21/28.39
% 28.67/28.89
% 28.67/28.89
% 28.67/28.89 Changing weight limit from 30 to 31.
% 28.67/28.89
% 28.67/28.89 Resetting weight limit to 31 after 6695 givens.
% 28.67/28.89
% 28.75/28.94
% 28.75/28.94
% 28.75/28.94 Changing weight limit from 31 to 32.
% 28.75/28.94
% 28.75/28.94 Resetting weight limit to 32 after 6705 givens.
% 28.75/28.94
% 28.75/28.95
% 28.75/28.95
% 28.75/28.95 Changing weight limit from 32 to 33.
% 28.75/28.95
% 28.75/28.95 Resetting weight limit to 33 after 6710 givens.
% 28.75/28.95
% 28.75/28.96
% 28.75/28.96
% 28.75/28.96 Changing weight limit from 33 to 34.
% 28.75/28.96
% 28.75/28.96 Resetting weight limit to 34 after 6720 givens.
% 28.75/28.96
% 28.84/29.01
% 28.84/29.01
% 28.84/29.01 Changing weight limit from 34 to 33.
% 28.84/29.01
% 28.84/29.01 Resetting weight limit to 33 after 6725 givens.
% 28.84/29.01
% 28.85/29.03
% 28.85/29.03
% 28.85/29.03 Changing weight limit from 33 to 34.
% 28.85/29.03
% 28.85/29.03 Resetting weight limit to 34 after 6730 givens.
% 28.85/29.03
% 28.85/29.04
% 28.85/29.04
% 28.85/29.04 Changing weight limit from 34 to 33.
% 28.85/29.04
% 28.85/29.04 Resetting weight limit to 33 after 6735 givens.
% 28.85/29.04
% 28.85/29.07
% 28.85/29.07
% 28.85/29.07 Changing weight limit from 33 to 34.
% 28.85/29.07
% 28.85/29.07 Resetting weight limit to 34 after 6740 givens.
% 28.85/29.07
% 28.85/29.10
% 28.85/29.10
% 28.85/29.10 Changing weight limit from 34 to 33.
% 28.85/29.10
% 28.85/29.10 Resetting weight limit to 33 after 6745 givens.
% 28.85/29.10
% 28.96/29.17
% 28.96/29.17
% 28.96/29.17 Changing weight limit from 33 to 34.
% 28.96/29.17
% 28.96/29.17 Resetting weight limit to 34 after 6755 givens.
% 28.96/29.17
% 28.96/29.18
% 28.96/29.18
% 28.96/29.18 Changing weight limit from 34 to 33.
% 28.96/29.18
% 28.96/29.18 Resetting weight limit to 33 after 6760 givens.
% 28.96/29.18
% 28.96/29.18
% 28.96/29.18
% 28.96/29.18 Changing weight limit from 33 to 34.
% 28.96/29.18
% 28.96/29.18 Resetting weight limit to 34 after 6765 givens.
% 28.96/29.18
% 29.04/29.22
% 29.04/29.22
% 29.04/29.22 Changing weight limit from 34 to 33.
% 29.04/29.22
% 29.04/29.22 Resetting weight limit to 33 after 6770 givens.
% 29.04/29.22
% 29.04/29.23
% 29.04/29.23
% 29.04/29.23 Changing weight limit from 33 to 34.
% 29.04/29.23
% 29.04/29.23 Resetting weight limit to 34 after 6775 givens.
% 29.04/29.23
% 29.04/29.24
% 29.04/29.24
% 29.04/29.24 Changing weight limit from 34 to 33.
% 29.04/29.24
% 29.04/29.24 Resetting weight limit to 33 after 6785 givens.
% 29.04/29.24
% 29.04/29.24
% 29.04/29.24
% 29.04/29.24 Changing weight limit from 33 to 34.
% 29.04/29.24
% 29.04/29.24 Resetting weight limit to 34 after 6790 givens.
% 29.04/29.24
% 29.13/29.28
% 29.13/29.28
% 29.13/29.28 Changing weight limit from 34 to 33.
% 29.13/29.28
% 29.13/29.28 Resetting weight limit to 33 after 6795 givens.
% 29.13/29.28
% 29.13/29.29
% 29.13/29.29
% 29.13/29.29 Changing weight limit from 33 to 34.
% 29.13/29.29
% 29.13/29.29 Resetting weight limit to 34 after 6800 givens.
% 29.13/29.29
% 29.13/29.29
% 29.13/29.29
% 29.13/29.29 Changing weight limit from 34 to 33.
% 29.13/29.29
% 29.13/29.29 Resetting weight limit to 33 after 6805 givens.
% 29.13/29.29
% 29.13/29.30
% 29.13/29.30
% 29.13/29.30 Changing weight limit from 33 to 34.
% 29.13/29.30
% 29.13/29.30 Resetting weight limit to 34 after 6810 givens.
% 29.13/29.30
% 29.16/29.32
% 29.16/29.32
% 29.16/29.32 Changing weight limit from 34 to 33.
% 29.16/29.32
% 29.16/29.32 Resetting weight limit to 33 after 6815 givens.
% 29.16/29.32
% 29.16/29.34
% 29.16/29.34
% 29.16/29.34 Changing weight limit from 33 to 34.
% 29.16/29.34
% 29.16/29.34 Resetting weight limit to 34 after 6820 givens.
% 29.16/29.34
% 29.16/29.35
% 29.16/29.35
% 29.16/29.35 Changing weight limit from 34 to 33.
% 29.16/29.35
% 29.16/29.35 Resetting weight limit to 33 after 6825 givens.
% 29.16/29.35
% 29.16/29.36
% 29.16/29.36
% 29.16/29.36 Changing weight limit from 33 to 34.
% 29.16/29.36
% 29.16/29.36 Resetting weight limit to 34 after 6835 givens.
% 29.16/29.36
% 29.16/29.41
% 29.16/29.41
% 29.16/29.41 Changing weight limit from 34 to 33.
% 29.16/29.41
% 29.16/29.41 Resetting weight limit to 33 after 6840 givens.
% 29.16/29.41
% 29.16/29.42
% 29.16/29.42
% 29.16/29.42 Changing weight limit from 33 to 34.
% 29.16/29.42
% 29.16/29.42 Resetting weight limit to 34 after 6845 givens.
% 29.16/29.42
% 29.26/29.44
% 29.26/29.44
% 29.26/29.44 Changing weight limit from 34 to 33.
% 29.26/29.44
% 29.26/29.44 Resetting weight limit to 33 after 6850 givens.
% 29.26/29.44
% 29.26/29.45
% 29.26/29.45
% 29.26/29.45 Changing weight limit from 33 to 34.
% 29.26/29.45
% 29.26/29.45 Resetting weight limit to 34 after 6855 givens.
% 29.26/29.45
% 29.26/29.49
% 29.26/29.49
% 29.26/29.49 Changing weight limit from 34 to 33.
% 29.26/29.49
% 29.26/29.49 Resetting weight limit to 33 after 6860 givens.
% 29.26/29.49
% 29.37/29.54
% 29.37/29.54
% 29.37/29.54 Changing weight limit from 33 to 34.
% 29.37/29.54
% 29.37/29.54 Resetting weight limit to 34 after 6865 givens.
% 29.37/29.54
% 29.37/29.54
% 29.37/29.54
% 29.37/29.54 Changing weight limit from 34 to 33.
% 29.37/29.54
% 29.37/29.54 Resetting weight limit to 33 after 6870 givens.
% 29.37/29.54
% 29.37/29.58
% 29.37/29.58
% 29.37/29.58 Changing weight limit from 33 to 34.
% 29.37/29.58
% 29.37/29.58 Resetting weight limit to 34 after 6880 givens.
% 29.37/29.58
% 29.45/29.62
% 29.45/29.62
% 29.45/29.62 Changing weight limit from 34 to 33.
% 29.45/29.62
% 29.45/29.62 Resetting weight limit to 33 after 6885 givens.
% 29.45/29.62
% 29.45/29.62
% 29.45/29.62
% 29.45/29.62 Changing weight limit from 33 to 34.
% 29.45/29.62
% 29.45/29.62 Resetting weight limit to 34 after 6890 givens.
% 29.45/29.62
% 29.45/29.63
% 29.45/29.63
% 29.45/29.63 Changing weight limit from 34 to 33.
% 29.45/29.63
% 29.45/29.63 Resetting weight limit to 33 after 6895 givens.
% 29.45/29.63
% 29.45/29.63
% 29.45/29.63
% 29.45/29.63 Changing weight limit from 33 to 34.
% 29.45/29.63
% 29.45/29.63 Resetting weight limit to 34 after 6900 givens.
% 29.45/29.63
% 29.45/29.65
% 29.45/29.65
% 29.45/29.65 Changing weight limit from 34 to 33.
% 29.45/29.65
% 29.45/29.65 Resetting weight limit to 33 after 6905 givens.
% 29.45/29.65
% 29.45/29.67
% 29.45/29.67
% 29.45/29.67 Changing weight limit from 33 to 34.
% 29.45/29.67
% 29.45/29.67 Resetting weight limit to 34 after 6910 givens.
% 29.45/29.67
% 29.45/29.68
% 29.45/29.68
% 29.45/29.68 Changing weight limit from 34 to 33.
% 29.45/29.68
% 29.45/29.68 Resetting weight limit to 33 after 6915 givens.
% 29.45/29.68
% 29.54/29.69
% 29.54/29.69
% 29.54/29.69 Changing weight limit from 33 to 34.
% 29.54/29.69
% 29.54/29.69 Resetting weight limit to 34 after 6925 givens.
% 29.54/29.69
% 29.56/29.74
% 29.56/29.74
% 29.56/29.74 Changing weight limit from 34 to 33.
% 29.56/29.74
% 29.56/29.74 Resetting weight limit to 33 after 6930 givens.
% 29.56/29.74
% 29.56/29.74
% 29.56/29.74
% 29.56/29.74 Changing weight limit from 33 to 34.
% 29.56/29.74
% 29.56/29.74 Resetting weight limit to 34 after 6935 givens.
% 29.56/29.74
% 29.56/29.75
% 29.56/29.75
% 29.56/29.75 Changing weight limit from 34 to 33.
% 29.56/29.75
% 29.56/29.75 Resetting weight limit to 33 after 6945 givens.
% 29.56/29.75
% 29.56/29.76
% 29.56/29.76
% 29.56/29.76 Changing weight limit from 33 to 34.
% 29.56/29.76
% 29.56/29.76 Resetting weight limit to 34 after 6950 givens.
% 29.56/29.76
% 29.66/29.82
% 29.66/29.82
% 29.66/29.82 Changing weight limit from 34 to 33.
% 29.66/29.82
% 29.66/29.82 Resetting weight limit to 33 after 6955 givens.
% 29.66/29.82
% 29.66/29.82
% 29.66/29.82
% 29.66/29.82 Changing weight limit from 33 to 34.
% 29.66/29.82
% 29.66/29.82 Resetting weight limit to 34 after 6960 givens.
% 29.66/29.82
% 29.66/29.85
% 29.66/29.85
% 29.66/29.85 Changing weight limit from 34 to 33.
% 29.66/29.85
% 29.66/29.85 Resetting weight limit to 33 after 6965 givens.
% 29.66/29.85
% 29.66/29.88
% 29.66/29.88
% 29.66/29.88 Changing weight limit from 33 to 34.
% 29.66/29.88
% 29.66/29.88 Resetting weight limit to 34 after 6970 givens.
% 29.66/29.88
% 29.75/29.90
% 29.75/29.90
% 29.75/29.90 Changing weight limit from 34 to 33.
% 29.75/29.90
% 29.75/29.90 Resetting weight limit to 33 after 6975 givens.
% 29.75/29.90
% 29.75/29.95
% 29.75/29.95
% 29.75/29.95 Changing weight limit from 33 to 34.
% 29.75/29.95
% 29.75/29.95 Resetting weight limit to 34 after 6980 givens.
% 29.75/29.95
% 29.75/29.96
% 29.75/29.96
% 29.75/29.96 Changing weight limit from 34 to 33.
% 29.75/29.96
% 29.75/29.96 Resetting weight limit to 33 after 6990 givens.
% 29.75/29.96
% 29.75/29.96
% 29.75/29.96
% 29.75/29.96 Changing weight limit from 33 to 34.
% 29.75/29.96
% 29.75/29.96 Resetting weight limit to 34 after 6995 givens.
% 29.75/29.96
% 29.84/30.00
% 29.84/30.00
% 29.84/30.00 Changing weight limit from 34 to 33.
% 29.84/30.00
% 29.84/30.00 Resetting weight limit to 33 after 7000 givens.
% 29.84/30.00
% 29.84/30.01
% 29.84/30.01
% 29.84/30.01 Changing weight limit from 33 to 34.
% 29.84/30.01
% 29.84/30.01 Resetting weight limit to 34 after 7005 givens.
% 29.84/30.01
% 29.86/30.01
% 29.86/30.01
% 29.86/30.01 Changing weight limit from 34 to 33.
% 29.86/30.01
% 29.86/30.01 Resetting weight limit to 33 after 7010 givens.
% 29.86/30.01
% 29.86/30.02
% 29.86/30.02
% 29.86/30.02 Changing weight limit from 33 to 34.
% 29.86/30.02
% 29.86/30.02 Resetting weight limit to 34 after 7015 givens.
% 29.86/30.02
% 29.88/30.03
% 29.88/30.03
% 29.88/30.03 Changing weight limit from 34 to 33.
% 29.88/30.03
% 29.88/30.03 Resetting weight limit to 33 after 7020 givens.
% 29.88/30.03
% 29.88/30.08
% 29.88/30.08
% 29.88/30.08 Changing weight limit from 33 to 34.
% 29.88/30.08
% 29.88/30.08 Resetting weight limit to 34 after 7030 givens.
% 29.88/30.08
% 29.88/30.08
% 29.88/30.08
% 29.88/30.08 Changing weight limit from 34 to 33.
% 29.88/30.08
% 29.88/30.08 Resetting weight limit to 33 after 7035 givens.
% 29.88/30.08
% 29.88/30.09
% 29.88/30.09
% 29.88/30.09 Changing weight limit from 33 to 34.
% 29.88/30.09
% 29.88/30.09 Resetting weight limit to 34 after 7040 givens.
% 29.88/30.09
% 29.98/30.14
% 29.98/30.14
% 29.98/30.14 Changing weight limit from 34 to 33.
% 29.98/30.14
% 29.98/30.14 Resetting weight limit to 33 after 7045 givens.
% 29.98/30.14
% 29.98/30.15
% 29.98/30.15
% 29.98/30.15 Changing weight limit from 33 to 34.
% 29.98/30.15
% 29.98/30.15 Resetting weight limit to 34 after 7050 givens.
% 29.98/30.15
% 29.98/30.17
% 29.98/30.17
% 29.98/30.17 Changing weight limit from 34 to 33.
% 29.98/30.17
% 29.98/30.17 Resetting weight limit to 33 after 7055 givens.
% 29.98/30.17
% 29.98/30.19
% 29.98/30.19
% 29.98/30.19 Changing weight limit from 33 to 34.
% 29.98/30.19
% 29.98/30.19 Resetting weight limit to 34 after 7060 givens.
% 29.98/30.19
% 29.98/30.19
% 29.98/30.19
% 29.98/30.19 Changing weight limit from 34 to 35.
% 29.98/30.19
% 29.98/30.19 Resetting weight limit to 35 after 7065 givens.
% 29.98/30.19
% 30.05/30.21
% 30.05/30.21
% 30.05/30.21 Changing weight limit from 35 to 36.
% 30.05/30.21
% 30.05/30.21 Resetting weight limit to 36 after 7070 givens.
% 30.05/30.21
% 30.05/30.21
% 30.05/30.21
% 30.05/30.21 Changing weight limit from 36 to 37.
% 30.05/30.21
% 30.05/30.21 Resetting weight limit to 37 after 7075 givens.
% 30.05/30.21
% 30.05/30.22
% 30.05/30.22
% 30.05/30.22 Changing weight limit from 37 to 38.
% 30.05/30.22
% 30.05/30.22 Resetting weight limit to 38 after 7080 givens.
% 30.05/30.22
% 30.05/30.22
% 30.05/30.22
% 30.05/30.22 Changing weight limit from 38 to 39.
% 30.05/30.22
% 30.05/30.22 Resetting weight limit to 39 after 7085 givens.
% 30.05/30.22
% 30.05/30.22
% 30.05/30.22
% 30.05/30.22 Changing weight limit from 39 to 40.
% 30.05/30.22
% 30.05/30.22 Resetting weight limit to 40 after 7090 givens.
% 30.05/30.22
% 30.17/30.32
% 30.17/30.32
% 30.17/30.32 Changing weight limit from 40 to 34.
% 30.17/30.32
% 30.17/30.32 Resetting weight limit to 34 after 7100 givens.
% 30.17/30.32
% 30.35/30.54
% 30.35/30.54
% 30.35/30.54 Changing weight limit from 34 to 33.
% 30.35/30.54
% 30.35/30.54 Resetting weight limit to 33 after 7235 givens.
% 30.35/30.54
% 30.49/30.64
% 30.49/30.64
% 30.49/30.64 Changing weight limit from 33 to 34.
% 30.49/30.64
% 30.49/30.64 Resetting weight limit to 34 after 7300 givens.
% 30.49/30.64
% 30.49/30.70
% 30.49/30.70
% 30.49/30.70 Changing weight limit from 34 to 33.
% 30.49/30.70
% 30.49/30.70 Resetting weight limit to 33 after 7310 givens.
% 30.49/30.70
% 30.49/30.70
% 30.49/30.70
% 30.49/30.70 Changing weight limit from 33 to 34.
% 30.49/30.70
% 30.49/30.70 Resetting weight limit to 34 after 7315 givens.
% 30.49/30.70
% 30.49/30.70
% 30.49/30.70
% 30.49/30.70 Changing weight limit from 34 to 33.
% 30.49/30.70
% 30.49/30.70 Resetting weight limit to 33 after 7320 givens.
% 30.49/30.70
% 30.49/30.71
% 30.49/30.71
% 30.49/30.71 Changing weight limit from 33 to 34.
% 30.49/30.71
% 30.49/30.71 Resetting weight limit to 34 after 7330 givens.
% 30.49/30.71
% 31.98/32.19
% 31.98/32.19
% 31.98/32.19 Changing weight limit from 34 to 35.
% 31.98/32.19
% 31.98/32.19 Resetting weight limit to 35 after 7430 givens.
% 31.98/32.19
% 31.98/32.20
% 31.98/32.20
% 31.98/32.20 Changing weight limit from 35 to 34.
% 31.98/32.20
% 31.98/32.20 Resetting weight limit to 34 after 7435 givens.
% 31.98/32.20
% 32.16/32.31
% 32.16/32.31
% 32.16/32.31 Changing weight limit from 34 to 35.
% 32.16/32.31
% 32.16/32.31 Resetting weight limit to 35 after 7455 givens.
% 32.16/32.31
% 32.16/32.32
% 32.16/32.32
% 32.16/32.32 Changing weight limit from 35 to 34.
% 32.16/32.32
% 32.16/32.32 Resetting weight limit to 34 after 7460 givens.
% 32.16/32.32
% 32.16/32.32
% 32.16/32.32
% 32.16/32.32 Changing weight limit from 34 to 35.
% 32.16/32.32
% 32.16/32.32 Resetting weight limit to 35 after 7470 givens.
% 32.16/32.32
% 32.16/32.33
% 32.16/32.33
% 32.16/32.33 Changing weight limit from 35 to 34.
% 32.16/32.33
% 32.16/32.33 Resetting weight limit to 34 after 7475 givens.
% 32.16/32.33
% 34.86/35.07
% 34.86/35.07
% 34.86/35.07 Changing weight limit from 34 to 33.
% 34.86/35.07
% 34.86/35.07 Resetting weight limit to 33 after 7540 givens.
% 34.86/35.07
% 39.75/39.91
% 39.75/39.91
% 39.75/39.91 Changing weight limit from 33 to 31.
% 39.75/39.91
% 39.75/39.91 Resetting weight limit to 31 after 7590 givens.
% 39.75/39.91
% 42.65/42.86
% 42.65/42.86
% 42.65/42.86 Changing weight limit from 31 to 32.
% 42.65/42.86
% 42.65/42.86 Resetting weight limit to 32 after 7625 givens.
% 42.65/42.86
% 42.65/42.87
% 42.65/42.87
% 42.65/42.87 Changing weight limit from 32 to 33.
% 42.65/42.87
% 42.65/42.87 Resetting weight limit to 33 after 7630 givens.
% 42.65/42.87
% 42.65/42.88
% 42.65/42.88
% 42.65/42.88 Changing weight limit from 33 to 34.
% 42.65/42.88
% 42.65/42.88 Resetting weight limit to 34 after 7635 givens.
% 42.65/42.88
% 42.74/42.88
% 42.74/42.88
% 42.74/42.88 Changing weight limit from 34 to 33.
% 42.74/42.88
% 42.74/42.88 Resetting weight limit to 33 after 7640 givens.
% 42.74/42.88
% 44.09/44.25
% 44.09/44.25
% 44.09/44.25 Changing weight limit from 33 to 34.
% 44.09/44.25
% 44.09/44.25 Resetting weight limit to 34 after 7770 givens.
% 44.09/44.25
% 48.93/49.07
% 48.93/49.07
% 48.93/49.07 Changing weight limit from 34 to 35.
% 48.93/49.07
% 48.93/49.07 Resetting weight limit to 35 after 9080 givens.
% 48.93/49.07
% 49.26/49.49
% 49.26/49.49
% 49.26/49.49 Changing weight limit from 35 to 36.
% 49.26/49.49
% 49.26/49.49 Resetting weight limit to 36 after 9320 givens.
% 49.26/49.49
% 49.94/50.14
% 49.94/50.14
% 49.94/50.14 Changing weight limit from 36 to 37.
% 49.94/50.14
% 49.94/50.14 Resetting weight limit to 37 after 9825 givens.
% 49.94/50.14
% 49.94/50.15
% 49.94/50.15
% 49.94/50.15 Changing weight limit from 37 to 38.
% 49.94/50.15
% 49.94/50.15 Resetting weight limit to 38 after 9830 givens.
% 49.94/50.15
% 49.94/50.15
% 49.94/50.15
% 49.94/50.15 Changing weight limit from 38 to 37.
% 49.94/50.15
% 49.94/50.15 Resetting weight limit to 37 after 9835 givens.
% 49.94/50.15
% 50.34/50.56
% 50.34/50.56
% 50.34/50.56 Changing weight limit from 37 to 36.
% 50.34/50.56
% 50.34/50.56 Resetting weight limit to 36 after 10195 givens.
% 50.34/50.56
% 50.48/50.71
% 50.48/50.71
% 50.48/50.71 Changing weight limit from 36 to 37.
% 50.48/50.71
% 50.48/50.71 Resetting weight limit to 37 after 10335 givens.
% 50.48/50.71
% 50.58/50.72
% 50.58/50.72
% 50.58/50.72 Changing weight limit from 37 to 38.
% 50.58/50.72
% 50.58/50.72 Resetting weight limit to 38 after 10340 givens.
% 50.58/50.72
% 50.58/50.73
% 50.58/50.73
% 50.58/50.73 Changing weight limit from 38 to 39.
% 50.58/50.73
% 50.58/50.73 Resetting weight limit to 39 after 10345 givens.
% 50.58/50.73
% 50.58/50.75
% 50.58/50.75
% 50.58/50.75 Changing weight limit from 39 to 38.
% 50.58/50.75
% 50.58/50.75 Resetting weight limit to 38 after 10350 givens.
% 50.58/50.75
% 50.65/50.85
% 50.65/50.85
% 50.65/50.85 Changing weight limit from 38 to 39.
% 50.65/50.85
% 50.65/50.85 Resetting weight limit to 39 after 10395 givens.
% 50.65/50.85
% 50.65/50.85
% 50.65/50.85
% 50.65/50.85 Changing weight limit from 39 to 40.
% 50.65/50.85
% 50.65/50.85 Resetting weight limit to 40 after 10400 givens.
% 50.65/50.85
% 50.65/50.86
% 50.65/50.86
% 50.65/50.86 Changing weight limit from 40 to 39.
% 50.65/50.86
% 50.65/50.86 Resetting weight limit to 39 after 10405 givens.
% 50.65/50.86
% 51.14/51.31
% 51.14/51.31
% 51.14/51.31 Changing weight limit from 39 to 40.
% 51.14/51.31
% 51.14/51.31 Resetting weight limit to 40 after 10605 givens.
% 51.14/51.31
% 51.16/51.31
% 51.16/51.31
% 51.16/51.31 Changing weight limit from 40 to 41.
% 51.16/51.31
% 51.16/51.31 Resetting weight limit to 41 after 10610 givens.
% 51.16/51.31
% 51.16/51.32
% 51.16/51.32
% 51.16/51.32 Changing weight limit from 41 to 40.
% 51.16/51.32
% 51.16/51.32 Resetting weight limit to 40 after 10615 givens.
% 51.16/51.32
% 51.27/51.47
% 51.27/51.47
% 51.27/51.47 Changing weight limit from 40 to 39.
% 51.27/51.47
% 51.27/51.47 Resetting weight limit to 39 after 10750 givens.
% 51.27/51.47
% 52.23/52.45
% 52.23/52.45
% 52.23/52.45 Changing weight limit from 39 to 40.
% 52.23/52.45
% 52.23/52.45 Resetting weight limit to 40 after 11600 givens.
% 52.23/52.45
% 52.23/52.46
% 52.23/52.46
% 52.23/52.46 Changing weight limit from 40 to 41.
% 52.23/52.46
% 52.23/52.46 Resetting weight limit to 41 after 11605 givens.
% 52.23/52.46
% 52.23/52.47
% 52.23/52.47
% 52.23/52.47 Changing weight limit from 41 to 42.
% 52.23/52.47
% 52.23/52.47 Resetting weight limit to 42 after 11610 givens.
% 52.23/52.47
% 52.32/52.47
% 52.32/52.47
% 52.32/52.47 Changing weight limit from 42 to 41.
% 52.32/52.47
% 52.32/52.47 Resetting weight limit to 41 after 11615 givens.
% 52.32/52.47
% 52.97/53.20
% 52.97/53.20
% 52.97/53.20 Changing weight limit from 41 to 40.
% 52.97/53.20
% 52.97/53.20 Resetting weight limit to 40 after 12240 givens.
% 52.97/53.20
% 53.06/53.27
% 53.06/53.27
% 53.06/53.27 Changing weight limit from 40 to 41.
% 53.06/53.27
% 53.06/53.27 Resetting weight limit to 41 after 12300 givens.
% 53.06/53.27
% 53.06/53.27
% 53.06/53.27
% 53.06/53.27 Changing weight limit from 41 to 42.
% 53.06/53.27
% 53.06/53.27 Resetting weight limit to 42 after 12305 givens.
% 53.06/53.27
% 53.06/53.28
% 53.06/53.28
% 53.06/53.28 Changing weight limit from 42 to 43.
% 53.06/53.28
% 53.06/53.28 Resetting weight limit to 43 after 12310 givens.
% 53.06/53.28
% 53.06/53.28
% 53.06/53.28
% 53.06/53.28 Changing weight limit from 43 to 42.
% 53.06/53.28
% 53.06/53.28 Resetting weight limit to 42 after 12315 givens.
% 53.06/53.28
% 53.15/53.33
% 53.15/53.33
% 53.15/53.33 Changing weight limit from 42 to 41.
% 53.15/53.33
% 53.15/53.33 Resetting weight limit to 41 after 12345 givens.
% 53.15/53.33
% 53.95/54.15
% 53.95/54.15
% 53.95/54.15 Changing weight limit from 41 to 42.
% 53.95/54.15
% 53.95/54.15 Resetting weight limit to 42 after 12835 givens.
% 53.95/54.15
% 53.95/54.16
% 53.95/54.16
% 53.95/54.16 Changing weight limit from 42 to 43.
% 53.95/54.16
% 53.95/54.16 Resetting weight limit to 43 after 12840 givens.
% 53.95/54.16
% 53.95/54.16
% 53.95/54.16
% 53.95/54.16 Changing weight limit from 43 to 44.
% 53.95/54.16
% 53.95/54.16 Resetting weight limit to 44 after 12845 givens.
% 53.95/54.16
% 53.95/54.17
% 53.95/54.17
% 53.95/54.17 Changing weight limit from 44 to 45.
% 53.95/54.17
% 53.95/54.17 Resetting weight limit to 45 after 12850 givens.
% 53.95/54.17
% 53.95/54.17
% 53.95/54.17
% 53.95/54.17 Changing weight limit from 45 to 46.
% 53.95/54.17
% 53.95/54.17 Resetting weight limit to 46 after 12855 givens.
% 53.95/54.17
% 53.95/54.18
% 53.95/54.18
% 53.95/54.18 Changing weight limit from 46 to 47.
% 53.95/54.18
% 53.95/54.18 Resetting weight limit to 47 after 12860 givens.
% 53.95/54.18
% 53.95/54.18
% 53.95/54.18
% 53.95/54.18 Changing weight limit from 47 to 44.
% 53.95/54.18
% 53.95/54.18 Resetting weight limit to 44 after 12865 givens.
% 53.95/54.18
% 54.08/54.29
% 54.08/54.29
% 54.08/54.29 Changing weight limit from 44 to 45.
% 54.08/54.29
% 54.08/54.29 Resetting weight limit to 45 after 12940 givens.
% 54.08/54.29
% 54.45/54.63
% 54.45/54.63
% 54.45/54.63 Changing weight limit from 45 to 44.
% 54.45/54.63
% 54.45/54.63 Resetting weight limit to 44 after 13175 givens.
% 54.45/54.63
% 55.88/56.10
% 55.88/56.10
% 55.88/56.10 Changing weight limit from 44 to 45.
% 55.88/56.10
% 55.88/56.10 Resetting weight limit to 45 after 14100 givens.
% 55.88/56.10
% 55.88/56.11
% 55.88/56.11
% 55.88/56.11 Changing weight limit from 45 to 46.
% 55.88/56.11
% 55.88/56.11 Resetting weight limit to 46 after 14105 givens.
% 55.88/56.11
% 55.97/56.13
% 55.97/56.13
% 55.97/56.13 Changing weight limit from 46 to 45.
% 55.97/56.13
% 55.97/56.13 Resetting weight limit to 45 after 14110 givens.
% 55.97/56.13
% 57.67/57.90
% 57.67/57.90
% 57.67/57.90 Changing weight limit from 45 to 46.
% 57.67/57.90
% 57.67/57.90 Resetting weight limit to 46 after 14805 givens.
% 57.67/57.90
% 59.54/59.70
% 59.54/59.70
% 59.54/59.70 Changing weight limit from 46 to 47.
% 59.54/59.70
% 59.54/59.70 Resetting weight limit to 47 after 15335 givens.
% 59.54/59.70
% 59.54/59.71
% 59.54/59.71
% 59.54/59.71 Changing weight limit from 47 to 48.
% 59.54/59.71
% 59.54/59.71 Resetting weight limit to 48 after 15340 givens.
% 59.54/59.71
% 59.54/59.72
% 59.54/59.72
% 59.54/59.72 Changing weight limit from 48 to 49.
% 59.54/59.72
% 59.54/59.72 Resetting weight limit to 49 after 15345 givens.
% 59.54/59.72
% 59.54/59.74
% 59.54/59.74
% 59.54/59.74 Changing weight limit from 49 to 48.
% 59.54/59.74
% 59.54/59.74 Resetting weight limit to 48 after 15350 givens.
% 59.54/59.74
% 59.85/60.00
% 59.85/60.00
% 59.85/60.00 Changing weight limit from 48 to 49.
% 59.85/60.00
% 59.85/60.00 Resetting weight limit to 49 after 15435 givens.
% 59.85/60.00
% 59.85/60.01
% 59.85/60.01
% 59.85/60.01 Changing weight limit from 49 to 50.
% 59.85/60.01
% 59.85/60.01 Resetting weight limit to 50 after 15440 givens.
% 59.85/60.01
% 59.85/60.02
% 59.85/60.02
% 59.85/60.02 Changing weight limit from 50 to 49.
% 59.85/60.02
% 59.85/60.02 Resetting weight limit to 49 after 15445 givens.
% 59.85/60.02
% 63.49/63.68
% 63.49/63.68
% 63.49/63.68 Changing weight limit from 49 to 50.
% 63.49/63.68
% 63.49/63.68 Resetting weight limit to 50 after 16600 givens.
% 63.49/63.68
% 65.93/66.10
% 65.93/66.10
% 65.93/66.10 Changing weight limit from 50 to 51.
% 65.93/66.10
% 65.93/66.10 Resetting weight limit to 51 after 17305 givens.
% 65.93/66.10
% 68.38/68.57
% 68.38/68.57
% 68.38/68.57 Changing weight limit from 51 to 52.
% 68.38/68.57
% 68.38/68.57 Resetting weight limit to 52 after 17840 givens.
% 68.38/68.57
% 68.38/68.58
% 68.38/68.58
% 68.38/68.58 Changing weight limit from 52 to 53.
% 68.38/68.58
% 68.38/68.58 Resetting weight limit to 53 after 17845 givens.
% 68.38/68.58
% 68.45/68.60
% 68.45/68.60
% 68.45/68.60 Changing weight limit from 53 to 54.
% 68.45/68.60
% 68.45/68.60 Resetting weight limit to 54 after 17850 givens.
% 68.45/68.60
% 68.45/68.63
% 68.45/68.63
% 68.45/68.63 Changing weight limit from 54 to 53.
% 68.45/68.63
% 68.45/68.63 Resetting weight limit to 53 after 17855 givens.
% 68.45/68.63
% 68.87/69.04
% 68.87/69.04
% 68.87/69.04 Changing weight limit from 53 to 54.
% 68.87/69.04
% 68.87/69.04 Resetting weight limit to 54 after 17935 givens.
% 68.87/69.04
% 73.26/73.46
% 73.26/73.46
% 73.26/73.46 Changing weight limit from 54 to 55.
% 73.26/73.46
% 73.26/73.46 Resetting weight limit to 55 after 19105 givens.
% 73.26/73.46
% 75.33/75.48
% 75.33/75.48
% 75.33/75.48 Changing weight limit from 55 to 56.
% 75.33/75.48
% 75.33/75.48 Resetting weight limit to 56 after 19810 givens.
% 75.33/75.48
% 77.28/77.50
% 77.28/77.50
% 77.28/77.50 Changing weight limit from 56 to 57.
% 77.28/77.50
% 77.28/77.50 Resetting weight limit to 57 after 20340 givens.
% 77.28/77.50
% 77.36/77.51
% 77.36/77.51
% 77.36/77.51 Changing weight limit from 57 to 58.
% 77.36/77.51
% 77.36/77.51 Resetting weight limit to 58 after 20345 givens.
% 77.36/77.51
% 77.36/77.53
% 77.36/77.53
% 77.36/77.53 Changing weight limit from 58 to 59.
% 77.36/77.53
% 77.36/77.53 Resetting weight limit to 59 after 20350 givens.
% 77.36/77.53
% 77.36/77.56
% 77.36/77.56
% 77.36/77.56 Changing weight limit from 59 to 58.
% 77.36/77.56
% 77.36/77.56 Resetting weight limit to 58 after 20355 givens.
% 77.36/77.56
% 77.74/77.90
% 77.74/77.90
% 77.74/77.90 Changing weight limit from 58 to 59.
% 77.74/77.90
% 77.74/77.90 Resetting weight limit to 59 after 20440 givens.
% 77.74/77.90
% 81.57/81.80
% 81.57/81.80
% 81.57/81.80 Changing weight limit from 59 to 60.
% 81.57/81.80
% 81.57/81.80 Resetting weight limit to 60 after 21605 givens.
% 81.57/81.80
% 86.94/87.16
% 86.94/87.16 Search stopped because sos empty.
% 86.94/87.16
% 86.94/87.16
% 86.94/87.16 Search stopped because sos empty.
% 86.94/87.16
% 86.94/87.16 ============ end of search ============
% 86.94/87.16
% 86.94/87.16 ----------- soft-scott stats ----------
% 86.94/87.16
% 86.94/87.16 true clauses given 23970 (96.6%)
% 86.94/87.16 false clauses given 835
% 86.94/87.16
% 86.94/87.16 FALSE TRUE
% 86.94/87.16 tot: 0 0 (-nan% true)
% 86.94/87.16
% 86.94/87.16
% 86.94/87.16 Model 9 [ 1 0 2710 ] (0.01 seconds, 250000 Inserts)
% 86.94/87.16
% 86.94/87.16 Process 12495 finished Mon Jul 4 03:02:16 2022
%------------------------------------------------------------------------------