TSTP Solution File: LCL428-1 by SOS---2.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : SOS---2.0
% Problem : LCL428-1 : TPTP v8.1.0. Bugfixed v5.5.0.
% Transfm : none
% Format : tptp:raw
% Command : sos-script %s
% Computer : n013.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:30:08 EDT 2022
% Result : Timeout 300.06s 300.20s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.13 % Problem : LCL428-1 : TPTP v8.1.0. Bugfixed v5.5.0.
% 0.07/0.14 % Command : sos-script %s
% 0.13/0.35 % Computer : n013.cluster.edu
% 0.13/0.35 % Model : x86_64 x86_64
% 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.35 % Memory : 8042.1875MB
% 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.35 % CPULimit : 300
% 0.13/0.35 % WCLimit : 600
% 0.13/0.35 % DateTime : Mon Jul 4 17:15:44 EDT 2022
% 0.13/0.35 % CPUTime :
% 0.13/0.37 ----- Otter 3.2, August 2001 -----
% 0.13/0.37 The process was started by sandbox2 on n013.cluster.edu,
% 0.13/0.37 Mon Jul 4 17:15:44 2022
% 0.13/0.37 The command was "./sos". The process ID is 12633.
% 0.13/0.37
% 0.13/0.37 set(prolog_style_variables).
% 0.13/0.37 set(auto).
% 0.13/0.37 dependent: set(auto1).
% 0.13/0.37 dependent: set(process_input).
% 0.13/0.37 dependent: clear(print_kept).
% 0.13/0.37 dependent: clear(print_new_demod).
% 0.13/0.37 dependent: clear(print_back_demod).
% 0.13/0.37 dependent: clear(print_back_sub).
% 0.13/0.37 dependent: set(control_memory).
% 0.13/0.37 dependent: assign(max_mem, 12000).
% 0.13/0.37 dependent: assign(pick_given_ratio, 4).
% 0.13/0.37 dependent: assign(stats_level, 1).
% 0.13/0.37 dependent: assign(pick_semantic_ratio, 3).
% 0.13/0.37 dependent: assign(sos_limit, 5000).
% 0.13/0.37 dependent: assign(max_weight, 60).
% 0.13/0.37 clear(print_given).
% 0.13/0.37
% 0.13/0.37 list(usable).
% 0.13/0.37
% 0.13/0.37 SCAN INPUT: prop=0, horn=1, equality=0, symmetry=0, max_lits=3.
% 0.13/0.37
% 0.13/0.37 This is a Horn set without equality. The strategy will
% 0.13/0.37 be hyperresolution, with satellites in sos and nuclei
% 0.13/0.37 in usable.
% 0.13/0.37
% 0.13/0.37 dependent: set(hyper_res).
% 0.13/0.37 dependent: clear(order_hyper).
% 0.13/0.37
% 0.13/0.37 ------------> process usable:
% 0.13/0.37
% 0.13/0.37 ------------> process sos:
% 0.13/0.37
% 0.13/0.37 ======= end of input processing =======
% 9.19/9.43
% 9.19/9.43 Model 1 (0.00 seconds, 0 Inserts)
% 9.19/9.43
% 9.19/9.43 Stopped by limit on number of solutions
% 9.19/9.43
% 9.19/9.43
% 9.19/9.43 -------------- Softie stats --------------
% 9.19/9.43
% 9.19/9.43 UPDATE_STOP: 300
% 9.19/9.43 SFINDER_TIME_LIMIT: 2
% 9.19/9.43 SHORT_CLAUSE_CUTOFF: 4
% 9.19/9.43 number of clauses in intial UL: 2
% 9.19/9.43 number of clauses initially in problem: 6
% 9.19/9.43 percentage of clauses intially in UL: 33
% 9.19/9.43 percentage of distinct symbols occuring in initial UL: 100
% 9.19/9.43 percent of all initial clauses that are short: 100
% 9.19/9.43 absolute distinct symbol count: 19
% 9.19/9.43 distinct predicate count: 1
% 9.19/9.43 distinct function count: 1
% 9.19/9.43 distinct constant count: 17
% 9.19/9.43
% 9.19/9.43 ---------- no more Softie stats ----------
% 9.19/9.43
% 9.19/9.43
% 9.19/9.43
% 9.19/9.43 Stopped by limit on insertions
% 9.19/9.43
% 9.19/9.43 =========== start of search ===========
% 69.82/70.04
% 69.82/70.04
% 69.82/70.04 Changing weight limit from 60 to 24.
% 69.82/70.04
% 69.82/70.04 Stopped by limit on insertions
% 69.82/70.04
% 69.82/70.04 Stopped by limit on insertions
% 69.82/70.04
% 69.82/70.04 Stopped by limit on insertions
% 69.82/70.04
% 69.82/70.04 Stopped by limit on insertions
% 69.82/70.04
% 69.82/70.04 Stopped by limit on insertions
% 69.82/70.04
% 69.82/70.04 Stopped by limit on insertions
% 69.82/70.04
% 69.82/70.04 Stopped by limit on insertions
% 69.82/70.04
% 69.82/70.04 Resetting weight limit to 24 after 100 givens.
% 69.82/70.04
% 69.82/70.07
% 69.82/70.07
% 69.82/70.07 Changing weight limit from 24 to 22.
% 69.82/70.07
% 69.82/70.07 Resetting weight limit to 22 after 105 givens.
% 69.82/70.07
% 70.04/70.24
% 70.04/70.24
% 70.04/70.24 Changing weight limit from 22 to 20.
% 70.04/70.24
% 70.04/70.24 Resetting weight limit to 20 after 130 givens.
% 70.04/70.24
% 70.04/70.28
% 70.04/70.28
% 70.04/70.28 Changing weight limit from 20 to 21.
% 70.04/70.28
% 70.04/70.28 Resetting weight limit to 21 after 150 givens.
% 70.04/70.28
% 70.04/70.29
% 70.04/70.29
% 70.04/70.29 Changing weight limit from 21 to 20.
% 70.04/70.29
% 70.04/70.29 Resetting weight limit to 20 after 155 givens.
% 70.04/70.29
% 70.49/70.73
% 70.49/70.73
% 70.49/70.73 Changing weight limit from 20 to 18.
% 70.49/70.73
% 70.49/70.73 Resetting weight limit to 18 after 255 givens.
% 70.49/70.73
% 70.72/70.94
% 70.72/70.94
% 70.72/70.94 Changing weight limit from 18 to 19.
% 70.72/70.94
% 70.72/70.94 Modelling stopped after 300 given clauses and 0.00 seconds
% 70.72/70.94
% 70.72/70.94
% 70.72/70.94 Resetting weight limit to 19 after 355 givens.
% 70.72/70.94
% 70.72/70.95
% 70.72/70.95
% 70.72/70.95 Changing weight limit from 19 to 20.
% 70.72/70.95
% 70.72/70.95 Resetting weight limit to 20 after 360 givens.
% 70.72/70.95
% 70.72/70.96
% 70.72/70.96
% 70.72/70.96 Changing weight limit from 20 to 18.
% 70.72/70.96
% 70.72/70.96 Resetting weight limit to 18 after 365 givens.
% 70.72/70.96
% 70.80/70.97
% 70.80/70.97
% 70.80/70.97 Changing weight limit from 18 to 19.
% 70.80/70.97
% 70.80/70.97 Resetting weight limit to 19 after 370 givens.
% 70.80/70.97
% 70.80/70.98
% 70.80/70.98
% 70.80/70.98 Changing weight limit from 19 to 20.
% 70.80/70.98
% 70.80/70.98 Resetting weight limit to 20 after 375 givens.
% 70.80/70.98
% 70.80/71.04
% 70.80/71.04
% 70.80/71.04 Changing weight limit from 20 to 18.
% 70.80/71.04
% 70.80/71.04 Resetting weight limit to 18 after 395 givens.
% 70.80/71.04
% 70.80/71.06
% 70.80/71.06
% 70.80/71.06 Changing weight limit from 18 to 19.
% 70.80/71.06
% 70.80/71.06 Resetting weight limit to 19 after 405 givens.
% 70.80/71.06
% 70.80/71.08
% 70.80/71.08
% 70.80/71.08 Changing weight limit from 19 to 18.
% 70.80/71.08
% 70.80/71.08 Resetting weight limit to 18 after 410 givens.
% 70.80/71.08
% 70.98/71.18
% 70.98/71.18
% 70.98/71.18 Changing weight limit from 18 to 19.
% 70.98/71.18
% 70.98/71.18 Resetting weight limit to 19 after 455 givens.
% 70.98/71.18
% 70.98/71.19
% 70.98/71.19
% 70.98/71.19 Changing weight limit from 19 to 18.
% 70.98/71.19
% 70.98/71.19 Resetting weight limit to 18 after 460 givens.
% 70.98/71.19
% 70.98/71.22
% 70.98/71.22
% 70.98/71.22 Changing weight limit from 18 to 19.
% 70.98/71.22
% 70.98/71.22 Resetting weight limit to 19 after 475 givens.
% 70.98/71.22
% 71.06/71.23
% 71.06/71.23
% 71.06/71.23 Changing weight limit from 19 to 18.
% 71.06/71.23
% 71.06/71.23 Resetting weight limit to 18 after 480 givens.
% 71.06/71.23
% 71.06/71.26
% 71.06/71.26
% 71.06/71.26 Changing weight limit from 18 to 19.
% 71.06/71.26
% 71.06/71.26 Resetting weight limit to 19 after 495 givens.
% 71.06/71.26
% 71.06/71.28
% 71.06/71.28
% 71.06/71.28 Changing weight limit from 19 to 20.
% 71.06/71.28
% 71.06/71.28 Resetting weight limit to 20 after 500 givens.
% 71.06/71.28
% 71.28/71.47
% 71.28/71.47
% 71.28/71.47 Changing weight limit from 20 to 18.
% 71.28/71.47
% 71.28/71.47 Resetting weight limit to 18 after 550 givens.
% 71.28/71.47
% 71.28/71.50
% 71.28/71.50
% 71.28/71.50 Changing weight limit from 18 to 19.
% 71.28/71.50
% 71.28/71.50 Resetting weight limit to 19 after 560 givens.
% 71.28/71.50
% 71.28/71.51
% 71.28/71.51
% 71.28/71.51 Changing weight limit from 19 to 20.
% 71.28/71.51
% 71.28/71.51 Resetting weight limit to 20 after 565 givens.
% 71.28/71.51
% 71.35/71.54
% 71.35/71.54
% 71.35/71.54 Changing weight limit from 20 to 18.
% 71.35/71.54
% 71.35/71.54 Resetting weight limit to 18 after 570 givens.
% 71.35/71.54
% 71.35/71.56
% 71.35/71.56
% 71.35/71.56 Changing weight limit from 18 to 19.
% 71.35/71.56
% 71.35/71.56 Resetting weight limit to 19 after 575 givens.
% 71.35/71.56
% 71.35/71.57
% 71.35/71.57
% 71.35/71.57 Changing weight limit from 19 to 18.
% 71.35/71.57
% 71.35/71.57 Resetting weight limit to 18 after 580 givens.
% 71.35/71.57
% 71.41/71.58
% 71.41/71.58
% 71.41/71.58 Changing weight limit from 18 to 19.
% 71.41/71.58
% 71.41/71.58 Resetting weight limit to 19 after 585 givens.
% 71.41/71.58
% 71.41/71.60
% 71.41/71.60
% 71.41/71.60 Changing weight limit from 19 to 20.
% 71.41/71.60
% 71.41/71.60 Resetting weight limit to 20 after 590 givens.
% 71.41/71.60
% 71.41/71.63
% 71.41/71.63
% 71.41/71.63 Changing weight limit from 20 to 18.
% 71.41/71.63
% 71.41/71.63 Resetting weight limit to 18 after 595 givens.
% 71.41/71.63
% 71.87/72.09
% 71.87/72.09
% 71.87/72.09 Changing weight limit from 18 to 19.
% 71.87/72.09
% 71.87/72.09 Resetting weight limit to 19 after 715 givens.
% 71.87/72.09
% 71.87/72.11
% 71.87/72.11
% 71.87/72.11 Changing weight limit from 19 to 18.
% 71.87/72.11
% 71.87/72.11 Resetting weight limit to 18 after 720 givens.
% 71.87/72.11
% 71.94/72.12
% 71.94/72.12
% 71.94/72.12 Changing weight limit from 18 to 19.
% 71.94/72.12
% 71.94/72.12 Resetting weight limit to 19 after 725 givens.
% 71.94/72.12
% 71.94/72.14
% 71.94/72.14
% 71.94/72.14 Changing weight limit from 19 to 18.
% 71.94/72.14
% 71.94/72.14 Resetting weight limit to 18 after 730 givens.
% 71.94/72.14
% 72.00/72.22
% 72.00/72.22
% 72.00/72.22 Changing weight limit from 18 to 19.
% 72.00/72.22
% 72.00/72.22 Resetting weight limit to 19 after 750 givens.
% 72.00/72.22
% 72.00/72.24
% 72.00/72.24
% 72.00/72.24 Changing weight limit from 19 to 20.
% 72.00/72.24
% 72.00/72.24 Resetting weight limit to 20 after 755 givens.
% 72.00/72.24
% 72.16/72.40
% 72.16/72.40
% 72.16/72.40 Changing weight limit from 20 to 18.
% 72.16/72.40
% 72.16/72.40 Resetting weight limit to 18 after 780 givens.
% 72.16/72.40
% 72.32/72.51
% 72.32/72.51
% 72.32/72.51 Changing weight limit from 18 to 19.
% 72.32/72.51
% 72.32/72.51 Resetting weight limit to 19 after 810 givens.
% 72.32/72.51
% 72.32/72.52
% 72.32/72.52
% 72.32/72.52 Changing weight limit from 19 to 18.
% 72.32/72.52
% 72.32/72.52 Resetting weight limit to 18 after 815 givens.
% 72.32/72.52
% 72.71/72.92
% 72.71/72.92
% 72.71/72.92 Changing weight limit from 18 to 19.
% 72.71/72.92
% 72.71/72.92 Resetting weight limit to 19 after 910 givens.
% 72.71/72.92
% 72.71/72.94
% 72.71/72.94
% 72.71/72.94 Changing weight limit from 19 to 18.
% 72.71/72.94
% 72.71/72.94 Resetting weight limit to 18 after 915 givens.
% 72.71/72.94
% 73.03/73.25
% 73.03/73.25
% 73.03/73.25 Changing weight limit from 18 to 19.
% 73.03/73.25
% 73.03/73.25 Resetting weight limit to 19 after 985 givens.
% 73.03/73.25
% 73.03/73.27
% 73.03/73.27
% 73.03/73.27 Changing weight limit from 19 to 18.
% 73.03/73.27
% 73.03/73.27 Resetting weight limit to 18 after 990 givens.
% 73.03/73.27
% 73.11/73.29
% 73.11/73.29
% 73.11/73.29 Changing weight limit from 18 to 19.
% 73.11/73.29
% 73.11/73.29 Resetting weight limit to 19 after 995 givens.
% 73.11/73.29
% 73.14/73.32
% 73.14/73.32
% 73.14/73.32 Changing weight limit from 19 to 18.
% 73.14/73.32
% 73.14/73.32 Resetting weight limit to 18 after 1000 givens.
% 73.14/73.32
% 73.14/73.38
% 73.14/73.38
% 73.14/73.38 Changing weight limit from 18 to 19.
% 73.14/73.38
% 73.14/73.38 Resetting weight limit to 19 after 1015 givens.
% 73.14/73.38
% 73.14/73.41
% 73.14/73.41
% 73.14/73.41 Changing weight limit from 19 to 20.
% 73.14/73.41
% 73.14/73.41 Resetting weight limit to 20 after 1020 givens.
% 73.14/73.41
% 73.34/73.56
% 73.34/73.56
% 73.34/73.56 Changing weight limit from 20 to 18.
% 73.34/73.56
% 73.34/73.56 Resetting weight limit to 18 after 1030 givens.
% 73.34/73.56
% 81.03/81.23
% 81.03/81.23
% 81.03/81.23 Changing weight limit from 18 to 19.
% 81.03/81.23
% 81.03/81.23 Resetting weight limit to 19 after 2005 givens.
% 81.03/81.23
% 81.06/81.27
% 81.06/81.27
% 81.06/81.27 Changing weight limit from 19 to 20.
% 81.06/81.27
% 81.06/81.27 Resetting weight limit to 20 after 2010 givens.
% 81.06/81.27
% 81.16/81.38
% 81.16/81.38
% 81.16/81.38 Changing weight limit from 20 to 18.
% 81.16/81.38
% 81.16/81.38 Resetting weight limit to 18 after 2020 givens.
% 81.16/81.38
% 81.59/81.78
% 81.59/81.78
% 81.59/81.78 Changing weight limit from 18 to 19.
% 81.59/81.78
% 81.59/81.78 Resetting weight limit to 19 after 2060 givens.
% 81.59/81.78
% 81.65/81.83
% 81.65/81.83
% 81.65/81.83 Changing weight limit from 19 to 18.
% 81.65/81.83
% 81.65/81.83 Resetting weight limit to 18 after 2065 givens.
% 81.65/81.83
% 81.68/81.88
% 81.68/81.88
% 81.68/81.88 Changing weight limit from 18 to 19.
% 81.68/81.88
% 81.68/81.88 Resetting weight limit to 19 after 2070 givens.
% 81.68/81.88
% 81.68/81.92
% 81.68/81.92
% 81.68/81.92 Changing weight limit from 19 to 20.
% 81.68/81.92
% 81.68/81.92 Resetting weight limit to 20 after 2075 givens.
% 81.68/81.92
% 81.81/82.02
% 81.81/82.02
% 81.81/82.02 Changing weight limit from 20 to 18.
% 81.81/82.02
% 81.81/82.02 Resetting weight limit to 18 after 2080 givens.
% 81.81/82.02
% 81.97/82.18
% 81.97/82.18
% 81.97/82.18 Changing weight limit from 18 to 19.
% 81.97/82.18
% 81.97/82.18 Resetting weight limit to 19 after 2095 givens.
% 81.97/82.18
% 82.05/82.23
% 82.05/82.23
% 82.05/82.23 Changing weight limit from 19 to 20.
% 82.05/82.23
% 82.05/82.23 Resetting weight limit to 20 after 2100 givens.
% 82.05/82.23
% 82.22/82.41
% 82.22/82.41
% 82.22/82.41 Changing weight limit from 20 to 18.
% 82.22/82.41
% 82.22/82.41 Resetting weight limit to 18 after 2110 givens.
% 82.22/82.41
% 82.29/82.45
% 82.29/82.45
% 82.29/82.45 Changing weight limit from 18 to 19.
% 82.29/82.45
% 82.29/82.45 Resetting weight limit to 19 after 2115 givens.
% 82.29/82.45
% 82.29/82.51
% 82.29/82.51
% 82.29/82.51 Changing weight limit from 19 to 20.
% 82.29/82.51
% 82.29/82.51 Resetting weight limit to 20 after 2120 givens.
% 82.29/82.51
% 82.50/82.69
% 82.50/82.69
% 82.50/82.69 Changing weight limit from 20 to 18.
% 82.50/82.69
% 82.50/82.69 Resetting weight limit to 18 after 2130 givens.
% 82.50/82.69
% 82.58/82.74
% 82.58/82.74
% 82.58/82.74 Changing weight limit from 18 to 19.
% 82.58/82.74
% 82.58/82.74 Resetting weight limit to 19 after 2135 givens.
% 82.58/82.74
% 82.58/82.79
% 82.58/82.79
% 82.58/82.79 Changing weight limit from 19 to 20.
% 82.58/82.79
% 82.58/82.79 Resetting weight limit to 20 after 2140 givens.
% 82.58/82.79
% 82.67/82.87
% 82.67/82.87
% 82.67/82.87 Changing weight limit from 20 to 18.
% 82.67/82.87
% 82.67/82.87 Resetting weight limit to 18 after 2145 givens.
% 82.67/82.87
% 83.33/83.53
% 83.33/83.53
% 83.33/83.53 Changing weight limit from 18 to 19.
% 83.33/83.53
% 83.33/83.53 Resetting weight limit to 19 after 2205 givens.
% 83.33/83.53
% 83.41/83.59
% 83.41/83.59
% 83.41/83.59 Changing weight limit from 19 to 20.
% 83.41/83.59
% 83.41/83.59 Resetting weight limit to 20 after 2210 givens.
% 83.41/83.59
% 84.27/84.47
% 84.27/84.47
% 84.27/84.47 Changing weight limit from 20 to 18.
% 84.27/84.47
% 84.27/84.47 Resetting weight limit to 18 after 2260 givens.
% 84.27/84.47
% 84.33/84.53
% 84.33/84.53
% 84.33/84.53 Changing weight limit from 18 to 19.
% 84.33/84.53
% 84.33/84.53 Resetting weight limit to 19 after 2265 givens.
% 84.33/84.53
% 84.40/84.60
% 84.40/84.60
% 84.40/84.60 Changing weight limit from 19 to 18.
% 84.40/84.60
% 84.40/84.60 Resetting weight limit to 18 after 2270 givens.
% 84.40/84.60
% 84.63/84.81
% 84.63/84.81
% 84.63/84.81 Changing weight limit from 18 to 19.
% 84.63/84.81
% 84.63/84.81 Resetting weight limit to 19 after 2290 givens.
% 84.63/84.81
% 84.69/84.87
% 84.69/84.87
% 84.69/84.87 Changing weight limit from 19 to 18.
% 84.69/84.87
% 84.69/84.87 Resetting weight limit to 18 after 2295 givens.
% 84.69/84.87
% 84.79/84.98
% 84.79/84.98
% 84.79/84.98 Changing weight limit from 18 to 19.
% 84.79/84.98
% 84.79/84.98 Resetting weight limit to 19 after 2305 givens.
% 84.79/84.98
% 84.87/85.04
% 84.87/85.04
% 84.87/85.04 Changing weight limit from 19 to 20.
% 84.87/85.04
% 84.87/85.04 Resetting weight limit to 20 after 2310 givens.
% 84.87/85.04
% 85.30/85.48
% 85.30/85.48
% 85.30/85.48 Changing weight limit from 20 to 18.
% 85.30/85.48
% 85.30/85.48 Resetting weight limit to 18 after 2340 givens.
% 85.30/85.48
% 85.39/85.59
% 85.39/85.59
% 85.39/85.59 Changing weight limit from 18 to 19.
% 85.39/85.59
% 85.39/85.59 Resetting weight limit to 19 after 2350 givens.
% 85.39/85.59
% 85.45/85.64
% 85.45/85.64
% 85.45/85.64 Changing weight limit from 19 to 20.
% 85.45/85.64
% 85.45/85.64 Resetting weight limit to 20 after 2355 givens.
% 85.45/85.64
% 85.69/85.85
% 85.69/85.85
% 85.69/85.85 Changing weight limit from 20 to 18.
% 85.69/85.85
% 85.69/85.85 Resetting weight limit to 18 after 2365 givens.
% 85.69/85.85
% 87.87/88.08
% 87.87/88.08
% 87.87/88.08 Changing weight limit from 18 to 19.
% 87.87/88.08
% 87.87/88.08 Resetting weight limit to 19 after 2540 givens.
% 87.87/88.08
% 87.96/88.14
% 87.96/88.14
% 87.96/88.14 Changing weight limit from 19 to 20.
% 87.96/88.14
% 87.96/88.14 Resetting weight limit to 20 after 2545 givens.
% 87.96/88.14
% 88.10/88.27
% 88.10/88.27
% 88.10/88.27 Changing weight limit from 20 to 18.
% 88.10/88.27
% 88.10/88.27 Resetting weight limit to 18 after 2550 givens.
% 88.10/88.27
% 88.15/88.33
% 88.15/88.33
% 88.15/88.33 Changing weight limit from 18 to 19.
% 88.15/88.33
% 88.15/88.33 Resetting weight limit to 19 after 2555 givens.
% 88.15/88.33
% 88.19/88.39
% 88.19/88.39
% 88.19/88.39 Changing weight limit from 19 to 18.
% 88.19/88.39
% 88.19/88.39 Resetting weight limit to 18 after 2560 givens.
% 88.19/88.39
% 88.26/88.45
% 88.26/88.45
% 88.26/88.45 Changing weight limit from 18 to 19.
% 88.26/88.45
% 88.26/88.45 Resetting weight limit to 19 after 2565 givens.
% 88.26/88.45
% 88.31/88.51
% 88.31/88.51
% 88.31/88.51 Changing weight limit from 19 to 18.
% 88.31/88.51
% 88.31/88.51 Resetting weight limit to 18 after 2570 givens.
% 88.31/88.51
% 88.40/88.58
% 88.40/88.58
% 88.40/88.58 Changing weight limit from 18 to 19.
% 88.40/88.58
% 88.40/88.58 Resetting weight limit to 19 after 2575 givens.
% 88.40/88.58
% 88.46/88.63
% 88.46/88.63
% 88.46/88.63 Changing weight limit from 19 to 20.
% 88.46/88.63
% 88.46/88.63 Resetting weight limit to 20 after 2580 givens.
% 88.46/88.63
% 88.98/89.17
% 88.98/89.17
% 88.98/89.17 Changing weight limit from 20 to 18.
% 88.98/89.17
% 88.98/89.17 Resetting weight limit to 18 after 2610 givens.
% 88.98/89.17
% 89.91/90.09
% 89.91/90.09
% 89.91/90.09 Changing weight limit from 18 to 19.
% 89.91/90.09
% 89.91/90.09 Resetting weight limit to 19 after 2675 givens.
% 89.91/90.09
% 89.96/90.15
% 89.96/90.15
% 89.96/90.15 Changing weight limit from 19 to 20.
% 89.96/90.15
% 89.96/90.15 Resetting weight limit to 20 after 2680 givens.
% 89.96/90.15
% 90.06/90.29
% 90.06/90.29
% 90.06/90.29 Changing weight limit from 20 to 18.
% 90.06/90.29
% 90.06/90.29 Resetting weight limit to 18 after 2685 givens.
% 90.06/90.29
% 90.83/91.06
% 90.83/91.06
% 90.83/91.06 Changing weight limit from 18 to 19.
% 90.83/91.06
% 90.83/91.06 Resetting weight limit to 19 after 2740 givens.
% 90.83/91.06
% 90.95/91.13
% 90.95/91.13
% 90.95/91.13 Changing weight limit from 19 to 20.
% 90.95/91.13
% 90.95/91.13 Resetting weight limit to 20 after 2745 givens.
% 90.95/91.13
% 91.67/91.85
% 91.67/91.85
% 91.67/91.85 Changing weight limit from 20 to 18.
% 91.67/91.85
% 91.67/91.85 Resetting weight limit to 18 after 2785 givens.
% 91.67/91.85
% 92.02/92.19
% 92.02/92.19
% 92.02/92.19 Changing weight limit from 18 to 19.
% 92.02/92.19
% 92.02/92.19 Resetting weight limit to 19 after 2810 givens.
% 92.02/92.19
% 92.02/92.26
% 92.02/92.26
% 92.02/92.26 Changing weight limit from 19 to 20.
% 92.02/92.26
% 92.02/92.26 Resetting weight limit to 20 after 2815 givens.
% 92.02/92.26
% 92.38/92.57
% 92.38/92.57
% 92.38/92.57 Changing weight limit from 20 to 18.
% 92.38/92.57
% 92.38/92.57 Resetting weight limit to 18 after 2830 givens.
% 92.38/92.57
% 92.55/92.72
% 92.55/92.72
% 92.55/92.72 Changing weight limit from 18 to 19.
% 92.55/92.72
% 92.55/92.72 Resetting weight limit to 19 after 2840 givens.
% 92.55/92.72
% 92.61/92.79
% 92.61/92.79
% 92.61/92.79 Changing weight limit from 19 to 20.
% 92.61/92.79
% 92.61/92.79 Resetting weight limit to 20 after 2845 givens.
% 92.61/92.79
% 93.07/93.33
% 93.07/93.33
% 93.07/93.33 Changing weight limit from 20 to 18.
% 93.07/93.33
% 93.07/93.33 Resetting weight limit to 18 after 2870 givens.
% 93.07/93.33
% 93.25/93.47
% 93.25/93.47
% 93.25/93.47 Changing weight limit from 18 to 19.
% 93.25/93.47
% 93.25/93.47 Resetting weight limit to 19 after 2880 givens.
% 93.25/93.47
% 93.35/93.54
% 93.35/93.54
% 93.35/93.54 Changing weight limit from 19 to 20.
% 93.35/93.54
% 93.35/93.54 Resetting weight limit to 20 after 2885 givens.
% 93.35/93.54
% 94.02/94.25
% 94.02/94.25
% 94.02/94.25 Changing weight limit from 20 to 18.
% 94.02/94.25
% 94.02/94.25 Resetting weight limit to 18 after 2915 givens.
% 94.02/94.25
% 94.15/94.32
% 94.15/94.32
% 94.15/94.32 Changing weight limit from 18 to 19.
% 94.15/94.32
% 94.15/94.32 Resetting weight limit to 19 after 2920 givens.
% 94.15/94.32
% 94.15/94.38
% 94.15/94.38
% 94.15/94.38 Changing weight limit from 19 to 20.
% 94.15/94.38
% 94.15/94.38 Resetting weight limit to 20 after 2925 givens.
% 94.15/94.38
% 95.81/96.00
% 95.81/96.00
% 95.81/96.00 Changing weight limit from 20 to 18.
% 95.81/96.00
% 95.81/96.00 Resetting weight limit to 18 after 3005 givens.
% 95.81/96.00
% 95.90/96.07
% 95.90/96.07
% 95.90/96.07 Changing weight limit from 18 to 19.
% 95.90/96.07
% 95.90/96.07 Resetting weight limit to 19 after 3010 givens.
% 95.90/96.07
% 95.97/96.15
% 95.97/96.15
% 95.97/96.15 Changing weight limit from 19 to 20.
% 95.97/96.15
% 95.97/96.15 Resetting weight limit to 20 after 3015 givens.
% 95.97/96.15
% 96.21/96.41
% 96.21/96.41
% 96.21/96.41 Changing weight limit from 20 to 18.
% 96.21/96.41
% 96.21/96.41 Resetting weight limit to 18 after 3025 givens.
% 96.21/96.41
% 96.80/96.97
% 96.80/96.97
% 96.80/96.97 Changing weight limit from 18 to 19.
% 96.80/96.97
% 96.80/96.97 Resetting weight limit to 19 after 3060 givens.
% 96.80/96.97
% 96.87/97.05
% 96.87/97.05
% 96.87/97.05 Changing weight limit from 19 to 18.
% 96.87/97.05
% 96.87/97.05 Resetting weight limit to 18 after 3065 givens.
% 96.87/97.05
% 96.95/97.12
% 96.95/97.12
% 96.95/97.12 Changing weight limit from 18 to 19.
% 96.95/97.12
% 96.95/97.12 Resetting weight limit to 19 after 3070 givens.
% 96.95/97.12
% 97.02/97.20
% 97.02/97.20
% 97.02/97.20 Changing weight limit from 19 to 20.
% 97.02/97.20
% 97.02/97.20 Resetting weight limit to 20 after 3075 givens.
% 97.02/97.20
% 97.24/97.41
% 97.24/97.41
% 97.24/97.41 Changing weight limit from 20 to 18.
% 97.24/97.41
% 97.24/97.41 Resetting weight limit to 18 after 3080 givens.
% 97.24/97.41
% 97.86/98.05
% 97.86/98.05
% 97.86/98.05 Changing weight limit from 18 to 19.
% 97.86/98.05
% 97.86/98.05 Resetting weight limit to 19 after 3115 givens.
% 97.86/98.05
% 97.96/98.13
% 97.96/98.13
% 97.96/98.13 Changing weight limit from 19 to 20.
% 97.96/98.13
% 97.96/98.13 Resetting weight limit to 20 after 3120 givens.
% 97.96/98.13
% 98.25/98.43
% 98.25/98.43
% 98.25/98.43 Changing weight limit from 20 to 18.
% 98.25/98.43
% 98.25/98.43 Resetting weight limit to 18 after 3135 givens.
% 98.25/98.43
% 98.27/98.50
% 98.27/98.50
% 98.27/98.50 Changing weight limit from 18 to 19.
% 98.27/98.50
% 98.27/98.50 Resetting weight limit to 19 after 3140 givens.
% 98.27/98.50
% 98.38/98.57
% 98.38/98.57
% 98.38/98.57 Changing weight limit from 19 to 18.
% 98.38/98.57
% 98.38/98.57 Resetting weight limit to 18 after 3145 givens.
% 98.38/98.57
% 98.44/98.65
% 98.44/98.65
% 98.44/98.65 Changing weight limit from 18 to 19.
% 98.44/98.65
% 98.44/98.65 Resetting weight limit to 19 after 3150 givens.
% 98.44/98.65
% 98.50/98.73
% 98.50/98.73
% 98.50/98.73 Changing weight limit from 19 to 20.
% 98.50/98.73
% 98.50/98.73 Resetting weight limit to 20 after 3155 givens.
% 98.50/98.73
% 99.07/99.27
% 99.07/99.27
% 99.07/99.27 Changing weight limit from 20 to 18.
% 99.07/99.27
% 99.07/99.27 Resetting weight limit to 18 after 3180 givens.
% 99.07/99.27
% 99.65/99.83
% 99.65/99.83
% 99.65/99.83 Changing weight limit from 18 to 19.
% 99.65/99.83
% 99.65/99.83 Resetting weight limit to 19 after 3215 givens.
% 99.65/99.83
% 99.70/99.91
% 99.70/99.91
% 99.70/99.91 Changing weight limit from 19 to 20.
% 99.70/99.91
% 99.70/99.91 Resetting weight limit to 20 after 3220 givens.
% 99.70/99.91
% 100.30/100.54
% 100.30/100.54
% 100.30/100.54 Changing weight limit from 20 to 18.
% 100.30/100.54
% 100.30/100.54 Resetting weight limit to 18 after 3235 givens.
% 100.30/100.54
% 100.43/100.63
% 100.43/100.63
% 100.43/100.63 Changing weight limit from 18 to 19.
% 100.43/100.63
% 100.43/100.63 Resetting weight limit to 19 after 3240 givens.
% 100.43/100.63
% 100.55/100.72
% 100.55/100.72
% 100.55/100.72 Changing weight limit from 19 to 18.
% 100.55/100.72
% 100.55/100.72 Resetting weight limit to 18 after 3245 givens.
% 100.55/100.72
% 100.72/100.89
% 100.72/100.89
% 100.72/100.89 Changing weight limit from 18 to 19.
% 100.72/100.89
% 100.72/100.89 Resetting weight limit to 19 after 3255 givens.
% 100.72/100.89
% 100.76/100.96
% 100.76/100.96
% 100.76/100.96 Changing weight limit from 19 to 18.
% 100.76/100.96
% 100.76/100.96 Resetting weight limit to 18 after 3260 givens.
% 100.76/100.96
% 101.04/101.21
% 101.04/101.21
% 101.04/101.21 Changing weight limit from 18 to 19.
% 101.04/101.21
% 101.04/101.21 Resetting weight limit to 19 after 3275 givens.
% 101.04/101.21
% 101.07/101.29
% 101.07/101.29
% 101.07/101.29 Changing weight limit from 19 to 18.
% 101.07/101.29
% 101.07/101.29 Resetting weight limit to 18 after 3280 givens.
% 101.07/101.29
% 101.24/101.45
% 101.24/101.45
% 101.24/101.45 Changing weight limit from 18 to 19.
% 101.24/101.45
% 101.24/101.45 Resetting weight limit to 19 after 3290 givens.
% 101.24/101.45
% 101.32/101.53
% 101.32/101.53
% 101.32/101.53 Changing weight limit from 19 to 20.
% 101.32/101.53
% 101.32/101.53 Resetting weight limit to 20 after 3295 givens.
% 101.32/101.53
% 101.46/101.69
% 101.46/101.69
% 101.46/101.69 Changing weight limit from 20 to 18.
% 101.46/101.69
% 101.46/101.69 Resetting weight limit to 18 after 3300 givens.
% 101.46/101.69
% 101.72/101.92
% 101.72/101.92
% 101.72/101.92 Changing weight limit from 18 to 19.
% 101.72/101.92
% 101.72/101.92 Resetting weight limit to 19 after 3315 givens.
% 101.72/101.92
% 101.81/102.00
% 101.81/102.00
% 101.81/102.00 Changing weight limit from 19 to 20.
% 101.81/102.00
% 101.81/102.00 Resetting weight limit to 20 after 3320 givens.
% 101.81/102.00
% 102.03/102.22
% 102.03/102.22
% 102.03/102.22 Changing weight limit from 20 to 18.
% 102.03/102.22
% 102.03/102.22 Resetting weight limit to 18 after 3325 givens.
% 102.03/102.22
% 102.10/102.30
% 102.10/102.30
% 102.10/102.30 Changing weight limit from 18 to 19.
% 102.10/102.30
% 102.10/102.30 Resetting weight limit to 19 after 3330 givens.
% 102.10/102.30
% 102.20/102.38
% 102.20/102.38
% 102.20/102.38 Changing weight limit from 19 to 20.
% 102.20/102.38
% 102.20/102.38 Resetting weight limit to 20 after 3335 givens.
% 102.20/102.38
% 102.37/102.56
% 102.37/102.56
% 102.37/102.56 Changing weight limit from 20 to 18.
% 102.37/102.56
% 102.37/102.56 Resetting weight limit to 18 after 3340 givens.
% 102.37/102.56
% 102.61/102.80
% 102.61/102.80
% 102.61/102.80 Changing weight limit from 18 to 19.
% 102.61/102.80
% 102.61/102.80 Resetting weight limit to 19 after 3355 givens.
% 102.61/102.80
% 102.68/102.88
% 102.68/102.88
% 102.68/102.88 Changing weight limit from 19 to 18.
% 102.68/102.88
% 102.68/102.88 Resetting weight limit to 18 after 3360 givens.
% 102.68/102.88
% 102.95/103.13
% 102.95/103.13
% 102.95/103.13 Changing weight limit from 18 to 19.
% 102.95/103.13
% 102.95/103.13 Resetting weight limit to 19 after 3375 givens.
% 102.95/103.13
% 102.98/103.21
% 102.98/103.21
% 102.98/103.21 Changing weight limit from 19 to 20.
% 102.98/103.21
% 102.98/103.21 Resetting weight limit to 20 after 3380 givens.
% 102.98/103.21
% 103.21/103.42
% 103.21/103.42
% 103.21/103.42 Changing weight limit from 20 to 18.
% 103.21/103.42
% 103.21/103.42 Resetting weight limit to 18 after 3385 givens.
% 103.21/103.42
% 103.29/103.51
% 103.29/103.51
% 103.29/103.51 Changing weight limit from 18 to 19.
% 103.29/103.51
% 103.29/103.51 Resetting weight limit to 19 after 3390 givens.
% 103.29/103.51
% 103.40/103.59
% 103.40/103.59
% 103.40/103.59 Changing weight limit from 19 to 18.
% 103.40/103.59
% 103.40/103.59 Resetting weight limit to 18 after 3395 givens.
% 103.40/103.59
% 103.49/103.67
% 103.49/103.67
% 103.49/103.67 Changing weight limit from 18 to 19.
% 103.49/103.67
% 103.49/103.67 Resetting weight limit to 19 after 3400 givens.
% 103.49/103.67
% 103.59/103.75
% 103.59/103.75
% 103.59/103.75 Changing weight limit from 19 to 20.
% 103.59/103.75
% 103.59/103.75 Resetting weight limit to 20 after 3405 givens.
% 103.59/103.75
% 108.56/108.73
% 108.56/108.73
% 108.56/108.73 Changing weight limit from 20 to 18.
% 108.56/108.73
% 108.56/108.73 Resetting weight limit to 18 after 3585 givens.
% 108.56/108.73
% 108.64/108.82
% 108.64/108.82
% 108.64/108.82 Changing weight limit from 18 to 19.
% 108.64/108.82
% 108.64/108.82 Resetting weight limit to 19 after 3590 givens.
% 108.64/108.82
% 108.71/108.91
% 108.71/108.91
% 108.71/108.91 Changing weight limit from 19 to 20.
% 108.71/108.91
% 108.71/108.91 Resetting weight limit to 20 after 3595 givens.
% 108.71/108.91
% 109.00/109.22
% 109.00/109.22
% 109.00/109.22 Changing weight limit from 20 to 18.
% 109.00/109.22
% 109.00/109.22 Resetting weight limit to 18 after 3605 givens.
% 109.00/109.22
% 109.30/109.56
% 109.30/109.56
% 109.30/109.56 Changing weight limit from 18 to 19.
% 109.30/109.56
% 109.30/109.56 Resetting weight limit to 19 after 3625 givens.
% 109.30/109.56
% 109.49/109.65
% 109.49/109.65
% 109.49/109.65 Changing weight limit from 19 to 20.
% 109.49/109.65
% 109.49/109.65 Resetting weight limit to 20 after 3630 givens.
% 109.49/109.65
% 111.33/111.56
% 111.33/111.56
% 111.33/111.56 Changing weight limit from 20 to 18.
% 111.33/111.56
% 111.33/111.56 Resetting weight limit to 18 after 3695 givens.
% 111.33/111.56
% 111.42/111.64
% 111.42/111.64
% 111.42/111.64 Changing weight limit from 18 to 19.
% 111.42/111.64
% 111.42/111.64 Resetting weight limit to 19 after 3700 givens.
% 111.42/111.64
% 111.57/111.73
% 111.57/111.73
% 111.57/111.73 Changing weight limit from 19 to 20.
% 111.57/111.73
% 111.57/111.73 Resetting weight limit to 20 after 3705 givens.
% 111.57/111.73
% 113.19/113.36
% 113.19/113.36
% 113.19/113.36 Changing weight limit from 20 to 18.
% 113.19/113.36
% 113.19/113.36 Resetting weight limit to 18 after 3760 givens.
% 113.19/113.36
% 113.27/113.46
% 113.27/113.46
% 113.27/113.46 Changing weight limit from 18 to 19.
% 113.27/113.46
% 113.27/113.46 Resetting weight limit to 19 after 3765 givens.
% 113.27/113.46
% 113.32/113.55
% 113.32/113.55
% 113.32/113.55 Changing weight limit from 19 to 20.
% 113.32/113.55
% 113.32/113.55 Resetting weight limit to 20 after 3770 givens.
% 113.32/113.55
% 115.22/115.40
% 115.22/115.40
% 115.22/115.40 Changing weight limit from 20 to 18.
% 115.22/115.40
% 115.22/115.40 Resetting weight limit to 18 after 3830 givens.
% 115.22/115.40
% 115.36/115.60
% 115.36/115.60
% 115.36/115.60 Changing weight limit from 18 to 19.
% 115.36/115.60
% 115.36/115.60 Resetting weight limit to 19 after 3840 givens.
% 115.36/115.60
% 115.52/115.69
% 115.52/115.69
% 115.52/115.69 Changing weight limit from 19 to 20.
% 115.52/115.69
% 115.52/115.69 Resetting weight limit to 20 after 3845 givens.
% 115.52/115.69
% 119.98/120.17
% 119.98/120.17
% 119.98/120.17 Changing weight limit from 20 to 18.
% 119.98/120.17
% 119.98/120.17 Resetting weight limit to 18 after 3985 givens.
% 119.98/120.17
% 120.29/120.48
% 120.29/120.48
% 120.29/120.48 Changing weight limit from 18 to 19.
% 120.29/120.48
% 120.29/120.48 Resetting weight limit to 19 after 4000 givens.
% 120.29/120.48
% 120.40/120.59
% 120.40/120.59
% 120.40/120.59 Changing weight limit from 19 to 20.
% 120.40/120.59
% 120.40/120.59 Resetting weight limit to 20 after 4005 givens.
% 120.40/120.59
% 122.14/122.30
% 122.14/122.30
% 122.14/122.30 Changing weight limit from 20 to 18.
% 122.14/122.30
% 122.14/122.30 Resetting weight limit to 18 after 4060 givens.
% 122.14/122.30
% 122.26/122.49
% 122.26/122.49
% 122.26/122.49 Changing weight limit from 18 to 19.
% 122.26/122.49
% 122.26/122.49 Resetting weight limit to 19 after 4070 givens.
% 122.26/122.49
% 122.42/122.61
% 122.42/122.61
% 122.42/122.61 Changing weight limit from 19 to 18.
% 122.42/122.61
% 122.42/122.61 Resetting weight limit to 18 after 4075 givens.
% 122.42/122.61
% 123.12/123.30
% 123.12/123.30
% 123.12/123.30 Changing weight limit from 18 to 19.
% 123.12/123.30
% 123.12/123.30 Resetting weight limit to 19 after 4105 givens.
% 123.12/123.30
% 123.23/123.41
% 123.23/123.41
% 123.23/123.41 Changing weight limit from 19 to 18.
% 123.23/123.41
% 123.23/123.41 Resetting weight limit to 18 after 4110 givens.
% 123.23/123.41
% 123.30/123.51
% 123.30/123.51
% 123.30/123.51 Changing weight limit from 18 to 19.
% 123.30/123.51
% 123.30/123.51 Resetting weight limit to 19 after 4115 givens.
% 123.30/123.51
% 123.43/123.62
% 123.43/123.62
% 123.43/123.62 Changing weight limit from 19 to 20.
% 123.43/123.62
% 123.43/123.62 Resetting weight limit to 20 after 4120 givens.
% 123.43/123.62
% 124.13/124.31
% 124.13/124.31
% 124.13/124.31 Changing weight limit from 20 to 18.
% 124.13/124.31
% 124.13/124.31 Resetting weight limit to 18 after 4140 givens.
% 124.13/124.31
% 124.45/124.61
% 124.45/124.61
% 124.45/124.61 Changing weight limit from 18 to 19.
% 124.45/124.61
% 124.45/124.61 Resetting weight limit to 19 after 4155 givens.
% 124.45/124.61
% 124.48/124.71
% 124.48/124.71
% 124.48/124.71 Changing weight limit from 19 to 18.
% 124.48/124.71
% 124.48/124.71 Resetting weight limit to 18 after 4160 givens.
% 124.48/124.71
% 125.27/125.49
% 125.27/125.49
% 125.27/125.49 Changing weight limit from 18 to 19.
% 125.27/125.49
% 125.27/125.49 Resetting weight limit to 19 after 4195 givens.
% 125.27/125.49
% 125.37/125.59
% 125.37/125.59
% 125.37/125.59 Changing weight limit from 19 to 18.
% 125.37/125.59
% 125.37/125.59 Resetting weight limit to 18 after 4200 givens.
% 125.37/125.59
% 125.65/125.81
% 125.65/125.81
% 125.65/125.81 Changing weight limit from 18 to 19.
% 125.65/125.81
% 125.65/125.81 Resetting weight limit to 19 after 4210 givens.
% 125.65/125.81
% 125.67/125.92
% 125.67/125.92
% 125.67/125.92 Changing weight limit from 19 to 20.
% 125.67/125.92
% 125.67/125.92 Resetting weight limit to 20 after 4215 givens.
% 125.67/125.92
% 126.27/126.41
% 126.27/126.41
% 126.27/126.41 Changing weight limit from 20 to 18.
% 126.27/126.41
% 126.27/126.41 Resetting weight limit to 18 after 4230 givens.
% 126.27/126.41
% 126.58/126.76
% 126.58/126.76
% 126.58/126.76 Changing weight limit from 18 to 19.
% 126.58/126.76
% 126.58/126.76 Resetting weight limit to 19 after 4245 givens.
% 126.58/126.76
% 126.67/126.86
% 126.67/126.86
% 126.67/126.86 Changing weight limit from 19 to 18.
% 126.67/126.86
% 126.67/126.86 Resetting weight limit to 18 after 4250 givens.
% 126.67/126.86
% 127.48/127.66
% 127.48/127.66
% 127.48/127.66 Changing weight limit from 18 to 19.
% 127.48/127.66
% 127.48/127.66 Resetting weight limit to 19 after 4285 givens.
% 127.48/127.66
% 127.60/127.75
% 127.60/127.75
% 127.60/127.75 Changing weight limit from 19 to 20.
% 127.60/127.75
% 127.60/127.75 Resetting weight limit to 20 after 4290 givens.
% 127.60/127.75
% 128.23/128.43
% 128.23/128.43
% 128.23/128.43 Changing weight limit from 20 to 18.
% 128.23/128.43
% 128.23/128.43 Resetting weight limit to 18 after 4310 givens.
% 128.23/128.43
% 128.81/128.97
% 128.81/128.97
% 128.81/128.97 Changing weight limit from 18 to 19.
% 128.81/128.97
% 128.81/128.97 Resetting weight limit to 19 after 4335 givens.
% 128.81/128.97
% 128.88/129.08
% 128.88/129.08
% 128.88/129.08 Changing weight limit from 19 to 18.
% 128.88/129.08
% 128.88/129.08 Resetting weight limit to 18 after 4340 givens.
% 128.88/129.08
% 128.97/129.19
% 128.97/129.19
% 128.97/129.19 Changing weight limit from 18 to 19.
% 128.97/129.19
% 128.97/129.19 Resetting weight limit to 19 after 4345 givens.
% 128.97/129.19
% 129.14/129.29
% 129.14/129.29
% 129.14/129.29 Changing weight limit from 19 to 20.
% 129.14/129.29
% 129.14/129.29 Resetting weight limit to 20 after 4350 givens.
% 129.14/129.29
% 129.26/129.47
% 129.26/129.47
% 129.26/129.47 Changing weight limit from 20 to 18.
% 129.26/129.47
% 129.26/129.47 Resetting weight limit to 18 after 4355 givens.
% 129.26/129.47
% 129.96/130.11
% 129.96/130.11
% 129.96/130.11 Changing weight limit from 18 to 19.
% 129.96/130.11
% 129.96/130.11 Resetting weight limit to 19 after 4385 givens.
% 129.96/130.11
% 130.04/130.22
% 130.04/130.22
% 130.04/130.22 Changing weight limit from 19 to 20.
% 130.04/130.22
% 130.04/130.22 Resetting weight limit to 20 after 4390 givens.
% 130.04/130.22
% 130.45/130.60
% 130.45/130.60
% 130.45/130.61 Changing weight limit from 20 to 18.
% 130.45/130.61
% 130.45/130.61 Resetting weight limit to 18 after 4405 givens.
% 130.45/130.61
% 130.57/130.72
% 130.57/130.72
% 130.57/130.72 Changing weight limit from 18 to 19.
% 130.57/130.72
% 130.57/130.72 Resetting weight limit to 19 after 4410 givens.
% 130.57/130.72
% 130.65/130.84
% 130.65/130.84
% 130.65/130.84 Changing weight limit from 19 to 18.
% 130.65/130.84
% 130.65/130.84 Resetting weight limit to 18 after 4415 givens.
% 130.65/130.84
% 130.93/131.09
% 130.93/131.09
% 130.93/131.09 Changing weight limit from 18 to 19.
% 130.93/131.09
% 130.93/131.09 Resetting weight limit to 19 after 4425 givens.
% 130.93/131.09
% 131.03/131.21
% 131.03/131.21
% 131.03/131.21 Changing weight limit from 19 to 20.
% 131.03/131.21
% 131.03/131.21 Resetting weight limit to 20 after 4430 givens.
% 131.03/131.21
% 131.38/131.54
% 131.38/131.54
% 131.39/131.54 Changing weight limit from 20 to 18.
% 131.39/131.54
% 131.39/131.54 Resetting weight limit to 18 after 4440 givens.
% 131.39/131.54
% 131.51/131.67
% 131.51/131.67
% 131.51/131.67 Changing weight limit from 18 to 19.
% 131.51/131.67
% 131.51/131.67 Resetting weight limit to 19 after 4445 givens.
% 131.51/131.67
% 131.60/131.78
% 131.60/131.78
% 131.60/131.78 Changing weight limit from 19 to 18.
% 131.60/131.78
% 131.60/131.78 Resetting weight limit to 18 after 4450 givens.
% 131.60/131.78
% 131.69/131.89
% 131.69/131.89
% 131.69/131.89 Changing weight limit from 18 to 19.
% 131.69/131.89
% 131.69/131.89 Resetting weight limit to 19 after 4455 givens.
% 131.69/131.89
% 131.83/132.01
% 131.83/132.01
% 131.83/132.01 Changing weight limit from 19 to 18.
% 131.83/132.01
% 131.83/132.01 Resetting weight limit to 18 after 4460 givens.
% 131.83/132.01
% 131.96/132.11
% 131.96/132.11
% 131.96/132.11 Changing weight limit from 18 to 19.
% 131.96/132.11
% 131.96/132.11 Resetting weight limit to 19 after 4465 givens.
% 131.96/132.11
% 132.08/132.23
% 132.08/132.23
% 132.08/132.23 Changing weight limit from 19 to 20.
% 132.08/132.23
% 132.08/132.23 Resetting weight limit to 20 after 4470 givens.
% 132.08/132.23
% 135.16/135.33
% 135.16/135.33
% 135.16/135.33 Changing weight limit from 20 to 18.
% 135.16/135.33
% 135.16/135.33 Resetting weight limit to 18 after 4555 givens.
% 135.16/135.33
% 135.23/135.43
% 135.23/135.43
% 135.23/135.43 Changing weight limit from 18 to 19.
% 135.23/135.43
% 135.23/135.43 Resetting weight limit to 19 after 4560 givens.
% 135.23/135.43
% 135.38/135.53
% 135.38/135.53
% 135.38/135.53 Changing weight limit from 19 to 18.
% 135.38/135.53
% 135.38/135.53 Resetting weight limit to 18 after 4565 givens.
% 135.38/135.53
% 135.47/135.63
% 135.47/135.63
% 135.47/135.63 Changing weight limit from 18 to 19.
% 135.47/135.63
% 135.47/135.63 Resetting weight limit to 19 after 4570 givens.
% 135.47/135.63
% 135.54/135.74
% 135.54/135.74
% 135.54/135.74 Changing weight limit from 19 to 18.
% 135.54/135.74
% 135.54/135.74 Resetting weight limit to 18 after 4575 givens.
% 135.54/135.74
% 135.78/135.95
% 135.78/135.95
% 135.78/135.95 Changing weight limit from 18 to 19.
% 135.78/135.95
% 135.78/135.95 Resetting weight limit to 19 after 4585 givens.
% 135.78/135.95
% 135.85/136.06
% 135.85/136.06
% 135.85/136.06 Changing weight limit from 19 to 20.
% 135.85/136.06
% 135.85/136.06 Resetting weight limit to 20 after 4590 givens.
% 135.85/136.06
% 138.72/138.88
% 138.72/138.88
% 138.72/138.88 Changing weight limit from 20 to 18.
% 138.72/138.88
% 138.72/138.88 Resetting weight limit to 18 after 4675 givens.
% 138.72/138.88
% 138.94/139.09
% 138.94/139.09
% 138.94/139.09 Changing weight limit from 18 to 19.
% 138.94/139.09
% 138.94/139.09 Resetting weight limit to 19 after 4685 givens.
% 138.94/139.09
% 139.01/139.20
% 139.01/139.20
% 139.01/139.20 Changing weight limit from 19 to 20.
% 139.01/139.20
% 139.01/139.20 Resetting weight limit to 20 after 4690 givens.
% 139.01/139.20
% 142.66/142.83
% 142.66/142.83
% 142.66/142.83 Changing weight limit from 20 to 18.
% 142.66/142.83
% 142.66/142.83 Resetting weight limit to 18 after 4790 givens.
% 142.66/142.83
% 142.77/142.94
% 142.77/142.94
% 142.77/142.94 Changing weight limit from 18 to 19.
% 142.77/142.94
% 142.77/142.94 Resetting weight limit to 19 after 4795 givens.
% 142.77/142.94
% 142.86/143.05
% 142.86/143.05
% 142.86/143.05 Changing weight limit from 19 to 20.
% 142.86/143.05
% 142.86/143.05 Resetting weight limit to 20 after 4800 givens.
% 142.86/143.05
% 145.74/145.91
% 145.74/145.91
% 145.74/145.91 Changing weight limit from 20 to 18.
% 145.74/145.91
% 145.74/145.91 Resetting weight limit to 18 after 4875 givens.
% 145.74/145.91
% 145.85/146.01
% 145.85/146.01
% 145.85/146.01 Changing weight limit from 18 to 19.
% 145.85/146.01
% 145.85/146.01 Resetting weight limit to 19 after 4880 givens.
% 145.85/146.01
% 145.87/146.11
% 145.87/146.11
% 145.87/146.11 Changing weight limit from 19 to 20.
% 145.87/146.11
% 145.87/146.11 Resetting weight limit to 20 after 4885 givens.
% 145.87/146.11
% 146.25/146.42
% 146.25/146.42
% 146.25/146.42 Changing weight limit from 20 to 18.
% 146.25/146.42
% 146.25/146.42 Resetting weight limit to 18 after 4895 givens.
% 146.25/146.42
% 146.47/146.64
% 146.47/146.64
% 146.47/146.64 Changing weight limit from 18 to 19.
% 146.47/146.64
% 146.47/146.64 Resetting weight limit to 19 after 4905 givens.
% 146.47/146.64
% 146.57/146.75
% 146.57/146.75
% 146.57/146.75 Changing weight limit from 19 to 20.
% 146.57/146.75
% 146.57/146.75 Resetting weight limit to 20 after 4910 givens.
% 146.57/146.75
% 146.74/146.98
% 146.74/146.98
% 146.74/146.98 Changing weight limit from 20 to 18.
% 146.74/146.98
% 146.74/146.98 Resetting weight limit to 18 after 4915 givens.
% 146.74/146.98
% 146.86/147.09
% 146.86/147.09
% 146.86/147.09 Changing weight limit from 18 to 19.
% 146.86/147.09
% 146.86/147.09 Resetting weight limit to 19 after 4920 givens.
% 146.86/147.09
% 147.05/147.21
% 147.05/147.21
% 147.05/147.21 Changing weight limit from 19 to 20.
% 147.05/147.21
% 147.05/147.21 Resetting weight limit to 20 after 4925 givens.
% 147.05/147.21
% 147.56/147.79
% 147.56/147.79
% 147.56/147.79 Changing weight limit from 20 to 18.
% 147.56/147.79
% 147.56/147.79 Resetting weight limit to 18 after 4940 givens.
% 147.56/147.79
% 147.75/147.90
% 147.75/147.90
% 147.75/147.90 Changing weight limit from 18 to 19.
% 147.75/147.90
% 147.75/147.90 Resetting weight limit to 19 after 4945 givens.
% 147.75/147.90
% 147.87/148.02
% 147.87/148.02
% 147.87/148.02 Changing weight limit from 19 to 18.
% 147.87/148.02
% 147.87/148.02 Resetting weight limit to 18 after 4950 givens.
% 147.87/148.02
% 148.16/148.36
% 148.16/148.36
% 148.16/148.36 Changing weight limit from 18 to 19.
% 148.16/148.36
% 148.16/148.36 Resetting weight limit to 19 after 4965 givens.
% 148.16/148.36
% 148.23/148.47
% 148.23/148.47
% 148.23/148.47 Changing weight limit from 19 to 20.
% 148.23/148.47
% 148.23/148.47 Resetting weight limit to 20 after 4970 givens.
% 148.23/148.47
% 152.47/152.70
% 152.47/152.70
% 152.47/152.70 Changing weight limit from 20 to 18.
% 152.47/152.70
% 152.47/152.70 Resetting weight limit to 18 after 5075 givens.
% 152.47/152.70
% 152.78/152.93
% 152.78/152.93
% 152.78/152.93 Changing weight limit from 18 to 19.
% 152.78/152.93
% 152.78/152.93 Resetting weight limit to 19 after 5085 givens.
% 152.78/152.93
% 152.87/153.06
% 152.87/153.06
% 152.87/153.06 Changing weight limit from 19 to 18.
% 152.87/153.06
% 152.87/153.06 Resetting weight limit to 18 after 5090 givens.
% 152.87/153.06
% 153.06/153.29
% 153.06/153.29
% 153.06/153.29 Changing weight limit from 18 to 19.
% 153.06/153.29
% 153.06/153.29 Resetting weight limit to 19 after 5100 givens.
% 153.06/153.29
% 153.25/153.40
% 153.25/153.40
% 153.25/153.40 Changing weight limit from 19 to 20.
% 153.25/153.40
% 153.25/153.40 Resetting weight limit to 20 after 5105 givens.
% 153.25/153.40
% 300.06/300.20 Wow, sos-wrapper got a signal XCPU
%------------------------------------------------------------------------------