TSTP Solution File: LCL246-1 by SOS---2.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : SOS---2.0
% Problem : LCL246-1 : TPTP v8.1.0. Bugfixed v2.3.0.
% Transfm : none
% Format : tptp:raw
% Command : sos-script %s
% Computer : n021.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:29:05 EDT 2022
% Result : Timeout 300.08s 300.34s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.12 % Problem : LCL246-1 : TPTP v8.1.0. Bugfixed v2.3.0.
% 0.04/0.13 % Command : sos-script %s
% 0.12/0.34 % Computer : n021.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 23:37:17 EDT 2022
% 0.12/0.34 % CPUTime :
% 0.12/0.36 ----- Otter 3.2, August 2001 -----
% 0.12/0.36 The process was started by sandbox2 on n021.cluster.edu,
% 0.12/0.36 Mon Jul 4 23:37:17 2022
% 0.12/0.36 The command was "./sos". The process ID is 22627.
% 0.12/0.36
% 0.12/0.36 set(prolog_style_variables).
% 0.12/0.36 set(auto).
% 0.12/0.36 dependent: set(auto1).
% 0.12/0.36 dependent: set(process_input).
% 0.12/0.36 dependent: clear(print_kept).
% 0.12/0.36 dependent: clear(print_new_demod).
% 0.12/0.36 dependent: clear(print_back_demod).
% 0.12/0.36 dependent: clear(print_back_sub).
% 0.12/0.36 dependent: set(control_memory).
% 0.12/0.36 dependent: assign(max_mem, 12000).
% 0.12/0.36 dependent: assign(pick_given_ratio, 4).
% 0.12/0.36 dependent: assign(stats_level, 1).
% 0.12/0.36 dependent: assign(pick_semantic_ratio, 3).
% 0.12/0.36 dependent: assign(sos_limit, 5000).
% 0.12/0.36 dependent: assign(max_weight, 60).
% 0.12/0.36 clear(print_given).
% 0.12/0.36
% 0.12/0.36 list(usable).
% 0.12/0.36
% 0.12/0.36 SCAN INPUT: prop=0, horn=1, equality=0, symmetry=0, max_lits=3.
% 0.12/0.36
% 0.12/0.36 This is a Horn set without equality. The strategy will
% 0.12/0.36 be hyperresolution, with satellites in sos and nuclei
% 0.12/0.36 in usable.
% 0.12/0.36
% 0.12/0.36 dependent: set(hyper_res).
% 0.12/0.36 dependent: clear(order_hyper).
% 0.12/0.36
% 0.12/0.36 ------------> process usable:
% 0.12/0.36
% 0.12/0.36 ------------> process sos:
% 0.12/0.36
% 0.12/0.36 ======= end of input processing =======
% 0.19/0.39
% 0.19/0.39 Model 1 (0.00 seconds, 0 Inserts)
% 0.19/0.39
% 0.19/0.39 Stopped by limit on number of solutions
% 0.19/0.39
% 0.19/0.39
% 0.19/0.39 -------------- Softie stats --------------
% 0.19/0.39
% 0.19/0.39 UPDATE_STOP: 300
% 0.19/0.39 SFINDER_TIME_LIMIT: 2
% 0.19/0.39 SHORT_CLAUSE_CUTOFF: 4
% 0.19/0.39 number of clauses in intial UL: 4
% 0.19/0.39 number of clauses initially in problem: 9
% 0.19/0.39 percentage of clauses intially in UL: 44
% 0.19/0.39 percentage of distinct symbols occuring in initial UL: 100
% 0.19/0.39 percent of all initial clauses that are short: 100
% 0.19/0.39 absolute distinct symbol count: 6
% 0.19/0.39 distinct predicate count: 2
% 0.19/0.39 distinct function count: 2
% 0.19/0.39 distinct constant count: 2
% 0.19/0.39
% 0.19/0.39 ---------- no more Softie stats ----------
% 0.19/0.39
% 0.19/0.39
% 0.19/0.39
% 0.19/0.39 Model 2 (0.00 seconds, 0 Inserts)
% 0.19/0.39
% 0.19/0.39 Stopped by limit on number of solutions
% 0.19/0.39
% 0.19/0.39 =========== start of search ===========
% 4.81/5.00
% 4.81/5.00
% 4.81/5.00 Changing weight limit from 60 to 57.
% 4.81/5.00
% 4.81/5.00 Model 3 (0.00 seconds, 0 Inserts)
% 4.81/5.00
% 4.81/5.00 Stopped by limit on number of solutions
% 4.81/5.00
% 4.81/5.00 Stopped by limit on insertions
% 4.81/5.00
% 4.81/5.00 Model 4 [ 12 1 46 ] (0.00 seconds, 250000 Inserts)
% 4.81/5.00
% 4.81/5.00 Stopped by limit on insertions
% 4.81/5.00
% 4.81/5.00 Model 5 [ 1 1 1123 ] (0.00 seconds, 250000 Inserts)
% 4.81/5.00
% 4.81/5.00 Stopped by limit on insertions
% 4.81/5.00
% 4.81/5.00 Model 6 [ 1 1 5806 ] (0.00 seconds, 250000 Inserts)
% 4.81/5.00
% 4.81/5.00 Stopped by limit on insertions
% 4.81/5.00
% 4.81/5.00 Stopped by limit on insertions
% 4.81/5.00
% 4.81/5.00 Model 7 [ 1 1 4215 ] (0.00 seconds, 250000 Inserts)
% 4.81/5.00
% 4.81/5.00 Modelling stopped after 300 given clauses and 0.00 seconds
% 4.81/5.00
% 4.81/5.00
% 4.81/5.00 Resetting weight limit to 57 after 1365 givens.
% 4.81/5.00
% 5.37/5.55
% 5.37/5.55
% 5.37/5.55 Changing weight limit from 57 to 47.
% 5.37/5.55
% 5.37/5.55 Resetting weight limit to 47 after 2710 givens.
% 5.37/5.55
% 5.37/5.56
% 5.37/5.56
% 5.37/5.56 Changing weight limit from 47 to 43.
% 5.37/5.56
% 5.37/5.56 Resetting weight limit to 43 after 2715 givens.
% 5.37/5.56
% 5.37/5.56
% 5.37/5.56
% 5.37/5.56 Changing weight limit from 43 to 37.
% 5.37/5.56
% 5.37/5.56 Resetting weight limit to 37 after 2720 givens.
% 5.37/5.56
% 5.37/5.57
% 5.37/5.57
% 5.37/5.57 Changing weight limit from 37 to 36.
% 5.37/5.57
% 5.37/5.57 Resetting weight limit to 36 after 2730 givens.
% 5.37/5.57
% 5.37/5.57
% 5.37/5.57
% 5.37/5.57 Changing weight limit from 36 to 35.
% 5.37/5.57
% 5.37/5.57 Resetting weight limit to 35 after 2735 givens.
% 5.37/5.57
% 5.37/5.58
% 5.37/5.58
% 5.37/5.58 Changing weight limit from 35 to 34.
% 5.37/5.58
% 5.37/5.58 Resetting weight limit to 34 after 2750 givens.
% 5.37/5.58
% 5.37/5.58
% 5.37/5.58
% 5.37/5.58 Changing weight limit from 34 to 33.
% 5.37/5.58
% 5.37/5.58 Resetting weight limit to 33 after 2755 givens.
% 5.37/5.58
% 5.37/5.59
% 5.37/5.59
% 5.37/5.59 Changing weight limit from 33 to 32.
% 5.37/5.59
% 5.37/5.59 Resetting weight limit to 32 after 2780 givens.
% 5.37/5.59
% 5.42/5.60
% 5.42/5.60
% 5.42/5.60 Changing weight limit from 32 to 31.
% 5.42/5.60
% 5.42/5.60 Resetting weight limit to 31 after 2795 givens.
% 5.42/5.60
% 5.42/5.62
% 5.42/5.62
% 5.42/5.62 Changing weight limit from 31 to 30.
% 5.42/5.62
% 5.42/5.62 Resetting weight limit to 30 after 2830 givens.
% 5.42/5.62
% 5.42/5.62
% 5.42/5.62
% 5.42/5.62 Changing weight limit from 30 to 29.
% 5.42/5.62
% 5.42/5.62 Resetting weight limit to 29 after 2835 givens.
% 5.42/5.62
% 5.42/5.63
% 5.42/5.63
% 5.42/5.63 Changing weight limit from 29 to 28.
% 5.42/5.63
% 5.42/5.63 Resetting weight limit to 28 after 2850 givens.
% 5.42/5.63
% 5.42/5.64
% 5.42/5.64
% 5.42/5.64 Changing weight limit from 28 to 27.
% 5.42/5.64
% 5.42/5.64 Resetting weight limit to 27 after 2870 givens.
% 5.42/5.64
% 5.48/5.67
% 5.48/5.67
% 5.48/5.67 Changing weight limit from 27 to 26.
% 5.48/5.67
% 5.48/5.67 Resetting weight limit to 26 after 2910 givens.
% 5.48/5.67
% 5.48/5.70
% 5.48/5.70
% 5.48/5.70 Changing weight limit from 26 to 25.
% 5.48/5.70
% 5.48/5.70 Resetting weight limit to 25 after 2955 givens.
% 5.48/5.70
% 5.58/5.77
% 5.58/5.77
% 5.58/5.77 Changing weight limit from 25 to 24.
% 5.58/5.77
% 5.58/5.77 Resetting weight limit to 24 after 3080 givens.
% 5.58/5.77
% 5.62/5.80
% 5.62/5.80
% 5.62/5.80 Changing weight limit from 24 to 23.
% 5.62/5.80
% 5.62/5.80 Resetting weight limit to 23 after 3140 givens.
% 5.62/5.80
% 5.67/5.91
% 5.67/5.91
% 5.67/5.91 Changing weight limit from 23 to 22.
% 5.67/5.91
% 5.67/5.91 Resetting weight limit to 22 after 3300 givens.
% 5.67/5.91
% 5.76/5.95
% 5.76/5.95
% 5.76/5.95 Changing weight limit from 22 to 21.
% 5.76/5.95
% 5.76/5.95 Resetting weight limit to 21 after 3370 givens.
% 5.76/5.95
% 5.87/6.15
% 5.87/6.15
% 5.87/6.15 Changing weight limit from 21 to 20.
% 5.87/6.15
% 5.87/6.15 Resetting weight limit to 20 after 3715 givens.
% 5.87/6.15
% 5.97/6.20
% 5.97/6.20
% 5.97/6.20 Changing weight limit from 20 to 19.
% 5.97/6.20
% 5.97/6.20 Resetting weight limit to 19 after 3810 givens.
% 5.97/6.20
% 6.36/6.59
% 6.36/6.59
% 6.36/6.59 Changing weight limit from 19 to 18.
% 6.36/6.59
% 6.36/6.59 Resetting weight limit to 18 after 4545 givens.
% 6.36/6.59
% 6.48/6.75
% 6.48/6.75
% 6.48/6.75 Changing weight limit from 18 to 17.
% 6.48/6.75
% 6.48/6.75 Resetting weight limit to 17 after 5015 givens.
% 6.48/6.75
% 9.27/9.45
% 9.27/9.45
% 9.27/9.45 Changing weight limit from 17 to 18.
% 9.27/9.45
% 9.27/9.45 Resetting weight limit to 18 after 17140 givens.
% 9.27/9.45
% 9.27/9.45
% 9.27/9.45
% 9.27/9.45 Changing weight limit from 18 to 17.
% 9.27/9.45
% 9.27/9.45 Resetting weight limit to 17 after 17145 givens.
% 9.27/9.45
% 9.27/9.45
% 9.27/9.45
% 9.27/9.45 Changing weight limit from 17 to 18.
% 9.27/9.45
% 9.27/9.45 Resetting weight limit to 18 after 17160 givens.
% 9.27/9.45
% 9.27/9.46
% 9.27/9.46
% 9.27/9.46 Changing weight limit from 18 to 17.
% 9.27/9.46
% 9.27/9.46 Resetting weight limit to 17 after 17165 givens.
% 9.27/9.46
% 9.27/9.46
% 9.27/9.46
% 9.27/9.46 Changing weight limit from 17 to 18.
% 9.27/9.46
% 9.27/9.46 Resetting weight limit to 18 after 17175 givens.
% 9.27/9.46
% 9.27/9.46
% 9.27/9.46
% 9.27/9.46 Changing weight limit from 18 to 17.
% 9.27/9.46
% 9.27/9.46 Resetting weight limit to 17 after 17180 givens.
% 9.27/9.46
% 9.27/9.46
% 9.27/9.46
% 9.27/9.46 Changing weight limit from 17 to 18.
% 9.27/9.46
% 9.27/9.46 Resetting weight limit to 18 after 17185 givens.
% 9.27/9.46
% 9.27/9.46
% 9.27/9.46
% 9.27/9.46 Changing weight limit from 18 to 17.
% 9.27/9.46
% 9.27/9.46 Resetting weight limit to 17 after 17190 givens.
% 9.27/9.46
% 9.27/9.47
% 9.27/9.47
% 9.27/9.47 Changing weight limit from 17 to 18.
% 9.27/9.47
% 9.27/9.47 Resetting weight limit to 18 after 17225 givens.
% 9.27/9.47
% 9.27/9.47
% 9.27/9.47
% 9.27/9.47 Changing weight limit from 18 to 17.
% 9.27/9.47
% 9.27/9.47 Resetting weight limit to 17 after 17230 givens.
% 9.27/9.47
% 9.27/9.47
% 9.27/9.47
% 9.27/9.47 Changing weight limit from 17 to 18.
% 9.27/9.47
% 9.27/9.47 Resetting weight limit to 18 after 17245 givens.
% 9.27/9.47
% 9.27/9.48
% 9.27/9.48
% 9.27/9.48 Changing weight limit from 18 to 17.
% 9.27/9.48
% 9.27/9.48 Resetting weight limit to 17 after 17250 givens.
% 9.27/9.48
% 9.27/9.49
% 9.27/9.49
% 9.27/9.49 Changing weight limit from 17 to 18.
% 9.27/9.49
% 9.27/9.49 Resetting weight limit to 18 after 17305 givens.
% 9.27/9.49
% 9.27/9.49
% 9.27/9.49
% 9.27/9.49 Changing weight limit from 18 to 17.
% 9.27/9.49
% 9.27/9.49 Resetting weight limit to 17 after 17310 givens.
% 9.27/9.49
% 9.31/9.49
% 9.31/9.49
% 9.31/9.49 Changing weight limit from 17 to 18.
% 9.31/9.49
% 9.31/9.49 Resetting weight limit to 18 after 17325 givens.
% 9.31/9.49
% 9.31/9.49
% 9.31/9.49
% 9.31/9.49 Changing weight limit from 18 to 17.
% 9.31/9.49
% 9.31/9.49 Resetting weight limit to 17 after 17330 givens.
% 9.31/9.49
% 9.31/9.50
% 9.31/9.50
% 9.31/9.50 Changing weight limit from 17 to 18.
% 9.31/9.50
% 9.31/9.50 Resetting weight limit to 18 after 17345 givens.
% 9.31/9.50
% 9.31/9.50
% 9.31/9.50
% 9.31/9.50 Changing weight limit from 18 to 17.
% 9.31/9.50
% 9.31/9.50 Resetting weight limit to 17 after 17350 givens.
% 9.31/9.50
% 9.31/9.50
% 9.31/9.50
% 9.31/9.50 Changing weight limit from 17 to 18.
% 9.31/9.50
% 9.31/9.50 Resetting weight limit to 18 after 17365 givens.
% 9.31/9.50
% 9.31/9.51
% 9.31/9.51
% 9.31/9.51 Changing weight limit from 18 to 17.
% 9.31/9.51
% 9.31/9.51 Resetting weight limit to 17 after 17370 givens.
% 9.31/9.51
% 9.31/9.51
% 9.31/9.51
% 9.31/9.51 Changing weight limit from 17 to 18.
% 9.31/9.51
% 9.31/9.51 Resetting weight limit to 18 after 17405 givens.
% 9.31/9.51
% 9.31/9.51
% 9.31/9.51
% 9.31/9.51 Changing weight limit from 18 to 17.
% 9.31/9.51
% 9.31/9.51 Resetting weight limit to 17 after 17410 givens.
% 9.31/9.51
% 9.31/9.52
% 9.31/9.52
% 9.31/9.52 Changing weight limit from 17 to 18.
% 9.31/9.52
% 9.31/9.52 Resetting weight limit to 18 after 17425 givens.
% 9.31/9.52
% 9.31/9.52
% 9.31/9.52
% 9.31/9.52 Changing weight limit from 18 to 17.
% 9.31/9.52
% 9.31/9.52 Resetting weight limit to 17 after 17430 givens.
% 9.31/9.52
% 9.31/9.52
% 9.31/9.52
% 9.31/9.52 Changing weight limit from 17 to 18.
% 9.31/9.52
% 9.31/9.52 Resetting weight limit to 18 after 17445 givens.
% 9.31/9.52
% 9.31/9.53
% 9.31/9.53
% 9.31/9.53 Changing weight limit from 18 to 17.
% 9.31/9.53
% 9.31/9.53 Resetting weight limit to 17 after 17450 givens.
% 9.31/9.53
% 9.31/9.53
% 9.31/9.53
% 9.31/9.53 Changing weight limit from 17 to 18.
% 9.31/9.53
% 9.31/9.53 Resetting weight limit to 18 after 17465 givens.
% 9.31/9.53
% 9.31/9.53
% 9.31/9.53
% 9.31/9.53 Changing weight limit from 18 to 17.
% 9.31/9.53
% 9.31/9.53 Resetting weight limit to 17 after 17470 givens.
% 9.31/9.53
% 9.31/9.53
% 9.31/9.53
% 9.31/9.53 Changing weight limit from 17 to 18.
% 9.31/9.53
% 9.31/9.53 Resetting weight limit to 18 after 17475 givens.
% 9.31/9.53
% 9.31/9.54
% 9.31/9.54
% 9.31/9.54 Changing weight limit from 18 to 17.
% 9.31/9.54
% 9.31/9.54 Resetting weight limit to 17 after 17480 givens.
% 9.31/9.54
% 9.31/9.54
% 9.31/9.54
% 9.31/9.54 Changing weight limit from 17 to 18.
% 9.31/9.54
% 9.31/9.54 Resetting weight limit to 18 after 17485 givens.
% 9.31/9.54
% 9.37/9.54
% 9.37/9.54
% 9.37/9.54 Changing weight limit from 18 to 17.
% 9.37/9.54
% 9.37/9.54 Resetting weight limit to 17 after 17490 givens.
% 9.37/9.54
% 9.38/9.56
% 9.38/9.56
% 9.38/9.56 Changing weight limit from 17 to 18.
% 9.38/9.56
% 9.38/9.56 Resetting weight limit to 18 after 17545 givens.
% 9.38/9.56
% 9.38/9.56
% 9.38/9.56
% 9.38/9.56 Changing weight limit from 18 to 17.
% 9.38/9.56
% 9.38/9.56 Resetting weight limit to 17 after 17550 givens.
% 9.38/9.56
% 9.38/9.56
% 9.38/9.56
% 9.38/9.56 Changing weight limit from 17 to 18.
% 9.38/9.56
% 9.38/9.56 Resetting weight limit to 18 after 17565 givens.
% 9.38/9.56
% 9.38/9.56
% 9.38/9.56
% 9.38/9.56 Changing weight limit from 18 to 17.
% 9.38/9.56
% 9.38/9.56 Resetting weight limit to 17 after 17570 givens.
% 9.38/9.56
% 9.38/9.57
% 9.38/9.57
% 9.38/9.57 Changing weight limit from 17 to 18.
% 9.38/9.57
% 9.38/9.57 Resetting weight limit to 18 after 17605 givens.
% 9.38/9.57
% 9.38/9.57
% 9.38/9.57
% 9.38/9.57 Changing weight limit from 18 to 17.
% 9.38/9.57
% 9.38/9.57 Resetting weight limit to 17 after 17610 givens.
% 9.38/9.57
% 9.38/9.57
% 9.38/9.57
% 9.38/9.57 Changing weight limit from 17 to 18.
% 9.38/9.57
% 9.38/9.57 Resetting weight limit to 18 after 17615 givens.
% 9.38/9.57
% 9.38/9.57
% 9.38/9.57
% 9.38/9.57 Changing weight limit from 18 to 17.
% 9.38/9.57
% 9.38/9.57 Resetting weight limit to 17 after 17620 givens.
% 9.38/9.57
% 9.38/9.58
% 9.38/9.58
% 9.38/9.58 Changing weight limit from 17 to 18.
% 9.38/9.58
% 9.38/9.58 Resetting weight limit to 18 after 17625 givens.
% 9.38/9.58
% 9.38/9.58
% 9.38/9.58
% 9.38/9.58 Changing weight limit from 18 to 17.
% 9.38/9.58
% 9.38/9.58 Resetting weight limit to 17 after 17630 givens.
% 9.38/9.58
% 9.38/9.58
% 9.38/9.58
% 9.38/9.58 Changing weight limit from 17 to 18.
% 9.38/9.58
% 9.38/9.58 Resetting weight limit to 18 after 17645 givens.
% 9.38/9.58
% 9.38/9.58
% 9.38/9.58
% 9.38/9.58 Changing weight limit from 18 to 17.
% 9.38/9.58
% 9.38/9.58 Resetting weight limit to 17 after 17650 givens.
% 9.38/9.58
% 9.38/9.60
% 9.38/9.60
% 9.38/9.60 Changing weight limit from 17 to 18.
% 9.38/9.60
% 9.38/9.60 Resetting weight limit to 18 after 17725 givens.
% 9.38/9.60
% 9.38/9.60
% 9.38/9.60
% 9.38/9.60 Changing weight limit from 18 to 17.
% 9.38/9.60
% 9.38/9.60 Resetting weight limit to 17 after 17730 givens.
% 9.38/9.60
% 9.43/9.60
% 9.43/9.60
% 9.43/9.60 Changing weight limit from 17 to 18.
% 9.43/9.60
% 9.43/9.60 Resetting weight limit to 18 after 17765 givens.
% 9.43/9.60
% 9.43/9.61
% 9.43/9.61
% 9.43/9.61 Changing weight limit from 18 to 17.
% 9.43/9.61
% 9.43/9.61 Resetting weight limit to 17 after 17770 givens.
% 9.43/9.61
% 9.43/9.61
% 9.43/9.61
% 9.43/9.61 Changing weight limit from 17 to 18.
% 9.43/9.61
% 9.43/9.61 Resetting weight limit to 18 after 17795 givens.
% 9.43/9.61
% 9.43/9.61
% 9.43/9.61
% 9.43/9.61 Changing weight limit from 18 to 17.
% 9.43/9.61
% 9.43/9.61 Resetting weight limit to 17 after 17800 givens.
% 9.43/9.61
% 9.43/9.61
% 9.43/9.61
% 9.43/9.61 Changing weight limit from 17 to 18.
% 9.43/9.61
% 9.43/9.61 Resetting weight limit to 18 after 17805 givens.
% 9.43/9.61
% 9.43/9.61
% 9.43/9.61
% 9.43/9.61 Changing weight limit from 18 to 17.
% 9.43/9.61
% 9.43/9.61 Resetting weight limit to 17 after 17810 givens.
% 9.43/9.61
% 9.43/9.62
% 9.43/9.62
% 9.43/9.62 Changing weight limit from 17 to 18.
% 9.43/9.62
% 9.43/9.62 Resetting weight limit to 18 after 17825 givens.
% 9.43/9.62
% 9.43/9.62
% 9.43/9.62
% 9.43/9.62 Changing weight limit from 18 to 17.
% 9.43/9.62
% 9.43/9.62 Resetting weight limit to 17 after 17830 givens.
% 9.43/9.62
% 9.43/9.62
% 9.43/9.62
% 9.43/9.62 Changing weight limit from 17 to 18.
% 9.43/9.62
% 9.43/9.62 Resetting weight limit to 18 after 17845 givens.
% 9.43/9.62
% 9.43/9.62
% 9.43/9.62
% 9.43/9.62 Changing weight limit from 18 to 17.
% 9.43/9.62
% 9.43/9.62 Resetting weight limit to 17 after 17850 givens.
% 9.43/9.62
% 9.43/9.64
% 9.43/9.64
% 9.43/9.64 Changing weight limit from 17 to 18.
% 9.43/9.64
% 9.43/9.64 Resetting weight limit to 18 after 17905 givens.
% 9.43/9.64
% 9.43/9.64
% 9.43/9.64
% 9.43/9.64 Changing weight limit from 18 to 17.
% 9.43/9.64
% 9.43/9.64 Resetting weight limit to 17 after 17910 givens.
% 9.43/9.64
% 9.43/9.64
% 9.43/9.64
% 9.43/9.64 Changing weight limit from 17 to 18.
% 9.43/9.64
% 9.43/9.64 Resetting weight limit to 18 after 17925 givens.
% 9.43/9.64
% 9.43/9.64
% 9.43/9.64
% 9.43/9.64 Changing weight limit from 18 to 17.
% 9.43/9.64
% 9.43/9.64 Resetting weight limit to 17 after 17930 givens.
% 9.43/9.64
% 9.43/9.65
% 9.43/9.65
% 9.43/9.65 Changing weight limit from 17 to 18.
% 9.43/9.65
% 9.43/9.65 Resetting weight limit to 18 after 17965 givens.
% 9.43/9.65
% 9.48/9.65
% 9.48/9.65
% 9.48/9.65 Changing weight limit from 18 to 17.
% 9.48/9.65
% 9.48/9.65 Resetting weight limit to 17 after 17970 givens.
% 9.48/9.65
% 9.48/9.65
% 9.48/9.65
% 9.48/9.65 Changing weight limit from 17 to 18.
% 9.48/9.65
% 9.48/9.65 Resetting weight limit to 18 after 17985 givens.
% 9.48/9.65
% 9.48/9.66
% 9.48/9.66
% 9.48/9.66 Changing weight limit from 18 to 17.
% 9.48/9.66
% 9.48/9.66 Resetting weight limit to 17 after 17990 givens.
% 9.48/9.66
% 9.48/9.66
% 9.48/9.66
% 9.48/9.66 Changing weight limit from 17 to 18.
% 9.48/9.66
% 9.48/9.66 Resetting weight limit to 18 after 18005 givens.
% 9.48/9.66
% 9.48/9.66
% 9.48/9.66
% 9.48/9.66 Changing weight limit from 18 to 17.
% 9.48/9.66
% 9.48/9.66 Resetting weight limit to 17 after 18010 givens.
% 9.48/9.66
% 9.48/9.66
% 9.48/9.66
% 9.48/9.66 Changing weight limit from 17 to 18.
% 9.48/9.66
% 9.48/9.66 Resetting weight limit to 18 after 18025 givens.
% 9.48/9.66
% 9.48/9.67
% 9.48/9.67
% 9.48/9.67 Changing weight limit from 18 to 17.
% 9.48/9.67
% 9.48/9.67 Resetting weight limit to 17 after 18030 givens.
% 9.48/9.67
% 9.48/9.67
% 9.48/9.67
% 9.48/9.67 Changing weight limit from 17 to 18.
% 9.48/9.67
% 9.48/9.67 Resetting weight limit to 18 after 18045 givens.
% 9.48/9.67
% 9.48/9.67
% 9.48/9.67
% 9.48/9.67 Changing weight limit from 18 to 17.
% 9.48/9.67
% 9.48/9.67 Resetting weight limit to 17 after 18050 givens.
% 9.48/9.67
% 9.48/9.67
% 9.48/9.67
% 9.48/9.67 Changing weight limit from 17 to 18.
% 9.48/9.67
% 9.48/9.67 Resetting weight limit to 18 after 18065 givens.
% 9.48/9.67
% 9.48/9.67
% 9.48/9.67
% 9.48/9.67 Changing weight limit from 18 to 17.
% 9.48/9.67
% 9.48/9.67 Resetting weight limit to 17 after 18070 givens.
% 9.48/9.67
% 9.48/9.68
% 9.48/9.68
% 9.48/9.68 Changing weight limit from 17 to 18.
% 9.48/9.68
% 9.48/9.68 Resetting weight limit to 18 after 18085 givens.
% 9.48/9.68
% 9.48/9.68
% 9.48/9.68
% 9.48/9.68 Changing weight limit from 18 to 17.
% 9.48/9.68
% 9.48/9.68 Resetting weight limit to 17 after 18090 givens.
% 9.48/9.68
% 9.48/9.68
% 9.48/9.68
% 9.48/9.68 Changing weight limit from 17 to 18.
% 9.48/9.68
% 9.48/9.68 Resetting weight limit to 18 after 18100 givens.
% 9.48/9.68
% 9.48/9.68
% 9.48/9.68
% 9.48/9.68 Changing weight limit from 18 to 19.
% 9.48/9.68
% 9.48/9.68 Resetting weight limit to 19 after 18105 givens.
% 9.48/9.68
% 9.48/9.68
% 9.48/9.68
% 9.48/9.68 Changing weight limit from 19 to 20.
% 9.48/9.68
% 9.48/9.68 Resetting weight limit to 20 after 18110 givens.
% 9.48/9.68
% 9.48/9.68
% 9.48/9.68
% 9.48/9.68 Changing weight limit from 20 to 19.
% 9.48/9.68
% 9.48/9.68 Resetting weight limit to 19 after 18115 givens.
% 9.48/9.68
% 9.48/9.69
% 9.48/9.69
% 9.48/9.69 Changing weight limit from 19 to 20.
% 9.48/9.69
% 9.48/9.69 Resetting weight limit to 20 after 18125 givens.
% 9.48/9.69
% 9.48/9.69
% 9.48/9.69
% 9.48/9.69 Changing weight limit from 20 to 19.
% 9.48/9.69
% 9.48/9.69 Resetting weight limit to 19 after 18130 givens.
% 9.48/9.69
% 9.48/9.69
% 9.48/9.69
% 9.48/9.69 Changing weight limit from 19 to 20.
% 9.48/9.69
% 9.48/9.69 Resetting weight limit to 20 after 18145 givens.
% 9.48/9.69
% 9.48/9.69
% 9.48/9.69
% 9.48/9.69 Changing weight limit from 20 to 19.
% 9.48/9.69
% 9.48/9.69 Resetting weight limit to 19 after 18150 givens.
% 9.48/9.69
% 9.48/9.70
% 9.48/9.70
% 9.48/9.70 Changing weight limit from 19 to 20.
% 9.48/9.70
% 9.48/9.70 Resetting weight limit to 20 after 18165 givens.
% 9.48/9.70
% 9.48/9.70
% 9.48/9.70
% 9.48/9.70 Changing weight limit from 20 to 19.
% 9.48/9.70
% 9.48/9.70 Resetting weight limit to 19 after 18170 givens.
% 9.48/9.70
% 9.48/9.71
% 9.48/9.71
% 9.48/9.71 Changing weight limit from 19 to 20.
% 9.48/9.71
% 9.48/9.71 Resetting weight limit to 20 after 18195 givens.
% 9.48/9.71
% 9.48/9.71
% 9.48/9.71
% 9.48/9.71 Changing weight limit from 20 to 21.
% 9.48/9.71
% 9.48/9.71 Resetting weight limit to 21 after 18200 givens.
% 9.48/9.71
% 9.48/9.71
% 9.48/9.71
% 9.48/9.71 Changing weight limit from 21 to 22.
% 9.48/9.71
% 9.48/9.71 Resetting weight limit to 22 after 18205 givens.
% 9.48/9.71
% 9.48/9.71
% 9.48/9.71
% 9.48/9.71 Changing weight limit from 22 to 23.
% 9.48/9.71
% 9.48/9.71 Resetting weight limit to 23 after 18210 givens.
% 9.48/9.71
% 9.48/9.71
% 9.48/9.71
% 9.48/9.71 Changing weight limit from 23 to 24.
% 9.48/9.71
% 9.48/9.71 Resetting weight limit to 24 after 18215 givens.
% 9.48/9.71
% 9.48/9.72
% 9.48/9.72
% 9.48/9.72 Changing weight limit from 24 to 25.
% 9.48/9.72
% 9.48/9.72 Resetting weight limit to 25 after 18220 givens.
% 9.48/9.72
% 9.48/9.72
% 9.48/9.72
% 9.48/9.72 Changing weight limit from 25 to 26.
% 9.48/9.72
% 9.48/9.72 Resetting weight limit to 26 after 18225 givens.
% 9.48/9.72
% 9.48/9.72
% 9.48/9.72
% 9.48/9.72 Changing weight limit from 26 to 23.
% 9.48/9.72
% 9.48/9.72 Resetting weight limit to 23 after 18230 givens.
% 9.48/9.72
% 9.48/9.72
% 9.48/9.72
% 9.48/9.72 Changing weight limit from 23 to 24.
% 9.48/9.72
% 9.48/9.72 Resetting weight limit to 24 after 18235 givens.
% 9.48/9.72
% 9.48/9.72
% 9.48/9.72
% 9.48/9.72 Changing weight limit from 24 to 23.
% 9.48/9.72
% 9.48/9.72 Resetting weight limit to 23 after 18240 givens.
% 9.48/9.72
% 9.48/9.72
% 9.48/9.72
% 9.48/9.72 Changing weight limit from 23 to 24.
% 9.48/9.72
% 9.48/9.72 Resetting weight limit to 24 after 18245 givens.
% 9.48/9.72
% 9.48/9.72
% 9.48/9.72
% 9.48/9.72 Changing weight limit from 24 to 23.
% 9.48/9.72
% 9.48/9.72 Resetting weight limit to 23 after 18250 givens.
% 9.48/9.72
% 9.48/9.73
% 9.48/9.73
% 9.48/9.73 Changing weight limit from 23 to 24.
% 9.48/9.73
% 9.48/9.73 Resetting weight limit to 24 after 18265 givens.
% 9.48/9.73
% 9.48/9.73
% 9.48/9.73
% 9.48/9.73 Changing weight limit from 24 to 23.
% 9.48/9.73
% 9.48/9.73 Resetting weight limit to 23 after 18270 givens.
% 9.48/9.73
% 9.48/9.73
% 9.48/9.73
% 9.48/9.73 Changing weight limit from 23 to 24.
% 9.48/9.73
% 9.48/9.73 Resetting weight limit to 24 after 18285 givens.
% 9.48/9.73
% 9.48/9.74
% 9.48/9.74
% 9.48/9.74 Changing weight limit from 24 to 23.
% 9.48/9.74
% 9.48/9.74 Resetting weight limit to 23 after 18290 givens.
% 9.48/9.74
% 9.58/9.75
% 9.58/9.75
% 9.58/9.75 Changing weight limit from 23 to 24.
% 9.58/9.75
% 9.58/9.75 Resetting weight limit to 24 after 18325 givens.
% 9.58/9.75
% 9.58/9.75
% 9.58/9.75
% 9.58/9.75 Changing weight limit from 24 to 23.
% 9.58/9.75
% 9.58/9.75 Resetting weight limit to 23 after 18330 givens.
% 9.58/9.75
% 9.58/9.76
% 9.58/9.76
% 9.58/9.76 Changing weight limit from 23 to 24.
% 9.58/9.76
% 9.58/9.76 Resetting weight limit to 24 after 18345 givens.
% 9.58/9.76
% 9.58/9.76
% 9.58/9.76
% 9.58/9.76 Changing weight limit from 24 to 23.
% 9.58/9.76
% 9.58/9.76 Resetting weight limit to 23 after 18350 givens.
% 9.58/9.76
% 9.58/9.76
% 9.58/9.76
% 9.58/9.76 Changing weight limit from 23 to 24.
% 9.58/9.76
% 9.58/9.76 Resetting weight limit to 24 after 18365 givens.
% 9.58/9.76
% 9.58/9.76
% 9.58/9.76
% 9.58/9.76 Changing weight limit from 24 to 25.
% 9.58/9.76
% 9.58/9.76 Resetting weight limit to 25 after 18370 givens.
% 9.58/9.76
% 9.58/9.77
% 9.58/9.77
% 9.58/9.77 Changing weight limit from 25 to 26.
% 9.58/9.77
% 9.58/9.77 Resetting weight limit to 26 after 18375 givens.
% 9.58/9.77
% 9.58/9.77
% 9.58/9.77
% 9.58/9.77 Changing weight limit from 26 to 23.
% 9.58/9.77
% 9.58/9.77 Resetting weight limit to 23 after 18380 givens.
% 9.58/9.77
% 9.58/9.77
% 9.58/9.77
% 9.58/9.77 Changing weight limit from 23 to 24.
% 9.58/9.77
% 9.58/9.77 Resetting weight limit to 24 after 18385 givens.
% 9.58/9.77
% 9.58/9.77
% 9.58/9.77
% 9.58/9.77 Changing weight limit from 24 to 23.
% 9.58/9.77
% 9.58/9.77 Resetting weight limit to 23 after 18390 givens.
% 9.58/9.77
% 9.58/9.78
% 9.58/9.78
% 9.58/9.78 Changing weight limit from 23 to 24.
% 9.58/9.78
% 9.58/9.78 Resetting weight limit to 24 after 18405 givens.
% 9.58/9.78
% 9.58/9.78
% 9.58/9.78
% 9.58/9.78 Changing weight limit from 24 to 23.
% 9.58/9.78
% 9.58/9.78 Resetting weight limit to 23 after 18410 givens.
% 9.58/9.78
% 9.58/9.78
% 9.58/9.78
% 9.58/9.78 Changing weight limit from 23 to 24.
% 9.58/9.78
% 9.58/9.78 Resetting weight limit to 24 after 18415 givens.
% 9.58/9.78
% 9.58/9.78
% 9.58/9.78
% 9.58/9.78 Changing weight limit from 24 to 23.
% 9.58/9.78
% 9.58/9.78 Resetting weight limit to 23 after 18420 givens.
% 9.58/9.78
% 9.58/9.78
% 9.58/9.78
% 9.58/9.78 Changing weight limit from 23 to 24.
% 9.58/9.78
% 9.58/9.78 Resetting weight limit to 24 after 18425 givens.
% 9.58/9.78
% 9.58/9.78
% 9.58/9.78
% 9.58/9.78 Changing weight limit from 24 to 23.
% 9.58/9.78
% 9.58/9.78 Resetting weight limit to 23 after 18430 givens.
% 9.58/9.78
% 9.58/9.79
% 9.58/9.79
% 9.58/9.79 Changing weight limit from 23 to 24.
% 9.58/9.79
% 9.58/9.79 Resetting weight limit to 24 after 18445 givens.
% 9.58/9.79
% 9.58/9.79
% 9.58/9.79
% 9.58/9.79 Changing weight limit from 24 to 23.
% 9.58/9.79
% 9.58/9.79 Resetting weight limit to 23 after 18450 givens.
% 9.58/9.79
% 9.58/9.80
% 9.58/9.80
% 9.58/9.80 Changing weight limit from 23 to 24.
% 9.58/9.80
% 9.58/9.80 Resetting weight limit to 24 after 18465 givens.
% 9.58/9.80
% 9.58/9.80
% 9.58/9.80
% 9.58/9.80 Changing weight limit from 24 to 25.
% 9.58/9.80
% 9.58/9.80 Resetting weight limit to 25 after 18475 givens.
% 9.58/9.80
% 9.58/9.80
% 9.58/9.80
% 9.58/9.80 Changing weight limit from 25 to 24.
% 9.58/9.80
% 9.58/9.80 Resetting weight limit to 24 after 18480 givens.
% 9.58/9.80
% 9.58/9.80
% 9.58/9.80
% 9.58/9.80 Changing weight limit from 24 to 25.
% 9.58/9.80
% 9.58/9.80 Resetting weight limit to 25 after 18485 givens.
% 9.58/9.80
% 9.64/9.81
% 9.64/9.81
% 9.64/9.81 Changing weight limit from 25 to 26.
% 9.64/9.81
% 9.64/9.81 Resetting weight limit to 26 after 18505 givens.
% 9.64/9.81
% 9.64/9.81
% 9.64/9.81
% 9.64/9.81 Changing weight limit from 26 to 25.
% 9.64/9.81
% 9.64/9.81 Resetting weight limit to 25 after 18510 givens.
% 9.64/9.81
% 9.64/9.84
% 9.64/9.84
% 9.64/9.84 Changing weight limit from 25 to 26.
% 9.64/9.84
% 9.64/9.84 Resetting weight limit to 26 after 18575 givens.
% 9.64/9.84
% 9.64/9.84
% 9.64/9.84
% 9.64/9.84 Changing weight limit from 26 to 25.
% 9.64/9.84
% 9.64/9.84 Resetting weight limit to 25 after 18580 givens.
% 9.64/9.84
% 10.47/10.65
% 10.47/10.65
% 10.47/10.65 Changing weight limit from 25 to 24.
% 10.47/10.65
% 10.47/10.65 Resetting weight limit to 24 after 20495 givens.
% 10.47/10.65
% 10.47/10.67
% 10.47/10.67
% 10.47/10.67 Changing weight limit from 24 to 23.
% 10.47/10.67
% 10.47/10.67 Resetting weight limit to 23 after 20530 givens.
% 10.47/10.67
% 10.61/10.84
% 10.61/10.84
% 10.61/10.84 Changing weight limit from 23 to 22.
% 10.61/10.84
% 10.61/10.84 Resetting weight limit to 22 after 20765 givens.
% 10.61/10.84
% 10.69/10.88
% 10.69/10.88
% 10.69/10.88 Changing weight limit from 22 to 21.
% 10.69/10.88
% 10.69/10.88 Resetting weight limit to 21 after 20825 givens.
% 10.69/10.88
% 11.60/11.80
% 11.60/11.80
% 11.60/11.80 Changing weight limit from 21 to 20.
% 11.60/11.80
% 11.60/11.80 Resetting weight limit to 20 after 22300 givens.
% 11.60/11.80
% 11.67/11.87
% 11.67/11.87
% 11.67/11.87 Changing weight limit from 20 to 19.
% 11.67/11.87
% 11.67/11.87 Resetting weight limit to 19 after 22390 givens.
% 11.67/11.87
% 23.13/23.31
% 23.13/23.31
% 23.13/23.31 Changing weight limit from 19 to 20.
% 23.13/23.31
% 23.13/23.31 Resetting weight limit to 20 after 44825 givens.
% 23.13/23.31
% 23.13/23.32
% 23.13/23.32
% 23.13/23.32 Changing weight limit from 20 to 19.
% 23.13/23.32
% 23.13/23.32 Resetting weight limit to 19 after 44830 givens.
% 23.13/23.32
% 23.13/23.32
% 23.13/23.32
% 23.13/23.32 Changing weight limit from 19 to 20.
% 23.13/23.32
% 23.13/23.32 Resetting weight limit to 20 after 44845 givens.
% 23.13/23.32
% 23.13/23.32
% 23.13/23.32
% 23.13/23.32 Changing weight limit from 20 to 19.
% 23.13/23.32
% 23.13/23.32 Resetting weight limit to 19 after 44850 givens.
% 23.13/23.32
% 23.13/23.33
% 23.13/23.33
% 23.13/23.33 Changing weight limit from 19 to 20.
% 23.13/23.33
% 23.13/23.33 Resetting weight limit to 20 after 44865 givens.
% 23.13/23.33
% 23.13/23.34
% 23.13/23.34
% 23.13/23.34 Changing weight limit from 20 to 19.
% 23.13/23.34
% 23.13/23.34 Resetting weight limit to 19 after 44870 givens.
% 23.13/23.34
% 23.13/23.34
% 23.13/23.34
% 23.13/23.34 Changing weight limit from 19 to 20.
% 23.13/23.34
% 23.13/23.34 Resetting weight limit to 20 after 44880 givens.
% 23.13/23.34
% 23.13/23.35
% 23.13/23.35
% 23.13/23.35 Changing weight limit from 20 to 19.
% 23.13/23.35
% 23.13/23.35 Resetting weight limit to 19 after 44885 givens.
% 23.13/23.35
% 23.18/23.41
% 23.18/23.41
% 23.18/23.41 Changing weight limit from 19 to 20.
% 23.18/23.41
% 23.18/23.41 Resetting weight limit to 20 after 44965 givens.
% 23.18/23.41
% 23.18/23.42
% 23.18/23.42
% 23.18/23.42 Changing weight limit from 20 to 19.
% 23.18/23.42
% 23.18/23.42 Resetting weight limit to 19 after 44970 givens.
% 23.18/23.42
% 23.18/23.43
% 23.18/23.43
% 23.18/23.43 Changing weight limit from 19 to 20.
% 23.18/23.43
% 23.18/23.43 Resetting weight limit to 20 after 44985 givens.
% 23.18/23.43
% 23.18/23.44
% 23.18/23.44
% 23.18/23.44 Changing weight limit from 20 to 19.
% 23.18/23.44
% 23.18/23.44 Resetting weight limit to 19 after 44990 givens.
% 23.18/23.44
% 23.18/23.45
% 23.18/23.45
% 23.18/23.45 Changing weight limit from 19 to 20.
% 23.18/23.45
% 23.18/23.45 Resetting weight limit to 20 after 45005 givens.
% 23.18/23.45
% 23.29/23.46
% 23.29/23.46
% 23.29/23.46 Changing weight limit from 20 to 19.
% 23.29/23.46
% 23.29/23.46 Resetting weight limit to 19 after 45010 givens.
% 23.29/23.46
% 23.29/23.46
% 23.29/23.46
% 23.29/23.46 Changing weight limit from 19 to 20.
% 23.29/23.46
% 23.29/23.46 Resetting weight limit to 20 after 45025 givens.
% 23.29/23.46
% 23.29/23.46
% 23.29/23.46
% 23.29/23.46 Changing weight limit from 20 to 19.
% 23.29/23.46
% 23.29/23.46 Resetting weight limit to 19 after 45030 givens.
% 23.29/23.46
% 23.29/23.47
% 23.29/23.47
% 23.29/23.47 Changing weight limit from 19 to 20.
% 23.29/23.47
% 23.29/23.47 Resetting weight limit to 20 after 45045 givens.
% 23.29/23.47
% 23.29/23.47
% 23.29/23.47
% 23.29/23.47 Changing weight limit from 20 to 19.
% 23.29/23.47
% 23.29/23.47 Resetting weight limit to 19 after 45050 givens.
% 23.29/23.47
% 23.33/23.50
% 23.33/23.50
% 23.33/23.50 Changing weight limit from 19 to 20.
% 23.33/23.50
% 23.33/23.50 Resetting weight limit to 20 after 45085 givens.
% 23.33/23.50
% 23.33/23.50
% 23.33/23.50
% 23.33/23.50 Changing weight limit from 20 to 19.
% 23.33/23.50
% 23.33/23.50 Resetting weight limit to 19 after 45090 givens.
% 23.33/23.50
% 23.33/23.51
% 23.33/23.51
% 23.33/23.51 Changing weight limit from 19 to 20.
% 23.33/23.51
% 23.33/23.51 Resetting weight limit to 20 after 45105 givens.
% 23.33/23.51
% 23.33/23.51
% 23.33/23.51
% 23.33/23.51 Changing weight limit from 20 to 19.
% 23.33/23.51
% 23.33/23.51 Resetting weight limit to 19 after 45110 givens.
% 23.33/23.51
% 23.33/23.52
% 23.33/23.52
% 23.33/23.52 Changing weight limit from 19 to 20.
% 23.33/23.52
% 23.33/23.52 Resetting weight limit to 20 after 45120 givens.
% 23.33/23.52
% 23.33/23.52
% 23.33/23.52
% 23.33/23.52 Changing weight limit from 20 to 19.
% 23.33/23.52
% 23.33/23.52 Resetting weight limit to 19 after 45125 givens.
% 23.33/23.52
% 23.46/23.64
% 23.46/23.64
% 23.46/23.64 Changing weight limit from 19 to 20.
% 23.46/23.64
% 23.46/23.64 Resetting weight limit to 20 after 45285 givens.
% 23.46/23.64
% 23.46/23.65
% 23.46/23.65
% 23.46/23.65 Changing weight limit from 20 to 19.
% 23.46/23.65
% 23.46/23.65 Resetting weight limit to 19 after 45290 givens.
% 23.46/23.65
% 23.52/23.68
% 23.52/23.68
% 23.52/23.68 Changing weight limit from 19 to 20.
% 23.52/23.68
% 23.52/23.68 Resetting weight limit to 20 after 45325 givens.
% 23.52/23.68
% 23.52/23.69
% 23.52/23.69
% 23.52/23.69 Changing weight limit from 20 to 19.
% 23.52/23.69
% 23.52/23.69 Resetting weight limit to 19 after 45330 givens.
% 23.52/23.69
% 23.52/23.73
% 23.52/23.73
% 23.52/23.73 Changing weight limit from 19 to 20.
% 23.52/23.73
% 23.52/23.73 Resetting weight limit to 20 after 45385 givens.
% 23.52/23.73
% 23.52/23.73
% 23.52/23.73
% 23.52/23.73 Changing weight limit from 20 to 19.
% 23.52/23.73
% 23.52/23.73 Resetting weight limit to 19 after 45390 givens.
% 23.52/23.73
% 23.62/23.78
% 23.62/23.78
% 23.62/23.78 Changing weight limit from 19 to 20.
% 23.62/23.78
% 23.62/23.78 Resetting weight limit to 20 after 45485 givens.
% 23.62/23.78
% 23.62/23.78
% 23.62/23.78
% 23.62/23.78 Changing weight limit from 20 to 19.
% 23.62/23.78
% 23.62/23.78 Resetting weight limit to 19 after 45490 givens.
% 23.62/23.78
% 23.62/23.81
% 23.62/23.81
% 23.62/23.81 Changing weight limit from 19 to 20.
% 23.62/23.81
% 23.62/23.81 Resetting weight limit to 20 after 45525 givens.
% 23.62/23.81
% 23.62/23.81
% 23.62/23.81
% 23.62/23.81 Changing weight limit from 20 to 19.
% 23.62/23.81
% 23.62/23.81 Resetting weight limit to 19 after 45530 givens.
% 23.62/23.81
% 23.68/23.88
% 23.68/23.88
% 23.68/23.88 Changing weight limit from 19 to 20.
% 23.68/23.88
% 23.68/23.88 Resetting weight limit to 20 after 45625 givens.
% 23.68/23.88
% 23.68/23.88
% 23.68/23.88
% 23.68/23.88 Changing weight limit from 20 to 19.
% 23.68/23.88
% 23.68/23.88 Resetting weight limit to 19 after 45630 givens.
% 23.68/23.88
% 23.68/23.90
% 23.68/23.90
% 23.68/23.90 Changing weight limit from 19 to 20.
% 23.68/23.90
% 23.68/23.90 Resetting weight limit to 20 after 45660 givens.
% 23.68/23.90
% 23.68/23.91
% 23.68/23.91
% 23.68/23.91 Changing weight limit from 20 to 19.
% 23.68/23.91
% 23.68/23.91 Resetting weight limit to 19 after 45665 givens.
% 23.68/23.91
% 23.76/23.95
% 23.76/23.95
% 23.76/23.95 Changing weight limit from 19 to 20.
% 23.76/23.95
% 23.76/23.95 Resetting weight limit to 20 after 45725 givens.
% 23.76/23.95
% 23.76/23.95
% 23.76/23.95
% 23.76/23.95 Changing weight limit from 20 to 19.
% 23.76/23.95
% 23.76/23.95 Resetting weight limit to 19 after 45730 givens.
% 23.76/23.95
% 23.76/23.97
% 23.76/23.97
% 23.76/23.97 Changing weight limit from 19 to 20.
% 23.76/23.97
% 23.76/23.97 Resetting weight limit to 20 after 45765 givens.
% 23.76/23.97
% 23.76/23.97
% 23.76/23.97
% 23.76/23.97 Changing weight limit from 20 to 19.
% 23.76/23.97
% 23.76/23.97 Resetting weight limit to 19 after 45770 givens.
% 23.76/23.97
% 23.81/24.01
% 23.81/24.01
% 23.81/24.01 Changing weight limit from 19 to 20.
% 23.81/24.01
% 23.81/24.01 Resetting weight limit to 20 after 45825 givens.
% 23.81/24.01
% 23.81/24.01
% 23.81/24.01
% 23.81/24.01 Changing weight limit from 20 to 19.
% 23.81/24.01
% 23.81/24.01 Resetting weight limit to 19 after 45830 givens.
% 23.81/24.01
% 23.81/24.04
% 23.81/24.04
% 23.81/24.04 Changing weight limit from 19 to 20.
% 23.81/24.04
% 23.81/24.04 Resetting weight limit to 20 after 45865 givens.
% 23.81/24.04
% 23.81/24.04
% 23.81/24.04
% 23.81/24.04 Changing weight limit from 20 to 19.
% 23.81/24.04
% 23.81/24.04 Resetting weight limit to 19 after 45870 givens.
% 23.81/24.04
% 23.89/24.06
% 23.89/24.06
% 23.89/24.06 Changing weight limit from 19 to 20.
% 23.89/24.06
% 23.89/24.06 Resetting weight limit to 20 after 45905 givens.
% 23.89/24.06
% 23.89/24.07
% 23.89/24.07
% 23.89/24.07 Changing weight limit from 20 to 19.
% 23.89/24.07
% 23.89/24.07 Resetting weight limit to 19 after 45910 givens.
% 23.89/24.07
% 23.89/24.07
% 23.89/24.07
% 23.89/24.07 Changing weight limit from 19 to 20.
% 23.89/24.07
% 23.89/24.07 Resetting weight limit to 20 after 45925 givens.
% 23.89/24.07
% 23.92/24.08
% 23.92/24.08
% 23.92/24.08 Changing weight limit from 20 to 19.
% 23.92/24.08
% 23.92/24.08 Resetting weight limit to 19 after 45930 givens.
% 23.92/24.08
% 23.92/24.11
% 23.92/24.11
% 23.92/24.11 Changing weight limit from 19 to 20.
% 23.92/24.11
% 23.92/24.11 Resetting weight limit to 20 after 46000 givens.
% 23.92/24.11
% 23.92/24.11
% 23.92/24.11
% 23.92/24.11 Changing weight limit from 20 to 19.
% 23.92/24.11
% 23.92/24.11 Resetting weight limit to 19 after 46005 givens.
% 23.92/24.11
% 23.92/24.12
% 23.92/24.12
% 23.92/24.12 Changing weight limit from 19 to 20.
% 23.92/24.12
% 23.92/24.12 Resetting weight limit to 20 after 46015 givens.
% 23.92/24.12
% 23.92/24.12
% 23.92/24.12
% 23.92/24.12 Changing weight limit from 20 to 21.
% 23.92/24.12
% 23.92/24.12 Resetting weight limit to 21 after 46025 givens.
% 23.92/24.12
% 23.92/24.12
% 23.92/24.12
% 23.92/24.12 Changing weight limit from 21 to 20.
% 23.92/24.12
% 23.92/24.12 Resetting weight limit to 20 after 46030 givens.
% 23.92/24.12
% 23.97/24.15
% 23.97/24.15
% 23.97/24.15 Changing weight limit from 20 to 21.
% 23.97/24.15
% 23.97/24.15 Resetting weight limit to 21 after 46060 givens.
% 23.97/24.15
% 23.97/24.15
% 23.97/24.15
% 23.97/24.15 Changing weight limit from 21 to 20.
% 23.97/24.15
% 23.97/24.15 Resetting weight limit to 20 after 46065 givens.
% 23.97/24.15
% 24.00/24.19
% 24.00/24.19
% 24.00/24.19 Changing weight limit from 20 to 21.
% 24.00/24.19
% 24.00/24.19 Resetting weight limit to 21 after 46115 givens.
% 24.00/24.19
% 24.00/24.23
% 24.00/24.23
% 24.00/24.23 Changing weight limit from 21 to 22.
% 24.00/24.23
% 24.00/24.23 Resetting weight limit to 22 after 46145 givens.
% 24.00/24.23
% 24.11/24.30
% 24.11/24.30
% 24.11/24.30 Changing weight limit from 22 to 23.
% 24.11/24.30
% 24.11/24.30 Resetting weight limit to 23 after 46225 givens.
% 24.11/24.30
% 24.11/24.30
% 24.11/24.30
% 24.11/24.30 Changing weight limit from 23 to 22.
% 24.11/24.30
% 24.11/24.30 Resetting weight limit to 22 after 46230 givens.
% 24.11/24.30
% 24.11/24.31
% 24.11/24.31
% 24.11/24.31 Changing weight limit from 22 to 23.
% 24.11/24.31
% 24.11/24.31 Resetting weight limit to 23 after 46240 givens.
% 24.11/24.31
% 24.11/24.33
% 24.11/24.33
% 24.11/24.33 Changing weight limit from 23 to 24.
% 24.11/24.33
% 24.11/24.33 Resetting weight limit to 24 after 46260 givens.
% 24.11/24.33
% 24.11/24.33
% 24.11/24.33
% 24.11/24.33 Changing weight limit from 24 to 23.
% 24.11/24.33
% 24.11/24.33 Resetting weight limit to 23 after 46265 givens.
% 24.11/24.33
% 24.11/24.34
% 24.11/24.34
% 24.11/24.34 Changing weight limit from 23 to 24.
% 24.11/24.34
% 24.11/24.34 Resetting weight limit to 24 after 46275 givens.
% 24.11/24.34
% 24.18/24.34
% 24.18/24.34
% 24.18/24.34 Changing weight limit from 24 to 23.
% 24.18/24.34
% 24.18/24.34 Resetting weight limit to 23 after 46280 givens.
% 24.18/24.34
% 24.20/24.38
% 24.20/24.38
% 24.20/24.38 Changing weight limit from 23 to 24.
% 24.20/24.38
% 24.20/24.38 Resetting weight limit to 24 after 46325 givens.
% 24.20/24.38
% 24.20/24.38
% 24.20/24.38
% 24.20/24.38 Changing weight limit from 24 to 23.
% 24.20/24.38
% 24.20/24.38 Resetting weight limit to 23 after 46330 givens.
% 24.20/24.38
% 24.20/24.41
% 24.20/24.41
% 24.20/24.41 Changing weight limit from 23 to 24.
% 24.20/24.41
% 24.20/24.41 Resetting weight limit to 24 after 46365 givens.
% 24.20/24.41
% 24.20/24.42
% 24.20/24.42
% 24.20/24.42 Changing weight limit from 24 to 23.
% 24.20/24.42
% 24.20/24.42 Resetting weight limit to 23 after 46370 givens.
% 24.20/24.42
% 24.26/24.45
% 24.26/24.45
% 24.26/24.45 Changing weight limit from 23 to 24.
% 24.26/24.45
% 24.26/24.45 Resetting weight limit to 24 after 46395 givens.
% 24.26/24.45
% 24.30/24.48
% 24.30/24.48
% 24.30/24.48 Changing weight limit from 24 to 25.
% 24.30/24.48
% 24.30/24.48 Resetting weight limit to 25 after 46420 givens.
% 24.30/24.48
% 24.30/24.51
% 24.30/24.51
% 24.30/24.51 Changing weight limit from 25 to 26.
% 24.30/24.51
% 24.30/24.51 Resetting weight limit to 26 after 46445 givens.
% 24.30/24.51
% 24.30/24.52
% 24.30/24.52
% 24.30/24.52 Changing weight limit from 26 to 25.
% 24.30/24.52
% 24.30/24.52 Resetting weight limit to 25 after 46450 givens.
% 24.30/24.52
% 24.30/24.53
% 24.30/24.53
% 24.30/24.53 Changing weight limit from 25 to 26.
% 24.30/24.53
% 24.30/24.53 Resetting weight limit to 26 after 46460 givens.
% 24.30/24.53
% 24.30/24.53
% 24.30/24.53
% 24.30/24.53 Changing weight limit from 26 to 25.
% 24.30/24.53
% 24.30/24.53 Resetting weight limit to 25 after 46465 givens.
% 24.30/24.53
% 26.96/27.12
% 26.96/27.12
% 26.96/27.12 Changing weight limit from 25 to 24.
% 26.96/27.12
% 26.96/27.12 Resetting weight limit to 24 after 48875 givens.
% 26.96/27.12
% 27.06/27.26
% 27.06/27.26
% 27.06/27.26 Changing weight limit from 24 to 23.
% 27.06/27.26
% 27.06/27.26 Resetting weight limit to 23 after 48975 givens.
% 27.06/27.26
% 28.21/28.40
% 28.21/28.40
% 28.21/28.40 Changing weight limit from 23 to 22.
% 28.21/28.40
% 28.21/28.40 Resetting weight limit to 22 after 50040 givens.
% 28.21/28.40
% 28.30/28.53
% 28.30/28.53
% 28.30/28.53 Changing weight limit from 22 to 21.
% 28.30/28.53
% 28.30/28.53 Resetting weight limit to 21 after 50185 givens.
% 28.30/28.53
% 300.08/300.34 Wow, sos-wrapper got a signal XCPU
%------------------------------------------------------------------------------