TSTP Solution File: SYO774+1 by SOS---2.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : SOS---2.0
% Problem : SYO774+1 : TPTP v8.1.0. Released v7.4.0.
% Transfm : none
% Format : tptp:raw
% Command : sos-script %s
% Computer : n005.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:47 EDT 2022
% Result : Timeout 300.08s 300.21s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12 % Problem : SYO774+1 : TPTP v8.1.0. Released v7.4.0.
% 0.11/0.13 % Command : sos-script %s
% 0.12/0.34 % Computer : n005.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Sat Jul 9 09:58:37 EDT 2022
% 0.12/0.34 % CPUTime :
% 0.12/0.35 ----- Otter 3.2, August 2001 -----
% 0.12/0.35 The process was started by sandbox2 on n005.cluster.edu,
% 0.12/0.35 Sat Jul 9 09:58:37 2022
% 0.12/0.35 The command was "./sos". The process ID is 16382.
% 0.12/0.35
% 0.12/0.35 set(prolog_style_variables).
% 0.12/0.35 set(auto).
% 0.12/0.35 dependent: set(auto1).
% 0.12/0.35 dependent: set(process_input).
% 0.12/0.35 dependent: clear(print_kept).
% 0.12/0.35 dependent: clear(print_new_demod).
% 0.12/0.35 dependent: clear(print_back_demod).
% 0.12/0.35 dependent: clear(print_back_sub).
% 0.12/0.35 dependent: set(control_memory).
% 0.12/0.35 dependent: assign(max_mem, 12000).
% 0.12/0.35 dependent: assign(pick_given_ratio, 4).
% 0.12/0.35 dependent: assign(stats_level, 1).
% 0.12/0.35 dependent: assign(pick_semantic_ratio, 3).
% 0.12/0.35 dependent: assign(sos_limit, 5000).
% 0.12/0.35 dependent: assign(max_weight, 60).
% 0.12/0.35 clear(print_given).
% 0.12/0.35
% 0.12/0.35 formula_list(usable).
% 0.12/0.35
% 0.12/0.35 SCAN INPUT: prop=0, horn=0, equality=0, symmetry=0, max_lits=5.
% 0.12/0.35
% 0.12/0.35 This is a non-Horn set without equality. The strategy
% 0.12/0.35 will be ordered hyper_res, ur_res, unit deletion, and
% 0.12/0.35 factoring, with satellites in sos and nuclei in usable.
% 0.12/0.35
% 0.12/0.35 dependent: set(hyper_res).
% 0.12/0.35 dependent: set(factor).
% 0.12/0.35 dependent: set(unit_deletion).
% 0.12/0.35
% 0.12/0.35 ------------> process usable:
% 0.12/0.35
% 0.12/0.35 ------------> process sos:
% 0.12/0.35
% 0.12/0.35 ======= end of input processing =======
% 0.12/0.39
% 0.12/0.39 Model 1 (0.00 seconds, 0 Inserts)
% 0.12/0.39
% 0.12/0.39 Stopped by limit on number of solutions
% 0.12/0.39
% 0.12/0.39
% 0.12/0.39 -------------- Softie stats --------------
% 0.12/0.39
% 0.12/0.39 UPDATE_STOP: 300
% 0.12/0.39 SFINDER_TIME_LIMIT: 2
% 0.12/0.39 SHORT_CLAUSE_CUTOFF: 4
% 0.12/0.39 number of clauses in intial UL: 17
% 0.12/0.39 number of clauses initially in problem: 19
% 0.12/0.39 percentage of clauses intially in UL: 89
% 0.12/0.39 percentage of distinct symbols occuring in initial UL: 90
% 0.12/0.39 percent of all initial clauses that are short: 100
% 0.12/0.39 absolute distinct symbol count: 11
% 0.12/0.39 distinct predicate count: 1
% 0.12/0.39 distinct function count: 7
% 0.12/0.39 distinct constant count: 3
% 0.12/0.39
% 0.12/0.39 ---------- no more Softie stats ----------
% 0.12/0.39
% 0.12/0.39
% 0.12/0.39
% 0.12/0.39 =========== start of search ===========
% 3.48/3.67
% 3.48/3.67
% 3.48/3.67 Changing weight limit from 60 to 27.
% 3.48/3.67
% 3.48/3.67 Resetting weight limit to 27 after 90 givens.
% 3.48/3.67
% 4.93/5.16
% 4.93/5.16
% 4.93/5.16 Changing weight limit from 27 to 21.
% 4.93/5.16
% 4.93/5.16 Resetting weight limit to 21 after 95 givens.
% 4.93/5.16
% 5.53/5.70
% 5.53/5.70
% 5.53/5.70 Changing weight limit from 21 to 20.
% 5.53/5.70
% 5.53/5.70 Resetting weight limit to 20 after 100 givens.
% 5.53/5.70
% 6.02/6.29
% 6.02/6.29
% 6.02/6.29 Changing weight limit from 20 to 19.
% 6.02/6.29
% 6.02/6.29 Resetting weight limit to 19 after 105 givens.
% 6.02/6.29
% 6.77/6.99
% 6.77/6.99
% 6.77/6.99 Changing weight limit from 19 to 16.
% 6.77/6.99
% 6.77/6.99 Resetting weight limit to 16 after 110 givens.
% 6.77/6.99
% 7.15/7.38
% 7.15/7.38
% 7.15/7.38 Changing weight limit from 16 to 15.
% 7.15/7.38
% 7.15/7.38 Resetting weight limit to 15 after 115 givens.
% 7.15/7.38
% 7.73/7.91
% 7.73/7.91
% 7.73/7.91 Changing weight limit from 15 to 14.
% 7.73/7.91
% 7.73/7.91 Resetting weight limit to 14 after 125 givens.
% 7.73/7.91
% 9.65/9.83
% 9.65/9.83
% 9.65/9.83 Changing weight limit from 14 to 13.
% 9.65/9.83
% 9.65/9.83 Stopped by limit on insertions
% 9.65/9.83
% 9.65/9.83 Stopped by limit on insertions
% 9.65/9.83
% 9.65/9.83 Resetting weight limit to 13 after 140 givens.
% 9.65/9.83
% 9.92/10.11
% 9.92/10.11
% 9.92/10.11 Changing weight limit from 13 to 12.
% 9.92/10.11
% 9.92/10.11 Resetting weight limit to 12 after 155 givens.
% 9.92/10.11
% 9.95/10.17
% 9.95/10.17
% 9.95/10.17 Changing weight limit from 12 to 11.
% 9.95/10.17
% 9.95/10.17 Resetting weight limit to 11 after 160 givens.
% 9.95/10.17
% 13.86/14.05
% 13.86/14.05
% 13.86/14.05 Changing weight limit from 11 to 10.
% 13.86/14.05
% 13.86/14.05 Stopped by limit on insertions
% 13.86/14.05
% 13.86/14.05 Stopped by limit on insertions
% 13.86/14.05
% 13.86/14.05 Modelling stopped after 300 given clauses and 0.00 seconds
% 13.86/14.05
% 13.86/14.05
% 13.86/14.05 Resetting weight limit to 10 after 330 givens.
% 13.86/14.05
% 14.94/15.11
% 14.94/15.11
% 14.94/15.11 Changing weight limit from 10 to 11.
% 14.94/15.11
% 14.94/15.11 Resetting weight limit to 11 after 425 givens.
% 14.94/15.11
% 15.05/15.24
% 15.05/15.24
% 15.05/15.24 Changing weight limit from 11 to 10.
% 15.05/15.24
% 15.05/15.24 Resetting weight limit to 10 after 435 givens.
% 15.05/15.24
% 15.63/15.83
% 15.63/15.83
% 15.63/15.83 Changing weight limit from 10 to 11.
% 15.63/15.83
% 15.63/15.83 Resetting weight limit to 11 after 475 givens.
% 15.63/15.83
% 15.71/15.90
% 15.71/15.90
% 15.71/15.90 Changing weight limit from 11 to 10.
% 15.71/15.90
% 15.71/15.90 Resetting weight limit to 10 after 480 givens.
% 15.71/15.90
% 15.71/15.92
% 15.71/15.92
% 15.71/15.92 Changing weight limit from 10 to 11.
% 15.71/15.92
% 15.71/15.92 Resetting weight limit to 11 after 485 givens.
% 15.71/15.92
% 15.85/16.10
% 15.85/16.10
% 15.85/16.10 Changing weight limit from 11 to 10.
% 15.85/16.10
% 15.85/16.10 Resetting weight limit to 10 after 500 givens.
% 15.85/16.10
% 16.04/16.22
% 16.04/16.22
% 16.04/16.22 Changing weight limit from 10 to 11.
% 16.04/16.22
% 16.04/16.22 Resetting weight limit to 11 after 510 givens.
% 16.04/16.22
% 16.22/16.41
% 16.22/16.41
% 16.22/16.41 Changing weight limit from 11 to 10.
% 16.22/16.41
% 16.22/16.41 Resetting weight limit to 10 after 520 givens.
% 16.22/16.41
% 16.52/16.72
% 16.52/16.72
% 16.52/16.72 Changing weight limit from 10 to 11.
% 16.52/16.72
% 16.52/16.72 Resetting weight limit to 11 after 550 givens.
% 16.52/16.72
% 16.62/16.81
% 16.62/16.81
% 16.62/16.81 Changing weight limit from 11 to 10.
% 16.62/16.81
% 16.62/16.81 Resetting weight limit to 10 after 555 givens.
% 16.62/16.81
% 16.83/17.00
% 16.83/17.00
% 16.83/17.00 Changing weight limit from 10 to 11.
% 16.83/17.00
% 16.83/17.00 Resetting weight limit to 11 after 575 givens.
% 16.83/17.00
% 17.02/17.21
% 17.02/17.21
% 17.02/17.21 Changing weight limit from 11 to 10.
% 17.02/17.21
% 17.02/17.21 Resetting weight limit to 10 after 590 givens.
% 17.02/17.21
% 17.30/17.52
% 17.30/17.52
% 17.30/17.52 Changing weight limit from 10 to 11.
% 17.30/17.52
% 17.30/17.52 Resetting weight limit to 11 after 615 givens.
% 17.30/17.52
% 17.47/17.67
% 17.47/17.67
% 17.47/17.67 Changing weight limit from 11 to 10.
% 17.47/17.67
% 17.47/17.67 Resetting weight limit to 10 after 630 givens.
% 17.47/17.67
% 28.52/28.76
% 28.52/28.76
% 28.52/28.76 Changing weight limit from 10 to 11.
% 28.52/28.76
% 28.52/28.76 Resetting weight limit to 11 after 1340 givens.
% 28.52/28.76
% 28.64/28.82
% 28.64/28.82
% 28.64/28.82 Changing weight limit from 11 to 10.
% 28.64/28.82
% 28.64/28.82 Resetting weight limit to 10 after 1345 givens.
% 28.64/28.82
% 28.81/29.02
% 28.81/29.02
% 28.81/29.02 Changing weight limit from 10 to 11.
% 28.81/29.02
% 28.81/29.02 Resetting weight limit to 11 after 1355 givens.
% 28.81/29.02
% 28.97/29.20
% 28.97/29.20
% 28.97/29.20 Changing weight limit from 11 to 10.
% 28.97/29.20
% 28.97/29.20 Resetting weight limit to 10 after 1360 givens.
% 28.97/29.20
% 30.03/30.21
% 30.03/30.21
% 30.03/30.21 Changing weight limit from 10 to 11.
% 30.03/30.21
% 30.03/30.21 Resetting weight limit to 11 after 1405 givens.
% 30.03/30.21
% 30.14/30.37
% 30.14/30.37
% 30.14/30.37 Changing weight limit from 11 to 10.
% 30.14/30.37
% 30.14/30.37 Resetting weight limit to 10 after 1410 givens.
% 30.14/30.37
% 30.93/31.11
% 30.93/31.11
% 30.93/31.11 Changing weight limit from 10 to 11.
% 30.93/31.11
% 30.93/31.11 Resetting weight limit to 11 after 1450 givens.
% 30.93/31.11
% 31.02/31.26
% 31.02/31.26
% 31.02/31.26 Changing weight limit from 11 to 10.
% 31.02/31.26
% 31.02/31.26 Resetting weight limit to 10 after 1455 givens.
% 31.02/31.26
% 32.69/32.95
% 32.69/32.95
% 32.69/32.95 Changing weight limit from 10 to 11.
% 32.69/32.95
% 32.69/32.95 Resetting weight limit to 11 after 1555 givens.
% 32.69/32.95
% 32.93/33.12
% 32.93/33.12
% 32.93/33.12 Changing weight limit from 11 to 10.
% 32.93/33.12
% 32.93/33.12 Resetting weight limit to 10 after 1560 givens.
% 32.93/33.12
% 33.91/34.16
% 33.91/34.16
% 33.91/34.16 Changing weight limit from 10 to 11.
% 33.91/34.16
% 33.91/34.16 Resetting weight limit to 11 after 1610 givens.
% 33.91/34.16
% 34.04/34.32
% 34.04/34.32
% 34.04/34.32 Changing weight limit from 11 to 10.
% 34.04/34.32
% 34.04/34.32 Resetting weight limit to 10 after 1615 givens.
% 34.04/34.32
% 34.23/34.46
% 34.23/34.46
% 34.23/34.46 Changing weight limit from 10 to 11.
% 34.23/34.46
% 34.23/34.46 Resetting weight limit to 11 after 1620 givens.
% 34.23/34.46
% 34.54/34.76
% 34.54/34.76
% 34.54/34.76 Changing weight limit from 11 to 10.
% 34.54/34.76
% 34.54/34.76 Resetting weight limit to 10 after 1625 givens.
% 34.54/34.76
% 35.01/35.20
% 35.01/35.20
% 35.01/35.20 Changing weight limit from 10 to 11.
% 35.01/35.20
% 35.01/35.20 Resetting weight limit to 11 after 1640 givens.
% 35.01/35.20
% 35.11/35.29
% 35.11/35.29
% 35.11/35.29 Changing weight limit from 11 to 10.
% 35.11/35.29
% 35.11/35.29 Resetting weight limit to 10 after 1645 givens.
% 35.11/35.29
% 37.42/37.63
% 37.42/37.63
% 37.42/37.63 Changing weight limit from 10 to 11.
% 37.42/37.63
% 37.42/37.63 Resetting weight limit to 11 after 1740 givens.
% 37.42/37.63
% 37.65/37.82
% 37.65/37.82
% 37.65/37.82 Changing weight limit from 11 to 10.
% 37.65/37.82
% 37.65/37.82 Resetting weight limit to 10 after 1750 givens.
% 37.65/37.82
% 37.65/37.88
% 37.65/37.88
% 37.65/37.88 Changing weight limit from 10 to 11.
% 37.65/37.88
% 37.65/37.88 Resetting weight limit to 11 after 1755 givens.
% 37.65/37.88
% 37.73/38.00
% 37.73/38.00
% 37.73/38.00 Changing weight limit from 11 to 10.
% 37.73/38.00
% 37.73/38.00 Resetting weight limit to 10 after 1760 givens.
% 37.73/38.00
% 37.83/38.06
% 37.83/38.06
% 37.83/38.06 Changing weight limit from 10 to 11.
% 37.83/38.06
% 37.83/38.06 Resetting weight limit to 11 after 1765 givens.
% 37.83/38.06
% 38.03/38.25
% 38.03/38.25
% 38.03/38.25 Changing weight limit from 11 to 10.
% 38.03/38.25
% 38.03/38.25 Resetting weight limit to 10 after 1780 givens.
% 38.03/38.25
% 38.51/38.72
% 38.51/38.72
% 38.51/38.72 Changing weight limit from 10 to 11.
% 38.51/38.72
% 38.51/38.72 Resetting weight limit to 11 after 1800 givens.
% 38.51/38.72
% 38.96/39.14
% 38.96/39.14
% 38.96/39.14 Changing weight limit from 11 to 10.
% 38.96/39.14
% 38.96/39.14 Resetting weight limit to 10 after 1810 givens.
% 38.96/39.14
% 41.23/41.45
% 41.23/41.45
% 41.23/41.45 Changing weight limit from 10 to 11.
% 41.23/41.45
% 41.23/41.45 Resetting weight limit to 11 after 1880 givens.
% 41.23/41.45
% 41.42/41.61
% 41.42/41.61
% 41.42/41.61 Changing weight limit from 11 to 10.
% 41.42/41.61
% 41.42/41.61 Resetting weight limit to 10 after 1885 givens.
% 41.42/41.61
% 41.54/41.78
% 41.54/41.78
% 41.54/41.78 Changing weight limit from 10 to 11.
% 41.54/41.78
% 41.54/41.78 Resetting weight limit to 11 after 1890 givens.
% 41.54/41.78
% 41.85/42.04
% 41.85/42.04
% 41.85/42.04 Changing weight limit from 11 to 10.
% 41.85/42.04
% 41.85/42.04 Resetting weight limit to 10 after 1900 givens.
% 41.85/42.04
% 41.93/42.16
% 41.93/42.16
% 41.93/42.16 Changing weight limit from 10 to 11.
% 41.93/42.16
% 41.93/42.16 Resetting weight limit to 11 after 1905 givens.
% 41.93/42.16
% 42.01/42.23
% 42.01/42.23
% 42.01/42.23 Changing weight limit from 11 to 10.
% 42.01/42.23
% 42.01/42.23 Resetting weight limit to 10 after 1910 givens.
% 42.01/42.23
% 42.12/42.29
% 42.12/42.29
% 42.12/42.29 Changing weight limit from 10 to 11.
% 42.12/42.29
% 42.12/42.29 Resetting weight limit to 11 after 1915 givens.
% 42.12/42.29
% 42.46/42.70
% 42.46/42.70
% 42.46/42.70 Changing weight limit from 11 to 10.
% 42.46/42.70
% 42.46/42.70 Resetting weight limit to 10 after 1925 givens.
% 42.46/42.70
% 42.61/42.81
% 42.61/42.81
% 42.61/42.81 Changing weight limit from 10 to 11.
% 42.61/42.81
% 42.61/42.81 Resetting weight limit to 11 after 1935 givens.
% 42.61/42.81
% 42.76/42.95
% 42.76/42.95
% 42.76/42.95 Changing weight limit from 11 to 10.
% 42.76/42.95
% 42.76/42.95 Resetting weight limit to 10 after 1945 givens.
% 42.76/42.95
% 42.76/43.00
% 42.76/43.00
% 42.76/43.00 Changing weight limit from 10 to 11.
% 42.76/43.00
% 42.76/43.00 Resetting weight limit to 11 after 1950 givens.
% 42.76/43.00
% 43.06/43.27
% 43.06/43.27
% 43.06/43.27 Changing weight limit from 11 to 10.
% 43.06/43.27
% 43.06/43.27 Resetting weight limit to 10 after 1960 givens.
% 43.06/43.27
% 44.24/44.48
% 44.24/44.48
% 44.24/44.48 Changing weight limit from 10 to 11.
% 44.24/44.48
% 44.24/44.48 Resetting weight limit to 11 after 2010 givens.
% 44.24/44.48
% 44.52/44.74
% 44.52/44.74
% 44.52/44.74 Changing weight limit from 11 to 10.
% 44.52/44.74
% 44.52/44.74 Resetting weight limit to 10 after 2015 givens.
% 44.52/44.74
% 44.73/45.00
% 44.73/45.00
% 44.73/45.00 Changing weight limit from 10 to 11.
% 44.73/45.00
% 44.73/45.00 Resetting weight limit to 11 after 2025 givens.
% 44.73/45.00
% 45.13/45.31
% 45.13/45.31
% 45.13/45.31 Changing weight limit from 11 to 10.
% 45.13/45.31
% 45.13/45.31 Resetting weight limit to 10 after 2035 givens.
% 45.13/45.31
% 47.03/47.20
% 47.03/47.20
% 47.03/47.20 Changing weight limit from 10 to 11.
% 47.03/47.20
% 47.03/47.20 Resetting weight limit to 11 after 2115 givens.
% 47.03/47.20
% 47.56/47.79
% 47.56/47.79
% 47.56/47.79 Changing weight limit from 11 to 10.
% 47.56/47.79
% 47.56/47.79 Resetting weight limit to 10 after 2130 givens.
% 47.56/47.79
% 49.33/49.51
% 49.33/49.51
% 49.33/49.51 Changing weight limit from 10 to 11.
% 49.33/49.51
% 49.33/49.51 Resetting weight limit to 11 after 2185 givens.
% 49.33/49.51
% 49.42/49.69
% 49.42/49.69
% 49.42/49.69 Changing weight limit from 11 to 10.
% 49.42/49.69
% 49.42/49.69 Resetting weight limit to 10 after 2190 givens.
% 49.42/49.69
% 50.26/50.47
% 50.26/50.47
% 50.26/50.47 Changing weight limit from 10 to 11.
% 50.26/50.47
% 50.26/50.47 Resetting weight limit to 11 after 2210 givens.
% 50.26/50.47
% 50.65/50.83
% 50.65/50.83
% 50.65/50.83 Changing weight limit from 11 to 10.
% 50.65/50.83
% 50.65/50.83 Resetting weight limit to 10 after 2220 givens.
% 50.65/50.83
% 50.93/51.11
% 50.93/51.11
% 50.93/51.11 Changing weight limit from 10 to 11.
% 50.93/51.11
% 50.93/51.11 Resetting weight limit to 11 after 2230 givens.
% 50.93/51.11
% 51.32/51.49
% 51.32/51.49
% 51.32/51.49 Changing weight limit from 11 to 10.
% 51.32/51.49
% 51.32/51.49 Resetting weight limit to 10 after 2240 givens.
% 51.32/51.49
% 51.44/51.62
% 51.44/51.62
% 51.44/51.62 Changing weight limit from 10 to 11.
% 51.44/51.62
% 51.44/51.62 Resetting weight limit to 11 after 2245 givens.
% 51.44/51.62
% 52.14/52.31
% 52.14/52.31
% 52.14/52.31 Changing weight limit from 11 to 10.
% 52.14/52.31
% 52.14/52.31 Resetting weight limit to 10 after 2260 givens.
% 52.14/52.31
% 52.14/52.34
% 52.14/52.34
% 52.14/52.34 Changing weight limit from 10 to 11.
% 52.14/52.34
% 52.14/52.34 Resetting weight limit to 11 after 2265 givens.
% 52.14/52.34
% 52.72/52.97
% 52.72/52.97
% 52.72/52.97 Changing weight limit from 11 to 10.
% 52.72/52.97
% 52.72/52.97 Resetting weight limit to 10 after 2285 givens.
% 52.72/52.97
% 52.83/53.06
% 52.83/53.06
% 52.83/53.06 Changing weight limit from 10 to 11.
% 52.83/53.06
% 52.83/53.06 Resetting weight limit to 11 after 2290 givens.
% 52.83/53.06
% 53.12/53.30
% 53.12/53.30
% 53.12/53.30 Changing weight limit from 11 to 10.
% 53.12/53.30
% 53.12/53.30 Resetting weight limit to 10 after 2295 givens.
% 53.12/53.30
% 53.55/53.76
% 53.55/53.76
% 53.55/53.76 Changing weight limit from 10 to 11.
% 53.55/53.76
% 53.55/53.76 Resetting weight limit to 11 after 2310 givens.
% 53.55/53.76
% 53.84/54.01
% 53.84/54.01
% 53.84/54.01 Changing weight limit from 11 to 10.
% 53.84/54.01
% 53.84/54.01 Resetting weight limit to 10 after 2315 givens.
% 53.84/54.01
% 54.02/54.19
% 54.02/54.19
% 54.02/54.19 Changing weight limit from 10 to 11.
% 54.02/54.19
% 54.02/54.19 Resetting weight limit to 11 after 2325 givens.
% 54.02/54.19
% 54.83/55.08
% 54.83/55.08
% 54.83/55.08 Changing weight limit from 11 to 10.
% 54.83/55.08
% 54.83/55.08 Resetting weight limit to 10 after 2350 givens.
% 54.83/55.08
% 58.43/58.64
% 58.43/58.64
% 58.43/58.64 Changing weight limit from 10 to 11.
% 58.43/58.64
% 58.43/58.64 Resetting weight limit to 11 after 2445 givens.
% 58.43/58.64
% 58.81/59.00
% 58.81/59.00
% 58.81/59.00 Changing weight limit from 11 to 10.
% 58.81/59.00
% 58.81/59.00 Resetting weight limit to 10 after 2450 givens.
% 58.81/59.00
% 67.43/67.63
% 67.43/67.63
% 67.43/67.63 Changing weight limit from 10 to 11.
% 67.43/67.63
% 67.43/67.63 Resetting weight limit to 11 after 2740 givens.
% 67.43/67.63
% 67.73/67.91
% 67.73/67.91
% 67.73/67.91 Changing weight limit from 11 to 10.
% 67.73/67.91
% 67.73/67.91 Resetting weight limit to 10 after 2745 givens.
% 67.73/67.91
% 69.85/70.05
% 69.85/70.05
% 69.85/70.05 Changing weight limit from 10 to 11.
% 69.85/70.05
% 69.85/70.05 Resetting weight limit to 11 after 2800 givens.
% 69.85/70.05
% 69.92/70.09
% 69.92/70.09
% 69.92/70.09 Changing weight limit from 11 to 10.
% 69.92/70.09
% 69.92/70.09 Resetting weight limit to 10 after 2805 givens.
% 69.92/70.09
% 70.15/70.37
% 70.15/70.37
% 70.15/70.37 Changing weight limit from 10 to 11.
% 70.15/70.37
% 70.15/70.37 Resetting weight limit to 11 after 2810 givens.
% 70.15/70.37
% 70.34/70.61
% 70.34/70.61
% 70.34/70.61 Changing weight limit from 11 to 10.
% 70.34/70.61
% 70.34/70.61 Resetting weight limit to 10 after 2815 givens.
% 70.34/70.61
% 70.64/70.88
% 70.64/70.88
% 70.64/70.88 Changing weight limit from 10 to 11.
% 70.64/70.88
% 70.64/70.88 Resetting weight limit to 11 after 2825 givens.
% 70.64/70.88
% 70.74/70.97
% 70.74/70.97
% 70.74/70.97 Changing weight limit from 11 to 10.
% 70.74/70.97
% 70.74/70.97 Resetting weight limit to 10 after 2830 givens.
% 70.74/70.97
% 70.93/71.18
% 70.93/71.18
% 70.93/71.18 Changing weight limit from 10 to 11.
% 70.93/71.18
% 70.93/71.18 Resetting weight limit to 11 after 2835 givens.
% 70.93/71.18
% 71.23/71.43
% 71.23/71.43
% 71.23/71.43 Changing weight limit from 11 to 10.
% 71.23/71.43
% 71.23/71.43 Resetting weight limit to 10 after 2840 givens.
% 71.23/71.43
% 75.91/76.10
% 75.91/76.10
% 75.91/76.10 Changing weight limit from 10 to 11.
% 75.91/76.10
% 75.91/76.10 Resetting weight limit to 11 after 2935 givens.
% 75.91/76.10
% 76.27/76.48
% 76.27/76.48
% 76.27/76.48 Changing weight limit from 11 to 10.
% 76.27/76.48
% 76.27/76.48 Resetting weight limit to 10 after 2940 givens.
% 76.27/76.48
% 78.23/78.43
% 78.23/78.43
% 78.23/78.43 Changing weight limit from 10 to 11.
% 78.23/78.43
% 78.23/78.43 Resetting weight limit to 11 after 3010 givens.
% 78.23/78.43
% 78.55/78.75
% 78.55/78.75
% 78.55/78.75 Changing weight limit from 11 to 10.
% 78.55/78.75
% 78.55/78.75 Resetting weight limit to 10 after 3030 givens.
% 78.55/78.75
% 78.63/78.80
% 78.63/78.80
% 78.63/78.80 Changing weight limit from 10 to 11.
% 78.63/78.80
% 78.63/78.80 Resetting weight limit to 11 after 3035 givens.
% 78.63/78.80
% 78.86/79.03
% 78.86/79.03
% 78.86/79.03 Changing weight limit from 11 to 10.
% 78.86/79.03
% 78.86/79.03 Resetting weight limit to 10 after 3040 givens.
% 78.86/79.03
% 79.10/79.33
% 79.10/79.33
% 79.10/79.33 Changing weight limit from 10 to 11.
% 79.10/79.33
% 79.10/79.33 Resetting weight limit to 11 after 3070 givens.
% 79.10/79.33
% 79.25/79.43
% 79.25/79.43
% 79.25/79.43 Changing weight limit from 11 to 10.
% 79.25/79.43
% 79.25/79.43 Resetting weight limit to 10 after 3080 givens.
% 79.25/79.43
% 79.57/79.76
% 79.57/79.76
% 79.57/79.76 Changing weight limit from 10 to 11.
% 79.57/79.76
% 79.57/79.76 Resetting weight limit to 11 after 3095 givens.
% 79.57/79.76
% 79.73/79.91
% 79.73/79.91
% 79.73/79.91 Changing weight limit from 11 to 10.
% 79.73/79.91
% 79.73/79.91 Resetting weight limit to 10 after 3110 givens.
% 79.73/79.91
% 79.73/79.95
% 79.73/79.95
% 79.73/79.95 Changing weight limit from 10 to 11.
% 79.73/79.95
% 79.73/79.95 Resetting weight limit to 11 after 3115 givens.
% 79.73/79.95
% 80.01/80.20
% 80.01/80.20
% 80.01/80.20 Changing weight limit from 11 to 10.
% 80.01/80.20
% 80.01/80.20 Resetting weight limit to 10 after 3125 givens.
% 80.01/80.20
% 80.25/80.45
% 80.25/80.45
% 80.25/80.45 Changing weight limit from 10 to 11.
% 80.25/80.45
% 80.25/80.45 Resetting weight limit to 11 after 3135 givens.
% 80.25/80.45
% 80.32/80.53
% 80.32/80.53
% 80.32/80.53 Changing weight limit from 11 to 10.
% 80.32/80.53
% 80.32/80.53 Resetting weight limit to 10 after 3140 givens.
% 80.32/80.53
% 82.77/82.93
% 82.77/82.93
% 82.77/82.93 Changing weight limit from 10 to 11.
% 82.77/82.93
% 82.77/82.93 Resetting weight limit to 11 after 3215 givens.
% 82.77/82.93
% 82.92/83.08
% 82.92/83.08
% 82.92/83.08 Changing weight limit from 11 to 10.
% 82.92/83.08
% 82.92/83.08 Resetting weight limit to 10 after 3220 givens.
% 82.92/83.08
% 83.38/83.60
% 83.38/83.60
% 83.38/83.60 Changing weight limit from 10 to 11.
% 83.38/83.60
% 83.38/83.60 Resetting weight limit to 11 after 3240 givens.
% 83.38/83.60
% 83.52/83.75
% 83.52/83.75
% 83.52/83.76 Changing weight limit from 11 to 10.
% 83.52/83.76
% 83.52/83.76 Resetting weight limit to 10 after 3245 givens.
% 83.52/83.76
% 83.81/84.05
% 83.81/84.05
% 83.81/84.05 Changing weight limit from 10 to 11.
% 83.81/84.05
% 83.81/84.05 Resetting weight limit to 11 after 3260 givens.
% 83.81/84.05
% 83.93/84.09
% 83.93/84.09
% 83.93/84.09 Changing weight limit from 11 to 10.
% 83.93/84.09
% 83.93/84.09 Resetting weight limit to 10 after 3265 givens.
% 83.93/84.09
% 84.05/84.23
% 84.05/84.23
% 84.05/84.23 Changing weight limit from 10 to 11.
% 84.05/84.23
% 84.05/84.23 Resetting weight limit to 11 after 3270 givens.
% 84.05/84.23
% 84.13/84.33
% 84.13/84.33
% 84.13/84.33 Changing weight limit from 11 to 10.
% 84.13/84.33
% 84.13/84.33 Resetting weight limit to 10 after 3280 givens.
% 84.13/84.33
% 92.93/93.19
% 92.93/93.19
% 92.93/93.19 Changing weight limit from 10 to 11.
% 92.93/93.19
% 92.93/93.19 Resetting weight limit to 11 after 3525 givens.
% 92.93/93.19
% 93.16/93.35
% 93.16/93.35
% 93.16/93.35 Changing weight limit from 11 to 10.
% 93.16/93.35
% 93.16/93.35 Resetting weight limit to 10 after 3530 givens.
% 93.16/93.35
% 93.46/93.62
% 93.46/93.62
% 93.46/93.62 Changing weight limit from 10 to 11.
% 93.46/93.62
% 93.46/93.62 Resetting weight limit to 11 after 3540 givens.
% 93.46/93.62
% 93.73/93.93
% 93.73/93.93
% 93.73/93.93 Changing weight limit from 11 to 10.
% 93.73/93.93
% 93.73/93.93 Resetting weight limit to 10 after 3545 givens.
% 93.73/93.93
% 108.88/109.03
% 108.88/109.03
% 108.88/109.03 Changing weight limit from 10 to 11.
% 108.88/109.03
% 108.88/109.03 Resetting weight limit to 11 after 3850 givens.
% 108.88/109.03
% 109.01/109.22
% 109.01/109.22
% 109.01/109.22 Changing weight limit from 11 to 10.
% 109.01/109.22
% 109.01/109.22 Resetting weight limit to 10 after 3855 givens.
% 109.01/109.22
% 109.18/109.36
% 109.18/109.36
% 109.18/109.36 Changing weight limit from 10 to 11.
% 109.18/109.36
% 109.18/109.36 Resetting weight limit to 11 after 3860 givens.
% 109.18/109.36
% 109.24/109.47
% 109.24/109.47
% 109.24/109.47 Changing weight limit from 11 to 10.
% 109.24/109.47
% 109.24/109.47 Resetting weight limit to 10 after 3865 givens.
% 109.24/109.47
% 111.68/111.87
% 111.68/111.87
% 111.68/111.87 Changing weight limit from 10 to 11.
% 111.68/111.87
% 111.68/111.87 Resetting weight limit to 11 after 3925 givens.
% 111.68/111.87
% 111.76/111.93
% 111.76/111.93
% 111.76/111.93 Changing weight limit from 11 to 10.
% 111.76/111.93
% 111.76/111.93 Resetting weight limit to 10 after 3930 givens.
% 111.76/111.93
% 113.16/113.37
% 113.16/113.37
% 113.16/113.37 Changing weight limit from 10 to 11.
% 113.16/113.37
% 113.16/113.37 Resetting weight limit to 11 after 3960 givens.
% 113.16/113.37
% 113.38/113.54
% 113.38/113.54
% 113.38/113.54 Changing weight limit from 11 to 10.
% 113.38/113.54
% 113.38/113.54 Resetting weight limit to 10 after 3965 givens.
% 113.38/113.54
% 115.58/115.79
% 115.58/115.79
% 115.58/115.79 Changing weight limit from 10 to 11.
% 115.58/115.79
% 115.58/115.79 Resetting weight limit to 11 after 4005 givens.
% 115.58/115.79
% 115.72/115.93
% 115.72/115.93
% 115.72/115.93 Changing weight limit from 11 to 10.
% 115.72/115.93
% 115.72/115.93 Resetting weight limit to 10 after 4010 givens.
% 115.72/115.93
% 116.18/116.40
% 116.18/116.40
% 116.18/116.40 Changing weight limit from 10 to 11.
% 116.18/116.40
% 116.18/116.40 Resetting weight limit to 11 after 4025 givens.
% 116.18/116.40
% 116.27/116.46
% 116.27/116.46
% 116.27/116.46 Changing weight limit from 11 to 10.
% 116.27/116.46
% 116.27/116.46 Resetting weight limit to 10 after 4030 givens.
% 116.27/116.46
% 116.42/116.64
% 116.42/116.64
% 116.42/116.64 Changing weight limit from 10 to 11.
% 116.42/116.64
% 116.42/116.64 Resetting weight limit to 11 after 4035 givens.
% 116.42/116.64
% 116.72/116.89
% 116.72/116.89
% 116.72/116.89 Changing weight limit from 11 to 10.
% 116.72/116.89
% 116.72/116.89 Resetting weight limit to 10 after 4040 givens.
% 116.72/116.89
% 117.16/117.40
% 117.16/117.40
% 117.16/117.40 Changing weight limit from 10 to 11.
% 117.16/117.40
% 117.16/117.40 Resetting weight limit to 11 after 4060 givens.
% 117.16/117.40
% 117.65/117.83
% 117.65/117.83
% 117.65/117.83 Changing weight limit from 11 to 10.
% 117.65/117.83
% 117.65/117.83 Resetting weight limit to 10 after 4065 givens.
% 117.65/117.83
% 120.84/121.05
% 120.84/121.05
% 120.84/121.05 Changing weight limit from 10 to 11.
% 120.84/121.05
% 120.84/121.05 Resetting weight limit to 11 after 4120 givens.
% 120.84/121.05
% 120.96/121.18
% 120.96/121.18
% 120.96/121.18 Changing weight limit from 11 to 10.
% 120.96/121.18
% 120.96/121.18 Resetting weight limit to 10 after 4125 givens.
% 120.96/121.18
% 121.16/121.35
% 121.16/121.35
% 121.16/121.35 Changing weight limit from 10 to 11.
% 121.16/121.35
% 121.16/121.35 Resetting weight limit to 11 after 4130 givens.
% 121.16/121.35
% 121.86/122.09
% 121.86/122.09
% 121.86/122.09 Changing weight limit from 11 to 10.
% 121.86/122.09
% 121.86/122.09 Resetting weight limit to 10 after 4135 givens.
% 121.86/122.09
% 122.72/122.94
% 122.72/122.94
% 122.72/122.94 Changing weight limit from 10 to 11.
% 122.72/122.94
% 122.72/122.94 Resetting weight limit to 11 after 4145 givens.
% 122.72/122.94
% 123.35/123.52
% 123.35/123.52
% 123.35/123.52 Changing weight limit from 11 to 10.
% 123.35/123.52
% 123.35/123.52 Resetting weight limit to 10 after 4150 givens.
% 123.35/123.52
% 123.57/123.77
% 123.57/123.77
% 123.57/123.77 Changing weight limit from 10 to 11.
% 123.57/123.77
% 123.57/123.77 Resetting weight limit to 11 after 4155 givens.
% 123.57/123.77
% 123.98/124.14
% 123.98/124.14
% 123.98/124.14 Changing weight limit from 11 to 10.
% 123.98/124.14
% 123.98/124.14 Resetting weight limit to 10 after 4160 givens.
% 123.98/124.14
% 125.44/125.63
% 125.44/125.63
% 125.44/125.63 Changing weight limit from 10 to 11.
% 125.44/125.63
% 125.44/125.63 Resetting weight limit to 11 after 4190 givens.
% 125.44/125.63
% 125.74/125.98
% 125.74/125.98
% 125.74/125.98 Changing weight limit from 11 to 10.
% 125.74/125.98
% 125.74/125.98 Resetting weight limit to 10 after 4195 givens.
% 125.74/125.98
% 127.43/127.66
% 127.43/127.66
% 127.43/127.66 Changing weight limit from 10 to 11.
% 127.43/127.66
% 127.43/127.66 Resetting weight limit to 11 after 4225 givens.
% 127.43/127.66
% 127.57/127.79
% 127.57/127.79
% 127.57/127.79 Changing weight limit from 11 to 10.
% 127.57/127.79
% 127.57/127.79 Resetting weight limit to 10 after 4230 givens.
% 127.57/127.79
% 127.67/127.89
% 127.67/127.89
% 127.67/127.89 Changing weight limit from 10 to 11.
% 127.67/127.89
% 127.67/127.89 Resetting weight limit to 11 after 4235 givens.
% 127.67/127.89
% 127.85/128.02
% 127.85/128.02
% 127.85/128.02 Changing weight limit from 11 to 10.
% 127.85/128.02
% 127.85/128.02 Resetting weight limit to 10 after 4240 givens.
% 127.85/128.02
% 137.95/138.19
% 137.95/138.19
% 137.95/138.19 Changing weight limit from 10 to 11.
% 137.95/138.19
% 137.95/138.19 Resetting weight limit to 11 after 4470 givens.
% 137.95/138.19
% 138.26/138.48
% 138.26/138.48
% 138.26/138.48 Changing weight limit from 11 to 10.
% 138.26/138.48
% 138.26/138.48 Resetting weight limit to 10 after 4475 givens.
% 138.26/138.48
% 142.86/143.09
% 142.86/143.09
% 142.95/143.09 Changing weight limit from 10 to 11.
% 142.95/143.09
% 142.95/143.09 Resetting weight limit to 11 after 4570 givens.
% 142.95/143.09
% 143.45/143.65
% 143.45/143.65
% 143.45/143.65 Changing weight limit from 11 to 10.
% 143.45/143.65
% 143.45/143.65 Resetting weight limit to 10 after 4575 givens.
% 143.45/143.65
% 145.75/145.90
% 145.75/145.90
% 145.75/145.90 Changing weight limit from 10 to 11.
% 145.75/145.90
% 145.75/145.90 Resetting weight limit to 11 after 4620 givens.
% 145.75/145.90
% 146.06/146.25
% 146.06/146.25
% 146.06/146.25 Changing weight limit from 11 to 10.
% 146.06/146.25
% 146.06/146.25 Resetting weight limit to 10 after 4625 givens.
% 146.06/146.25
% 151.78/152.00
% 151.78/152.00
% 151.78/152.00 Changing weight limit from 10 to 11.
% 151.78/152.00
% 151.78/152.00 Resetting weight limit to 11 after 4730 givens.
% 151.78/152.00
% 152.38/152.53
% 152.38/152.53
% 152.38/152.53 Changing weight limit from 11 to 10.
% 152.38/152.53
% 152.38/152.53 Resetting weight limit to 10 after 4740 givens.
% 152.38/152.53
% 163.06/163.29
% 163.06/163.29
% 163.06/163.29 Changing weight limit from 10 to 11.
% 163.06/163.29
% 163.06/163.29 Resetting weight limit to 11 after 4945 givens.
% 163.06/163.29
% 163.34/163.50
% 163.34/163.50
% 163.34/163.50 Changing weight limit from 11 to 10.
% 163.34/163.50
% 163.34/163.50 Resetting weight limit to 10 after 4950 givens.
% 163.34/163.50
% 165.35/165.50
% 165.35/165.50
% 165.35/165.50 Changing weight limit from 10 to 11.
% 165.35/165.50
% 165.35/165.50 Resetting weight limit to 11 after 5005 givens.
% 165.35/165.50
% 165.46/165.66
% 165.46/165.66
% 165.46/165.66 Changing weight limit from 11 to 10.
% 165.46/165.66
% 165.46/165.66 Resetting weight limit to 10 after 5010 givens.
% 165.46/165.66
% 166.55/166.73
% 166.55/166.73
% 166.55/166.73 Changing weight limit from 10 to 11.
% 166.55/166.73
% 166.55/166.73 Resetting weight limit to 11 after 5050 givens.
% 166.55/166.73
% 166.76/166.98
% 166.76/166.98
% 166.76/166.98 Changing weight limit from 11 to 10.
% 166.76/166.98
% 166.76/166.98 Resetting weight limit to 10 after 5060 givens.
% 166.76/166.98
% 176.53/176.68
% 176.53/176.68
% 176.53/176.68 Changing weight limit from 10 to 11.
% 176.53/176.68
% 176.53/176.68 Resetting weight limit to 11 after 5245 givens.
% 176.53/176.68
% 176.53/176.74
% 176.53/176.74
% 176.53/176.74 Changing weight limit from 11 to 10.
% 176.53/176.74
% 176.53/176.74 Resetting weight limit to 10 after 5250 givens.
% 176.53/176.74
% 178.25/178.48
% 178.25/178.48
% 178.25/178.48 Changing weight limit from 10 to 11.
% 178.25/178.48
% 178.25/178.48 Resetting weight limit to 11 after 5310 givens.
% 178.25/178.48
% 178.36/178.57
% 178.36/178.57
% 178.36/178.57 Changing weight limit from 11 to 10.
% 178.36/178.57
% 178.36/178.57 Resetting weight limit to 10 after 5315 givens.
% 178.36/178.57
% 178.45/178.68
% 178.45/178.68
% 178.45/178.68 Changing weight limit from 10 to 11.
% 178.45/178.68
% 178.45/178.68 Resetting weight limit to 11 after 5325 givens.
% 178.45/178.68
% 178.54/178.76
% 178.54/178.76
% 178.54/178.76 Changing weight limit from 11 to 10.
% 178.54/178.76
% 178.54/178.76 Resetting weight limit to 10 after 5330 givens.
% 178.54/178.76
% 178.84/179.00
% 178.84/179.00
% 178.84/179.00 Changing weight limit from 10 to 11.
% 178.84/179.00
% 178.84/179.00 Resetting weight limit to 11 after 5335 givens.
% 178.84/179.00
% 178.84/179.09
% 178.84/179.09
% 178.84/179.09 Changing weight limit from 11 to 10.
% 178.84/179.09
% 178.84/179.09 Resetting weight limit to 10 after 5340 givens.
% 178.84/179.09
% 179.07/179.26
% 179.07/179.26
% 179.07/179.26 Changing weight limit from 10 to 11.
% 179.07/179.26
% 179.07/179.26 Resetting weight limit to 11 after 5345 givens.
% 179.07/179.26
% 179.58/179.77
% 179.58/179.77
% 179.58/179.77 Changing weight limit from 11 to 10.
% 179.58/179.77
% 179.58/179.77 Resetting weight limit to 10 after 5350 givens.
% 179.58/179.77
% 181.14/181.28
% 181.14/181.28
% 181.14/181.28 Changing weight limit from 10 to 11.
% 181.14/181.28
% 181.14/181.28 Resetting weight limit to 11 after 5390 givens.
% 181.14/181.28
% 181.26/181.44
% 181.26/181.44
% 181.26/181.44 Changing weight limit from 11 to 10.
% 181.26/181.44
% 181.26/181.44 Resetting weight limit to 10 after 5395 givens.
% 181.26/181.44
% 181.36/181.58
% 181.36/181.58
% 181.36/181.58 Changing weight limit from 10 to 11.
% 181.36/181.58
% 181.36/181.58 Resetting weight limit to 11 after 5405 givens.
% 181.36/181.58
% 182.56/182.74
% 182.56/182.74
% 182.56/182.74 Changing weight limit from 11 to 10.
% 182.56/182.74
% 182.56/182.74 Resetting weight limit to 10 after 5425 givens.
% 182.56/182.74
% 182.65/182.87
% 182.65/182.87
% 182.65/182.87 Changing weight limit from 10 to 11.
% 182.65/182.87
% 182.65/182.87 Resetting weight limit to 11 after 5430 givens.
% 182.65/182.87
% 183.17/183.35
% 183.17/183.35
% 183.17/183.35 Changing weight limit from 11 to 10.
% 183.17/183.35
% 183.17/183.35 Resetting weight limit to 10 after 5440 givens.
% 183.17/183.35
% 183.47/183.62
% 183.47/183.62
% 183.47/183.62 Changing weight limit from 10 to 11.
% 183.47/183.62
% 183.47/183.62 Resetting weight limit to 11 after 5450 givens.
% 183.47/183.62
% 183.65/183.84
% 183.65/183.84
% 183.65/183.84 Changing weight limit from 11 to 10.
% 183.65/183.84
% 183.65/183.84 Resetting weight limit to 10 after 5455 givens.
% 183.65/183.84
% 183.95/184.14
% 183.95/184.14
% 183.95/184.15 Changing weight limit from 10 to 11.
% 183.95/184.15
% 183.95/184.15 Resetting weight limit to 11 after 5465 givens.
% 183.95/184.15
% 184.26/184.46
% 184.26/184.46
% 184.26/184.46 Changing weight limit from 11 to 10.
% 184.26/184.46
% 184.26/184.46 Resetting weight limit to 10 after 5470 givens.
% 184.26/184.46
% 187.16/187.36
% 187.16/187.36
% 187.16/187.36 Changing weight limit from 10 to 11.
% 187.16/187.36
% 187.16/187.36 Resetting weight limit to 11 after 5525 givens.
% 187.16/187.36
% 187.25/187.42
% 187.25/187.42
% 187.25/187.42 Changing weight limit from 11 to 10.
% 187.25/187.42
% 187.25/187.42 Resetting weight limit to 10 after 5530 givens.
% 187.25/187.42
% 187.55/187.76
% 187.55/187.76
% 187.55/187.76 Changing weight limit from 10 to 11.
% 187.55/187.76
% 187.55/187.76 Resetting weight limit to 11 after 5535 givens.
% 187.55/187.76
% 187.87/188.04
% 187.87/188.04
% 187.87/188.04 Changing weight limit from 11 to 10.
% 187.87/188.04
% 187.87/188.04 Resetting weight limit to 10 after 5540 givens.
% 187.87/188.04
% 190.17/190.33
% 190.17/190.33
% 190.17/190.33 Changing weight limit from 10 to 11.
% 190.17/190.33
% 190.17/190.33 Resetting weight limit to 11 after 5605 givens.
% 190.17/190.33
% 190.56/190.78
% 190.56/190.78
% 190.56/190.78 Changing weight limit from 11 to 10.
% 190.56/190.78
% 190.56/190.78 Resetting weight limit to 10 after 5610 givens.
% 190.56/190.78
% 190.78/190.92
% 190.78/190.92
% 190.78/190.92 Changing weight limit from 10 to 11.
% 190.78/190.92
% 190.78/190.92 Resetting weight limit to 11 after 5615 givens.
% 190.78/190.92
% 190.78/190.99
% 190.78/190.99
% 190.78/190.99 Changing weight limit from 11 to 10.
% 190.78/190.99
% 190.78/190.99 Resetting weight limit to 10 after 5620 givens.
% 190.78/190.99
% 191.55/191.70
% 191.55/191.70
% 191.55/191.70 Changing weight limit from 10 to 11.
% 191.55/191.70
% 191.55/191.70 Resetting weight limit to 11 after 5635 givens.
% 191.55/191.70
% 191.55/191.77
% 191.55/191.77
% 191.55/191.77 Changing weight limit from 11 to 10.
% 191.55/191.77
% 191.55/191.77 Resetting weight limit to 10 after 5640 givens.
% 191.55/191.77
% 191.95/192.10
% 191.95/192.10
% 191.95/192.10 Changing weight limit from 10 to 11.
% 191.95/192.10
% 191.95/192.10 Resetting weight limit to 11 after 5645 givens.
% 191.95/192.10
% 192.45/192.62
% 192.45/192.62
% 192.45/192.62 Changing weight limit from 11 to 10.
% 192.45/192.62
% 192.45/192.62 Resetting weight limit to 10 after 5650 givens.
% 192.45/192.62
% 195.36/195.52
% 195.36/195.52
% 195.36/195.52 Changing weight limit from 10 to 11.
% 195.36/195.52
% 195.36/195.52 Resetting weight limit to 11 after 5715 givens.
% 195.36/195.52
% 195.75/195.93
% 195.75/195.93
% 195.75/195.93 Changing weight limit from 11 to 10.
% 195.75/195.93
% 195.75/195.93 Resetting weight limit to 10 after 5720 givens.
% 195.75/195.93
% 197.38/197.53
% 197.38/197.53
% 197.38/197.53 Changing weight limit from 10 to 11.
% 197.38/197.53
% 197.38/197.53 Resetting weight limit to 11 after 5750 givens.
% 197.38/197.53
% 197.55/197.74
% 197.55/197.74
% 197.55/197.74 Changing weight limit from 11 to 10.
% 197.55/197.74
% 197.55/197.74 Resetting weight limit to 10 after 5755 givens.
% 197.55/197.74
% 198.59/198.78
% 198.59/198.78
% 198.59/198.78 Changing weight limit from 10 to 11.
% 198.59/198.78
% 198.59/198.78 Resetting weight limit to 11 after 5770 givens.
% 198.59/198.78
% 200.17/200.37
% 200.17/200.37
% 200.17/200.37 Changing weight limit from 11 to 10.
% 200.17/200.37
% 200.17/200.37 Resetting weight limit to 10 after 5790 givens.
% 200.17/200.37
% 200.97/201.12
% 200.97/201.12
% 200.97/201.12 Changing weight limit from 10 to 11.
% 200.97/201.12
% 200.97/201.12 Resetting weight limit to 11 after 5805 givens.
% 200.97/201.12
% 201.07/201.27
% 201.07/201.27
% 201.07/201.27 Changing weight limit from 11 to 10.
% 201.07/201.27
% 201.07/201.27 Resetting weight limit to 10 after 5810 givens.
% 201.07/201.27
% 202.49/202.66
% 202.49/202.66
% 202.49/202.66 Changing weight limit from 10 to 11.
% 202.49/202.66
% 202.49/202.66 Resetting weight limit to 11 after 5840 givens.
% 202.49/202.66
% 202.78/202.92
% 202.78/202.92
% 202.78/202.92 Changing weight limit from 11 to 10.
% 202.78/202.92
% 202.78/202.92 Resetting weight limit to 10 after 5845 givens.
% 202.78/202.92
% 202.94/203.16
% 202.94/203.16
% 202.94/203.16 Changing weight limit from 10 to 11.
% 202.94/203.16
% 202.94/203.16 Resetting weight limit to 11 after 5855 givens.
% 202.94/203.16
% 203.26/203.48
% 203.26/203.48
% 203.26/203.48 Changing weight limit from 11 to 10.
% 203.26/203.48
% 203.26/203.48 Resetting weight limit to 10 after 5860 givens.
% 203.26/203.48
% 203.47/203.66
% 203.47/203.66
% 203.47/203.66 Changing weight limit from 10 to 11.
% 203.47/203.66
% 203.47/203.66 Resetting weight limit to 11 after 5865 givens.
% 203.47/203.66
% 203.87/204.04
% 203.87/204.04
% 203.87/204.04 Changing weight limit from 11 to 10.
% 203.87/204.04
% 203.87/204.04 Resetting weight limit to 10 after 5870 givens.
% 203.87/204.04
% 204.46/204.68
% 204.46/204.68
% 204.46/204.68 Changing weight limit from 10 to 11.
% 204.46/204.68
% 204.46/204.68 Resetting weight limit to 11 after 5885 givens.
% 204.46/204.68
% 204.75/204.92
% 204.75/204.92
% 204.75/204.92 Changing weight limit from 11 to 10.
% 204.75/204.92
% 204.75/204.92 Resetting weight limit to 10 after 5890 givens.
% 204.75/204.92
% 205.05/205.28
% 205.05/205.28
% 205.05/205.28 Changing weight limit from 10 to 11.
% 205.05/205.28
% 205.05/205.28 Resetting weight limit to 11 after 5905 givens.
% 205.05/205.28
% 205.58/205.75
% 205.58/205.75
% 205.58/205.75 Changing weight limit from 11 to 10.
% 205.58/205.75
% 205.58/205.75 Resetting weight limit to 10 after 5915 givens.
% 205.58/205.75
% 205.65/205.83
% 205.65/205.83
% 205.65/205.83 Changing weight limit from 10 to 11.
% 205.65/205.83
% 205.65/205.83 Resetting weight limit to 11 after 5920 givens.
% 205.65/205.83
% 205.94/206.08
% 205.94/206.08
% 205.94/206.08 Changing weight limit from 11 to 10.
% 205.94/206.08
% 205.94/206.08 Resetting weight limit to 10 after 5925 givens.
% 205.94/206.08
% 205.94/206.16
% 205.94/206.16
% 205.94/206.16 Changing weight limit from 10 to 11.
% 205.94/206.16
% 205.94/206.16 Resetting weight limit to 11 after 5930 givens.
% 205.94/206.16
% 206.25/206.43
% 206.25/206.43
% 206.25/206.43 Changing weight limit from 11 to 10.
% 206.25/206.43
% 206.25/206.43 Resetting weight limit to 10 after 5935 givens.
% 206.25/206.43
% 206.47/206.66
% 206.47/206.66
% 206.47/206.66 Changing weight limit from 10 to 11.
% 206.47/206.66
% 206.47/206.66 Resetting weight limit to 11 after 5945 givens.
% 206.47/206.66
% 206.68/206.83
% 206.68/206.83
% 206.68/206.83 Changing weight limit from 11 to 10.
% 206.68/206.83
% 206.68/206.83 Resetting weight limit to 10 after 5950 givens.
% 206.68/206.83
% 207.56/207.73
% 207.56/207.73
% 207.56/207.73 Changing weight limit from 10 to 11.
% 207.56/207.73
% 207.56/207.73 Resetting weight limit to 11 after 5980 givens.
% 207.56/207.73
% 209.09/209.28
% 209.09/209.28
% 209.09/209.28 Changing weight limit from 11 to 10.
% 209.09/209.28
% 209.09/209.28 Resetting weight limit to 10 after 6010 givens.
% 209.09/209.28
% 211.87/212.02
% 211.87/212.02
% 211.87/212.02 Changing weight limit from 10 to 11.
% 211.87/212.02
% 211.87/212.02 Resetting weight limit to 11 after 6075 givens.
% 211.87/212.02
% 216.45/216.61
% 216.45/216.61
% 216.45/216.61 Changing weight limit from 11 to 10.
% 216.45/216.61
% 216.45/216.61 Resetting weight limit to 10 after 6140 givens.
% 216.45/216.61
% 217.05/217.20
% 217.05/217.20
% 217.05/217.20 Changing weight limit from 10 to 11.
% 217.05/217.20
% 217.05/217.20 Resetting weight limit to 11 after 6150 givens.
% 217.05/217.20
% 220.05/220.24
% 220.05/220.24
% 220.05/220.24 Changing weight limit from 11 to 10.
% 220.05/220.24
% 220.05/220.24 Resetting weight limit to 10 after 6205 givens.
% 220.05/220.24
% 222.36/222.56
% 222.36/222.56
% 222.36/222.56 Changing weight limit from 10 to 11.
% 222.36/222.56
% 222.36/222.56 Resetting weight limit to 11 after 6240 givens.
% 222.36/222.56
% 222.58/222.78
% 222.58/222.78
% 222.58/222.78 Changing weight limit from 11 to 10.
% 222.58/222.78
% 222.58/222.78 Resetting weight limit to 10 after 6245 givens.
% 222.58/222.78
% 223.94/224.16
% 223.94/224.16
% 223.94/224.16 Changing weight limit from 10 to 11.
% 223.94/224.16
% 223.94/224.16 Resetting weight limit to 11 after 6265 givens.
% 223.94/224.16
% 224.55/224.74
% 224.55/224.74
% 224.55/224.74 Changing weight limit from 11 to 10.
% 224.55/224.74
% 224.55/224.74 Resetting weight limit to 10 after 6270 givens.
% 224.55/224.74
% 230.06/230.19
% 230.06/230.19
% 230.06/230.19 Changing weight limit from 10 to 11.
% 230.06/230.19
% 230.06/230.19 Resetting weight limit to 11 after 6320 givens.
% 230.06/230.19
% 230.37/230.51
% 230.37/230.51
% 230.37/230.51 Changing weight limit from 11 to 10.
% 230.37/230.51
% 230.37/230.51 Resetting weight limit to 10 after 6325 givens.
% 230.37/230.51
% 230.56/230.75
% 230.56/230.75
% 230.56/230.75 Changing weight limit from 10 to 11.
% 230.56/230.75
% 230.56/230.75 Resetting weight limit to 11 after 6330 givens.
% 230.56/230.75
% 230.68/230.91
% 230.68/230.91
% 230.68/230.91 Changing weight limit from 11 to 10.
% 230.68/230.91
% 230.68/230.91 Resetting weight limit to 10 after 6335 givens.
% 230.68/230.91
% 231.45/231.61
% 231.45/231.61
% 231.45/231.61 Changing weight limit from 10 to 11.
% 231.45/231.61
% 231.45/231.61 Resetting weight limit to 11 after 6350 givens.
% 231.45/231.61
% 232.57/232.79
% 232.57/232.79
% 232.57/232.79 Changing weight limit from 11 to 10.
% 232.57/232.79
% 232.57/232.79 Resetting weight limit to 10 after 6365 givens.
% 232.57/232.79
% 232.96/233.12
% 232.96/233.12
% 232.96/233.12 Changing weight limit from 10 to 11.
% 232.96/233.12
% 232.96/233.12 Resetting weight limit to 11 after 6370 givens.
% 232.96/233.12
% 236.66/236.80
% 236.66/236.80
% 236.66/236.80 Changing weight limit from 11 to 10.
% 236.66/236.80
% 236.66/236.80 Resetting weight limit to 10 after 6420 givens.
% 236.66/236.80
% 238.34/238.53
% 238.34/238.53
% 238.34/238.53 Changing weight limit from 10 to 11.
% 238.34/238.53
% 238.34/238.53 Resetting weight limit to 11 after 6445 givens.
% 238.34/238.53
% 240.28/240.49
% 240.28/240.49
% 240.28/240.49 Changing weight limit from 11 to 10.
% 240.28/240.49
% 240.28/240.49 Resetting weight limit to 10 after 6485 givens.
% 240.28/240.49
% 240.75/240.96
% 240.75/240.96
% 240.75/240.96 Changing weight limit from 10 to 11.
% 240.75/240.96
% 240.75/240.96 Resetting weight limit to 11 after 6490 givens.
% 240.75/240.96
% 243.67/243.89
% 243.67/243.89
% 243.67/243.89 Changing weight limit from 11 to 10.
% 243.67/243.89
% 243.67/243.89 Resetting weight limit to 10 after 6545 givens.
% 243.67/243.89
% 243.97/244.19
% 243.97/244.19
% 243.97/244.19 Changing weight limit from 10 to 11.
% 243.97/244.19
% 243.97/244.19 Resetting weight limit to 11 after 6550 givens.
% 243.97/244.19
% 244.66/244.86
% 244.66/244.86
% 244.66/244.86 Changing weight limit from 11 to 10.
% 244.66/244.86
% 244.66/244.86 Resetting weight limit to 10 after 6555 givens.
% 244.66/244.86
% 244.96/245.15
% 244.96/245.15
% 244.96/245.15 Changing weight limit from 10 to 11.
% 244.96/245.15
% 244.96/245.15 Resetting weight limit to 11 after 6560 givens.
% 244.96/245.15
% 245.77/245.90
% 245.77/245.90
% 245.77/245.90 Changing weight limit from 11 to 10.
% 245.77/245.90
% 245.77/245.90 Resetting weight limit to 10 after 6565 givens.
% 245.77/245.90
% 246.46/246.62
% 246.46/246.62
% 246.46/246.62 Changing weight limit from 10 to 11.
% 246.46/246.62
% 246.46/246.62 Resetting weight limit to 11 after 6575 givens.
% 246.46/246.62
% 251.26/251.42
% 251.26/251.42
% 251.26/251.42 Changing weight limit from 11 to 10.
% 251.26/251.42
% 251.26/251.42 Resetting weight limit to 10 after 6630 givens.
% 251.26/251.42
% 251.98/252.15
% 251.98/252.15
% 251.98/252.15 Changing weight limit from 10 to 11.
% 251.98/252.15
% 251.98/252.15 Resetting weight limit to 11 after 6640 givens.
% 251.98/252.15
% 252.28/252.46
% 252.28/252.46
% 252.28/252.46 Changing weight limit from 11 to 10.
% 252.28/252.46
% 252.28/252.46 Resetting weight limit to 10 after 6645 givens.
% 252.28/252.46
% 252.59/252.75
% 252.59/252.75
% 252.59/252.75 Changing weight limit from 10 to 11.
% 252.59/252.75
% 252.59/252.75 Resetting weight limit to 11 after 6655 givens.
% 252.59/252.75
% 253.18/253.35
% 253.18/253.35
% 253.18/253.35 Changing weight limit from 11 to 10.
% 253.18/253.35
% 253.18/253.35 Resetting weight limit to 10 after 6670 givens.
% 253.18/253.35
% 253.97/254.16
% 253.97/254.16
% 253.97/254.16 Changing weight limit from 10 to 11.
% 253.97/254.16
% 253.97/254.16 Resetting weight limit to 11 after 6685 givens.
% 253.97/254.16
% 254.27/254.43
% 254.27/254.43
% 254.27/254.43 Changing weight limit from 11 to 10.
% 254.27/254.43
% 254.27/254.43 Resetting weight limit to 10 after 6690 givens.
% 254.27/254.43
% 254.46/254.60
% 254.46/254.60
% 254.46/254.60 Changing weight limit from 10 to 11.
% 254.46/254.60
% 254.46/254.60 Resetting weight limit to 11 after 6695 givens.
% 254.46/254.60
% 254.57/254.79
% 254.57/254.79
% 254.57/254.79 Changing weight limit from 11 to 10.
% 254.57/254.79
% 254.57/254.79 Resetting weight limit to 10 after 6700 givens.
% 254.57/254.79
% 254.88/255.01
% 254.88/255.01
% 254.88/255.01 Changing weight limit from 10 to 11.
% 254.88/255.01
% 254.88/255.01 Resetting weight limit to 11 after 6705 givens.
% 254.88/255.01
% 255.07/255.29
% 255.07/255.29
% 255.07/255.29 Changing weight limit from 11 to 10.
% 255.07/255.29
% 255.07/255.29 Resetting weight limit to 10 after 6710 givens.
% 255.07/255.29
% 255.66/255.80
% 255.66/255.80
% 255.66/255.80 Changing weight limit from 10 to 11.
% 255.66/255.80
% 255.66/255.80 Resetting weight limit to 11 after 6725 givens.
% 255.66/255.80
% 256.38/256.61
% 256.38/256.61
% 256.38/256.61 Changing weight limit from 11 to 10.
% 256.38/256.61
% 256.38/256.61 Resetting weight limit to 10 after 6740 givens.
% 256.38/256.61
% 256.68/256.87
% 256.68/256.87
% 256.68/256.87 Changing weight limit from 10 to 11.
% 256.68/256.87
% 256.68/256.87 Resetting weight limit to 11 after 6750 givens.
% 256.68/256.87
% 256.86/257.01
% 256.86/257.02
% 256.86/257.02 Changing weight limit from 11 to 12.
% 256.86/257.02
% 256.86/257.02 Resetting weight limit to 12 after 6755 givens.
% 256.86/257.02
% 257.06/257.21
% 257.06/257.21
% 257.06/257.21 Changing weight limit from 12 to 11.
% 257.06/257.21
% 257.06/257.21 Resetting weight limit to 11 after 6760 givens.
% 257.06/257.21
% 257.19/257.33
% 257.19/257.33
% 257.19/257.33 Changing weight limit from 11 to 10.
% 257.19/257.33
% 257.19/257.33 Resetting weight limit to 10 after 6765 givens.
% 257.19/257.33
% 257.48/257.63
% 257.48/257.63
% 257.48/257.63 Changing weight limit from 10 to 11.
% 257.48/257.63
% 257.48/257.63 Resetting weight limit to 11 after 6775 givens.
% 257.48/257.63
% 257.48/257.69
% 257.48/257.69
% 257.48/257.69 Changing weight limit from 11 to 12.
% 257.48/257.69
% 257.48/257.69 Resetting weight limit to 12 after 6780 givens.
% 257.48/257.69
% 257.77/257.92
% 257.77/257.92
% 257.77/257.92 Changing weight limit from 12 to 11.
% 257.77/257.92
% 257.77/257.92 Resetting weight limit to 11 after 6785 givens.
% 257.77/257.92
% 258.17/258.31
% 258.17/258.31
% 258.17/258.31 Changing weight limit from 11 to 10.
% 258.17/258.31
% 258.17/258.31 Resetting weight limit to 10 after 6795 givens.
% 258.17/258.31
% 258.25/258.40
% 258.25/258.40
% 258.25/258.40 Changing weight limit from 10 to 11.
% 258.25/258.40
% 258.25/258.40 Resetting weight limit to 11 after 6800 givens.
% 258.25/258.40
% 258.35/258.49
% 258.35/258.49
% 258.35/258.49 Changing weight limit from 11 to 12.
% 258.35/258.49
% 258.35/258.49 Resetting weight limit to 12 after 6805 givens.
% 258.35/258.49
% 258.67/258.86
% 258.67/258.86
% 258.67/258.86 Changing weight limit from 12 to 11.
% 258.67/258.86
% 258.67/258.86 Resetting weight limit to 11 after 6810 givens.
% 258.67/258.86
% 273.18/273.38
% 273.18/273.38
% 273.18/273.38 Changing weight limit from 11 to 12.
% 273.18/273.38
% 273.18/273.38 Resetting weight limit to 12 after 7040 givens.
% 273.18/273.38
% 273.35/273.48
% 273.35/273.48
% 273.35/273.48 Changing weight limit from 12 to 11.
% 273.35/273.48
% 273.35/273.48 Resetting weight limit to 11 after 7045 givens.
% 273.35/273.48
% 273.57/273.77
% 273.57/273.77
% 273.57/273.77 Changing weight limit from 11 to 12.
% 273.57/273.77
% 273.57/273.77 Resetting weight limit to 12 after 7065 givens.
% 273.57/273.77
% 273.87/274.08
% 273.87/274.08
% 273.87/274.08 Changing weight limit from 12 to 11.
% 273.87/274.08
% 273.87/274.08 Resetting weight limit to 11 after 7070 givens.
% 273.87/274.08
% 300.08/300.21 Wow, sos-wrapper got a signal XCPU
%------------------------------------------------------------------------------