TSTP Solution File: SYN791-1 by SOS---2.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : SOS---2.0
% Problem : SYN791-1 : TPTP v8.1.0. Released v2.5.0.
% Transfm : none
% Format : tptp:raw
% Command : sos-script %s
% Computer : n027.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 : Thu Jul 21 12:15:38 EDT 2022
% Result : Timeout 286.18s 286.31s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12 % Problem : SYN791-1 : TPTP v8.1.0. Released v2.5.0.
% 0.11/0.13 % Command : sos-script %s
% 0.13/0.33 % Computer : n027.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33 % CPULimit : 300
% 0.13/0.33 % WCLimit : 600
% 0.13/0.33 % DateTime : Mon Jul 11 14:48:34 EDT 2022
% 0.13/0.34 % CPUTime :
% 0.13/0.36 ----- Otter 3.2, August 2001 -----
% 0.13/0.36 The process was started by sandbox2 on n027.cluster.edu,
% 0.13/0.36 Mon Jul 11 14:48:34 2022
% 0.13/0.36 The command was "./sos". The process ID is 8281.
% 0.13/0.36
% 0.13/0.36 set(prolog_style_variables).
% 0.13/0.36 set(auto).
% 0.13/0.36 dependent: set(auto1).
% 0.13/0.36 dependent: set(process_input).
% 0.13/0.36 dependent: clear(print_kept).
% 0.13/0.36 dependent: clear(print_new_demod).
% 0.13/0.36 dependent: clear(print_back_demod).
% 0.13/0.36 dependent: clear(print_back_sub).
% 0.13/0.36 dependent: set(control_memory).
% 0.13/0.36 dependent: assign(max_mem, 12000).
% 0.13/0.36 dependent: assign(pick_given_ratio, 4).
% 0.13/0.36 dependent: assign(stats_level, 1).
% 0.13/0.36 dependent: assign(pick_semantic_ratio, 3).
% 0.13/0.36 dependent: assign(sos_limit, 5000).
% 0.13/0.36 dependent: assign(max_weight, 60).
% 0.13/0.36 clear(print_given).
% 0.13/0.36
% 0.13/0.36 list(usable).
% 0.13/0.36
% 0.13/0.36 SCAN INPUT: prop=0, horn=0, equality=0, symmetry=0, max_lits=7.
% 0.13/0.36
% 0.13/0.37 This is a non-Horn set without equality. The strategy
% 0.13/0.37 will be ordered hyper_res, ur_res, unit deletion, and
% 0.13/0.37 factoring, with satellites in sos and nuclei in usable.
% 0.13/0.37
% 0.13/0.37 dependent: set(hyper_res).
% 0.13/0.37 dependent: set(factor).
% 0.13/0.37 dependent: set(unit_deletion).
% 0.13/0.37
% 0.13/0.37 ------------> process usable:
% 0.13/0.37
% 0.13/0.37 ------------> process sos:
% 0.13/0.37
% 0.13/0.37 ======= end of input processing =======
% 0.20/0.41
% 0.20/0.41 Model 1 (0.00 seconds, 0 Inserts)
% 0.20/0.41
% 0.20/0.41 Stopped by limit on number of solutions
% 0.20/0.41
% 0.20/0.41
% 0.20/0.41 -------------- Softie stats --------------
% 0.20/0.41
% 0.20/0.41 UPDATE_STOP: 300
% 0.20/0.41 SFINDER_TIME_LIMIT: 2
% 0.20/0.41 SHORT_CLAUSE_CUTOFF: 4
% 0.20/0.41 number of clauses in intial UL: 122
% 0.20/0.41 number of clauses initially in problem: 124
% 0.20/0.41 percentage of clauses intially in UL: 98
% 0.20/0.41 percentage of distinct symbols occuring in initial UL: 81
% 0.20/0.41 percent of all initial clauses that are short: 99
% 0.20/0.41 absolute distinct symbol count: 11
% 0.20/0.41 distinct predicate count: 9
% 0.20/0.41 distinct function count: 2
% 0.20/0.41 distinct constant count: 0
% 0.20/0.41
% 0.20/0.41 ---------- no more Softie stats ----------
% 0.20/0.41
% 0.20/0.41
% 0.20/0.41
% 0.20/0.41 Model 2 (0.00 seconds, 0 Inserts)
% 0.20/0.41
% 0.20/0.41 Stopped by limit on number of solutions
% 0.20/0.41
% 0.20/0.41 =========== start of search ===========
% 13.72/13.97
% 13.72/13.97
% 13.72/13.97 Changing weight limit from 60 to 59.
% 13.72/13.97
% 13.72/13.97 Model 3 (0.00 seconds, 0 Inserts)
% 13.72/13.97
% 13.72/13.97 Stopped by limit on number of solutions
% 13.72/13.97
% 13.72/13.97 Resetting weight limit to 59 after 120 givens.
% 13.72/13.97
% 14.87/15.08
% 14.87/15.08
% 14.87/15.08 Changing weight limit from 59 to 58.
% 14.87/15.08
% 14.87/15.08 Resetting weight limit to 58 after 125 givens.
% 14.87/15.08
% 16.83/17.08
% 16.83/17.08
% 16.83/17.08 Changing weight limit from 58 to 57.
% 16.83/17.08
% 16.83/17.08 Resetting weight limit to 57 after 135 givens.
% 16.83/17.08
% 18.46/18.68
% 18.46/18.68
% 18.46/18.68 Changing weight limit from 57 to 56.
% 18.46/18.68
% 18.46/18.68 Resetting weight limit to 56 after 145 givens.
% 18.46/18.68
% 20.95/21.17
% 20.95/21.17
% 20.95/21.17 Changing weight limit from 56 to 55.
% 20.95/21.17
% 20.95/21.17 Resetting weight limit to 55 after 160 givens.
% 20.95/21.17
% 23.04/23.21
% 23.04/23.21
% 23.04/23.21 Changing weight limit from 55 to 54.
% 23.04/23.21
% 23.04/23.21 Resetting weight limit to 54 after 175 givens.
% 23.04/23.21
% 26.38/26.59
% 26.38/26.59
% 26.38/26.59 Changing weight limit from 54 to 53.
% 26.38/26.59
% 26.38/26.59 Resetting weight limit to 53 after 200 givens.
% 26.38/26.59
% 29.71/29.95
% 29.71/29.95
% 29.71/29.95 Changing weight limit from 53 to 52.
% 29.71/29.95
% 29.71/29.95 Resetting weight limit to 52 after 230 givens.
% 29.71/29.95
% 33.76/33.93
% 33.76/33.93
% 33.76/33.93 Changing weight limit from 52 to 51.
% 33.76/33.93
% 33.76/33.93 Resetting weight limit to 51 after 275 givens.
% 33.76/33.93
% 36.87/37.05
% 36.87/37.05
% 36.87/37.05 Changing weight limit from 51 to 50.
% 36.87/37.05
% 36.87/37.05 Resetting weight limit to 50 after 310 givens.
% 36.87/37.05
% 43.05/43.26
% 43.05/43.26
% 43.05/43.26 Changing weight limit from 50 to 49.
% 43.05/43.26
% 43.05/43.26 Resetting weight limit to 49 after 400 givens.
% 43.05/43.26
% 46.15/46.41
% 46.15/46.41
% 46.15/46.41 Changing weight limit from 49 to 48.
% 46.15/46.41
% 46.15/46.41 Resetting weight limit to 48 after 460 givens.
% 46.15/46.41
% 53.60/53.76
% 53.60/53.76
% 53.60/53.76 Changing weight limit from 48 to 47.
% 53.60/53.76
% 53.60/53.76 Resetting weight limit to 47 after 645 givens.
% 53.60/53.76
% 54.28/54.45
% 54.28/54.45
% 54.28/54.45 Changing weight limit from 47 to 48.
% 54.28/54.45
% 54.28/54.45 Resetting weight limit to 48 after 665 givens.
% 54.28/54.45
% 54.34/54.54
% 54.34/54.54
% 54.34/54.54 Changing weight limit from 48 to 47.
% 54.34/54.54
% 54.34/54.54 Resetting weight limit to 47 after 670 givens.
% 54.34/54.54
% 57.15/57.34
% 57.15/57.34
% 57.15/57.34 Changing weight limit from 47 to 48.
% 57.15/57.34
% 57.15/57.34 Resetting weight limit to 48 after 755 givens.
% 57.15/57.34
% 57.50/57.73
% 57.50/57.73
% 57.50/57.73 Changing weight limit from 48 to 47.
% 57.50/57.73
% 57.50/57.73 Resetting weight limit to 47 after 765 givens.
% 57.50/57.73
% 58.07/58.26
% 58.07/58.26
% 58.07/58.26 Changing weight limit from 47 to 48.
% 58.07/58.26
% 58.07/58.26 Resetting weight limit to 48 after 780 givens.
% 58.07/58.26
% 58.28/58.45
% 58.28/58.45
% 58.28/58.45 Changing weight limit from 48 to 49.
% 58.28/58.45
% 58.28/58.45 Resetting weight limit to 49 after 785 givens.
% 58.28/58.45
% 58.36/58.59
% 58.36/58.59
% 58.36/58.59 Changing weight limit from 49 to 48.
% 58.36/58.59
% 58.36/58.59 Resetting weight limit to 48 after 790 givens.
% 58.36/58.59
% 58.72/58.91
% 58.72/58.91
% 58.72/58.91 Changing weight limit from 48 to 47.
% 58.72/58.91
% 58.72/58.91 Resetting weight limit to 47 after 800 givens.
% 58.72/58.91
% 58.82/58.99
% 58.82/58.99
% 58.82/58.99 Changing weight limit from 47 to 48.
% 58.82/58.99
% 58.82/58.99 Resetting weight limit to 48 after 805 givens.
% 58.82/58.99
% 58.96/59.16
% 58.96/59.16
% 58.96/59.16 Changing weight limit from 48 to 47.
% 58.96/59.16
% 58.96/59.16 Resetting weight limit to 47 after 810 givens.
% 58.96/59.16
% 59.04/59.26
% 59.04/59.26
% 59.04/59.26 Changing weight limit from 47 to 48.
% 59.04/59.26
% 59.04/59.26 Resetting weight limit to 48 after 815 givens.
% 59.04/59.26
% 60.13/60.30
% 60.13/60.30
% 60.13/60.30 Changing weight limit from 48 to 47.
% 60.13/60.30
% 60.13/60.30 Resetting weight limit to 47 after 850 givens.
% 60.13/60.30
% 60.32/60.54
% 60.32/60.54
% 60.32/60.54 Changing weight limit from 47 to 48.
% 60.32/60.54
% 60.32/60.54 Resetting weight limit to 48 after 860 givens.
% 60.32/60.54
% 60.56/60.74
% 60.56/60.74
% 60.56/60.74 Changing weight limit from 48 to 47.
% 60.56/60.74
% 60.56/60.74 Resetting weight limit to 47 after 865 givens.
% 60.56/60.74
% 63.13/63.36
% 63.13/63.36
% 63.13/63.36 Changing weight limit from 47 to 48.
% 63.13/63.36
% 63.13/63.36 Resetting weight limit to 48 after 950 givens.
% 63.13/63.36
% 63.26/63.43
% 63.26/63.43
% 63.26/63.43 Changing weight limit from 48 to 49.
% 63.26/63.43
% 63.26/63.43 Resetting weight limit to 49 after 955 givens.
% 63.26/63.43
% 63.57/63.76
% 63.57/63.76
% 63.57/63.76 Changing weight limit from 49 to 50.
% 63.57/63.76
% 63.57/63.76 Resetting weight limit to 50 after 960 givens.
% 63.57/63.76
% 63.83/64.00
% 63.83/64.00
% 63.83/64.00 Changing weight limit from 50 to 47.
% 63.83/64.00
% 63.83/64.00 Resetting weight limit to 47 after 965 givens.
% 63.83/64.00
% 64.11/64.28
% 64.11/64.28
% 64.11/64.28 Changing weight limit from 47 to 48.
% 64.11/64.28
% 64.11/64.28 Resetting weight limit to 48 after 975 givens.
% 64.11/64.28
% 64.18/64.41
% 64.18/64.41
% 64.18/64.41 Changing weight limit from 48 to 47.
% 64.18/64.41
% 64.18/64.41 Resetting weight limit to 47 after 980 givens.
% 64.18/64.41
% 64.34/64.50
% 64.34/64.50
% 64.34/64.50 Changing weight limit from 47 to 48.
% 64.34/64.50
% 64.34/64.50 Resetting weight limit to 48 after 985 givens.
% 64.34/64.50
% 64.50/64.68
% 64.50/64.68
% 64.50/64.68 Changing weight limit from 48 to 47.
% 64.50/64.68
% 64.50/64.68 Resetting weight limit to 47 after 990 givens.
% 64.50/64.68
% 64.58/64.75
% 64.58/64.75
% 64.58/64.75 Changing weight limit from 47 to 48.
% 64.58/64.75
% 64.58/64.75 Resetting weight limit to 48 after 995 givens.
% 64.58/64.75
% 64.74/64.92
% 64.74/64.92
% 64.74/64.92 Changing weight limit from 48 to 47.
% 64.74/64.92
% 64.74/64.92 Resetting weight limit to 47 after 1000 givens.
% 64.74/64.92
% 65.73/65.95
% 65.73/65.95
% 65.73/65.95 Changing weight limit from 47 to 48.
% 65.73/65.95
% 65.73/65.95 Resetting weight limit to 48 after 1040 givens.
% 65.73/65.95
% 65.96/66.13
% 65.96/66.13
% 65.96/66.13 Changing weight limit from 48 to 47.
% 65.96/66.13
% 65.96/66.13 Resetting weight limit to 47 after 1045 givens.
% 65.96/66.13
% 66.04/66.25
% 66.04/66.25
% 66.04/66.25 Changing weight limit from 47 to 48.
% 66.04/66.25
% 66.04/66.25 Resetting weight limit to 48 after 1050 givens.
% 66.04/66.25
% 66.25/66.41
% 66.25/66.41
% 66.25/66.41 Changing weight limit from 48 to 49.
% 66.25/66.41
% 66.25/66.41 Resetting weight limit to 49 after 1055 givens.
% 66.25/66.41
% 66.44/66.62
% 66.44/66.62
% 66.44/66.62 Changing weight limit from 49 to 50.
% 66.44/66.62
% 66.44/66.62 Resetting weight limit to 50 after 1060 givens.
% 66.44/66.62
% 66.76/66.93
% 66.76/66.93
% 66.76/66.93 Changing weight limit from 50 to 48.
% 66.76/66.93
% 66.76/66.93 Resetting weight limit to 48 after 1065 givens.
% 66.76/66.93
% 67.06/67.28
% 67.06/67.28
% 67.06/67.28 Changing weight limit from 48 to 49.
% 67.06/67.28
% 67.06/67.28 Resetting weight limit to 49 after 1075 givens.
% 67.06/67.28
% 67.23/67.45
% 67.23/67.45
% 67.23/67.45 Changing weight limit from 49 to 50.
% 67.23/67.45
% 67.23/67.45 Resetting weight limit to 50 after 1080 givens.
% 67.23/67.45
% 67.37/67.58
% 67.37/67.58
% 67.37/67.58 Changing weight limit from 50 to 51.
% 67.37/67.58
% 67.37/67.58 Resetting weight limit to 51 after 1085 givens.
% 67.37/67.58
% 67.66/67.83
% 67.66/67.83
% 67.66/67.83 Changing weight limit from 51 to 50.
% 67.66/67.83
% 67.66/67.83 Resetting weight limit to 50 after 1090 givens.
% 67.66/67.83
% 71.47/71.65
% 71.47/71.65
% 71.47/71.65 Changing weight limit from 50 to 49.
% 71.47/71.65
% 71.47/71.65 Resetting weight limit to 49 after 1190 givens.
% 71.47/71.65
% 71.62/71.78
% 71.62/71.78
% 71.62/71.78 Changing weight limit from 49 to 48.
% 71.62/71.78
% 71.62/71.78 Resetting weight limit to 48 after 1195 givens.
% 71.62/71.78
% 72.04/72.20
% 72.04/72.20
% 72.04/72.20 Changing weight limit from 48 to 49.
% 72.04/72.20
% 72.04/72.20 Resetting weight limit to 49 after 1210 givens.
% 72.04/72.20
% 72.18/72.34
% 72.18/72.34
% 72.18/72.34 Changing weight limit from 49 to 48.
% 72.18/72.34
% 72.18/72.34 Resetting weight limit to 48 after 1215 givens.
% 72.18/72.34
% 74.65/74.84
% 74.65/74.84
% 74.65/74.84 Changing weight limit from 48 to 49.
% 74.65/74.84
% 74.65/74.84 Resetting weight limit to 49 after 1290 givens.
% 74.65/74.84
% 74.82/75.01
% 74.82/75.01
% 74.82/75.01 Changing weight limit from 49 to 50.
% 74.82/75.01
% 74.82/75.01 Resetting weight limit to 50 after 1295 givens.
% 74.82/75.01
% 75.01/75.20
% 75.01/75.20
% 75.01/75.20 Changing weight limit from 50 to 51.
% 75.01/75.20
% 75.01/75.20 Resetting weight limit to 51 after 1300 givens.
% 75.01/75.20
% 75.27/75.48
% 75.27/75.48
% 75.27/75.48 Changing weight limit from 51 to 50.
% 75.27/75.48
% 75.27/75.48 Resetting weight limit to 50 after 1305 givens.
% 75.27/75.48
% 75.58/75.75
% 75.58/75.75
% 75.58/75.75 Changing weight limit from 50 to 49.
% 75.58/75.75
% 75.58/75.75 Resetting weight limit to 49 after 1310 givens.
% 75.58/75.75
% 77.27/77.48
% 77.27/77.48
% 77.27/77.48 Changing weight limit from 49 to 50.
% 77.27/77.48
% 77.27/77.48 Resetting weight limit to 50 after 1355 givens.
% 77.27/77.48
% 77.45/77.62
% 77.45/77.62
% 77.45/77.62 Changing weight limit from 50 to 51.
% 77.45/77.62
% 77.45/77.62 Resetting weight limit to 51 after 1360 givens.
% 77.45/77.62
% 77.63/77.81
% 77.63/77.81
% 77.63/77.81 Changing weight limit from 51 to 49.
% 77.63/77.81
% 77.63/77.81 Resetting weight limit to 49 after 1365 givens.
% 77.63/77.81
% 78.05/78.21
% 78.05/78.21
% 78.05/78.21 Changing weight limit from 49 to 50.
% 78.05/78.21
% 78.05/78.21 Resetting weight limit to 50 after 1375 givens.
% 78.05/78.21
% 78.23/78.40
% 78.23/78.40
% 78.23/78.40 Changing weight limit from 50 to 49.
% 78.23/78.40
% 78.23/78.40 Resetting weight limit to 49 after 1380 givens.
% 78.23/78.40
% 79.77/79.95
% 79.77/79.95
% 79.77/79.95 Changing weight limit from 49 to 50.
% 79.77/79.95
% 79.77/79.95 Resetting weight limit to 50 after 1420 givens.
% 79.77/79.95
% 79.91/80.14
% 79.91/80.14
% 79.91/80.14 Changing weight limit from 50 to 49.
% 79.91/80.14
% 79.91/80.14 Resetting weight limit to 49 after 1425 givens.
% 79.91/80.14
% 81.14/81.36
% 81.14/81.36
% 81.14/81.36 Changing weight limit from 49 to 50.
% 81.14/81.36
% 81.14/81.36 Resetting weight limit to 50 after 1460 givens.
% 81.14/81.36
% 82.25/82.42
% 82.25/82.42
% 82.25/82.42 Changing weight limit from 50 to 51.
% 82.25/82.42
% 82.25/82.42 Resetting weight limit to 51 after 1485 givens.
% 82.25/82.42
% 82.43/82.63
% 82.43/82.63
% 82.43/82.63 Changing weight limit from 51 to 52.
% 82.43/82.63
% 82.43/82.63 Resetting weight limit to 52 after 1490 givens.
% 82.43/82.63
% 82.88/83.11
% 82.88/83.11
% 82.88/83.11 Changing weight limit from 52 to 50.
% 82.88/83.11
% 82.88/83.11 Resetting weight limit to 50 after 1495 givens.
% 82.88/83.11
% 83.17/83.39
% 83.17/83.39
% 83.17/83.39 Changing weight limit from 50 to 51.
% 83.17/83.39
% 83.17/83.39 Resetting weight limit to 51 after 1505 givens.
% 83.17/83.39
% 83.32/83.57
% 83.32/83.57
% 83.32/83.57 Changing weight limit from 51 to 52.
% 83.32/83.57
% 83.32/83.57 Resetting weight limit to 52 after 1510 givens.
% 83.32/83.57
% 83.56/83.73
% 83.56/83.73
% 83.56/83.73 Changing weight limit from 52 to 53.
% 83.56/83.73
% 83.56/83.73 Resetting weight limit to 53 after 1515 givens.
% 83.56/83.73
% 83.93/84.10
% 83.93/84.10
% 83.93/84.10 Changing weight limit from 53 to 52.
% 83.93/84.10
% 83.93/84.10 Resetting weight limit to 52 after 1520 givens.
% 83.93/84.10
% 84.84/85.03
% 84.84/85.03
% 84.84/85.03 Changing weight limit from 52 to 50.
% 84.84/85.03
% 84.84/85.03 Resetting weight limit to 50 after 1535 givens.
% 84.84/85.03
% 85.03/85.21
% 85.03/85.21
% 85.03/85.21 Changing weight limit from 50 to 51.
% 85.03/85.21
% 85.03/85.21 Resetting weight limit to 51 after 1540 givens.
% 85.03/85.21
% 85.21/85.46
% 85.21/85.46
% 85.21/85.46 Changing weight limit from 51 to 50.
% 85.21/85.46
% 85.21/85.46 Resetting weight limit to 50 after 1545 givens.
% 85.21/85.46
% 85.92/86.09
% 85.92/86.09
% 85.92/86.09 Changing weight limit from 50 to 51.
% 85.92/86.09
% 85.92/86.09 Resetting weight limit to 51 after 1565 givens.
% 85.92/86.09
% 86.06/86.26
% 86.06/86.26
% 86.06/86.26 Changing weight limit from 51 to 52.
% 86.06/86.26
% 86.06/86.26 Resetting weight limit to 52 after 1570 givens.
% 86.06/86.26
% 86.87/87.07
% 86.87/87.07
% 86.87/87.07 Changing weight limit from 52 to 51.
% 86.87/87.07
% 86.87/87.07 Resetting weight limit to 51 after 1585 givens.
% 86.87/87.07
% 87.15/87.36
% 87.15/87.36
% 87.15/87.36 Changing weight limit from 51 to 52.
% 87.15/87.36
% 87.15/87.36 Resetting weight limit to 52 after 1595 givens.
% 87.15/87.36
% 88.03/88.21
% 88.03/88.21
% 88.03/88.21 Changing weight limit from 52 to 51.
% 88.03/88.21
% 88.03/88.21 Resetting weight limit to 51 after 1610 givens.
% 88.03/88.21
% 88.31/88.51
% 88.31/88.51
% 88.31/88.51 Changing weight limit from 51 to 52.
% 88.31/88.51
% 88.31/88.51 Resetting weight limit to 52 after 1620 givens.
% 88.31/88.51
% 88.61/88.77
% 88.61/88.77
% 88.61/88.77 Changing weight limit from 52 to 50.
% 88.61/88.77
% 88.61/88.77 Resetting weight limit to 50 after 1625 givens.
% 88.61/88.77
% 88.87/89.05
% 88.87/89.05
% 88.87/89.05 Changing weight limit from 50 to 51.
% 88.87/89.05
% 88.87/89.05 Resetting weight limit to 51 after 1635 givens.
% 88.87/89.05
% 89.08/89.30
% 89.08/89.30
% 89.08/89.30 Changing weight limit from 51 to 50.
% 89.08/89.30
% 89.08/89.30 Resetting weight limit to 50 after 1640 givens.
% 89.08/89.30
% 91.23/91.39
% 91.23/91.39
% 91.23/91.39 Changing weight limit from 50 to 51.
% 91.23/91.39
% 91.23/91.39 Resetting weight limit to 51 after 1690 givens.
% 91.23/91.39
% 91.35/91.52
% 91.35/91.52
% 91.35/91.52 Changing weight limit from 51 to 52.
% 91.35/91.52
% 91.35/91.52 Resetting weight limit to 52 after 1695 givens.
% 91.35/91.52
% 91.58/91.77
% 91.58/91.77
% 91.58/91.77 Changing weight limit from 52 to 50.
% 91.58/91.77
% 91.58/91.77 Resetting weight limit to 50 after 1700 givens.
% 91.58/91.77
% 94.12/94.28
% 94.12/94.28
% 94.12/94.28 Changing weight limit from 50 to 51.
% 94.12/94.28
% 94.12/94.28 Resetting weight limit to 51 after 1760 givens.
% 94.12/94.28
% 94.27/94.45
% 94.27/94.45
% 94.27/94.45 Changing weight limit from 51 to 50.
% 94.27/94.45
% 94.27/94.45 Resetting weight limit to 50 after 1765 givens.
% 94.27/94.45
% 94.35/94.55
% 94.35/94.55
% 94.35/94.55 Changing weight limit from 50 to 51.
% 94.35/94.55
% 94.35/94.55 Resetting weight limit to 51 after 1770 givens.
% 94.35/94.55
% 94.54/94.70
% 94.54/94.70
% 94.54/94.70 Changing weight limit from 51 to 50.
% 94.54/94.70
% 94.54/94.70 Resetting weight limit to 50 after 1775 givens.
% 94.54/94.70
% 95.04/95.24
% 95.04/95.24
% 95.04/95.24 Changing weight limit from 50 to 51.
% 95.04/95.24
% 95.04/95.24 Resetting weight limit to 51 after 1785 givens.
% 95.04/95.24
% 95.42/95.59
% 95.42/95.59
% 95.42/95.59 Changing weight limit from 51 to 50.
% 95.42/95.59
% 95.42/95.59 Resetting weight limit to 50 after 1790 givens.
% 95.42/95.59
% 95.57/95.77
% 95.57/95.77
% 95.57/95.77 Changing weight limit from 50 to 51.
% 95.57/95.77
% 95.57/95.77 Resetting weight limit to 51 after 1795 givens.
% 95.57/95.77
% 95.79/95.99
% 95.79/95.99
% 95.79/95.99 Changing weight limit from 51 to 52.
% 95.79/95.99
% 95.79/95.99 Resetting weight limit to 52 after 1800 givens.
% 95.79/95.99
% 96.09/96.27
% 96.09/96.27
% 96.09/96.27 Changing weight limit from 52 to 51.
% 96.09/96.27
% 96.09/96.27 Resetting weight limit to 51 after 1805 givens.
% 96.09/96.27
% 98.26/98.49
% 98.26/98.49
% 98.26/98.49 Changing weight limit from 51 to 50.
% 98.26/98.49
% 98.26/98.49 Resetting weight limit to 50 after 1840 givens.
% 98.26/98.49
% 98.43/98.67
% 98.43/98.67
% 98.43/98.67 Changing weight limit from 50 to 51.
% 98.43/98.67
% 98.43/98.67 Resetting weight limit to 51 after 1845 givens.
% 98.43/98.67
% 98.81/98.97
% 98.81/98.97
% 98.81/98.97 Changing weight limit from 51 to 52.
% 98.81/98.97
% 98.81/98.97 Resetting weight limit to 52 after 1850 givens.
% 98.81/98.97
% 99.11/99.28
% 99.11/99.28
% 99.11/99.28 Changing weight limit from 52 to 53.
% 99.11/99.28
% 99.11/99.28 Resetting weight limit to 53 after 1855 givens.
% 99.11/99.28
% 99.70/99.87
% 99.70/99.87
% 99.70/99.87 Changing weight limit from 53 to 54.
% 99.70/99.87
% 99.70/99.87 Resetting weight limit to 54 after 1860 givens.
% 99.70/99.87
% 99.90/100.12
% 99.90/100.12
% 99.90/100.12 Changing weight limit from 54 to 53.
% 99.90/100.12
% 99.90/100.12 Resetting weight limit to 53 after 1865 givens.
% 99.90/100.12
% 100.68/100.85
% 100.68/100.85
% 100.68/100.85 Changing weight limit from 53 to 51.
% 100.68/100.85
% 100.68/100.85 Resetting weight limit to 51 after 1880 givens.
% 100.68/100.85
% 100.78/100.97
% 100.78/100.97
% 100.78/100.97 Changing weight limit from 51 to 52.
% 100.78/100.97
% 100.78/100.97 Resetting weight limit to 52 after 1885 givens.
% 100.78/100.97
% 100.97/101.20
% 100.97/101.20
% 100.97/101.20 Changing weight limit from 52 to 51.
% 100.97/101.20
% 100.97/101.20 Resetting weight limit to 51 after 1890 givens.
% 100.97/101.20
% 102.29/102.52
% 102.29/102.52
% 102.29/102.52 Changing weight limit from 51 to 52.
% 102.29/102.52
% 102.29/102.52 Resetting weight limit to 52 after 1915 givens.
% 102.29/102.52
% 102.53/102.69
% 102.53/102.69
% 102.53/102.69 Changing weight limit from 52 to 51.
% 102.53/102.69
% 102.53/102.69 Resetting weight limit to 51 after 1920 givens.
% 102.53/102.69
% 102.68/102.84
% 102.68/102.84
% 102.68/102.84 Changing weight limit from 51 to 52.
% 102.68/102.84
% 102.68/102.84 Resetting weight limit to 52 after 1925 givens.
% 102.68/102.84
% 102.82/103.01
% 102.82/103.01
% 102.82/103.01 Changing weight limit from 52 to 51.
% 102.82/103.01
% 102.82/103.01 Resetting weight limit to 51 after 1930 givens.
% 102.82/103.01
% 104.19/104.40
% 104.19/104.40
% 104.19/104.40 Changing weight limit from 51 to 52.
% 104.19/104.40
% 104.19/104.40 Resetting weight limit to 52 after 1960 givens.
% 104.19/104.40
% 104.57/104.72
% 104.57/104.72
% 104.57/104.72 Changing weight limit from 52 to 51.
% 104.57/104.72
% 104.57/104.72 Resetting weight limit to 51 after 1965 givens.
% 104.57/104.72
% 106.60/106.75
% 106.60/106.75
% 106.60/106.75 Changing weight limit from 51 to 52.
% 106.60/106.75
% 106.60/106.75 Resetting weight limit to 52 after 2010 givens.
% 106.60/106.75
% 107.01/107.21
% 107.01/107.21
% 107.01/107.21 Changing weight limit from 52 to 51.
% 107.01/107.21
% 107.01/107.21 Resetting weight limit to 51 after 2015 givens.
% 107.01/107.21
% 107.89/108.04
% 107.89/108.04
% 107.89/108.04 Changing weight limit from 51 to 52.
% 107.89/108.04
% 107.89/108.04 Resetting weight limit to 52 after 2030 givens.
% 107.89/108.04
% 108.48/108.67
% 108.48/108.67
% 108.48/108.67 Changing weight limit from 52 to 51.
% 108.48/108.67
% 108.48/108.67 Resetting weight limit to 51 after 2040 givens.
% 108.48/108.67
% 108.74/108.89
% 108.74/108.89
% 108.74/108.89 Changing weight limit from 51 to 52.
% 108.74/108.89
% 108.74/108.89 Resetting weight limit to 52 after 2045 givens.
% 108.74/108.89
% 108.95/109.13
% 108.95/109.13
% 108.95/109.13 Changing weight limit from 52 to 51.
% 108.95/109.13
% 108.95/109.13 Resetting weight limit to 51 after 2050 givens.
% 108.95/109.13
% 109.08/109.32
% 109.08/109.32
% 109.08/109.32 Changing weight limit from 51 to 52.
% 109.08/109.32
% 109.08/109.32 Resetting weight limit to 52 after 2055 givens.
% 109.08/109.32
% 109.32/109.49
% 109.32/109.49
% 109.32/109.49 Changing weight limit from 52 to 53.
% 109.32/109.49
% 109.32/109.49 Resetting weight limit to 53 after 2060 givens.
% 109.32/109.49
% 109.55/109.70
% 109.55/109.70
% 109.55/109.70 Changing weight limit from 53 to 54.
% 109.55/109.70
% 109.55/109.70 Resetting weight limit to 54 after 2065 givens.
% 109.55/109.70
% 110.30/110.50
% 110.30/110.50
% 110.30/110.50 Changing weight limit from 54 to 52.
% 110.30/110.50
% 110.30/110.50 Resetting weight limit to 52 after 2075 givens.
% 110.30/110.50
% 110.54/110.72
% 110.54/110.72
% 110.54/110.72 Changing weight limit from 52 to 53.
% 110.54/110.72
% 110.54/110.72 Resetting weight limit to 53 after 2080 givens.
% 110.54/110.72
% 110.82/110.98
% 110.82/110.98
% 110.82/110.98 Changing weight limit from 53 to 52.
% 110.82/110.98
% 110.82/110.98 Resetting weight limit to 52 after 2085 givens.
% 110.82/110.98
% 111.12/111.30
% 111.12/111.30
% 111.12/111.30 Changing weight limit from 52 to 53.
% 111.12/111.30
% 111.12/111.30 Resetting weight limit to 53 after 2095 givens.
% 111.12/111.30
% 111.28/111.48
% 111.28/111.48
% 111.28/111.48 Changing weight limit from 53 to 54.
% 111.28/111.48
% 111.28/111.48 Resetting weight limit to 54 after 2100 givens.
% 111.28/111.48
% 111.76/111.96
% 111.76/111.96
% 111.76/111.96 Changing weight limit from 54 to 52.
% 111.76/111.96
% 111.76/111.96 Resetting weight limit to 52 after 2105 givens.
% 111.76/111.96
% 114.99/115.15
% 114.99/115.15
% 114.99/115.15 Changing weight limit from 52 to 53.
% 114.99/115.15
% 114.99/115.15 Resetting weight limit to 53 after 2165 givens.
% 114.99/115.15
% 115.27/115.46
% 115.27/115.46
% 115.27/115.46 Changing weight limit from 53 to 52.
% 115.27/115.46
% 115.27/115.46 Resetting weight limit to 52 after 2170 givens.
% 115.27/115.46
% 115.45/115.63
% 115.45/115.63
% 115.45/115.63 Changing weight limit from 52 to 53.
% 115.45/115.63
% 115.45/115.63 Resetting weight limit to 53 after 2175 givens.
% 115.45/115.63
% 115.57/115.78
% 115.57/115.78
% 115.57/115.78 Changing weight limit from 53 to 54.
% 115.57/115.78
% 115.57/115.78 Resetting weight limit to 54 after 2180 givens.
% 115.57/115.78
% 115.85/116.03
% 115.85/116.03
% 115.85/116.03 Changing weight limit from 54 to 55.
% 115.85/116.03
% 115.85/116.03 Resetting weight limit to 55 after 2185 givens.
% 115.85/116.03
% 116.28/116.49
% 116.28/116.49
% 116.28/116.49 Changing weight limit from 55 to 52.
% 116.28/116.49
% 116.28/116.49 Resetting weight limit to 52 after 2190 givens.
% 116.28/116.49
% 123.37/123.56
% 123.37/123.56
% 123.37/123.56 Changing weight limit from 52 to 53.
% 123.37/123.56
% 123.37/123.56 Resetting weight limit to 53 after 2320 givens.
% 123.37/123.56
% 123.67/123.89
% 123.67/123.89
% 123.67/123.89 Changing weight limit from 53 to 52.
% 123.67/123.89
% 123.67/123.89 Resetting weight limit to 52 after 2325 givens.
% 123.67/123.89
% 125.54/125.70
% 125.54/125.70
% 125.54/125.70 Changing weight limit from 52 to 53.
% 125.54/125.70
% 125.54/125.70 Resetting weight limit to 53 after 2370 givens.
% 125.54/125.70
% 125.75/125.93
% 125.75/125.93
% 125.75/125.93 Changing weight limit from 53 to 54.
% 125.75/125.93
% 125.75/125.93 Resetting weight limit to 54 after 2375 givens.
% 125.75/125.93
% 125.96/126.15
% 125.96/126.15
% 125.96/126.15 Changing weight limit from 54 to 52.
% 125.96/126.15
% 125.96/126.15 Resetting weight limit to 52 after 2380 givens.
% 125.96/126.15
% 126.97/127.20
% 126.97/127.20
% 126.97/127.20 Changing weight limit from 52 to 53.
% 126.97/127.20
% 126.97/127.20 Resetting weight limit to 53 after 2400 givens.
% 126.97/127.20
% 127.37/127.55
% 127.37/127.55
% 127.37/127.55 Changing weight limit from 53 to 52.
% 127.37/127.55
% 127.37/127.55 Resetting weight limit to 52 after 2405 givens.
% 127.37/127.55
% 128.49/128.70
% 128.49/128.70
% 128.49/128.70 Changing weight limit from 52 to 53.
% 128.49/128.70
% 128.49/128.70 Resetting weight limit to 53 after 2425 givens.
% 128.49/128.70
% 128.93/129.09
% 128.93/129.09
% 128.93/129.09 Changing weight limit from 53 to 52.
% 128.93/129.09
% 128.93/129.09 Resetting weight limit to 52 after 2430 givens.
% 128.93/129.09
% 130.37/130.58
% 130.37/130.58
% 130.37/130.58 Changing weight limit from 52 to 53.
% 130.37/130.58
% 130.37/130.58 Resetting weight limit to 53 after 2445 givens.
% 130.37/130.58
% 130.55/130.77
% 130.55/130.77
% 130.55/130.77 Changing weight limit from 53 to 54.
% 130.55/130.77
% 130.55/130.77 Resetting weight limit to 54 after 2450 givens.
% 130.55/130.77
% 130.77/130.96
% 130.77/130.96
% 130.77/130.96 Changing weight limit from 54 to 55.
% 130.77/130.96
% 130.77/130.96 Resetting weight limit to 55 after 2455 givens.
% 130.77/130.96
% 131.84/132.04
% 131.84/132.04
% 131.84/132.04 Changing weight limit from 55 to 53.
% 131.84/132.04
% 131.84/132.04 Resetting weight limit to 53 after 2465 givens.
% 131.84/132.04
% 132.59/132.74
% 132.59/132.74
% 132.59/132.74 Changing weight limit from 53 to 54.
% 132.59/132.74
% 132.59/132.74 Resetting weight limit to 54 after 2480 givens.
% 132.59/132.74
% 132.97/133.19
% 132.97/133.19
% 132.97/133.19 Changing weight limit from 54 to 53.
% 132.97/133.19
% 132.97/133.19 Resetting weight limit to 53 after 2485 givens.
% 132.97/133.19
% 133.77/133.94
% 133.77/133.94
% 133.77/133.94 Changing weight limit from 53 to 54.
% 133.77/133.94
% 133.77/133.94 Resetting weight limit to 54 after 2495 givens.
% 133.77/133.94
% 134.07/134.27
% 134.07/134.27
% 134.07/134.27 Changing weight limit from 54 to 53.
% 134.07/134.27
% 134.07/134.27 Resetting weight limit to 53 after 2500 givens.
% 134.07/134.27
% 134.74/134.97
% 134.74/134.97
% 134.74/134.97 Changing weight limit from 53 to 54.
% 134.74/134.97
% 134.74/134.97 Resetting weight limit to 54 after 2510 givens.
% 134.74/134.97
% 134.97/135.14
% 134.97/135.14
% 134.97/135.14 Changing weight limit from 54 to 55.
% 134.97/135.14
% 134.97/135.14 Resetting weight limit to 55 after 2515 givens.
% 134.97/135.14
% 135.51/135.72
% 135.51/135.72
% 135.51/135.72 Changing weight limit from 55 to 53.
% 135.51/135.72
% 135.51/135.72 Resetting weight limit to 53 after 2520 givens.
% 135.51/135.72
% 136.87/137.06
% 136.87/137.06
% 136.87/137.06 Changing weight limit from 53 to 54.
% 136.87/137.06
% 136.87/137.06 Resetting weight limit to 54 after 2550 givens.
% 136.87/137.06
% 137.25/137.39
% 137.25/137.39
% 137.25/137.39 Changing weight limit from 54 to 53.
% 137.25/137.39
% 137.25/137.39 Resetting weight limit to 53 after 2555 givens.
% 137.25/137.39
% 139.60/139.75
% 139.60/139.75
% 139.60/139.75 Changing weight limit from 53 to 54.
% 139.60/139.75
% 139.60/139.75 Resetting weight limit to 54 after 2595 givens.
% 139.60/139.75
% 139.84/139.99
% 139.84/139.99
% 139.84/139.99 Changing weight limit from 54 to 53.
% 139.84/139.99
% 139.84/139.99 Resetting weight limit to 53 after 2600 givens.
% 139.84/139.99
% 144.16/144.34
% 144.16/144.34
% 144.16/144.34 Changing weight limit from 53 to 54.
% 144.16/144.34
% 144.16/144.34 Resetting weight limit to 54 after 2670 givens.
% 144.16/144.34
% 144.57/144.71
% 144.57/144.71
% 144.57/144.71 Changing weight limit from 54 to 53.
% 144.57/144.71
% 144.57/144.71 Resetting weight limit to 53 after 2675 givens.
% 144.57/144.71
% 144.96/145.13
% 144.96/145.13
% 144.96/145.13 Changing weight limit from 53 to 54.
% 144.96/145.13
% 144.96/145.13 Resetting weight limit to 54 after 2680 givens.
% 144.96/145.13
% 145.47/145.60
% 145.47/145.60
% 145.47/145.60 Changing weight limit from 54 to 53.
% 145.47/145.60
% 145.47/145.60 Resetting weight limit to 53 after 2685 givens.
% 145.47/145.60
% 146.90/147.09
% 146.90/147.09
% 146.90/147.09 Changing weight limit from 53 to 54.
% 146.90/147.09
% 146.90/147.09 Resetting weight limit to 54 after 2710 givens.
% 146.90/147.09
% 147.20/147.37
% 147.20/147.37
% 147.20/147.37 Changing weight limit from 54 to 55.
% 147.20/147.37
% 147.20/147.37 Resetting weight limit to 55 after 2715 givens.
% 147.20/147.37
% 147.57/147.73
% 147.57/147.73
% 147.57/147.73 Changing weight limit from 55 to 54.
% 147.57/147.73
% 147.57/147.73 Resetting weight limit to 54 after 2720 givens.
% 147.57/147.73
% 150.49/150.66
% 150.49/150.66
% 150.49/150.66 Changing weight limit from 54 to 55.
% 150.49/150.66
% 150.49/150.66 Resetting weight limit to 55 after 2765 givens.
% 150.49/150.66
% 151.28/151.45
% 151.28/151.45
% 151.28/151.45 Changing weight limit from 55 to 54.
% 151.28/151.45
% 151.28/151.45 Resetting weight limit to 54 after 2770 givens.
% 151.28/151.45
% 152.70/152.89
% 152.70/152.89
% 152.70/152.89 Changing weight limit from 54 to 53.
% 152.70/152.89
% 152.70/152.89 Resetting weight limit to 53 after 2790 givens.
% 152.70/152.89
% 153.00/153.14
% 153.00/153.14
% 153.00/153.14 Changing weight limit from 53 to 54.
% 153.00/153.14
% 153.00/153.14 Resetting weight limit to 54 after 2795 givens.
% 153.00/153.14
% 153.60/153.78
% 153.60/153.78
% 153.60/153.78 Changing weight limit from 54 to 53.
% 153.60/153.78
% 153.60/153.78 Resetting weight limit to 53 after 2800 givens.
% 153.60/153.78
% 155.79/155.92
% 155.79/155.92
% 155.79/155.92 Changing weight limit from 53 to 54.
% 155.79/155.92
% 155.79/155.92 Resetting weight limit to 54 after 2835 givens.
% 155.79/155.92
% 156.07/156.22
% 156.07/156.22
% 156.07/156.22 Changing weight limit from 54 to 53.
% 156.07/156.22
% 156.07/156.22 Resetting weight limit to 53 after 2840 givens.
% 156.07/156.22
% 156.24/156.43
% 156.24/156.43
% 156.24/156.43 Changing weight limit from 53 to 54.
% 156.24/156.43
% 156.24/156.43 Resetting weight limit to 54 after 2845 givens.
% 156.24/156.43
% 157.00/157.19
% 157.00/157.19
% 157.00/157.19 Changing weight limit from 54 to 53.
% 157.00/157.19
% 157.00/157.19 Resetting weight limit to 53 after 2855 givens.
% 157.00/157.19
% 157.60/157.80
% 157.60/157.80
% 157.60/157.80 Changing weight limit from 53 to 54.
% 157.60/157.80
% 157.60/157.80 Resetting weight limit to 54 after 2865 givens.
% 157.60/157.80
% 157.88/158.06
% 157.88/158.06
% 157.88/158.06 Changing weight limit from 54 to 55.
% 157.88/158.06
% 157.88/158.06 Resetting weight limit to 55 after 2870 givens.
% 157.88/158.06
% 158.79/158.98
% 158.79/158.98
% 158.79/158.98 Changing weight limit from 55 to 54.
% 158.79/158.98
% 158.79/158.98 Resetting weight limit to 54 after 2880 givens.
% 158.79/158.98
% 159.45/159.58
% 159.45/159.58
% 159.45/159.58 Changing weight limit from 54 to 55.
% 159.45/159.58
% 159.45/159.58 Resetting weight limit to 55 after 2890 givens.
% 159.45/159.58
% 159.58/159.77
% 159.58/159.77
% 159.58/159.77 Changing weight limit from 55 to 56.
% 159.58/159.77
% 159.58/159.77 Resetting weight limit to 56 after 2895 givens.
% 159.58/159.77
% 159.94/160.09
% 159.94/160.09
% 159.94/160.09 Changing weight limit from 56 to 57.
% 159.94/160.09
% 159.94/160.09 Resetting weight limit to 57 after 2900 givens.
% 159.94/160.09
% 160.33/160.48
% 160.33/160.48
% 160.33/160.48 Changing weight limit from 57 to 56.
% 160.33/160.48
% 160.33/160.48 Resetting weight limit to 56 after 2905 givens.
% 160.33/160.48
% 161.09/161.29
% 161.09/161.29
% 161.09/161.29 Changing weight limit from 56 to 55.
% 161.09/161.29
% 161.09/161.29 Resetting weight limit to 55 after 2915 givens.
% 161.09/161.29
% 161.39/161.56
% 161.39/161.56
% 161.39/161.56 Changing weight limit from 55 to 54.
% 161.39/161.56
% 161.39/161.56 Resetting weight limit to 54 after 2920 givens.
% 161.39/161.56
% 161.86/162.06
% 161.86/162.06
% 161.86/162.06 Changing weight limit from 54 to 55.
% 161.86/162.06
% 161.86/162.06 Resetting weight limit to 55 after 2930 givens.
% 161.86/162.06
% 162.17/162.34
% 162.17/162.34
% 162.17/162.34 Changing weight limit from 55 to 54.
% 162.17/162.34
% 162.17/162.34 Resetting weight limit to 54 after 2935 givens.
% 162.17/162.34
% 162.96/163.15
% 162.96/163.15
% 162.96/163.15 Changing weight limit from 54 to 55.
% 162.96/163.15
% 162.96/163.15 Resetting weight limit to 55 after 2950 givens.
% 162.96/163.15
% 163.35/163.50
% 163.35/163.50
% 163.35/163.50 Changing weight limit from 55 to 54.
% 163.35/163.50
% 163.35/163.50 Resetting weight limit to 54 after 2955 givens.
% 163.35/163.50
% 170.25/170.45
% 170.25/170.45
% 170.25/170.45 Changing weight limit from 54 to 55.
% 170.25/170.45
% 170.25/170.45 Resetting weight limit to 55 after 3045 givens.
% 170.25/170.45
% 170.55/170.76
% 170.55/170.76
% 170.55/170.76 Changing weight limit from 55 to 54.
% 170.55/170.76
% 170.55/170.76 Resetting weight limit to 54 after 3050 givens.
% 170.55/170.76
% 172.78/172.97
% 172.78/172.97
% 172.78/172.97 Changing weight limit from 54 to 55.
% 172.78/172.97
% 172.78/172.97 Resetting weight limit to 55 after 3080 givens.
% 172.78/172.97
% 173.27/173.45
% 173.27/173.45
% 173.27/173.45 Changing weight limit from 55 to 54.
% 173.27/173.45
% 173.27/173.45 Resetting weight limit to 54 after 3085 givens.
% 173.27/173.45
% 175.58/175.72
% 175.58/175.72
% 175.58/175.72 Changing weight limit from 54 to 55.
% 175.58/175.72
% 175.58/175.72 Resetting weight limit to 55 after 3125 givens.
% 175.58/175.72
% 176.15/176.29
% 176.15/176.29
% 176.15/176.29 Changing weight limit from 55 to 54.
% 176.15/176.29
% 176.15/176.29 Resetting weight limit to 54 after 3130 givens.
% 176.15/176.29
% 176.76/176.90
% 176.76/176.90
% 176.76/176.90 Changing weight limit from 54 to 55.
% 176.76/176.90
% 176.76/176.90 Resetting weight limit to 55 after 3135 givens.
% 176.76/176.90
% 177.19/177.32
% 177.19/177.32
% 177.19/177.32 Changing weight limit from 55 to 54.
% 177.19/177.32
% 177.19/177.32 Resetting weight limit to 54 after 3140 givens.
% 177.19/177.32
% 177.37/177.56
% 177.37/177.56
% 177.37/177.56 Changing weight limit from 54 to 55.
% 177.37/177.56
% 177.37/177.56 Resetting weight limit to 55 after 3145 givens.
% 177.37/177.56
% 177.80/177.94
% 177.80/177.94
% 177.80/177.94 Changing weight limit from 55 to 56.
% 177.80/177.94
% 177.80/177.94 Resetting weight limit to 56 after 3150 givens.
% 177.80/177.94
% 178.25/178.44
% 178.25/178.44
% 178.25/178.44 Changing weight limit from 56 to 54.
% 178.25/178.44
% 178.25/178.44 Resetting weight limit to 54 after 3155 givens.
% 178.25/178.44
% 178.63/178.78
% 178.63/178.78
% 178.63/178.78 Changing weight limit from 54 to 55.
% 178.63/178.78
% 178.63/178.78 Resetting weight limit to 55 after 3160 givens.
% 178.63/178.78
% 179.15/179.30
% 179.15/179.30
% 179.15/179.30 Changing weight limit from 55 to 54.
% 179.15/179.30
% 179.15/179.30 Resetting weight limit to 54 after 3165 givens.
% 179.15/179.30
% 179.46/179.65
% 179.46/179.65
% 179.46/179.65 Changing weight limit from 54 to 55.
% 179.46/179.65
% 179.46/179.65 Resetting weight limit to 55 after 3170 givens.
% 179.46/179.65
% 179.99/180.12
% 179.99/180.12
% 179.99/180.12 Changing weight limit from 55 to 56.
% 179.99/180.12
% 179.99/180.12 Resetting weight limit to 56 after 3175 givens.
% 179.99/180.12
% 180.37/180.57
% 180.37/180.57
% 180.37/180.57 Changing weight limit from 56 to 55.
% 180.37/180.57
% 180.37/180.57 Resetting weight limit to 55 after 3180 givens.
% 180.37/180.57
% 181.08/181.23
% 181.08/181.23
% 181.08/181.23 Changing weight limit from 55 to 54.
% 181.08/181.23
% 181.08/181.23 Resetting weight limit to 54 after 3185 givens.
% 181.08/181.23
% 181.38/181.52
% 181.38/181.52
% 181.38/181.52 Changing weight limit from 54 to 55.
% 181.38/181.52
% 181.38/181.52 Resetting weight limit to 55 after 3190 givens.
% 181.38/181.52
% 181.68/181.82
% 181.68/181.82
% 181.68/181.82 Changing weight limit from 55 to 56.
% 181.68/181.82
% 181.68/181.82 Resetting weight limit to 56 after 3195 givens.
% 181.68/181.82
% 181.90/182.09
% 181.90/182.09
% 181.90/182.09 Changing weight limit from 56 to 55.
% 181.90/182.09
% 181.90/182.09 Resetting weight limit to 55 after 3200 givens.
% 181.90/182.09
% 183.49/183.64
% 183.49/183.64
% 183.49/183.64 Changing weight limit from 55 to 56.
% 183.49/183.64
% 183.49/183.64 Resetting weight limit to 56 after 3215 givens.
% 183.49/183.64
% 183.77/183.94
% 183.77/183.94
% 183.77/183.94 Changing weight limit from 56 to 55.
% 183.77/183.94
% 183.77/183.94 Resetting weight limit to 55 after 3220 givens.
% 183.77/183.94
% 184.18/184.40
% 184.18/184.40
% 184.18/184.40 Changing weight limit from 55 to 56.
% 184.18/184.40
% 184.18/184.40 Resetting weight limit to 56 after 3225 givens.
% 184.18/184.40
% 184.58/184.73
% 184.58/184.73
% 184.58/184.73 Changing weight limit from 56 to 55.
% 184.58/184.73
% 184.58/184.73 Resetting weight limit to 55 after 3230 givens.
% 184.58/184.73
% 189.80/189.97
% 189.80/189.97
% 189.80/189.97 Changing weight limit from 55 to 56.
% 189.80/189.97
% 189.80/189.97 Resetting weight limit to 56 after 3290 givens.
% 189.80/189.97
% 190.10/190.30
% 190.10/190.30
% 190.10/190.30 Changing weight limit from 56 to 55.
% 190.10/190.30
% 190.10/190.30 Resetting weight limit to 55 after 3295 givens.
% 190.10/190.30
% 190.68/190.87
% 190.68/190.87
% 190.68/190.87 Changing weight limit from 55 to 56.
% 190.68/190.87
% 190.68/190.87 Resetting weight limit to 56 after 3305 givens.
% 190.68/190.87
% 191.08/191.25
% 191.08/191.25
% 191.08/191.25 Changing weight limit from 56 to 54.
% 191.08/191.25
% 191.08/191.25 Resetting weight limit to 54 after 3310 givens.
% 191.08/191.25
% 191.48/191.61
% 191.48/191.61
% 191.48/191.61 Changing weight limit from 54 to 55.
% 191.48/191.61
% 191.48/191.61 Resetting weight limit to 55 after 3315 givens.
% 191.48/191.61
% 192.40/192.59
% 192.40/192.59
% 192.40/192.59 Changing weight limit from 55 to 56.
% 192.40/192.59
% 192.40/192.59 Resetting weight limit to 56 after 3330 givens.
% 192.40/192.59
% 192.70/192.91
% 192.70/192.91
% 192.70/192.91 Changing weight limit from 56 to 55.
% 192.70/192.91
% 192.70/192.91 Resetting weight limit to 55 after 3335 givens.
% 192.70/192.91
% 197.96/198.13
% 197.96/198.13
% 197.96/198.13 Changing weight limit from 55 to 54.
% 197.96/198.13
% 197.96/198.13 Resetting weight limit to 54 after 3400 givens.
% 197.96/198.13
% 198.27/198.45
% 198.27/198.45
% 198.27/198.45 Changing weight limit from 54 to 55.
% 198.27/198.45
% 198.27/198.45 Resetting weight limit to 55 after 3405 givens.
% 198.27/198.45
% 198.57/198.76
% 198.57/198.76
% 198.57/198.76 Changing weight limit from 55 to 56.
% 198.57/198.76
% 198.57/198.76 Resetting weight limit to 56 after 3410 givens.
% 198.57/198.76
% 199.09/199.27
% 199.09/199.27
% 199.09/199.27 Changing weight limit from 56 to 55.
% 199.09/199.27
% 199.09/199.27 Resetting weight limit to 55 after 3415 givens.
% 199.09/199.27
% 200.96/201.13
% 200.96/201.13
% 200.96/201.13 Changing weight limit from 55 to 54.
% 200.96/201.13
% 200.96/201.13 Resetting weight limit to 54 after 3435 givens.
% 200.96/201.13
% 201.56/201.75
% 201.56/201.75
% 201.56/201.75 Changing weight limit from 54 to 55.
% 201.56/201.75
% 201.56/201.75 Resetting weight limit to 55 after 3445 givens.
% 201.56/201.75
% 202.17/202.35
% 202.17/202.35
% 202.17/202.35 Changing weight limit from 55 to 56.
% 202.17/202.35
% 202.17/202.35 Resetting weight limit to 56 after 3455 givens.
% 202.17/202.35
% 203.25/203.40
% 203.25/203.40
% 203.25/203.40 Changing weight limit from 56 to 55.
% 203.25/203.40
% 203.25/203.40 Resetting weight limit to 55 after 3465 givens.
% 203.25/203.40
% 203.49/203.66
% 203.49/203.66
% 203.49/203.66 Changing weight limit from 55 to 56.
% 203.49/203.66
% 203.49/203.66 Resetting weight limit to 56 after 3470 givens.
% 203.49/203.66
% 203.81/203.96
% 203.81/203.96
% 203.81/203.96 Changing weight limit from 56 to 57.
% 203.81/203.96
% 203.81/203.96 Resetting weight limit to 57 after 3475 givens.
% 203.81/203.96
% 204.61/204.74
% 204.61/204.74
% 204.61/204.74 Changing weight limit from 57 to 58.
% 204.61/204.74
% 204.61/204.74 Resetting weight limit to 58 after 3480 givens.
% 204.61/204.74
% 206.48/206.67
% 206.48/206.67
% 206.48/206.67 Changing weight limit from 58 to 56.
% 206.48/206.67
% 206.48/206.67 Resetting weight limit to 56 after 3485 givens.
% 206.48/206.67
% 209.17/209.36
% 209.17/209.36
% 209.17/209.36 Changing weight limit from 56 to 55.
% 209.17/209.36
% 209.17/209.36 Resetting weight limit to 55 after 3515 givens.
% 209.17/209.36
% 210.07/210.22
% 210.07/210.22
% 210.07/210.22 Changing weight limit from 55 to 56.
% 210.07/210.22
% 210.07/210.22 Resetting weight limit to 56 after 3520 givens.
% 210.07/210.22
% 210.44/210.57
% 210.44/210.57
% 210.44/210.57 Changing weight limit from 56 to 55.
% 210.44/210.57
% 210.44/210.57 Resetting weight limit to 55 after 3525 givens.
% 210.44/210.57
% 211.07/211.21
% 211.07/211.21
% 211.07/211.21 Changing weight limit from 55 to 56.
% 211.07/211.21
% 211.07/211.21 Resetting weight limit to 56 after 3535 givens.
% 211.07/211.21
% 211.64/211.76
% 211.64/211.76
% 211.64/211.76 Changing weight limit from 56 to 54.
% 211.64/211.76
% 211.64/211.76 Resetting weight limit to 54 after 3540 givens.
% 211.64/211.76
% 212.25/212.40
% 212.25/212.40
% 212.25/212.40 Changing weight limit from 54 to 55.
% 212.25/212.40
% 212.25/212.40 Resetting weight limit to 55 after 3550 givens.
% 212.25/212.40
% 212.39/212.60
% 212.39/212.60
% 212.39/212.60 Changing weight limit from 55 to 56.
% 212.39/212.60
% 212.39/212.60 Resetting weight limit to 56 after 3555 givens.
% 212.39/212.60
% 212.77/212.94
% 212.77/212.94
% 212.77/212.94 Changing weight limit from 56 to 57.
% 212.77/212.94
% 212.77/212.94 Resetting weight limit to 57 after 3560 givens.
% 212.77/212.94
% 213.18/213.32
% 213.18/213.32
% 213.18/213.32 Changing weight limit from 57 to 58.
% 213.18/213.32
% 213.18/213.32 Resetting weight limit to 58 after 3565 givens.
% 213.18/213.32
% 213.84/214.04
% 213.84/214.04
% 213.84/214.04 Changing weight limit from 58 to 56.
% 213.84/214.04
% 213.84/214.04 Resetting weight limit to 56 after 3570 givens.
% 213.84/214.04
% 214.91/215.04
% 214.91/215.04
% 214.91/215.04 Changing weight limit from 56 to 57.
% 214.91/215.04
% 214.91/215.04 Resetting weight limit to 57 after 3585 givens.
% 214.91/215.04
% 215.28/215.47
% 215.28/215.47
% 215.28/215.47 Changing weight limit from 57 to 56.
% 215.28/215.47
% 215.28/215.47 Resetting weight limit to 56 after 3590 givens.
% 215.28/215.47
% 218.11/218.30
% 218.11/218.30
% 218.11/218.30 Changing weight limit from 56 to 57.
% 218.11/218.30
% 218.11/218.30 Resetting weight limit to 57 after 3620 givens.
% 218.11/218.30
% 218.48/218.66
% 218.48/218.66
% 218.48/218.66 Changing weight limit from 57 to 56.
% 218.48/218.66
% 218.48/218.66 Resetting weight limit to 56 after 3625 givens.
% 218.48/218.66
% 218.78/218.95
% 218.78/218.95
% 218.78/218.95 Changing weight limit from 56 to 57.
% 218.78/218.95
% 218.78/218.95 Resetting weight limit to 57 after 3630 givens.
% 218.78/218.95
% 219.09/219.23
% 219.09/219.23
% 219.09/219.23 Changing weight limit from 57 to 58.
% 219.09/219.23
% 219.09/219.23 Resetting weight limit to 58 after 3635 givens.
% 219.09/219.23
% 220.37/220.50
% 220.37/220.50
% 220.37/220.50 Changing weight limit from 58 to 56.
% 220.37/220.50
% 220.37/220.50 Resetting weight limit to 56 after 3645 givens.
% 220.37/220.50
% 221.31/221.45
% 221.31/221.45
% 221.31/221.45 Changing weight limit from 56 to 57.
% 221.31/221.45
% 221.31/221.45 Resetting weight limit to 57 after 3660 givens.
% 221.31/221.45
% 221.61/221.81
% 221.61/221.81
% 221.61/221.81 Changing weight limit from 57 to 56.
% 221.61/221.81
% 221.61/221.81 Resetting weight limit to 56 after 3665 givens.
% 221.61/221.81
% 223.67/223.87
% 223.67/223.87
% 223.67/223.87 Changing weight limit from 56 to 57.
% 223.67/223.87
% 223.67/223.87 Resetting weight limit to 57 after 3690 givens.
% 223.67/223.87
% 224.19/224.35
% 224.19/224.35
% 224.19/224.35 Changing weight limit from 57 to 56.
% 224.19/224.35
% 224.19/224.35 Resetting weight limit to 56 after 3695 givens.
% 224.19/224.35
% 235.82/235.97
% 235.82/235.97
% 235.82/235.97 Changing weight limit from 56 to 57.
% 235.82/235.97
% 235.82/235.97 Resetting weight limit to 57 after 3805 givens.
% 235.82/235.97
% 236.26/236.44
% 236.26/236.44
% 236.26/236.44 Changing weight limit from 57 to 56.
% 236.26/236.44
% 236.26/236.44 Resetting weight limit to 56 after 3810 givens.
% 236.26/236.44
% 240.34/240.48
% 240.34/240.48
% 240.34/240.48 Changing weight limit from 56 to 57.
% 240.34/240.48
% 240.34/240.48 Resetting weight limit to 57 after 3860 givens.
% 240.34/240.48
% 240.65/240.84
% 240.65/240.84
% 240.65/240.84 Changing weight limit from 57 to 56.
% 240.65/240.84
% 240.65/240.84 Resetting weight limit to 56 after 3865 givens.
% 240.65/240.84
% 240.98/241.13
% 240.98/241.13
% 240.98/241.13 Changing weight limit from 56 to 57.
% 240.98/241.13
% 240.98/241.13 Resetting weight limit to 57 after 3870 givens.
% 240.98/241.13
% 241.30/241.47
% 241.30/241.47
% 241.30/241.47 Changing weight limit from 57 to 56.
% 241.30/241.47
% 241.30/241.47 Resetting weight limit to 56 after 3875 givens.
% 241.30/241.47
% 243.01/243.13
% 243.01/243.13
% 243.01/243.13 Changing weight limit from 56 to 57.
% 243.01/243.13
% 243.01/243.13 Resetting weight limit to 57 after 3895 givens.
% 243.01/243.13
% 248.97/249.10
% 248.97/249.10
% 248.97/249.10 Changing weight limit from 57 to 58.
% 248.97/249.10
% 248.97/249.10 Resetting weight limit to 58 after 3960 givens.
% 248.97/249.10
% 249.37/249.51
% 249.37/249.51
% 249.37/249.51 Changing weight limit from 58 to 57.
% 249.37/249.51
% 249.37/249.51 Resetting weight limit to 57 after 3965 givens.
% 249.37/249.51
% 252.12/252.26
% 252.12/252.26
% 252.12/252.26 Changing weight limit from 57 to 58.
% 252.12/252.26
% 252.12/252.26 Resetting weight limit to 58 after 3985 givens.
% 252.12/252.26
% 253.14/253.25
% 253.14/253.25
% 253.14/253.25 Changing weight limit from 58 to 57.
% 253.14/253.25
% 253.14/253.25 Resetting weight limit to 57 after 3990 givens.
% 253.14/253.25
% 257.21/257.35
% 257.21/257.35
% 257.21/257.35 Changing weight limit from 57 to 56.
% 257.21/257.35
% 257.21/257.35 Resetting weight limit to 56 after 4030 givens.
% 257.21/257.35
% 257.60/257.71
% 257.60/257.71
% 257.60/257.71 Changing weight limit from 56 to 57.
% 257.60/257.71
% 257.60/257.71 Resetting weight limit to 57 after 4035 givens.
% 257.60/257.71
% 257.95/258.07
% 257.95/258.07
% 257.95/258.07 Changing weight limit from 57 to 58.
% 257.95/258.07
% 257.95/258.07 Resetting weight limit to 58 after 4040 givens.
% 257.95/258.07
% 258.53/258.71
% 258.53/258.71
% 258.53/258.71 Changing weight limit from 58 to 59.
% 258.53/258.71
% 258.53/258.71 Resetting weight limit to 59 after 4045 givens.
% 258.53/258.71
% 259.37/259.51
% 259.37/259.51
% 259.37/259.51 Changing weight limit from 59 to 58.
% 259.37/259.51
% 259.37/259.51 Resetting weight limit to 58 after 4050 givens.
% 259.37/259.51
% 259.93/260.06
% 259.93/260.06
% 259.93/260.06 Changing weight limit from 58 to 57.
% 259.93/260.06
% 259.93/260.06 Resetting weight limit to 57 after 4055 givens.
% 259.93/260.06
% 261.44/261.57
% 261.44/261.57
% 261.44/261.57 Changing weight limit from 57 to 58.
% 261.44/261.57
% 261.44/261.57 Resetting weight limit to 58 after 4070 givens.
% 261.44/261.57
% 261.93/262.11
% 261.93/262.11
% 261.93/262.11 Changing weight limit from 58 to 57.
% 261.93/262.11
% 261.93/262.11 Resetting weight limit to 57 after 4075 givens.
% 261.93/262.11
% 262.21/262.37
% 262.21/262.37
% 262.21/262.37 Changing weight limit from 57 to 58.
% 262.21/262.37
% 262.21/262.37 Resetting weight limit to 58 after 4080 givens.
% 262.21/262.37
% 262.67/262.84
% 262.67/262.84
% 262.67/262.84 Changing weight limit from 58 to 57.
% 262.67/262.84
% 262.67/262.84 Resetting weight limit to 57 after 4085 givens.
% 262.67/262.84
% 263.95/264.11
% 263.95/264.11
% 263.95/264.11 Changing weight limit from 57 to 58.
% 263.95/264.11
% 263.95/264.11 Resetting weight limit to 58 after 4100 givens.
% 263.95/264.11
% 264.65/264.77
% 264.65/264.77
% 264.65/264.77 Changing weight limit from 58 to 57.
% 264.65/264.77
% 264.65/264.77 Resetting weight limit to 57 after 4105 givens.
% 264.65/264.77
% 265.24/265.36
% 265.24/265.36
% 265.24/265.36 Changing weight limit from 57 to 58.
% 265.24/265.36
% 265.24/265.36 Resetting weight limit to 58 after 4115 givens.
% 265.24/265.36
% 266.07/266.19
% 266.07/266.19
% 266.07/266.19 Changing weight limit from 58 to 57.
% 266.07/266.19
% 266.07/266.19 Resetting weight limit to 57 after 4120 givens.
% 266.07/266.19
% 267.07/267.19
% 267.07/267.19
% 267.07/267.19 Changing weight limit from 57 to 58.
% 267.07/267.19
% 267.07/267.19 Resetting weight limit to 58 after 4130 givens.
% 267.07/267.19
% 267.55/267.72
% 267.55/267.72
% 267.55/267.72 Changing weight limit from 58 to 57.
% 267.55/267.72
% 267.55/267.72 Resetting weight limit to 57 after 4135 givens.
% 267.55/267.72
% 269.47/269.59
% 269.47/269.59
% 269.47/269.59 Changing weight limit from 57 to 58.
% 269.47/269.59
% 269.47/269.59 Resetting weight limit to 58 after 4160 givens.
% 269.47/269.59
% 269.69/269.87
% 269.69/269.87
% 269.69/269.87 Changing weight limit from 58 to 59.
% 269.69/269.87
% 269.69/269.87 Resetting weight limit to 59 after 4165 givens.
% 269.69/269.87
% 270.14/270.26
% 270.14/270.26
% 270.14/270.26 Changing weight limit from 59 to 60.
% 270.14/270.26
% 270.14/270.26 Resetting weight limit to 60 after 4170 givens.
% 270.14/270.26
% 273.82/274.00
% 273.82/274.00
% 273.82/274.00 Changing weight limit from 60 to 58.
% 273.82/274.00
% 273.82/274.00 Resetting weight limit to 58 after 4195 givens.
% 273.82/274.00
% 283.20/283.32
% 283.20/283.32
% 283.20/283.32 Changing weight limit from 58 to 59.
% 283.20/283.32
% 283.20/283.32 Resetting weight limit to 59 after 4270 givens.
% 283.20/283.32
% 283.51/283.69
% 283.51/283.69
% 283.51/283.69 Changing weight limit from 59 to 60.
% 283.51/283.69
% 283.51/283.69 Resetting weight limit to 60 after 4275 givens.
% 283.51/283.69
% 286.18/286.31
% 286.18/286.31
% 286.18/286.31 Changing weight limit from 60 to 58.
% 286.18/286.31
% 286.18/286.31 Resetting weight limit to 58 after 4295 givens.
% 286.18/286.31
% 294.26/294.41
% 294.26/294.41
% 294.26/294.41 Changing weight limit from 58 to 59.
% 294.26/294.41
% 294.26/294.41 Resetting weight limit to 59 after 4390 givens.
% 294.26/294.41
% 294.56/294.75
% 294.56/294.75
% 294.56/294.75 Changing weight limit from 59 to 60.
% 294.56/294.75
% 294.56/294.75 Resetting weight limit to 60 after 4395 givens.
% 294.56/294.75
% 295.44/295.58
% 295.44/295.58
% 295.44/295.58 Changing weight limit from 60 to 58.
% 295.44/295.58
% 295.44/295.58 Resetting weight limit to 58 after 4400 givens.
% 295.44/295.58
% 298.50/298.62
% 298.50/298.62
% 298.50/298.62 Changing weight limit from 58 to 59.
% 298.50/298.62
% 298.50/298.62 Resetting weight limit to 59 after 4430 givens.
% 298.50/298.62
% 299.18/299.33
% 299.18/299.33
% 299.18/299.33 Changing weight limit from 59 to 60.
% 299.18/299.33
% 299.18/299.33 Resetting weight limit to 60 after 4435 givens.
% 299.18/299.33
% 300.02/300.14 Wow, sos-wrapper got a signal XCPU
%------------------------------------------------------------------------------