TSTP Solution File: SYO750+1 by SOS---2.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : SOS---2.0
% Problem : SYO750+1 : TPTP v8.1.0. Bugfixed v7.5.0.
% Transfm : none
% Format : tptp:raw
% Command : sos-script %s
% Computer : n022.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 19:50:41 EDT 2022
% Result : Timeout 294.73s 294.99s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.12 % Problem : SYO750+1 : TPTP v8.1.0. Bugfixed v7.5.0.
% 0.10/0.13 % Command : sos-script %s
% 0.13/0.34 % Computer : n022.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Fri Jul 8 22:50:56 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 sandbox on n022.cluster.edu,
% 0.13/0.36 Fri Jul 8 22:50:56 2022
% 0.13/0.36 The command was "./sos". The process ID is 21817.
% 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 formula_list(usable).
% 0.13/0.36
% 0.13/0.36 SCAN INPUT: prop=0, horn=0, equality=0, symmetry=0, max_lits=5.
% 0.13/0.36
% 0.13/0.36 This is a non-Horn set without equality. The strategy
% 0.13/0.36 will be ordered hyper_res, ur_res, unit deletion, and
% 0.13/0.36 factoring, with satellites in sos and nuclei in usable.
% 0.13/0.36
% 0.13/0.36 dependent: set(hyper_res).
% 0.13/0.36 dependent: set(factor).
% 0.13/0.36 dependent: set(unit_deletion).
% 0.13/0.36
% 0.13/0.36 ------------> process usable:
% 0.13/0.36
% 0.13/0.36 ------------> process sos:
% 0.13/0.36
% 0.13/0.36 ======= end of input processing =======
% 0.13/0.39
% 0.13/0.39 Model 1 (0.00 seconds, 0 Inserts)
% 0.13/0.39
% 0.13/0.39 Stopped by limit on number of solutions
% 0.13/0.39
% 0.13/0.39
% 0.13/0.39 -------------- Softie stats --------------
% 0.13/0.39
% 0.13/0.39 UPDATE_STOP: 300
% 0.13/0.39 SFINDER_TIME_LIMIT: 2
% 0.13/0.39 SHORT_CLAUSE_CUTOFF: 4
% 0.13/0.39 number of clauses in intial UL: 14
% 0.13/0.39 number of clauses initially in problem: 16
% 0.13/0.39 percentage of clauses intially in UL: 87
% 0.13/0.39 percentage of distinct symbols occuring in initial UL: 90
% 0.13/0.39 percent of all initial clauses that are short: 100
% 0.13/0.39 absolute distinct symbol count: 10
% 0.13/0.39 distinct predicate count: 1
% 0.13/0.39 distinct function count: 6
% 0.13/0.39 distinct constant count: 3
% 0.13/0.39
% 0.13/0.39 ---------- no more Softie stats ----------
% 0.13/0.39
% 0.13/0.39
% 0.13/0.39
% 0.13/0.39 =========== start of search ===========
% 5.44/5.68
% 5.44/5.68
% 5.44/5.68 Changing weight limit from 60 to 22.
% 5.44/5.68
% 5.44/5.68 Stopped by limit on insertions
% 5.44/5.68
% 5.44/5.68 Stopped by limit on insertions
% 5.44/5.68
% 5.44/5.68 Resetting weight limit to 22 after 90 givens.
% 5.44/5.68
% 6.03/6.28
% 6.03/6.28
% 6.03/6.28 Changing weight limit from 22 to 20.
% 6.03/6.28
% 6.03/6.28 Resetting weight limit to 20 after 95 givens.
% 6.03/6.28
% 7.23/7.46
% 7.23/7.46
% 7.23/7.46 Changing weight limit from 20 to 18.
% 7.23/7.46
% 7.23/7.46 Stopped by limit on insertions
% 7.23/7.46
% 7.23/7.46 Resetting weight limit to 18 after 100 givens.
% 7.23/7.46
% 7.62/7.86
% 7.62/7.86
% 7.62/7.86 Changing weight limit from 18 to 17.
% 7.62/7.86
% 7.62/7.86 Resetting weight limit to 17 after 105 givens.
% 7.62/7.86
% 8.54/8.78
% 8.54/8.78
% 8.54/8.78 Changing weight limit from 17 to 16.
% 8.54/8.78
% 8.54/8.78 Stopped by limit on insertions
% 8.54/8.78
% 8.54/8.78 Resetting weight limit to 16 after 110 givens.
% 8.54/8.78
% 9.03/9.22
% 9.03/9.22
% 9.03/9.22 Changing weight limit from 16 to 15.
% 9.03/9.22
% 9.03/9.22 Resetting weight limit to 15 after 120 givens.
% 9.03/9.22
% 9.12/9.36
% 9.12/9.36
% 9.12/9.36 Changing weight limit from 15 to 14.
% 9.12/9.36
% 9.12/9.36 Resetting weight limit to 14 after 125 givens.
% 9.12/9.36
% 9.43/9.63
% 9.43/9.63
% 9.43/9.63 Changing weight limit from 14 to 13.
% 9.43/9.63
% 9.43/9.63 Resetting weight limit to 13 after 135 givens.
% 9.43/9.63
% 9.73/9.99
% 9.73/9.99
% 9.73/9.99 Changing weight limit from 13 to 12.
% 9.73/9.99
% 9.73/9.99 Resetting weight limit to 12 after 150 givens.
% 9.73/9.99
% 10.23/10.49
% 10.23/10.49
% 10.23/10.49 Changing weight limit from 12 to 11.
% 10.23/10.49
% 10.23/10.49 Resetting weight limit to 11 after 180 givens.
% 10.23/10.49
% 15.64/15.85
% 15.64/15.85
% 15.64/15.85 Changing weight limit from 11 to 10.
% 15.64/15.85
% 15.64/15.85 Stopped by limit on insertions
% 15.64/15.85
% 15.64/15.85 Stopped by limit on insertions
% 15.64/15.85
% 15.64/15.85 Stopped by limit on insertions
% 15.64/15.85
% 15.64/15.85 Stopped by limit on insertions
% 15.64/15.85
% 15.64/15.85 Modelling stopped after 300 given clauses and 0.00 seconds
% 15.64/15.85
% 15.64/15.85
% 15.64/15.85 Resetting weight limit to 10 after 390 givens.
% 15.64/15.85
% 15.64/15.90
% 15.64/15.90
% 15.64/15.90 Changing weight limit from 10 to 11.
% 15.64/15.90
% 15.64/15.90 Resetting weight limit to 11 after 395 givens.
% 15.64/15.90
% 15.82/16.01
% 15.82/16.01
% 15.82/16.01 Changing weight limit from 11 to 10.
% 15.82/16.01
% 15.82/16.01 Resetting weight limit to 10 after 405 givens.
% 15.82/16.01
% 15.82/16.03
% 15.82/16.03
% 15.82/16.03 Changing weight limit from 10 to 11.
% 15.82/16.03
% 15.82/16.03 Resetting weight limit to 11 after 410 givens.
% 15.82/16.03
% 16.04/16.24
% 16.04/16.24
% 16.04/16.24 Changing weight limit from 11 to 10.
% 16.04/16.24
% 16.04/16.24 Resetting weight limit to 10 after 425 givens.
% 16.04/16.24
% 16.12/16.30
% 16.12/16.30
% 16.12/16.30 Changing weight limit from 10 to 11.
% 16.12/16.30
% 16.12/16.30 Resetting weight limit to 11 after 430 givens.
% 16.12/16.30
% 16.24/16.44
% 16.24/16.44
% 16.24/16.44 Changing weight limit from 11 to 10.
% 16.24/16.44
% 16.24/16.44 Resetting weight limit to 10 after 435 givens.
% 16.24/16.44
% 16.33/16.51
% 16.33/16.51
% 16.33/16.51 Changing weight limit from 10 to 11.
% 16.33/16.51
% 16.33/16.51 Resetting weight limit to 11 after 445 givens.
% 16.33/16.51
% 16.40/16.61
% 16.40/16.61
% 16.40/16.61 Changing weight limit from 11 to 10.
% 16.40/16.61
% 16.40/16.61 Resetting weight limit to 10 after 450 givens.
% 16.40/16.61
% 16.40/16.63
% 16.40/16.63
% 16.40/16.63 Changing weight limit from 10 to 11.
% 16.40/16.63
% 16.40/16.63 Resetting weight limit to 11 after 455 givens.
% 16.40/16.63
% 16.50/16.70
% 16.50/16.70
% 16.50/16.70 Changing weight limit from 11 to 10.
% 16.50/16.70
% 16.50/16.70 Resetting weight limit to 10 after 465 givens.
% 16.50/16.70
% 16.54/16.75
% 16.54/16.75
% 16.54/16.75 Changing weight limit from 10 to 11.
% 16.54/16.75
% 16.54/16.75 Resetting weight limit to 11 after 470 givens.
% 16.54/16.75
% 16.71/16.92
% 16.71/16.92
% 16.71/16.92 Changing weight limit from 11 to 10.
% 16.71/16.92
% 16.71/16.92 Resetting weight limit to 10 after 480 givens.
% 16.71/16.92
% 17.32/17.58
% 17.32/17.58
% 17.32/17.58 Changing weight limit from 10 to 11.
% 17.32/17.58
% 17.32/17.58 Resetting weight limit to 11 after 525 givens.
% 17.32/17.58
% 17.82/18.03
% 17.82/18.03
% 17.82/18.03 Changing weight limit from 11 to 10.
% 17.82/18.03
% 17.82/18.03 Resetting weight limit to 10 after 550 givens.
% 17.82/18.03
% 18.73/18.96
% 18.73/18.96
% 18.73/18.96 Changing weight limit from 10 to 11.
% 18.73/18.96
% 18.73/18.96 Resetting weight limit to 11 after 645 givens.
% 18.73/18.96
% 18.81/19.06
% 18.81/19.06
% 18.81/19.06 Changing weight limit from 11 to 10.
% 18.81/19.06
% 18.81/19.06 Resetting weight limit to 10 after 650 givens.
% 18.81/19.06
% 19.03/19.25
% 19.03/19.25
% 19.03/19.25 Changing weight limit from 10 to 11.
% 19.03/19.25
% 19.03/19.25 Resetting weight limit to 11 after 665 givens.
% 19.03/19.25
% 19.25/19.46
% 19.25/19.46
% 19.25/19.46 Changing weight limit from 11 to 10.
% 19.25/19.46
% 19.25/19.46 Resetting weight limit to 10 after 675 givens.
% 19.25/19.46
% 22.63/22.83
% 22.63/22.83
% 22.63/22.83 Changing weight limit from 10 to 11.
% 22.63/22.83
% 22.63/22.83 Resetting weight limit to 11 after 990 givens.
% 22.63/22.83
% 22.70/22.92
% 22.70/22.92
% 22.70/22.92 Changing weight limit from 11 to 10.
% 22.70/22.92
% 22.70/22.92 Resetting weight limit to 10 after 995 givens.
% 22.70/22.92
% 22.94/23.19
% 22.94/23.19
% 22.94/23.19 Changing weight limit from 10 to 11.
% 22.94/23.19
% 22.94/23.19 Resetting weight limit to 11 after 1010 givens.
% 22.94/23.19
% 23.09/23.28
% 23.09/23.28
% 23.09/23.28 Changing weight limit from 11 to 10.
% 23.09/23.28
% 23.09/23.28 Resetting weight limit to 10 after 1015 givens.
% 23.09/23.28
% 23.15/23.36
% 23.15/23.36
% 23.15/23.36 Changing weight limit from 10 to 11.
% 23.15/23.36
% 23.15/23.36 Resetting weight limit to 11 after 1020 givens.
% 23.15/23.36
% 23.24/23.47
% 23.24/23.47
% 23.24/23.47 Changing weight limit from 11 to 10.
% 23.24/23.47
% 23.24/23.47 Resetting weight limit to 10 after 1025 givens.
% 23.24/23.47
% 23.32/23.58
% 23.32/23.58
% 23.32/23.58 Changing weight limit from 10 to 11.
% 23.32/23.58
% 23.32/23.58 Resetting weight limit to 11 after 1030 givens.
% 23.32/23.58
% 23.45/23.67
% 23.45/23.67
% 23.45/23.67 Changing weight limit from 11 to 10.
% 23.45/23.67
% 23.45/23.67 Resetting weight limit to 10 after 1035 givens.
% 23.45/23.67
% 23.60/23.80
% 23.60/23.80
% 23.60/23.80 Changing weight limit from 10 to 11.
% 23.60/23.80
% 23.60/23.80 Resetting weight limit to 11 after 1045 givens.
% 23.60/23.80
% 23.75/23.94
% 23.75/23.94
% 23.75/23.94 Changing weight limit from 11 to 10.
% 23.75/23.94
% 23.75/23.94 Resetting weight limit to 10 after 1050 givens.
% 23.75/23.94
% 25.50/25.69
% 25.50/25.69
% 25.50/25.69 Changing weight limit from 10 to 11.
% 25.50/25.69
% 25.50/25.69 Resetting weight limit to 11 after 1155 givens.
% 25.50/25.69
% 26.23/26.41
% 26.23/26.41
% 26.23/26.41 Changing weight limit from 11 to 10.
% 26.23/26.41
% 26.23/26.41 Resetting weight limit to 10 after 1180 givens.
% 26.23/26.41
% 26.23/26.48
% 26.23/26.48
% 26.23/26.48 Changing weight limit from 10 to 11.
% 26.23/26.48
% 26.23/26.48 Resetting weight limit to 11 after 1185 givens.
% 26.23/26.48
% 26.41/26.60
% 26.41/26.60
% 26.41/26.60 Changing weight limit from 11 to 10.
% 26.41/26.60
% 26.41/26.60 Resetting weight limit to 10 after 1190 givens.
% 26.41/26.60
% 26.75/27.01
% 26.75/27.01
% 26.75/27.01 Changing weight limit from 10 to 11.
% 26.75/27.01
% 26.75/27.01 Resetting weight limit to 11 after 1215 givens.
% 26.75/27.01
% 26.85/27.09
% 26.85/27.09
% 26.85/27.09 Changing weight limit from 11 to 10.
% 26.85/27.09
% 26.85/27.09 Resetting weight limit to 10 after 1220 givens.
% 26.85/27.09
% 26.91/27.13
% 26.91/27.13
% 26.91/27.13 Changing weight limit from 10 to 11.
% 26.91/27.13
% 26.91/27.13 Resetting weight limit to 11 after 1225 givens.
% 26.91/27.13
% 27.43/27.65
% 27.43/27.65
% 27.43/27.65 Changing weight limit from 11 to 10.
% 27.43/27.65
% 27.43/27.65 Resetting weight limit to 10 after 1270 givens.
% 27.43/27.65
% 27.94/28.15
% 27.94/28.15
% 27.94/28.15 Changing weight limit from 10 to 11.
% 27.94/28.15
% 27.94/28.15 Resetting weight limit to 11 after 1290 givens.
% 27.94/28.15
% 28.23/28.42
% 28.23/28.42
% 28.23/28.42 Changing weight limit from 11 to 10.
% 28.23/28.42
% 28.23/28.42 Resetting weight limit to 10 after 1300 givens.
% 28.23/28.42
% 28.63/28.82
% 28.63/28.82
% 28.63/28.82 Changing weight limit from 10 to 11.
% 28.63/28.82
% 28.63/28.82 Resetting weight limit to 11 after 1320 givens.
% 28.63/28.82
% 28.73/28.91
% 28.73/28.91
% 28.73/28.91 Changing weight limit from 11 to 10.
% 28.73/28.91
% 28.73/28.91 Resetting weight limit to 10 after 1325 givens.
% 28.73/28.91
% 28.82/29.04
% 28.82/29.04
% 28.82/29.04 Changing weight limit from 10 to 11.
% 28.82/29.04
% 28.82/29.04 Resetting weight limit to 11 after 1335 givens.
% 28.82/29.04
% 29.02/29.28
% 29.02/29.28
% 29.02/29.28 Changing weight limit from 11 to 10.
% 29.02/29.28
% 29.02/29.28 Resetting weight limit to 10 after 1340 givens.
% 29.02/29.28
% 29.11/29.31
% 29.11/29.31
% 29.11/29.31 Changing weight limit from 10 to 11.
% 29.11/29.31
% 29.11/29.31 Resetting weight limit to 11 after 1345 givens.
% 29.11/29.31
% 29.70/29.92
% 29.70/29.92
% 29.70/29.92 Changing weight limit from 11 to 10.
% 29.70/29.92
% 29.70/29.92 Resetting weight limit to 10 after 1390 givens.
% 29.70/29.92
% 30.45/30.65
% 30.45/30.65
% 30.45/30.65 Changing weight limit from 10 to 11.
% 30.45/30.65
% 30.45/30.65 Resetting weight limit to 11 after 1425 givens.
% 30.45/30.65
% 32.12/32.36
% 32.12/32.36
% 32.12/32.36 Changing weight limit from 11 to 10.
% 32.12/32.36
% 32.12/32.36 Resetting weight limit to 10 after 1515 givens.
% 32.12/32.36
% 32.83/33.01
% 32.83/33.01
% 32.83/33.01 Changing weight limit from 10 to 11.
% 32.83/33.01
% 32.83/33.01 Resetting weight limit to 11 after 1550 givens.
% 32.83/33.01
% 33.33/33.55
% 33.33/33.55
% 33.33/33.55 Changing weight limit from 11 to 10.
% 33.33/33.55
% 33.33/33.55 Resetting weight limit to 10 after 1570 givens.
% 33.33/33.55
% 33.94/34.15
% 33.94/34.15
% 33.94/34.15 Changing weight limit from 10 to 11.
% 33.94/34.15
% 33.94/34.15 Resetting weight limit to 11 after 1600 givens.
% 33.94/34.15
% 35.21/35.45
% 35.21/35.45
% 35.21/35.45 Changing weight limit from 11 to 10.
% 35.21/35.45
% 35.21/35.45 Resetting weight limit to 10 after 1660 givens.
% 35.21/35.45
% 35.53/35.77
% 35.53/35.77
% 35.53/35.77 Changing weight limit from 10 to 11.
% 35.53/35.77
% 35.53/35.77 Resetting weight limit to 11 after 1675 givens.
% 35.53/35.77
% 35.62/35.88
% 35.62/35.88
% 35.62/35.88 Changing weight limit from 11 to 10.
% 35.62/35.88
% 35.62/35.88 Resetting weight limit to 10 after 1680 givens.
% 35.62/35.88
% 35.72/35.90
% 35.72/35.90
% 35.72/35.90 Changing weight limit from 10 to 11.
% 35.72/35.90
% 35.72/35.90 Resetting weight limit to 11 after 1685 givens.
% 35.72/35.90
% 35.92/36.19
% 35.92/36.19
% 35.92/36.19 Changing weight limit from 11 to 10.
% 35.92/36.19
% 35.92/36.19 Resetting weight limit to 10 after 1695 givens.
% 35.92/36.19
% 39.11/39.32
% 39.11/39.32
% 39.11/39.32 Changing weight limit from 10 to 11.
% 39.11/39.32
% 39.11/39.32 Resetting weight limit to 11 after 1855 givens.
% 39.11/39.32
% 39.63/39.88
% 39.63/39.88
% 39.63/39.88 Changing weight limit from 11 to 10.
% 39.63/39.88
% 39.63/39.88 Resetting weight limit to 10 after 1875 givens.
% 39.63/39.88
% 39.82/40.01
% 39.82/40.01
% 39.82/40.01 Changing weight limit from 10 to 11.
% 39.82/40.01
% 39.82/40.01 Resetting weight limit to 11 after 1880 givens.
% 39.82/40.01
% 39.92/40.12
% 39.92/40.12
% 39.92/40.12 Changing weight limit from 11 to 10.
% 39.92/40.12
% 39.92/40.12 Resetting weight limit to 10 after 1885 givens.
% 39.92/40.12
% 40.03/40.21
% 40.03/40.21
% 40.03/40.21 Changing weight limit from 10 to 11.
% 40.03/40.21
% 40.03/40.21 Resetting weight limit to 11 after 1890 givens.
% 40.03/40.21
% 40.13/40.34
% 40.13/40.34
% 40.13/40.34 Changing weight limit from 11 to 10.
% 40.13/40.34
% 40.13/40.34 Resetting weight limit to 10 after 1895 givens.
% 40.13/40.34
% 40.31/40.50
% 40.31/40.50
% 40.31/40.50 Changing weight limit from 10 to 11.
% 40.31/40.50
% 40.31/40.50 Resetting weight limit to 11 after 1900 givens.
% 40.31/40.50
% 40.61/40.85
% 40.61/40.85
% 40.61/40.85 Changing weight limit from 11 to 10.
% 40.61/40.85
% 40.61/40.85 Resetting weight limit to 10 after 1910 givens.
% 40.61/40.85
% 41.52/41.73
% 41.52/41.73
% 41.52/41.73 Changing weight limit from 10 to 11.
% 41.52/41.73
% 41.52/41.73 Resetting weight limit to 11 after 1935 givens.
% 41.52/41.73
% 42.41/42.65
% 42.41/42.65
% 42.41/42.65 Changing weight limit from 11 to 10.
% 42.41/42.65
% 42.41/42.65 Resetting weight limit to 10 after 1955 givens.
% 42.41/42.65
% 43.42/43.67
% 43.42/43.67
% 43.42/43.67 Changing weight limit from 10 to 11.
% 43.42/43.67
% 43.42/43.67 Resetting weight limit to 11 after 1990 givens.
% 43.42/43.67
% 43.73/43.98
% 43.73/43.98
% 43.73/43.98 Changing weight limit from 11 to 10.
% 43.73/43.98
% 43.73/43.98 Resetting weight limit to 10 after 1995 givens.
% 43.73/43.98
% 44.01/44.20
% 44.01/44.20
% 44.01/44.20 Changing weight limit from 10 to 11.
% 44.01/44.20
% 44.01/44.20 Resetting weight limit to 11 after 2005 givens.
% 44.01/44.20
% 45.54/45.74
% 45.54/45.74
% 45.54/45.74 Changing weight limit from 11 to 10.
% 45.54/45.74
% 45.54/45.74 Resetting weight limit to 10 after 2045 givens.
% 45.54/45.74
% 45.70/45.91
% 45.70/45.91
% 45.70/45.91 Changing weight limit from 10 to 11.
% 45.70/45.91
% 45.70/45.91 Resetting weight limit to 11 after 2050 givens.
% 45.70/45.91
% 47.72/47.96
% 47.72/47.96
% 47.72/47.96 Changing weight limit from 11 to 10.
% 47.72/47.96
% 47.72/47.96 Resetting weight limit to 10 after 2125 givens.
% 47.72/47.96
% 47.72/47.99
% 47.72/47.99
% 47.72/47.99 Changing weight limit from 10 to 11.
% 47.72/47.99
% 47.72/47.99 Resetting weight limit to 11 after 2130 givens.
% 47.72/47.99
% 48.03/48.24
% 48.03/48.24
% 48.03/48.24 Changing weight limit from 11 to 10.
% 48.03/48.24
% 48.03/48.24 Resetting weight limit to 10 after 2135 givens.
% 48.03/48.24
% 48.03/48.27
% 48.03/48.27
% 48.03/48.27 Changing weight limit from 10 to 11.
% 48.03/48.27
% 48.03/48.27 Resetting weight limit to 11 after 2140 givens.
% 48.03/48.27
% 48.23/48.49
% 48.23/48.49
% 48.23/48.49 Changing weight limit from 11 to 10.
% 48.23/48.49
% 48.23/48.49 Resetting weight limit to 10 after 2145 givens.
% 48.23/48.49
% 48.41/48.65
% 48.41/48.65
% 48.41/48.65 Changing weight limit from 10 to 11.
% 48.41/48.65
% 48.41/48.65 Resetting weight limit to 11 after 2155 givens.
% 48.41/48.65
% 49.01/49.26
% 49.01/49.26
% 49.01/49.26 Changing weight limit from 11 to 10.
% 49.01/49.26
% 49.01/49.26 Resetting weight limit to 10 after 2175 givens.
% 49.01/49.26
% 49.22/49.40
% 49.22/49.40
% 49.22/49.40 Changing weight limit from 10 to 11.
% 49.22/49.40
% 49.22/49.40 Resetting weight limit to 11 after 2185 givens.
% 49.22/49.40
% 49.52/49.70
% 49.52/49.70
% 49.52/49.70 Changing weight limit from 11 to 10.
% 49.52/49.70
% 49.52/49.70 Resetting weight limit to 10 after 2205 givens.
% 49.52/49.70
% 49.73/49.92
% 49.73/49.92
% 49.73/49.92 Changing weight limit from 10 to 11.
% 49.73/49.92
% 49.73/49.92 Resetting weight limit to 11 after 2220 givens.
% 49.73/49.92
% 49.83/50.03
% 49.83/50.03
% 49.83/50.03 Changing weight limit from 11 to 10.
% 49.83/50.03
% 49.83/50.03 Resetting weight limit to 10 after 2235 givens.
% 49.83/50.03
% 50.01/50.20
% 50.01/50.20
% 50.01/50.20 Changing weight limit from 10 to 11.
% 50.01/50.20
% 50.01/50.20 Resetting weight limit to 11 after 2245 givens.
% 50.01/50.20
% 50.03/50.29
% 50.03/50.29
% 50.03/50.29 Changing weight limit from 11 to 10.
% 50.03/50.29
% 50.03/50.29 Resetting weight limit to 10 after 2255 givens.
% 50.03/50.29
% 50.12/50.35
% 50.12/50.35
% 50.12/50.35 Changing weight limit from 10 to 11.
% 50.12/50.35
% 50.12/50.35 Resetting weight limit to 11 after 2265 givens.
% 50.12/50.35
% 50.42/50.63
% 50.42/50.63
% 50.42/50.63 Changing weight limit from 11 to 10.
% 50.42/50.63
% 50.42/50.63 Resetting weight limit to 10 after 2300 givens.
% 50.42/50.63
% 50.93/51.15
% 50.93/51.15
% 50.93/51.15 Changing weight limit from 10 to 11.
% 50.93/51.15
% 50.93/51.15 Resetting weight limit to 11 after 2320 givens.
% 50.93/51.15
% 51.02/51.23
% 51.02/51.23
% 51.02/51.23 Changing weight limit from 11 to 10.
% 51.02/51.23
% 51.02/51.23 Resetting weight limit to 10 after 2325 givens.
% 51.02/51.23
% 51.02/51.26
% 51.02/51.26
% 51.02/51.26 Changing weight limit from 10 to 11.
% 51.02/51.26
% 51.02/51.26 Resetting weight limit to 11 after 2330 givens.
% 51.02/51.26
% 51.32/51.51
% 51.32/51.51
% 51.32/51.51 Changing weight limit from 11 to 10.
% 51.32/51.51
% 51.32/51.51 Resetting weight limit to 10 after 2335 givens.
% 51.32/51.51
% 51.32/51.57
% 51.32/51.57
% 51.32/51.57 Changing weight limit from 10 to 11.
% 51.32/51.57
% 51.32/51.57 Resetting weight limit to 11 after 2340 givens.
% 51.32/51.57
% 51.53/51.71
% 51.53/51.71
% 51.53/51.71 Changing weight limit from 11 to 10.
% 51.53/51.71
% 51.53/51.71 Resetting weight limit to 10 after 2345 givens.
% 51.53/51.71
% 51.71/51.93
% 51.71/51.93
% 51.71/51.93 Changing weight limit from 10 to 11.
% 51.71/51.93
% 51.71/51.93 Resetting weight limit to 11 after 2355 givens.
% 51.71/51.93
% 52.31/52.56
% 52.31/52.56
% 52.31/52.56 Changing weight limit from 11 to 10.
% 52.31/52.56
% 52.31/52.56 Resetting weight limit to 10 after 2380 givens.
% 52.31/52.56
% 52.39/52.59
% 52.39/52.59
% 52.39/52.59 Changing weight limit from 10 to 11.
% 52.39/52.59
% 52.39/52.59 Resetting weight limit to 11 after 2385 givens.
% 52.39/52.59
% 52.89/53.08
% 52.89/53.08
% 52.89/53.08 Changing weight limit from 11 to 10.
% 52.89/53.08
% 52.89/53.08 Resetting weight limit to 10 after 2415 givens.
% 52.89/53.08
% 57.83/58.06
% 57.83/58.06
% 57.83/58.06 Changing weight limit from 10 to 11.
% 57.83/58.06
% 57.83/58.06 Resetting weight limit to 11 after 2595 givens.
% 57.83/58.06
% 58.13/58.37
% 58.13/58.37
% 58.13/58.37 Changing weight limit from 11 to 10.
% 58.13/58.37
% 58.13/58.37 Resetting weight limit to 10 after 2605 givens.
% 58.13/58.37
% 64.91/65.17
% 64.91/65.17
% 64.91/65.17 Changing weight limit from 10 to 11.
% 64.91/65.17
% 64.91/65.17 Resetting weight limit to 11 after 2820 givens.
% 64.91/65.17
% 65.13/65.35
% 65.13/65.35
% 65.13/65.35 Changing weight limit from 11 to 10.
% 65.13/65.35
% 65.13/65.35 Resetting weight limit to 10 after 2825 givens.
% 65.13/65.35
% 67.22/67.49
% 67.22/67.49
% 67.22/67.49 Changing weight limit from 10 to 11.
% 67.22/67.49
% 67.22/67.49 Resetting weight limit to 11 after 2880 givens.
% 67.22/67.49
% 67.31/67.53
% 67.31/67.53
% 67.31/67.53 Changing weight limit from 11 to 10.
% 67.31/67.53
% 67.31/67.53 Resetting weight limit to 10 after 2885 givens.
% 67.31/67.53
% 67.63/67.85
% 67.63/67.85
% 67.63/67.85 Changing weight limit from 10 to 11.
% 67.63/67.85
% 67.63/67.85 Resetting weight limit to 11 after 2900 givens.
% 67.63/67.85
% 68.02/68.22
% 68.02/68.22
% 68.02/68.22 Changing weight limit from 11 to 10.
% 68.02/68.22
% 68.02/68.22 Resetting weight limit to 10 after 2905 givens.
% 68.02/68.22
% 69.84/70.02
% 69.84/70.02
% 69.84/70.02 Changing weight limit from 10 to 11.
% 69.84/70.02
% 69.84/70.02 Resetting weight limit to 11 after 2960 givens.
% 69.84/70.02
% 71.13/71.35
% 71.13/71.35
% 71.13/71.35 Changing weight limit from 11 to 10.
% 71.13/71.35
% 71.13/71.35 Resetting weight limit to 10 after 2985 givens.
% 71.13/71.35
% 72.91/73.18
% 72.91/73.18
% 72.91/73.18 Changing weight limit from 10 to 11.
% 72.91/73.18
% 72.91/73.18 Resetting weight limit to 11 after 3020 givens.
% 72.91/73.18
% 73.44/73.65
% 73.44/73.65
% 73.44/73.65 Changing weight limit from 11 to 10.
% 73.44/73.65
% 73.44/73.65 Resetting weight limit to 10 after 3025 givens.
% 73.44/73.65
% 74.62/74.80
% 74.62/74.80
% 74.62/74.80 Changing weight limit from 10 to 11.
% 74.62/74.80
% 74.62/74.80 Resetting weight limit to 11 after 3065 givens.
% 74.62/74.80
% 74.83/75.08
% 74.83/75.08
% 74.83/75.08 Changing weight limit from 11 to 10.
% 74.83/75.08
% 74.83/75.08 Resetting weight limit to 10 after 3070 givens.
% 74.83/75.08
% 75.02/75.20
% 75.02/75.20
% 75.02/75.20 Changing weight limit from 10 to 11.
% 75.02/75.20
% 75.02/75.20 Resetting weight limit to 11 after 3075 givens.
% 75.02/75.20
% 75.11/75.38
% 75.11/75.38
% 75.11/75.38 Changing weight limit from 11 to 10.
% 75.11/75.38
% 75.11/75.38 Resetting weight limit to 10 after 3080 givens.
% 75.11/75.38
% 75.64/75.87
% 75.64/75.87
% 75.64/75.87 Changing weight limit from 10 to 11.
% 75.64/75.87
% 75.64/75.87 Resetting weight limit to 11 after 3100 givens.
% 75.64/75.87
% 75.82/76.04
% 75.82/76.04
% 75.82/76.04 Changing weight limit from 11 to 10.
% 75.82/76.04
% 75.82/76.04 Resetting weight limit to 10 after 3105 givens.
% 75.82/76.04
% 76.04/76.27
% 76.04/76.27
% 76.04/76.27 Changing weight limit from 10 to 11.
% 76.04/76.27
% 76.04/76.27 Resetting weight limit to 11 after 3115 givens.
% 76.04/76.27
% 76.33/76.52
% 76.33/76.52
% 76.33/76.52 Changing weight limit from 11 to 10.
% 76.33/76.52
% 76.33/76.52 Resetting weight limit to 10 after 3120 givens.
% 76.33/76.52
% 76.42/76.65
% 76.42/76.65
% 76.42/76.65 Changing weight limit from 10 to 11.
% 76.42/76.65
% 76.42/76.65 Resetting weight limit to 11 after 3125 givens.
% 76.42/76.65
% 76.73/76.93
% 76.73/76.93
% 76.73/76.93 Changing weight limit from 11 to 10.
% 76.73/76.93
% 76.73/76.93 Resetting weight limit to 10 after 3130 givens.
% 76.73/76.93
% 77.24/77.43
% 77.24/77.43
% 77.24/77.43 Changing weight limit from 10 to 11.
% 77.24/77.43
% 77.24/77.43 Resetting weight limit to 11 after 3150 givens.
% 77.24/77.43
% 77.44/77.65
% 77.44/77.65
% 77.44/77.65 Changing weight limit from 11 to 10.
% 77.44/77.65
% 77.44/77.65 Resetting weight limit to 10 after 3155 givens.
% 77.44/77.65
% 78.04/78.26
% 78.04/78.26
% 78.04/78.26 Changing weight limit from 10 to 11.
% 78.04/78.26
% 78.04/78.26 Resetting weight limit to 11 after 3165 givens.
% 78.04/78.26
% 78.52/78.75
% 78.52/78.75
% 78.52/78.75 Changing weight limit from 11 to 10.
% 78.52/78.75
% 78.52/78.75 Resetting weight limit to 10 after 3170 givens.
% 78.52/78.75
% 81.36/81.54
% 81.36/81.54
% 81.36/81.54 Changing weight limit from 10 to 11.
% 81.36/81.54
% 81.36/81.54 Resetting weight limit to 11 after 3240 givens.
% 81.36/81.54
% 81.45/81.67
% 81.45/81.67
% 81.45/81.67 Changing weight limit from 11 to 10.
% 81.45/81.67
% 81.45/81.67 Resetting weight limit to 10 after 3245 givens.
% 81.45/81.67
% 82.05/82.24
% 82.05/82.24
% 82.05/82.24 Changing weight limit from 10 to 11.
% 82.05/82.24
% 82.05/82.24 Resetting weight limit to 11 after 3280 givens.
% 82.05/82.24
% 82.23/82.49
% 82.23/82.49
% 82.23/82.49 Changing weight limit from 11 to 10.
% 82.23/82.49
% 82.23/82.49 Resetting weight limit to 10 after 3285 givens.
% 82.23/82.49
% 82.45/82.64
% 82.45/82.64
% 82.45/82.64 Changing weight limit from 10 to 11.
% 82.45/82.64
% 82.45/82.64 Resetting weight limit to 11 after 3295 givens.
% 82.45/82.64
% 82.62/82.87
% 82.62/82.87
% 82.62/82.87 Changing weight limit from 11 to 10.
% 82.62/82.87
% 82.62/82.87 Resetting weight limit to 10 after 3300 givens.
% 82.62/82.87
% 86.15/86.37
% 86.15/86.37
% 86.15/86.37 Changing weight limit from 10 to 11.
% 86.15/86.37
% 86.15/86.37 Resetting weight limit to 11 after 3385 givens.
% 86.15/86.37
% 86.43/86.64
% 86.43/86.64
% 86.43/86.64 Changing weight limit from 11 to 10.
% 86.43/86.64
% 86.43/86.64 Resetting weight limit to 10 after 3390 givens.
% 86.43/86.64
% 86.52/86.77
% 86.52/86.77
% 86.52/86.77 Changing weight limit from 10 to 11.
% 86.52/86.77
% 86.52/86.77 Resetting weight limit to 11 after 3395 givens.
% 86.52/86.77
% 86.65/86.86
% 86.65/86.86
% 86.65/86.86 Changing weight limit from 11 to 10.
% 86.65/86.86
% 86.65/86.86 Resetting weight limit to 10 after 3400 givens.
% 86.65/86.86
% 87.43/87.65
% 87.43/87.65
% 87.43/87.65 Changing weight limit from 10 to 11.
% 87.43/87.65
% 87.43/87.65 Resetting weight limit to 11 after 3430 givens.
% 87.43/87.65
% 87.65/87.88
% 87.65/87.88
% 87.65/87.88 Changing weight limit from 11 to 10.
% 87.65/87.88
% 87.65/87.88 Resetting weight limit to 10 after 3440 givens.
% 87.65/87.88
% 87.74/87.96
% 87.74/87.96
% 87.74/87.96 Changing weight limit from 10 to 11.
% 87.74/87.96
% 87.74/87.96 Resetting weight limit to 11 after 3450 givens.
% 87.74/87.96
% 87.95/88.21
% 87.95/88.21
% 87.95/88.21 Changing weight limit from 11 to 10.
% 87.95/88.21
% 87.95/88.21 Resetting weight limit to 10 after 3470 givens.
% 87.95/88.21
% 88.23/88.43
% 88.23/88.43
% 88.23/88.43 Changing weight limit from 10 to 11.
% 88.23/88.43
% 88.23/88.43 Resetting weight limit to 11 after 3480 givens.
% 88.23/88.43
% 88.53/88.76
% 88.53/88.76
% 88.53/88.76 Changing weight limit from 11 to 10.
% 88.53/88.76
% 88.53/88.76 Resetting weight limit to 10 after 3485 givens.
% 88.53/88.76
% 90.83/91.01
% 90.83/91.01
% 90.83/91.01 Changing weight limit from 10 to 11.
% 90.83/91.01
% 90.83/91.01 Resetting weight limit to 11 after 3540 givens.
% 90.83/91.01
% 91.15/91.32
% 91.15/91.32
% 91.15/91.32 Changing weight limit from 11 to 10.
% 91.15/91.32
% 91.15/91.32 Resetting weight limit to 10 after 3545 givens.
% 91.15/91.32
% 91.83/92.06
% 91.83/92.06
% 91.83/92.06 Changing weight limit from 10 to 11.
% 91.83/92.06
% 91.83/92.06 Resetting weight limit to 11 after 3560 givens.
% 91.83/92.06
% 92.05/92.28
% 92.05/92.28
% 92.05/92.28 Changing weight limit from 11 to 10.
% 92.05/92.28
% 92.05/92.28 Resetting weight limit to 10 after 3565 givens.
% 92.05/92.28
% 93.13/93.36
% 93.13/93.36
% 93.13/93.36 Changing weight limit from 10 to 11.
% 93.13/93.36
% 93.13/93.36 Resetting weight limit to 11 after 3595 givens.
% 93.13/93.36
% 93.35/93.53
% 93.35/93.53
% 93.35/93.53 Changing weight limit from 11 to 10.
% 93.35/93.53
% 93.35/93.53 Resetting weight limit to 10 after 3600 givens.
% 93.35/93.53
% 93.43/93.62
% 93.43/93.62
% 93.43/93.62 Changing weight limit from 10 to 11.
% 93.43/93.62
% 93.43/93.62 Resetting weight limit to 11 after 3605 givens.
% 93.43/93.62
% 93.73/93.95
% 93.73/93.95
% 93.73/93.95 Changing weight limit from 11 to 10.
% 93.73/93.95
% 93.73/93.95 Resetting weight limit to 10 after 3610 givens.
% 93.73/93.95
% 94.02/94.20
% 94.02/94.20
% 94.02/94.20 Changing weight limit from 10 to 11.
% 94.02/94.20
% 94.02/94.20 Resetting weight limit to 11 after 3620 givens.
% 94.02/94.20
% 94.34/94.52
% 94.34/94.52
% 94.34/94.52 Changing weight limit from 11 to 10.
% 94.34/94.52
% 94.34/94.52 Resetting weight limit to 10 after 3625 givens.
% 94.34/94.52
% 94.55/94.77
% 94.55/94.77
% 94.55/94.77 Changing weight limit from 10 to 11.
% 94.55/94.77
% 94.55/94.77 Resetting weight limit to 11 after 3640 givens.
% 94.55/94.77
% 94.63/94.83
% 94.63/94.83
% 94.63/94.83 Changing weight limit from 11 to 10.
% 94.63/94.83
% 94.63/94.83 Resetting weight limit to 10 after 3645 givens.
% 94.63/94.83
% 94.93/95.17
% 94.93/95.17
% 94.93/95.17 Changing weight limit from 10 to 11.
% 94.93/95.17
% 94.93/95.17 Resetting weight limit to 11 after 3670 givens.
% 94.93/95.17
% 95.04/95.23
% 95.04/95.23
% 95.04/95.23 Changing weight limit from 11 to 10.
% 95.04/95.23
% 95.04/95.23 Resetting weight limit to 10 after 3675 givens.
% 95.04/95.23
% 95.24/95.43
% 95.24/95.43
% 95.24/95.43 Changing weight limit from 10 to 11.
% 95.24/95.43
% 95.24/95.43 Resetting weight limit to 11 after 3685 givens.
% 95.24/95.43
% 95.32/95.53
% 95.32/95.53
% 95.32/95.53 Changing weight limit from 11 to 10.
% 95.32/95.53
% 95.32/95.53 Resetting weight limit to 10 after 3690 givens.
% 95.32/95.53
% 96.53/96.77
% 96.53/96.77
% 96.53/96.77 Changing weight limit from 10 to 11.
% 96.53/96.77
% 96.53/96.77 Resetting weight limit to 11 after 3735 givens.
% 96.53/96.77
% 96.83/97.01
% 96.83/97.01
% 96.83/97.01 Changing weight limit from 11 to 10.
% 96.83/97.01
% 96.83/97.01 Resetting weight limit to 10 after 3740 givens.
% 96.83/97.01
% 97.34/97.53
% 97.34/97.53
% 97.34/97.53 Changing weight limit from 10 to 11.
% 97.34/97.53
% 97.34/97.53 Resetting weight limit to 11 after 3765 givens.
% 97.34/97.53
% 98.03/98.25
% 98.03/98.25
% 98.03/98.25 Changing weight limit from 11 to 10.
% 98.03/98.25
% 98.03/98.25 Resetting weight limit to 10 after 3775 givens.
% 98.03/98.25
% 98.32/98.54
% 98.32/98.54
% 98.32/98.54 Changing weight limit from 10 to 11.
% 98.32/98.54
% 98.32/98.54 Resetting weight limit to 11 after 3785 givens.
% 98.32/98.54
% 98.45/98.69
% 98.45/98.69
% 98.45/98.69 Changing weight limit from 11 to 10.
% 98.45/98.69
% 98.45/98.69 Resetting weight limit to 10 after 3790 givens.
% 98.45/98.69
% 98.64/98.88
% 98.64/98.88
% 98.64/98.88 Changing weight limit from 10 to 11.
% 98.64/98.88
% 98.64/98.88 Resetting weight limit to 11 after 3800 givens.
% 98.64/98.88
% 98.84/99.02
% 98.84/99.02
% 98.84/99.02 Changing weight limit from 11 to 10.
% 98.84/99.02
% 98.84/99.02 Resetting weight limit to 10 after 3805 givens.
% 98.84/99.02
% 98.93/99.14
% 98.93/99.14
% 98.93/99.14 Changing weight limit from 10 to 11.
% 98.93/99.14
% 98.93/99.14 Resetting weight limit to 11 after 3810 givens.
% 98.93/99.14
% 99.05/99.28
% 99.05/99.28
% 99.05/99.28 Changing weight limit from 11 to 10.
% 99.05/99.28
% 99.05/99.28 Resetting weight limit to 10 after 3815 givens.
% 99.05/99.28
% 101.45/101.69
% 101.45/101.69
% 101.45/101.69 Changing weight limit from 10 to 11.
% 101.45/101.69
% 101.45/101.69 Resetting weight limit to 11 after 3865 givens.
% 101.45/101.69
% 101.92/102.13
% 101.92/102.13
% 101.92/102.13 Changing weight limit from 11 to 10.
% 101.92/102.13
% 101.92/102.13 Resetting weight limit to 10 after 3870 givens.
% 101.92/102.13
% 102.44/102.63
% 102.44/102.63
% 102.44/102.63 Changing weight limit from 10 to 11.
% 102.44/102.63
% 102.44/102.63 Resetting weight limit to 11 after 3890 givens.
% 102.44/102.63
% 102.53/102.72
% 102.53/102.72
% 102.53/102.72 Changing weight limit from 11 to 10.
% 102.53/102.72
% 102.53/102.72 Resetting weight limit to 10 after 3895 givens.
% 102.53/102.72
% 103.84/104.00
% 103.84/104.00
% 103.84/104.00 Changing weight limit from 10 to 11.
% 103.84/104.00
% 103.84/104.00 Resetting weight limit to 11 after 3925 givens.
% 103.84/104.00
% 103.85/104.10
% 103.85/104.10
% 103.85/104.10 Changing weight limit from 11 to 10.
% 103.85/104.10
% 103.85/104.10 Resetting weight limit to 10 after 3930 givens.
% 103.85/104.10
% 104.24/104.45
% 104.24/104.45
% 104.24/104.45 Changing weight limit from 10 to 11.
% 104.24/104.45
% 104.24/104.45 Resetting weight limit to 11 after 3940 givens.
% 104.24/104.45
% 105.24/105.44
% 105.24/105.44
% 105.24/105.44 Changing weight limit from 11 to 10.
% 105.24/105.44
% 105.24/105.44 Resetting weight limit to 10 after 3965 givens.
% 105.24/105.44
% 105.83/106.06
% 105.83/106.06
% 105.83/106.06 Changing weight limit from 10 to 11.
% 105.83/106.06
% 105.83/106.06 Resetting weight limit to 11 after 3985 givens.
% 105.83/106.06
% 106.24/106.41
% 106.24/106.41
% 106.24/106.41 Changing weight limit from 11 to 10.
% 106.24/106.41
% 106.24/106.41 Resetting weight limit to 10 after 3990 givens.
% 106.24/106.41
% 106.65/106.88
% 106.65/106.88
% 106.65/106.88 Changing weight limit from 10 to 11.
% 106.65/106.88
% 106.65/106.88 Resetting weight limit to 11 after 4005 givens.
% 106.65/106.88
% 106.86/107.03
% 106.86/107.03
% 106.86/107.03 Changing weight limit from 11 to 10.
% 106.86/107.03
% 106.86/107.03 Resetting weight limit to 10 after 4010 givens.
% 106.86/107.03
% 106.95/107.13
% 106.95/107.13
% 106.95/107.13 Changing weight limit from 10 to 11.
% 106.95/107.13
% 106.95/107.13 Resetting weight limit to 11 after 4015 givens.
% 106.95/107.13
% 107.03/107.29
% 107.03/107.29
% 107.03/107.29 Changing weight limit from 11 to 10.
% 107.03/107.29
% 107.03/107.29 Resetting weight limit to 10 after 4020 givens.
% 107.03/107.29
% 107.92/108.13
% 107.92/108.13
% 107.92/108.13 Changing weight limit from 10 to 11.
% 107.92/108.13
% 107.92/108.13 Resetting weight limit to 11 after 4055 givens.
% 107.92/108.13
% 108.35/108.57
% 108.35/108.57
% 108.35/108.57 Changing weight limit from 11 to 10.
% 108.35/108.57
% 108.35/108.57 Resetting weight limit to 10 after 4065 givens.
% 108.35/108.57
% 108.65/108.84
% 108.65/108.84
% 108.65/108.84 Changing weight limit from 10 to 11.
% 108.65/108.84
% 108.65/108.84 Resetting weight limit to 11 after 4080 givens.
% 108.65/108.84
% 108.83/109.07
% 108.83/109.07
% 108.83/109.07 Changing weight limit from 11 to 10.
% 108.83/109.07
% 108.83/109.07 Resetting weight limit to 10 after 4085 givens.
% 108.83/109.07
% 109.43/109.62
% 109.43/109.62
% 109.43/109.62 Changing weight limit from 10 to 11.
% 109.43/109.62
% 109.43/109.62 Resetting weight limit to 11 after 4100 givens.
% 109.43/109.62
% 109.73/109.98
% 109.73/109.98
% 109.73/109.98 Changing weight limit from 11 to 10.
% 109.73/109.98
% 109.73/109.98 Resetting weight limit to 10 after 4105 givens.
% 109.73/109.98
% 109.85/110.08
% 109.85/110.08
% 109.85/110.08 Changing weight limit from 10 to 11.
% 109.85/110.08
% 109.85/110.08 Resetting weight limit to 11 after 4110 givens.
% 109.85/110.08
% 110.25/110.44
% 110.25/110.44
% 110.25/110.44 Changing weight limit from 11 to 10.
% 110.25/110.44
% 110.25/110.44 Resetting weight limit to 10 after 4120 givens.
% 110.25/110.44
% 110.33/110.55
% 110.33/110.55
% 110.33/110.55 Changing weight limit from 10 to 11.
% 110.33/110.55
% 110.33/110.55 Resetting weight limit to 11 after 4125 givens.
% 110.33/110.55
% 111.51/111.70
% 111.51/111.70
% 111.51/111.70 Changing weight limit from 11 to 10.
% 111.51/111.70
% 111.51/111.70 Resetting weight limit to 10 after 4165 givens.
% 111.51/111.70
% 112.04/112.20
% 112.04/112.20
% 112.04/112.20 Changing weight limit from 10 to 11.
% 112.04/112.20
% 112.04/112.20 Resetting weight limit to 11 after 4175 givens.
% 112.04/112.20
% 113.05/113.24
% 113.05/113.24
% 113.05/113.24 Changing weight limit from 11 to 10.
% 113.05/113.24
% 113.05/113.24 Resetting weight limit to 10 after 4190 givens.
% 113.05/113.24
% 114.65/114.89
% 114.65/114.89
% 114.65/114.89 Changing weight limit from 10 to 11.
% 114.65/114.89
% 114.65/114.89 Resetting weight limit to 11 after 4235 givens.
% 114.65/114.89
% 114.95/115.17
% 114.95/115.17
% 114.95/115.17 Changing weight limit from 11 to 10.
% 114.95/115.17
% 114.95/115.17 Resetting weight limit to 10 after 4245 givens.
% 114.95/115.17
% 115.41/115.58
% 115.41/115.58
% 115.41/115.58 Changing weight limit from 10 to 11.
% 115.41/115.58
% 115.41/115.58 Resetting weight limit to 11 after 4260 givens.
% 115.41/115.58
% 115.75/115.94
% 115.75/115.94
% 115.75/115.94 Changing weight limit from 11 to 10.
% 115.75/115.94
% 115.75/115.94 Resetting weight limit to 10 after 4265 givens.
% 115.75/115.94
% 115.92/116.17
% 115.92/116.17
% 115.92/116.17 Changing weight limit from 10 to 11.
% 115.92/116.17
% 115.92/116.17 Resetting weight limit to 11 after 4270 givens.
% 115.92/116.17
% 130.42/130.63
% 130.42/130.63
% 130.42/130.63 Changing weight limit from 11 to 12.
% 130.42/130.63
% 130.42/130.63 Resetting weight limit to 12 after 4575 givens.
% 130.42/130.63
% 130.64/130.82
% 130.64/130.82
% 130.64/130.82 Changing weight limit from 12 to 11.
% 130.64/130.82
% 130.64/130.82 Resetting weight limit to 11 after 4580 givens.
% 130.64/130.82
% 216.53/216.78
% 216.53/216.78
% 216.53/216.78 Changing weight limit from 11 to 12.
% 216.53/216.78
% 216.53/216.78 Resetting weight limit to 12 after 6075 givens.
% 216.53/216.78
% 216.62/216.85
% 216.62/216.85
% 216.62/216.85 Changing weight limit from 12 to 11.
% 216.62/216.85
% 216.62/216.85 Resetting weight limit to 11 after 6080 givens.
% 216.62/216.85
% 217.13/217.35
% 217.13/217.35
% 217.13/217.35 Changing weight limit from 11 to 12.
% 217.13/217.35
% 217.13/217.35 Resetting weight limit to 12 after 6110 givens.
% 217.13/217.35
% 217.21/217.47
% 217.21/217.47
% 217.21/217.47 Changing weight limit from 12 to 11.
% 217.21/217.47
% 217.21/217.47 Resetting weight limit to 11 after 6115 givens.
% 217.21/217.47
% 273.14/273.38
% 273.14/273.38
% 273.14/273.38 Changing weight limit from 11 to 12.
% 273.14/273.38
% 273.14/273.38 Resetting weight limit to 12 after 6990 givens.
% 273.14/273.38
% 273.33/273.51
% 273.33/273.51
% 273.33/273.51 Changing weight limit from 12 to 11.
% 273.33/273.51
% 273.33/273.51 Resetting weight limit to 11 after 6995 givens.
% 273.33/273.51
% 294.73/294.99
% 294.73/294.99
% 294.73/294.99 Changing weight limit from 11 to 12.
% 294.73/294.99
% 294.73/294.99 Resetting weight limit to 12 after 7480 givens.
% 294.73/294.99
% 295.43/295.66
% 295.43/295.66
% 295.43/295.66 Changing weight limit from 12 to 11.
% 295.43/295.66
% 295.43/295.66 Resetting weight limit to 11 after 7485 givens.
% 295.43/295.66
% 300.04/300.23 Wow, sos-wrapper got a signal XCPU
%------------------------------------------------------------------------------