TSTP Solution File: SYO777+1 by SOS---2.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : SOS---2.0
% Problem : SYO777+1 : TPTP v8.1.0. Released v7.4.0.
% Transfm : none
% Format : tptp:raw
% Command : sos-script %s
% Computer : n010.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:48 EDT 2022
% Result : Timeout 295.52s 295.70s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : SYO777+1 : TPTP v8.1.0. Released v7.4.0.
% 0.03/0.12 % Command : sos-script %s
% 0.13/0.33 % Computer : n010.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33 % CPULimit : 300
% 0.13/0.33 % WCLimit : 600
% 0.13/0.33 % DateTime : Sat Jul 9 14:55:00 EDT 2022
% 0.13/0.34 % CPUTime :
% 0.13/0.35 ----- Otter 3.2, August 2001 -----
% 0.13/0.35 The process was started by sandbox2 on n010.cluster.edu,
% 0.13/0.35 Sat Jul 9 14:55:01 2022
% 0.13/0.35 The command was "./sos". The process ID is 18401.
% 0.13/0.35
% 0.13/0.35 set(prolog_style_variables).
% 0.13/0.35 set(auto).
% 0.13/0.35 dependent: set(auto1).
% 0.13/0.35 dependent: set(process_input).
% 0.13/0.35 dependent: clear(print_kept).
% 0.13/0.35 dependent: clear(print_new_demod).
% 0.13/0.35 dependent: clear(print_back_demod).
% 0.13/0.35 dependent: clear(print_back_sub).
% 0.13/0.35 dependent: set(control_memory).
% 0.13/0.35 dependent: assign(max_mem, 12000).
% 0.13/0.35 dependent: assign(pick_given_ratio, 4).
% 0.13/0.35 dependent: assign(stats_level, 1).
% 0.13/0.35 dependent: assign(pick_semantic_ratio, 3).
% 0.13/0.35 dependent: assign(sos_limit, 5000).
% 0.13/0.35 dependent: assign(max_weight, 60).
% 0.13/0.35 clear(print_given).
% 0.13/0.35
% 0.13/0.35 formula_list(usable).
% 0.13/0.35
% 0.13/0.35 SCAN INPUT: prop=0, horn=0, equality=0, symmetry=0, max_lits=5.
% 0.13/0.35
% 0.13/0.35 This is a non-Horn set without equality. The strategy
% 0.13/0.35 will be ordered hyper_res, ur_res, unit deletion, and
% 0.13/0.35 factoring, with satellites in sos and nuclei in usable.
% 0.13/0.35
% 0.13/0.35 dependent: set(hyper_res).
% 0.13/0.35 dependent: set(factor).
% 0.13/0.35 dependent: set(unit_deletion).
% 0.13/0.35
% 0.13/0.35 ------------> process usable:
% 0.13/0.35
% 0.13/0.35 ------------> process sos:
% 0.13/0.35
% 0.13/0.35 ======= end of input processing =======
% 0.20/0.39
% 0.20/0.39 Model 1 (0.00 seconds, 0 Inserts)
% 0.20/0.39
% 0.20/0.39 Stopped by limit on number of solutions
% 0.20/0.39
% 0.20/0.39
% 0.20/0.39 -------------- Softie stats --------------
% 0.20/0.39
% 0.20/0.39 UPDATE_STOP: 300
% 0.20/0.39 SFINDER_TIME_LIMIT: 2
% 0.20/0.39 SHORT_CLAUSE_CUTOFF: 4
% 0.20/0.39 number of clauses in intial UL: 17
% 0.20/0.39 number of clauses initially in problem: 19
% 0.20/0.39 percentage of clauses intially in UL: 89
% 0.20/0.39 percentage of distinct symbols occuring in initial UL: 90
% 0.20/0.39 percent of all initial clauses that are short: 100
% 0.20/0.39 absolute distinct symbol count: 11
% 0.20/0.39 distinct predicate count: 1
% 0.20/0.39 distinct function count: 7
% 0.20/0.39 distinct constant count: 3
% 0.20/0.39
% 0.20/0.39 ---------- no more Softie stats ----------
% 0.20/0.39
% 0.20/0.39
% 0.20/0.39
% 0.20/0.39 =========== start of search ===========
% 3.39/3.62
% 3.39/3.62
% 3.39/3.62 Changing weight limit from 60 to 27.
% 3.39/3.62
% 3.39/3.62 Resetting weight limit to 27 after 90 givens.
% 3.39/3.62
% 4.88/5.07
% 4.88/5.07
% 4.88/5.07 Changing weight limit from 27 to 21.
% 4.88/5.07
% 4.88/5.07 Resetting weight limit to 21 after 95 givens.
% 4.88/5.07
% 5.42/5.59
% 5.42/5.59
% 5.42/5.59 Changing weight limit from 21 to 20.
% 5.42/5.59
% 5.42/5.59 Resetting weight limit to 20 after 100 givens.
% 5.42/5.59
% 5.93/6.16
% 5.93/6.16
% 5.93/6.16 Changing weight limit from 20 to 19.
% 5.93/6.16
% 5.93/6.16 Resetting weight limit to 19 after 105 givens.
% 5.93/6.16
% 6.66/6.84
% 6.66/6.84
% 6.66/6.84 Changing weight limit from 19 to 16.
% 6.66/6.84
% 6.66/6.84 Resetting weight limit to 16 after 110 givens.
% 6.66/6.84
% 7.00/7.21
% 7.00/7.21
% 7.00/7.21 Changing weight limit from 16 to 15.
% 7.00/7.21
% 7.00/7.21 Resetting weight limit to 15 after 115 givens.
% 7.00/7.21
% 7.51/7.72
% 7.51/7.72
% 7.51/7.72 Changing weight limit from 15 to 14.
% 7.51/7.72
% 7.51/7.72 Resetting weight limit to 14 after 125 givens.
% 7.51/7.72
% 9.39/9.57
% 9.39/9.57
% 9.39/9.57 Changing weight limit from 14 to 13.
% 9.39/9.57
% 9.39/9.57 Stopped by limit on insertions
% 9.39/9.57
% 9.39/9.57 Stopped by limit on insertions
% 9.39/9.57
% 9.39/9.57 Resetting weight limit to 13 after 140 givens.
% 9.39/9.57
% 9.64/9.84
% 9.64/9.84
% 9.64/9.84 Changing weight limit from 13 to 12.
% 9.64/9.84
% 9.64/9.84 Resetting weight limit to 12 after 155 givens.
% 9.64/9.84
% 9.69/9.90
% 9.69/9.90
% 9.69/9.90 Changing weight limit from 12 to 11.
% 9.69/9.90
% 9.69/9.90 Resetting weight limit to 11 after 160 givens.
% 9.69/9.90
% 13.41/13.60
% 13.41/13.60
% 13.41/13.60 Changing weight limit from 11 to 10.
% 13.41/13.60
% 13.41/13.60 Stopped by limit on insertions
% 13.41/13.60
% 13.41/13.60 Stopped by limit on insertions
% 13.41/13.60
% 13.41/13.60 Modelling stopped after 300 given clauses and 0.00 seconds
% 13.41/13.60
% 13.41/13.60
% 13.41/13.60 Resetting weight limit to 10 after 330 givens.
% 13.41/13.60
% 14.42/14.62
% 14.42/14.62
% 14.42/14.62 Changing weight limit from 10 to 11.
% 14.42/14.62
% 14.42/14.62 Resetting weight limit to 11 after 425 givens.
% 14.42/14.62
% 14.55/14.75
% 14.55/14.75
% 14.55/14.75 Changing weight limit from 11 to 10.
% 14.55/14.75
% 14.55/14.75 Resetting weight limit to 10 after 435 givens.
% 14.55/14.75
% 15.15/15.34
% 15.15/15.34
% 15.15/15.34 Changing weight limit from 10 to 11.
% 15.15/15.34
% 15.15/15.34 Resetting weight limit to 11 after 475 givens.
% 15.15/15.34
% 15.22/15.46
% 15.22/15.46
% 15.22/15.46 Changing weight limit from 11 to 10.
% 15.22/15.46
% 15.22/15.46 Resetting weight limit to 10 after 480 givens.
% 15.22/15.46
% 15.32/15.51
% 15.32/15.51
% 15.32/15.51 Changing weight limit from 10 to 11.
% 15.32/15.51
% 15.32/15.51 Resetting weight limit to 11 after 485 givens.
% 15.32/15.51
% 15.67/15.85
% 15.67/15.85
% 15.67/15.85 Changing weight limit from 11 to 10.
% 15.67/15.85
% 15.67/15.85 Resetting weight limit to 10 after 500 givens.
% 15.67/15.85
% 15.91/16.11
% 15.91/16.11
% 15.91/16.11 Changing weight limit from 10 to 11.
% 15.91/16.11
% 15.91/16.11 Resetting weight limit to 11 after 510 givens.
% 15.91/16.11
% 16.28/16.49
% 16.28/16.49
% 16.28/16.49 Changing weight limit from 11 to 10.
% 16.28/16.49
% 16.28/16.49 Resetting weight limit to 10 after 520 givens.
% 16.28/16.49
% 16.98/17.17
% 16.98/17.17
% 16.98/17.17 Changing weight limit from 10 to 11.
% 16.98/17.17
% 16.98/17.17 Resetting weight limit to 11 after 550 givens.
% 16.98/17.17
% 17.17/17.34
% 17.17/17.34
% 17.17/17.34 Changing weight limit from 11 to 10.
% 17.17/17.34
% 17.17/17.34 Resetting weight limit to 10 after 555 givens.
% 17.17/17.34
% 17.57/17.75
% 17.57/17.75
% 17.57/17.75 Changing weight limit from 10 to 11.
% 17.57/17.75
% 17.57/17.75 Resetting weight limit to 11 after 575 givens.
% 17.57/17.75
% 17.99/18.18
% 17.99/18.18
% 17.99/18.18 Changing weight limit from 11 to 10.
% 17.99/18.18
% 17.99/18.18 Resetting weight limit to 10 after 590 givens.
% 17.99/18.18
% 18.65/18.83
% 18.65/18.83
% 18.65/18.83 Changing weight limit from 10 to 11.
% 18.65/18.83
% 18.65/18.83 Resetting weight limit to 11 after 615 givens.
% 18.65/18.83
% 18.96/19.14
% 18.96/19.14
% 18.96/19.14 Changing weight limit from 11 to 10.
% 18.96/19.14
% 18.96/19.14 Resetting weight limit to 10 after 630 givens.
% 18.96/19.14
% 42.07/42.28
% 42.07/42.28
% 42.07/42.28 Changing weight limit from 10 to 11.
% 42.07/42.28
% 42.07/42.28 Resetting weight limit to 11 after 1340 givens.
% 42.07/42.28
% 42.22/42.42
% 42.22/42.42
% 42.22/42.42 Changing weight limit from 11 to 10.
% 42.22/42.42
% 42.22/42.42 Resetting weight limit to 10 after 1345 givens.
% 42.22/42.42
% 42.68/42.85
% 42.68/42.85
% 42.68/42.85 Changing weight limit from 10 to 11.
% 42.68/42.85
% 42.68/42.85 Resetting weight limit to 11 after 1355 givens.
% 42.68/42.85
% 43.08/43.24
% 43.08/43.24
% 43.08/43.24 Changing weight limit from 11 to 10.
% 43.08/43.24
% 43.08/43.24 Resetting weight limit to 10 after 1360 givens.
% 43.08/43.24
% 45.15/45.34
% 45.15/45.34
% 45.15/45.34 Changing weight limit from 10 to 11.
% 45.15/45.34
% 45.15/45.34 Resetting weight limit to 11 after 1405 givens.
% 45.15/45.34
% 45.46/45.64
% 45.46/45.64
% 45.46/45.64 Changing weight limit from 11 to 10.
% 45.46/45.64
% 45.46/45.64 Resetting weight limit to 10 after 1410 givens.
% 45.46/45.64
% 46.99/47.17
% 46.99/47.17
% 46.99/47.17 Changing weight limit from 10 to 11.
% 46.99/47.17
% 46.99/47.17 Resetting weight limit to 11 after 1450 givens.
% 46.99/47.17
% 47.30/47.49
% 47.30/47.49
% 47.30/47.49 Changing weight limit from 11 to 10.
% 47.30/47.49
% 47.30/47.49 Resetting weight limit to 10 after 1455 givens.
% 47.30/47.49
% 50.73/50.94
% 50.73/50.94
% 50.73/50.94 Changing weight limit from 10 to 11.
% 50.73/50.94
% 50.73/50.94 Resetting weight limit to 11 after 1555 givens.
% 50.73/50.94
% 51.08/51.29
% 51.08/51.29
% 51.08/51.29 Changing weight limit from 11 to 10.
% 51.08/51.29
% 51.08/51.29 Resetting weight limit to 10 after 1560 givens.
% 51.08/51.29
% 53.10/53.29
% 53.10/53.29
% 53.10/53.29 Changing weight limit from 10 to 11.
% 53.10/53.29
% 53.10/53.29 Resetting weight limit to 11 after 1610 givens.
% 53.10/53.29
% 53.27/53.44
% 53.27/53.44
% 53.27/53.44 Changing weight limit from 11 to 10.
% 53.27/53.44
% 53.27/53.44 Resetting weight limit to 10 after 1615 givens.
% 53.27/53.44
% 53.39/53.57
% 53.39/53.57
% 53.39/53.57 Changing weight limit from 10 to 11.
% 53.39/53.57
% 53.39/53.57 Resetting weight limit to 11 after 1620 givens.
% 53.39/53.57
% 53.67/53.85
% 53.67/53.85
% 53.67/53.85 Changing weight limit from 11 to 10.
% 53.67/53.85
% 53.67/53.85 Resetting weight limit to 10 after 1625 givens.
% 53.67/53.85
% 54.08/54.27
% 54.08/54.27
% 54.08/54.27 Changing weight limit from 10 to 11.
% 54.08/54.27
% 54.08/54.27 Resetting weight limit to 11 after 1640 givens.
% 54.08/54.27
% 54.19/54.36
% 54.19/54.36
% 54.19/54.36 Changing weight limit from 11 to 10.
% 54.19/54.36
% 54.19/54.36 Resetting weight limit to 10 after 1645 givens.
% 54.19/54.36
% 56.41/56.61
% 56.41/56.61
% 56.41/56.61 Changing weight limit from 10 to 11.
% 56.41/56.61
% 56.41/56.61 Resetting weight limit to 11 after 1740 givens.
% 56.41/56.61
% 56.61/56.78
% 56.61/56.78
% 56.61/56.78 Changing weight limit from 11 to 10.
% 56.61/56.78
% 56.61/56.78 Resetting weight limit to 10 after 1750 givens.
% 56.61/56.78
% 56.61/56.84
% 56.61/56.84
% 56.61/56.84 Changing weight limit from 10 to 11.
% 56.61/56.84
% 56.61/56.84 Resetting weight limit to 11 after 1755 givens.
% 56.61/56.84
% 56.78/56.95
% 56.78/56.95
% 56.78/56.95 Changing weight limit from 11 to 10.
% 56.78/56.95
% 56.78/56.95 Resetting weight limit to 10 after 1760 givens.
% 56.78/56.95
% 56.80/57.01
% 56.80/57.01
% 56.80/57.01 Changing weight limit from 10 to 11.
% 56.80/57.01
% 56.80/57.01 Resetting weight limit to 11 after 1765 givens.
% 56.80/57.01
% 57.01/57.19
% 57.01/57.19
% 57.01/57.19 Changing weight limit from 11 to 10.
% 57.01/57.19
% 57.01/57.19 Resetting weight limit to 10 after 1780 givens.
% 57.01/57.19
% 57.44/57.63
% 57.44/57.63
% 57.44/57.63 Changing weight limit from 10 to 11.
% 57.44/57.63
% 57.44/57.63 Resetting weight limit to 11 after 1800 givens.
% 57.44/57.63
% 57.80/58.03
% 57.80/58.03
% 57.80/58.03 Changing weight limit from 11 to 10.
% 57.80/58.03
% 57.80/58.03 Resetting weight limit to 10 after 1810 givens.
% 57.80/58.03
% 60.02/60.23
% 60.02/60.23
% 60.02/60.23 Changing weight limit from 10 to 11.
% 60.02/60.23
% 60.02/60.23 Resetting weight limit to 11 after 1880 givens.
% 60.02/60.23
% 60.19/60.38
% 60.19/60.38
% 60.19/60.38 Changing weight limit from 11 to 10.
% 60.19/60.38
% 60.19/60.38 Resetting weight limit to 10 after 1885 givens.
% 60.19/60.38
% 60.38/60.55
% 60.38/60.55
% 60.38/60.55 Changing weight limit from 10 to 11.
% 60.38/60.55
% 60.38/60.55 Resetting weight limit to 11 after 1890 givens.
% 60.38/60.55
% 60.63/60.80
% 60.63/60.80
% 60.63/60.80 Changing weight limit from 11 to 10.
% 60.63/60.80
% 60.63/60.80 Resetting weight limit to 10 after 1900 givens.
% 60.63/60.80
% 60.73/60.93
% 60.73/60.93
% 60.73/60.93 Changing weight limit from 10 to 11.
% 60.73/60.93
% 60.73/60.93 Resetting weight limit to 11 after 1905 givens.
% 60.73/60.93
% 60.79/61.00
% 60.79/61.00
% 60.79/61.00 Changing weight limit from 11 to 10.
% 60.79/61.00
% 60.79/61.00 Resetting weight limit to 10 after 1910 givens.
% 60.79/61.00
% 60.89/61.06
% 60.89/61.06
% 60.89/61.06 Changing weight limit from 10 to 11.
% 60.89/61.06
% 60.89/61.06 Resetting weight limit to 11 after 1915 givens.
% 60.89/61.06
% 61.27/61.47
% 61.27/61.47
% 61.27/61.47 Changing weight limit from 11 to 10.
% 61.27/61.47
% 61.27/61.47 Resetting weight limit to 10 after 1925 givens.
% 61.27/61.47
% 61.40/61.58
% 61.40/61.58
% 61.40/61.58 Changing weight limit from 10 to 11.
% 61.40/61.58
% 61.40/61.58 Resetting weight limit to 11 after 1935 givens.
% 61.40/61.58
% 61.53/61.71
% 61.53/61.71
% 61.53/61.71 Changing weight limit from 11 to 10.
% 61.53/61.71
% 61.53/61.71 Resetting weight limit to 10 after 1945 givens.
% 61.53/61.71
% 61.59/61.77
% 61.59/61.77
% 61.59/61.77 Changing weight limit from 10 to 11.
% 61.59/61.77
% 61.59/61.77 Resetting weight limit to 11 after 1950 givens.
% 61.59/61.77
% 61.87/62.04
% 61.87/62.04
% 61.87/62.04 Changing weight limit from 11 to 10.
% 61.87/62.04
% 61.87/62.04 Resetting weight limit to 10 after 1960 givens.
% 61.87/62.04
% 63.00/63.21
% 63.00/63.21
% 63.00/63.21 Changing weight limit from 10 to 11.
% 63.00/63.21
% 63.00/63.21 Resetting weight limit to 11 after 2010 givens.
% 63.00/63.21
% 63.28/63.46
% 63.28/63.46
% 63.28/63.46 Changing weight limit from 11 to 10.
% 63.28/63.46
% 63.28/63.46 Resetting weight limit to 10 after 2015 givens.
% 63.28/63.46
% 63.49/63.71
% 63.49/63.71
% 63.49/63.71 Changing weight limit from 10 to 11.
% 63.49/63.71
% 63.49/63.71 Resetting weight limit to 11 after 2025 givens.
% 63.49/63.71
% 63.80/64.00
% 63.80/64.00
% 63.80/64.00 Changing weight limit from 11 to 10.
% 63.80/64.00
% 63.80/64.00 Resetting weight limit to 10 after 2035 givens.
% 63.80/64.00
% 65.57/65.78
% 65.57/65.78
% 65.57/65.78 Changing weight limit from 10 to 11.
% 65.57/65.78
% 65.57/65.78 Resetting weight limit to 11 after 2115 givens.
% 65.57/65.78
% 66.10/66.33
% 66.10/66.33
% 66.10/66.33 Changing weight limit from 11 to 10.
% 66.10/66.33
% 66.10/66.33 Resetting weight limit to 10 after 2130 givens.
% 66.10/66.33
% 67.79/67.96
% 67.79/67.96
% 67.79/67.96 Changing weight limit from 10 to 11.
% 67.79/67.96
% 67.79/67.96 Resetting weight limit to 11 after 2185 givens.
% 67.79/67.96
% 67.95/68.12
% 67.95/68.12
% 67.95/68.12 Changing weight limit from 11 to 10.
% 67.95/68.12
% 67.95/68.12 Resetting weight limit to 10 after 2190 givens.
% 67.95/68.12
% 68.70/68.86
% 68.70/68.86
% 68.70/68.86 Changing weight limit from 10 to 11.
% 68.70/68.86
% 68.70/68.86 Resetting weight limit to 11 after 2210 givens.
% 68.70/68.86
% 68.99/69.20
% 68.99/69.20
% 68.99/69.20 Changing weight limit from 11 to 10.
% 68.99/69.20
% 68.99/69.20 Resetting weight limit to 10 after 2220 givens.
% 68.99/69.20
% 69.28/69.47
% 69.28/69.47
% 69.28/69.47 Changing weight limit from 10 to 11.
% 69.28/69.47
% 69.28/69.47 Resetting weight limit to 11 after 2230 givens.
% 69.28/69.47
% 69.66/69.82
% 69.66/69.82
% 69.66/69.82 Changing weight limit from 11 to 10.
% 69.66/69.82
% 69.66/69.82 Resetting weight limit to 10 after 2240 givens.
% 69.66/69.82
% 69.77/69.94
% 69.77/69.94
% 69.77/69.94 Changing weight limit from 10 to 11.
% 69.77/69.94
% 69.77/69.94 Resetting weight limit to 11 after 2245 givens.
% 69.77/69.94
% 70.41/70.60
% 70.41/70.60
% 70.41/70.60 Changing weight limit from 11 to 10.
% 70.41/70.60
% 70.41/70.60 Resetting weight limit to 10 after 2260 givens.
% 70.41/70.60
% 70.41/70.63
% 70.41/70.63
% 70.41/70.63 Changing weight limit from 10 to 11.
% 70.41/70.63
% 70.41/70.63 Resetting weight limit to 11 after 2265 givens.
% 70.41/70.63
% 71.00/71.22
% 71.00/71.22
% 71.00/71.22 Changing weight limit from 11 to 10.
% 71.00/71.22
% 71.00/71.22 Resetting weight limit to 10 after 2285 givens.
% 71.00/71.22
% 71.12/71.31
% 71.12/71.31
% 71.12/71.31 Changing weight limit from 10 to 11.
% 71.12/71.31
% 71.12/71.31 Resetting weight limit to 11 after 2290 givens.
% 71.12/71.31
% 71.31/71.53
% 71.31/71.53
% 71.31/71.53 Changing weight limit from 11 to 10.
% 71.31/71.53
% 71.31/71.53 Resetting weight limit to 10 after 2295 givens.
% 71.31/71.53
% 71.77/71.97
% 71.77/71.97
% 71.77/71.97 Changing weight limit from 10 to 11.
% 71.77/71.97
% 71.77/71.97 Resetting weight limit to 11 after 2310 givens.
% 71.77/71.97
% 72.01/72.21
% 72.01/72.21
% 72.01/72.21 Changing weight limit from 11 to 10.
% 72.01/72.21
% 72.01/72.21 Resetting weight limit to 10 after 2315 givens.
% 72.01/72.21
% 72.17/72.38
% 72.17/72.38
% 72.17/72.38 Changing weight limit from 10 to 11.
% 72.17/72.38
% 72.17/72.38 Resetting weight limit to 11 after 2325 givens.
% 72.17/72.38
% 73.00/73.20
% 73.00/73.20
% 73.00/73.20 Changing weight limit from 11 to 10.
% 73.00/73.20
% 73.00/73.20 Resetting weight limit to 10 after 2350 givens.
% 73.00/73.20
% 76.41/76.64
% 76.41/76.64
% 76.41/76.64 Changing weight limit from 10 to 11.
% 76.41/76.64
% 76.41/76.64 Resetting weight limit to 11 after 2445 givens.
% 76.41/76.64
% 76.80/76.98
% 76.80/76.98
% 76.80/76.98 Changing weight limit from 11 to 10.
% 76.80/76.98
% 76.80/76.98 Resetting weight limit to 10 after 2450 givens.
% 76.80/76.98
% 84.90/85.11
% 84.90/85.11
% 84.90/85.11 Changing weight limit from 10 to 11.
% 84.90/85.11
% 84.90/85.11 Resetting weight limit to 11 after 2740 givens.
% 84.90/85.11
% 85.19/85.36
% 85.19/85.36
% 85.19/85.36 Changing weight limit from 11 to 10.
% 85.19/85.36
% 85.19/85.36 Resetting weight limit to 10 after 2745 givens.
% 85.19/85.36
% 87.19/87.37
% 87.19/87.37
% 87.19/87.37 Changing weight limit from 10 to 11.
% 87.19/87.37
% 87.19/87.37 Resetting weight limit to 11 after 2800 givens.
% 87.19/87.37
% 87.19/87.41
% 87.19/87.41
% 87.19/87.41 Changing weight limit from 11 to 10.
% 87.19/87.41
% 87.19/87.41 Resetting weight limit to 10 after 2805 givens.
% 87.19/87.41
% 87.46/87.67
% 87.46/87.67
% 87.46/87.67 Changing weight limit from 10 to 11.
% 87.46/87.67
% 87.46/87.67 Resetting weight limit to 11 after 2810 givens.
% 87.46/87.67
% 87.67/87.89
% 87.67/87.89
% 87.67/87.89 Changing weight limit from 11 to 10.
% 87.67/87.89
% 87.67/87.89 Resetting weight limit to 10 after 2815 givens.
% 87.67/87.89
% 87.95/88.15
% 87.95/88.15
% 87.95/88.15 Changing weight limit from 10 to 11.
% 87.95/88.15
% 87.95/88.15 Resetting weight limit to 11 after 2825 givens.
% 87.95/88.15
% 88.06/88.24
% 88.06/88.24
% 88.06/88.24 Changing weight limit from 11 to 10.
% 88.06/88.24
% 88.06/88.24 Resetting weight limit to 10 after 2830 givens.
% 88.06/88.24
% 88.24/88.43
% 88.24/88.43
% 88.24/88.43 Changing weight limit from 10 to 11.
% 88.24/88.43
% 88.24/88.43 Resetting weight limit to 11 after 2835 givens.
% 88.24/88.43
% 88.51/88.67
% 88.51/88.67
% 88.51/88.67 Changing weight limit from 11 to 10.
% 88.51/88.67
% 88.51/88.67 Resetting weight limit to 10 after 2840 givens.
% 88.51/88.67
% 93.30/93.47
% 93.30/93.47
% 93.30/93.47 Changing weight limit from 10 to 11.
% 93.30/93.47
% 93.30/93.47 Resetting weight limit to 11 after 2935 givens.
% 93.30/93.47
% 93.68/93.86
% 93.68/93.86
% 93.68/93.86 Changing weight limit from 11 to 10.
% 93.68/93.86
% 93.68/93.86 Resetting weight limit to 10 after 2940 givens.
% 93.68/93.86
% 95.75/95.93
% 95.75/95.93
% 95.75/95.93 Changing weight limit from 10 to 11.
% 95.75/95.93
% 95.75/95.93 Resetting weight limit to 11 after 3010 givens.
% 95.75/95.93
% 96.10/96.27
% 96.10/96.27
% 96.10/96.27 Changing weight limit from 11 to 10.
% 96.10/96.27
% 96.10/96.27 Resetting weight limit to 10 after 3030 givens.
% 96.10/96.27
% 96.10/96.32
% 96.10/96.32
% 96.10/96.32 Changing weight limit from 10 to 11.
% 96.10/96.32
% 96.10/96.32 Resetting weight limit to 11 after 3035 givens.
% 96.10/96.32
% 96.37/96.56
% 96.37/96.56
% 96.37/96.56 Changing weight limit from 11 to 10.
% 96.37/96.56
% 96.37/96.56 Resetting weight limit to 10 after 3040 givens.
% 96.37/96.56
% 96.69/96.88
% 96.69/96.88
% 96.69/96.88 Changing weight limit from 10 to 11.
% 96.69/96.88
% 96.69/96.88 Resetting weight limit to 11 after 3070 givens.
% 96.69/96.88
% 96.80/96.99
% 96.80/96.99
% 96.80/96.99 Changing weight limit from 11 to 10.
% 96.80/96.99
% 96.80/96.99 Resetting weight limit to 10 after 3080 givens.
% 96.80/96.99
% 97.10/97.34
% 97.10/97.34
% 97.10/97.34 Changing weight limit from 10 to 11.
% 97.10/97.34
% 97.10/97.34 Resetting weight limit to 11 after 3095 givens.
% 97.10/97.34
% 97.28/97.51
% 97.28/97.51
% 97.28/97.51 Changing weight limit from 11 to 10.
% 97.28/97.51
% 97.28/97.51 Resetting weight limit to 10 after 3110 givens.
% 97.28/97.51
% 97.35/97.55
% 97.35/97.55
% 97.35/97.55 Changing weight limit from 10 to 11.
% 97.35/97.55
% 97.35/97.55 Resetting weight limit to 11 after 3115 givens.
% 97.35/97.55
% 97.57/97.81
% 97.57/97.81
% 97.57/97.81 Changing weight limit from 11 to 10.
% 97.57/97.81
% 97.57/97.81 Resetting weight limit to 10 after 3125 givens.
% 97.57/97.81
% 97.88/98.06
% 97.88/98.06
% 97.88/98.06 Changing weight limit from 10 to 11.
% 97.88/98.06
% 97.88/98.06 Resetting weight limit to 11 after 3135 givens.
% 97.88/98.06
% 97.95/98.15
% 97.95/98.15
% 97.95/98.15 Changing weight limit from 11 to 10.
% 97.95/98.15
% 97.95/98.15 Resetting weight limit to 10 after 3140 givens.
% 97.95/98.15
% 100.52/100.69
% 100.52/100.69
% 100.52/100.69 Changing weight limit from 10 to 11.
% 100.52/100.69
% 100.52/100.69 Resetting weight limit to 11 after 3215 givens.
% 100.52/100.69
% 100.66/100.85
% 100.66/100.85
% 100.66/100.85 Changing weight limit from 11 to 10.
% 100.66/100.85
% 100.66/100.85 Resetting weight limit to 10 after 3220 givens.
% 100.66/100.85
% 101.18/101.38
% 101.18/101.38
% 101.18/101.38 Changing weight limit from 10 to 11.
% 101.18/101.38
% 101.18/101.38 Resetting weight limit to 11 after 3240 givens.
% 101.18/101.38
% 101.32/101.54
% 101.32/101.54
% 101.32/101.54 Changing weight limit from 11 to 10.
% 101.32/101.54
% 101.32/101.54 Resetting weight limit to 10 after 3245 givens.
% 101.32/101.54
% 101.62/101.84
% 101.62/101.84
% 101.62/101.84 Changing weight limit from 10 to 11.
% 101.62/101.84
% 101.62/101.84 Resetting weight limit to 11 after 3260 givens.
% 101.62/101.84
% 101.70/101.88
% 101.70/101.88
% 101.70/101.88 Changing weight limit from 11 to 10.
% 101.70/101.88
% 101.70/101.88 Resetting weight limit to 10 after 3265 givens.
% 101.70/101.88
% 101.78/102.03
% 101.78/102.03
% 101.78/102.03 Changing weight limit from 10 to 11.
% 101.78/102.03
% 101.78/102.03 Resetting weight limit to 11 after 3270 givens.
% 101.78/102.03
% 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 3280 givens.
% 101.92/102.13
% 111.08/111.28
% 111.08/111.28
% 111.08/111.28 Changing weight limit from 10 to 11.
% 111.08/111.28
% 111.08/111.28 Resetting weight limit to 11 after 3525 givens.
% 111.08/111.28
% 111.22/111.45
% 111.22/111.45
% 111.22/111.45 Changing weight limit from 11 to 10.
% 111.22/111.45
% 111.22/111.45 Resetting weight limit to 10 after 3530 givens.
% 111.22/111.45
% 111.52/111.72
% 111.52/111.72
% 111.52/111.72 Changing weight limit from 10 to 11.
% 111.52/111.72
% 111.52/111.72 Resetting weight limit to 11 after 3540 givens.
% 111.52/111.72
% 111.82/112.04
% 111.82/112.04
% 111.82/112.04 Changing weight limit from 11 to 10.
% 111.82/112.04
% 111.82/112.04 Resetting weight limit to 10 after 3545 givens.
% 111.82/112.04
% 127.34/127.52
% 127.34/127.52
% 127.34/127.52 Changing weight limit from 10 to 11.
% 127.34/127.52
% 127.34/127.52 Resetting weight limit to 11 after 3850 givens.
% 127.34/127.52
% 127.52/127.71
% 127.52/127.71
% 127.52/127.71 Changing weight limit from 11 to 10.
% 127.52/127.71
% 127.52/127.71 Resetting weight limit to 10 after 3855 givens.
% 127.52/127.71
% 127.67/127.85
% 127.67/127.85
% 127.67/127.85 Changing weight limit from 10 to 11.
% 127.67/127.85
% 127.67/127.85 Resetting weight limit to 11 after 3860 givens.
% 127.67/127.85
% 127.79/127.97
% 127.79/127.97
% 127.79/127.97 Changing weight limit from 11 to 10.
% 127.79/127.97
% 127.79/127.97 Resetting weight limit to 10 after 3865 givens.
% 127.79/127.97
% 130.21/130.42
% 130.21/130.42
% 130.21/130.42 Changing weight limit from 10 to 11.
% 130.21/130.42
% 130.21/130.42 Resetting weight limit to 11 after 3925 givens.
% 130.21/130.42
% 130.28/130.49
% 130.28/130.49
% 130.28/130.49 Changing weight limit from 11 to 10.
% 130.28/130.49
% 130.28/130.49 Resetting weight limit to 10 after 3930 givens.
% 130.28/130.49
% 131.78/131.95
% 131.78/131.95
% 131.78/131.95 Changing weight limit from 10 to 11.
% 131.78/131.95
% 131.78/131.95 Resetting weight limit to 11 after 3960 givens.
% 131.78/131.95
% 131.93/132.12
% 131.93/132.12
% 131.93/132.12 Changing weight limit from 11 to 10.
% 131.93/132.12
% 131.93/132.12 Resetting weight limit to 10 after 3965 givens.
% 131.93/132.12
% 134.27/134.45
% 134.27/134.45
% 134.27/134.45 Changing weight limit from 10 to 11.
% 134.27/134.45
% 134.27/134.45 Resetting weight limit to 11 after 4005 givens.
% 134.27/134.45
% 134.40/134.59
% 134.40/134.59
% 134.40/134.59 Changing weight limit from 11 to 10.
% 134.40/134.59
% 134.40/134.59 Resetting weight limit to 10 after 4010 givens.
% 134.40/134.59
% 134.88/135.08
% 134.88/135.08
% 134.88/135.08 Changing weight limit from 10 to 11.
% 134.88/135.08
% 134.88/135.08 Resetting weight limit to 11 after 4025 givens.
% 134.88/135.08
% 134.93/135.14
% 134.93/135.14
% 134.93/135.14 Changing weight limit from 11 to 10.
% 134.93/135.14
% 134.93/135.14 Resetting weight limit to 10 after 4030 givens.
% 134.93/135.14
% 135.08/135.33
% 135.08/135.33
% 135.08/135.33 Changing weight limit from 10 to 11.
% 135.08/135.33
% 135.08/135.33 Resetting weight limit to 11 after 4035 givens.
% 135.08/135.33
% 135.39/135.59
% 135.39/135.59
% 135.39/135.59 Changing weight limit from 11 to 10.
% 135.39/135.59
% 135.39/135.59 Resetting weight limit to 10 after 4040 givens.
% 135.39/135.59
% 135.90/136.11
% 135.90/136.11
% 135.90/136.11 Changing weight limit from 10 to 11.
% 135.90/136.11
% 135.90/136.11 Resetting weight limit to 11 after 4060 givens.
% 135.90/136.11
% 136.36/136.56
% 136.36/136.56
% 136.36/136.56 Changing weight limit from 11 to 10.
% 136.36/136.56
% 136.36/136.56 Resetting weight limit to 10 after 4065 givens.
% 136.36/136.56
% 139.72/139.89
% 139.72/139.89
% 139.72/139.89 Changing weight limit from 10 to 11.
% 139.72/139.89
% 139.72/139.89 Resetting weight limit to 11 after 4120 givens.
% 139.72/139.89
% 139.86/140.03
% 139.86/140.03
% 139.86/140.03 Changing weight limit from 11 to 10.
% 139.86/140.03
% 139.86/140.03 Resetting weight limit to 10 after 4125 givens.
% 139.86/140.03
% 140.01/140.21
% 140.01/140.21
% 140.01/140.21 Changing weight limit from 10 to 11.
% 140.01/140.21
% 140.01/140.21 Resetting weight limit to 11 after 4130 givens.
% 140.01/140.21
% 140.78/140.97
% 140.78/140.97
% 140.78/140.97 Changing weight limit from 11 to 10.
% 140.78/140.97
% 140.78/140.97 Resetting weight limit to 10 after 4135 givens.
% 140.78/140.97
% 141.68/141.86
% 141.68/141.86
% 141.68/141.86 Changing weight limit from 10 to 11.
% 141.68/141.86
% 141.68/141.86 Resetting weight limit to 11 after 4145 givens.
% 141.68/141.86
% 142.25/142.45
% 142.25/142.45
% 142.25/142.45 Changing weight limit from 11 to 10.
% 142.25/142.45
% 142.25/142.45 Resetting weight limit to 10 after 4150 givens.
% 142.25/142.45
% 142.50/142.72
% 142.50/142.72
% 142.50/142.72 Changing weight limit from 10 to 11.
% 142.50/142.72
% 142.50/142.72 Resetting weight limit to 11 after 4155 givens.
% 142.50/142.72
% 142.90/143.10
% 142.90/143.10
% 142.90/143.10 Changing weight limit from 11 to 10.
% 142.90/143.10
% 142.90/143.10 Resetting weight limit to 10 after 4160 givens.
% 142.90/143.10
% 144.47/144.65
% 144.47/144.65
% 144.47/144.65 Changing weight limit from 10 to 11.
% 144.47/144.65
% 144.47/144.65 Resetting weight limit to 11 after 4190 givens.
% 144.47/144.65
% 144.83/145.00
% 144.83/145.00
% 144.83/145.00 Changing weight limit from 11 to 10.
% 144.83/145.00
% 144.83/145.00 Resetting weight limit to 10 after 4195 givens.
% 144.83/145.00
% 146.55/146.75
% 146.55/146.75
% 146.55/146.75 Changing weight limit from 10 to 11.
% 146.55/146.75
% 146.55/146.75 Resetting weight limit to 11 after 4225 givens.
% 146.55/146.75
% 146.68/146.88
% 146.68/146.88
% 146.68/146.88 Changing weight limit from 11 to 10.
% 146.68/146.88
% 146.68/146.88 Resetting weight limit to 10 after 4230 givens.
% 146.68/146.88
% 146.78/146.98
% 146.78/146.98
% 146.78/146.98 Changing weight limit from 10 to 11.
% 146.78/146.98
% 146.78/146.98 Resetting weight limit to 11 after 4235 givens.
% 146.78/146.98
% 146.91/147.11
% 146.91/147.11
% 146.91/147.11 Changing weight limit from 11 to 10.
% 146.91/147.11
% 146.91/147.11 Resetting weight limit to 10 after 4240 givens.
% 146.91/147.11
% 157.36/157.57
% 157.36/157.57
% 157.36/157.57 Changing weight limit from 10 to 11.
% 157.36/157.57
% 157.36/157.57 Resetting weight limit to 11 after 4470 givens.
% 157.36/157.57
% 157.66/157.88
% 157.66/157.88
% 157.66/157.88 Changing weight limit from 11 to 10.
% 157.66/157.88
% 157.66/157.88 Resetting weight limit to 10 after 4475 givens.
% 157.66/157.88
% 162.31/162.53
% 162.31/162.53
% 162.31/162.53 Changing weight limit from 10 to 11.
% 162.31/162.53
% 162.31/162.53 Resetting weight limit to 11 after 4570 givens.
% 162.31/162.53
% 162.91/163.09
% 162.91/163.09
% 162.91/163.09 Changing weight limit from 11 to 10.
% 162.91/163.09
% 162.91/163.09 Resetting weight limit to 10 after 4575 givens.
% 162.91/163.09
% 165.19/165.40
% 165.19/165.40
% 165.19/165.40 Changing weight limit from 10 to 11.
% 165.19/165.40
% 165.19/165.40 Resetting weight limit to 11 after 4620 givens.
% 165.19/165.40
% 165.58/165.76
% 165.58/165.76
% 165.58/165.76 Changing weight limit from 11 to 10.
% 165.58/165.76
% 165.58/165.76 Resetting weight limit to 10 after 4625 givens.
% 165.58/165.76
% 171.44/171.63
% 171.44/171.63
% 171.44/171.63 Changing weight limit from 10 to 11.
% 171.44/171.63
% 171.44/171.63 Resetting weight limit to 11 after 4730 givens.
% 171.44/171.63
% 171.98/172.18
% 171.98/172.18
% 171.98/172.18 Changing weight limit from 11 to 10.
% 171.98/172.18
% 171.98/172.18 Resetting weight limit to 10 after 4740 givens.
% 171.98/172.18
% 183.13/183.32
% 183.13/183.32
% 183.13/183.32 Changing weight limit from 10 to 11.
% 183.13/183.32
% 183.13/183.32 Resetting weight limit to 11 after 4945 givens.
% 183.13/183.32
% 183.30/183.55
% 183.30/183.55
% 183.30/183.55 Changing weight limit from 11 to 10.
% 183.30/183.55
% 183.30/183.55 Resetting weight limit to 10 after 4950 givens.
% 183.30/183.55
% 185.41/185.61
% 185.41/185.61
% 185.41/185.61 Changing weight limit from 10 to 11.
% 185.41/185.61
% 185.41/185.61 Resetting weight limit to 11 after 5005 givens.
% 185.41/185.61
% 185.60/185.78
% 185.60/185.78
% 185.60/185.78 Changing weight limit from 11 to 10.
% 185.60/185.78
% 185.60/185.78 Resetting weight limit to 10 after 5010 givens.
% 185.60/185.78
% 186.73/186.91
% 186.73/186.91
% 186.73/186.91 Changing weight limit from 10 to 11.
% 186.73/186.91
% 186.73/186.91 Resetting weight limit to 11 after 5050 givens.
% 186.73/186.91
% 187.00/187.18
% 187.00/187.18
% 187.00/187.18 Changing weight limit from 11 to 10.
% 187.00/187.18
% 187.00/187.18 Resetting weight limit to 10 after 5060 givens.
% 187.00/187.18
% 197.12/197.28
% 197.12/197.28
% 197.12/197.28 Changing weight limit from 10 to 11.
% 197.12/197.28
% 197.12/197.28 Resetting weight limit to 11 after 5245 givens.
% 197.12/197.28
% 197.12/197.35
% 197.12/197.35
% 197.12/197.35 Changing weight limit from 11 to 10.
% 197.12/197.35
% 197.12/197.35 Resetting weight limit to 10 after 5250 givens.
% 197.12/197.35
% 198.89/199.11
% 198.89/199.11
% 198.89/199.11 Changing weight limit from 10 to 11.
% 198.89/199.11
% 198.89/199.11 Resetting weight limit to 11 after 5310 givens.
% 198.89/199.11
% 199.01/199.20
% 199.01/199.20
% 199.01/199.20 Changing weight limit from 11 to 10.
% 199.01/199.20
% 199.01/199.20 Resetting weight limit to 10 after 5315 givens.
% 199.01/199.20
% 199.15/199.32
% 199.15/199.32
% 199.15/199.32 Changing weight limit from 10 to 11.
% 199.15/199.32
% 199.15/199.32 Resetting weight limit to 11 after 5325 givens.
% 199.15/199.32
% 199.20/199.40
% 199.20/199.40
% 199.20/199.40 Changing weight limit from 11 to 10.
% 199.20/199.40
% 199.20/199.40 Resetting weight limit to 10 after 5330 givens.
% 199.20/199.40
% 199.44/199.64
% 199.44/199.64
% 199.44/199.64 Changing weight limit from 10 to 11.
% 199.44/199.64
% 199.44/199.64 Resetting weight limit to 11 after 5335 givens.
% 199.44/199.64
% 199.49/199.73
% 199.49/199.73
% 199.49/199.73 Changing weight limit from 11 to 10.
% 199.49/199.73
% 199.49/199.73 Resetting weight limit to 10 after 5340 givens.
% 199.49/199.73
% 199.68/199.90
% 199.68/199.90
% 199.68/199.90 Changing weight limit from 10 to 11.
% 199.68/199.90
% 199.68/199.90 Resetting weight limit to 11 after 5345 givens.
% 199.68/199.90
% 200.22/200.42
% 200.22/200.42
% 200.22/200.42 Changing weight limit from 11 to 10.
% 200.22/200.42
% 200.22/200.42 Resetting weight limit to 10 after 5350 givens.
% 200.22/200.42
% 201.76/201.95
% 201.76/201.95
% 201.76/201.95 Changing weight limit from 10 to 11.
% 201.76/201.95
% 201.76/201.95 Resetting weight limit to 11 after 5390 givens.
% 201.76/201.95
% 201.90/202.12
% 201.90/202.12
% 201.90/202.12 Changing weight limit from 11 to 10.
% 201.90/202.12
% 201.90/202.12 Resetting weight limit to 10 after 5395 givens.
% 201.90/202.12
% 202.11/202.26
% 202.11/202.26
% 202.11/202.26 Changing weight limit from 10 to 11.
% 202.11/202.26
% 202.11/202.26 Resetting weight limit to 11 after 5405 givens.
% 202.11/202.26
% 203.28/203.43
% 203.28/203.43
% 203.28/203.43 Changing weight limit from 11 to 10.
% 203.28/203.43
% 203.28/203.43 Resetting weight limit to 10 after 5425 givens.
% 203.28/203.43
% 203.42/203.57
% 203.42/203.57
% 203.42/203.57 Changing weight limit from 10 to 11.
% 203.42/203.57
% 203.42/203.57 Resetting weight limit to 11 after 5430 givens.
% 203.42/203.57
% 203.88/204.06
% 203.88/204.06
% 203.88/204.06 Changing weight limit from 11 to 10.
% 203.88/204.06
% 203.88/204.06 Resetting weight limit to 10 after 5440 givens.
% 203.88/204.06
% 204.17/204.33
% 204.17/204.33
% 204.17/204.33 Changing weight limit from 10 to 11.
% 204.17/204.33
% 204.17/204.33 Resetting weight limit to 11 after 5450 givens.
% 204.17/204.33
% 204.40/204.56
% 204.40/204.56
% 204.40/204.56 Changing weight limit from 11 to 10.
% 204.40/204.56
% 204.40/204.56 Resetting weight limit to 10 after 5455 givens.
% 204.40/204.56
% 204.69/204.86
% 204.69/204.86
% 204.69/204.86 Changing weight limit from 10 to 11.
% 204.69/204.86
% 204.69/204.86 Resetting weight limit to 11 after 5465 givens.
% 204.69/204.86
% 205.01/205.19
% 205.01/205.19
% 205.01/205.19 Changing weight limit from 11 to 10.
% 205.01/205.19
% 205.01/205.19 Resetting weight limit to 10 after 5470 givens.
% 205.01/205.19
% 207.93/208.09
% 207.93/208.09
% 207.93/208.09 Changing weight limit from 10 to 11.
% 207.93/208.09
% 207.93/208.09 Resetting weight limit to 11 after 5525 givens.
% 207.93/208.09
% 208.00/208.16
% 208.00/208.16
% 208.00/208.16 Changing weight limit from 11 to 10.
% 208.00/208.16
% 208.00/208.16 Resetting weight limit to 10 after 5530 givens.
% 208.00/208.16
% 208.32/208.49
% 208.32/208.49
% 208.32/208.49 Changing weight limit from 10 to 11.
% 208.32/208.49
% 208.32/208.49 Resetting weight limit to 11 after 5535 givens.
% 208.32/208.49
% 208.60/208.78
% 208.60/208.78
% 208.60/208.78 Changing weight limit from 11 to 10.
% 208.60/208.78
% 208.60/208.78 Resetting weight limit to 10 after 5540 givens.
% 208.60/208.78
% 210.89/211.09
% 210.89/211.09
% 210.89/211.09 Changing weight limit from 10 to 11.
% 210.89/211.09
% 210.89/211.09 Resetting weight limit to 11 after 5605 givens.
% 210.89/211.09
% 211.39/211.55
% 211.39/211.55
% 211.39/211.55 Changing weight limit from 11 to 10.
% 211.39/211.55
% 211.39/211.55 Resetting weight limit to 10 after 5610 givens.
% 211.39/211.55
% 211.50/211.69
% 211.50/211.69
% 211.50/211.69 Changing weight limit from 10 to 11.
% 211.50/211.69
% 211.50/211.69 Resetting weight limit to 11 after 5615 givens.
% 211.50/211.69
% 211.60/211.76
% 211.60/211.76
% 211.60/211.76 Changing weight limit from 11 to 10.
% 211.60/211.76
% 211.60/211.76 Resetting weight limit to 10 after 5620 givens.
% 211.60/211.76
% 212.33/212.49
% 212.33/212.49
% 212.33/212.49 Changing weight limit from 10 to 11.
% 212.33/212.49
% 212.33/212.49 Resetting weight limit to 11 after 5635 givens.
% 212.33/212.49
% 212.39/212.55
% 212.39/212.55
% 212.39/212.55 Changing weight limit from 11 to 10.
% 212.39/212.55
% 212.39/212.55 Resetting weight limit to 10 after 5640 givens.
% 212.39/212.55
% 212.70/212.90
% 212.70/212.90
% 212.70/212.90 Changing weight limit from 10 to 11.
% 212.70/212.90
% 212.70/212.90 Resetting weight limit to 11 after 5645 givens.
% 212.70/212.90
% 213.25/213.42
% 213.25/213.42
% 213.25/213.42 Changing weight limit from 11 to 10.
% 213.25/213.42
% 213.25/213.42 Resetting weight limit to 10 after 5650 givens.
% 213.25/213.42
% 216.19/216.38
% 216.19/216.38
% 216.19/216.38 Changing weight limit from 10 to 11.
% 216.19/216.38
% 216.19/216.38 Resetting weight limit to 11 after 5715 givens.
% 216.19/216.38
% 216.61/216.79
% 216.61/216.79
% 216.61/216.79 Changing weight limit from 11 to 10.
% 216.61/216.79
% 216.61/216.79 Resetting weight limit to 10 after 5720 givens.
% 216.61/216.79
% 218.23/218.41
% 218.23/218.41
% 218.23/218.41 Changing weight limit from 10 to 11.
% 218.23/218.41
% 218.23/218.41 Resetting weight limit to 11 after 5750 givens.
% 218.23/218.41
% 218.40/218.63
% 218.40/218.63
% 218.40/218.63 Changing weight limit from 11 to 10.
% 218.40/218.63
% 218.40/218.63 Resetting weight limit to 10 after 5755 givens.
% 218.40/218.63
% 219.50/219.67
% 219.50/219.67
% 219.50/219.67 Changing weight limit from 10 to 11.
% 219.50/219.67
% 219.50/219.67 Resetting weight limit to 11 after 5770 givens.
% 219.50/219.67
% 221.09/221.26
% 221.09/221.26
% 221.09/221.26 Changing weight limit from 11 to 10.
% 221.09/221.26
% 221.09/221.26 Resetting weight limit to 10 after 5790 givens.
% 221.09/221.26
% 221.81/222.03
% 221.81/222.03
% 221.81/222.03 Changing weight limit from 10 to 11.
% 221.81/222.03
% 221.81/222.03 Resetting weight limit to 11 after 5805 givens.
% 221.81/222.03
% 222.01/222.19
% 222.01/222.19
% 222.01/222.19 Changing weight limit from 11 to 10.
% 222.01/222.19
% 222.01/222.19 Resetting weight limit to 10 after 5810 givens.
% 222.01/222.19
% 223.41/223.60
% 223.41/223.60
% 223.41/223.60 Changing weight limit from 10 to 11.
% 223.41/223.60
% 223.41/223.60 Resetting weight limit to 11 after 5840 givens.
% 223.41/223.60
% 223.71/223.86
% 223.71/223.86
% 223.71/223.86 Changing weight limit from 11 to 10.
% 223.71/223.86
% 223.71/223.86 Resetting weight limit to 10 after 5845 givens.
% 223.71/223.86
% 223.96/224.12
% 223.96/224.12
% 223.96/224.12 Changing weight limit from 10 to 11.
% 223.96/224.12
% 223.96/224.12 Resetting weight limit to 11 after 5855 givens.
% 223.96/224.12
% 224.26/224.44
% 224.26/224.44
% 224.26/224.44 Changing weight limit from 11 to 10.
% 224.26/224.44
% 224.26/224.44 Resetting weight limit to 10 after 5860 givens.
% 224.26/224.44
% 224.47/224.63
% 224.47/224.63
% 224.47/224.63 Changing weight limit from 10 to 11.
% 224.47/224.63
% 224.47/224.63 Resetting weight limit to 11 after 5865 givens.
% 224.47/224.63
% 224.79/225.01
% 224.79/225.01
% 224.79/225.01 Changing weight limit from 11 to 10.
% 224.79/225.01
% 224.79/225.01 Resetting weight limit to 10 after 5870 givens.
% 224.79/225.01
% 225.48/225.66
% 225.48/225.66
% 225.48/225.66 Changing weight limit from 10 to 11.
% 225.48/225.66
% 225.48/225.66 Resetting weight limit to 11 after 5885 givens.
% 225.48/225.66
% 225.70/225.90
% 225.70/225.90
% 225.70/225.90 Changing weight limit from 11 to 10.
% 225.70/225.90
% 225.70/225.90 Resetting weight limit to 10 after 5890 givens.
% 225.70/225.90
% 226.11/226.27
% 226.11/226.27
% 226.11/226.27 Changing weight limit from 10 to 11.
% 226.11/226.27
% 226.11/226.27 Resetting weight limit to 11 after 5905 givens.
% 226.11/226.27
% 226.59/226.75
% 226.59/226.75
% 226.59/226.75 Changing weight limit from 11 to 10.
% 226.59/226.75
% 226.59/226.75 Resetting weight limit to 10 after 5915 givens.
% 226.59/226.75
% 226.66/226.83
% 226.66/226.83
% 226.66/226.83 Changing weight limit from 10 to 11.
% 226.66/226.83
% 226.66/226.83 Resetting weight limit to 11 after 5920 givens.
% 226.66/226.83
% 226.87/227.07
% 226.87/227.07
% 226.87/227.07 Changing weight limit from 11 to 10.
% 226.87/227.07
% 226.87/227.07 Resetting weight limit to 10 after 5925 givens.
% 226.87/227.07
% 226.95/227.15
% 226.95/227.15
% 226.95/227.15 Changing weight limit from 10 to 11.
% 226.95/227.15
% 226.95/227.15 Resetting weight limit to 11 after 5930 givens.
% 226.95/227.15
% 227.26/227.43
% 227.26/227.43
% 227.26/227.43 Changing weight limit from 11 to 10.
% 227.26/227.43
% 227.26/227.43 Resetting weight limit to 10 after 5935 givens.
% 227.26/227.43
% 227.48/227.65
% 227.48/227.65
% 227.48/227.65 Changing weight limit from 10 to 11.
% 227.48/227.65
% 227.48/227.65 Resetting weight limit to 11 after 5945 givens.
% 227.48/227.65
% 227.63/227.83
% 227.63/227.83
% 227.63/227.83 Changing weight limit from 11 to 10.
% 227.63/227.83
% 227.63/227.83 Resetting weight limit to 10 after 5950 givens.
% 227.63/227.83
% 228.59/228.76
% 228.59/228.76
% 228.59/228.76 Changing weight limit from 10 to 11.
% 228.59/228.76
% 228.59/228.76 Resetting weight limit to 11 after 5980 givens.
% 228.59/228.76
% 230.18/230.34
% 230.18/230.34
% 230.18/230.34 Changing weight limit from 11 to 10.
% 230.18/230.34
% 230.18/230.34 Resetting weight limit to 10 after 6010 givens.
% 230.18/230.34
% 232.94/233.14
% 232.94/233.14
% 232.94/233.14 Changing weight limit from 10 to 11.
% 232.94/233.14
% 232.94/233.14 Resetting weight limit to 11 after 6075 givens.
% 232.94/233.14
% 237.63/237.79
% 237.63/237.79
% 237.63/237.79 Changing weight limit from 11 to 10.
% 237.63/237.79
% 237.63/237.79 Resetting weight limit to 10 after 6140 givens.
% 237.63/237.79
% 238.23/238.39
% 238.23/238.39
% 238.23/238.39 Changing weight limit from 10 to 11.
% 238.23/238.39
% 238.23/238.39 Resetting weight limit to 11 after 6150 givens.
% 238.23/238.39
% 241.29/241.50
% 241.29/241.50
% 241.29/241.50 Changing weight limit from 11 to 10.
% 241.29/241.50
% 241.29/241.50 Resetting weight limit to 10 after 6205 givens.
% 241.29/241.50
% 243.69/243.86
% 243.69/243.86
% 243.69/243.86 Changing weight limit from 10 to 11.
% 243.69/243.86
% 243.69/243.86 Resetting weight limit to 11 after 6240 givens.
% 243.69/243.86
% 243.93/244.08
% 243.93/244.08
% 243.93/244.08 Changing weight limit from 11 to 10.
% 243.93/244.08
% 243.93/244.08 Resetting weight limit to 10 after 6245 givens.
% 243.93/244.08
% 245.27/245.46
% 245.27/245.46
% 245.27/245.46 Changing weight limit from 10 to 11.
% 245.27/245.46
% 245.27/245.46 Resetting weight limit to 11 after 6265 givens.
% 245.27/245.46
% 245.86/246.05
% 245.86/246.05
% 245.86/246.05 Changing weight limit from 11 to 10.
% 245.86/246.05
% 245.86/246.05 Resetting weight limit to 10 after 6270 givens.
% 245.86/246.05
% 251.33/251.49
% 251.33/251.49
% 251.33/251.49 Changing weight limit from 10 to 11.
% 251.33/251.49
% 251.33/251.49 Resetting weight limit to 11 after 6320 givens.
% 251.33/251.49
% 251.62/251.81
% 251.62/251.81
% 251.62/251.81 Changing weight limit from 11 to 10.
% 251.62/251.81
% 251.62/251.81 Resetting weight limit to 10 after 6325 givens.
% 251.62/251.81
% 251.88/252.06
% 251.88/252.06
% 251.88/252.06 Changing weight limit from 10 to 11.
% 251.88/252.06
% 251.88/252.06 Resetting weight limit to 11 after 6330 givens.
% 251.88/252.06
% 252.03/252.22
% 252.03/252.22
% 252.03/252.22 Changing weight limit from 11 to 10.
% 252.03/252.22
% 252.03/252.22 Resetting weight limit to 10 after 6335 givens.
% 252.03/252.22
% 252.75/252.94
% 252.75/252.94
% 252.75/252.94 Changing weight limit from 10 to 11.
% 252.75/252.94
% 252.75/252.94 Resetting weight limit to 11 after 6350 givens.
% 252.75/252.94
% 253.93/254.13
% 253.93/254.13
% 253.93/254.13 Changing weight limit from 11 to 10.
% 253.93/254.13
% 253.93/254.13 Resetting weight limit to 10 after 6365 givens.
% 253.93/254.13
% 254.32/254.47
% 254.32/254.47
% 254.32/254.47 Changing weight limit from 10 to 11.
% 254.32/254.47
% 254.32/254.47 Resetting weight limit to 11 after 6370 givens.
% 254.32/254.47
% 257.93/258.15
% 257.93/258.15
% 257.93/258.15 Changing weight limit from 11 to 10.
% 257.93/258.15
% 257.93/258.15 Resetting weight limit to 10 after 6420 givens.
% 257.93/258.15
% 259.71/259.90
% 259.71/259.90
% 259.71/259.90 Changing weight limit from 10 to 11.
% 259.71/259.90
% 259.71/259.90 Resetting weight limit to 11 after 6445 givens.
% 259.71/259.90
% 261.69/261.91
% 261.69/261.91
% 261.69/261.91 Changing weight limit from 11 to 10.
% 261.69/261.91
% 261.69/261.91 Resetting weight limit to 10 after 6485 givens.
% 261.69/261.91
% 262.23/262.39
% 262.23/262.39
% 262.23/262.39 Changing weight limit from 10 to 11.
% 262.23/262.39
% 262.23/262.39 Resetting weight limit to 11 after 6490 givens.
% 262.23/262.39
% 265.17/265.36
% 265.17/265.36
% 265.17/265.36 Changing weight limit from 11 to 10.
% 265.17/265.36
% 265.17/265.36 Resetting weight limit to 10 after 6545 givens.
% 265.17/265.36
% 265.47/265.67
% 265.47/265.67
% 265.47/265.67 Changing weight limit from 10 to 11.
% 265.47/265.67
% 265.47/265.67 Resetting weight limit to 11 after 6550 givens.
% 265.47/265.67
% 266.12/266.34
% 266.12/266.34
% 266.12/266.34 Changing weight limit from 11 to 10.
% 266.12/266.34
% 266.12/266.34 Resetting weight limit to 10 after 6555 givens.
% 266.12/266.34
% 266.40/266.63
% 266.40/266.63
% 266.40/266.63 Changing weight limit from 10 to 11.
% 266.40/266.63
% 266.40/266.63 Resetting weight limit to 11 after 6560 givens.
% 266.40/266.63
% 267.19/267.38
% 267.19/267.38
% 267.19/267.38 Changing weight limit from 11 to 10.
% 267.19/267.38
% 267.19/267.38 Resetting weight limit to 10 after 6565 givens.
% 267.19/267.38
% 267.90/268.11
% 267.90/268.11
% 267.90/268.11 Changing weight limit from 10 to 11.
% 267.90/268.11
% 267.90/268.11 Resetting weight limit to 11 after 6575 givens.
% 267.90/268.11
% 272.78/272.95
% 272.78/272.95
% 272.78/272.95 Changing weight limit from 11 to 10.
% 272.78/272.95
% 272.78/272.95 Resetting weight limit to 10 after 6630 givens.
% 272.78/272.95
% 273.54/273.70
% 273.54/273.70
% 273.54/273.70 Changing weight limit from 10 to 11.
% 273.54/273.70
% 273.54/273.70 Resetting weight limit to 11 after 6640 givens.
% 273.54/273.70
% 273.84/274.01
% 273.84/274.01
% 273.84/274.01 Changing weight limit from 11 to 10.
% 273.84/274.01
% 273.84/274.01 Resetting weight limit to 10 after 6645 givens.
% 273.84/274.01
% 274.14/274.31
% 274.14/274.31
% 274.14/274.31 Changing weight limit from 10 to 11.
% 274.14/274.31
% 274.14/274.31 Resetting weight limit to 11 after 6655 givens.
% 274.14/274.31
% 274.75/274.91
% 274.75/274.91
% 274.75/274.91 Changing weight limit from 11 to 10.
% 274.75/274.91
% 274.75/274.91 Resetting weight limit to 10 after 6670 givens.
% 274.75/274.91
% 275.55/275.74
% 275.55/275.74
% 275.55/275.74 Changing weight limit from 10 to 11.
% 275.55/275.74
% 275.55/275.74 Resetting weight limit to 11 after 6685 givens.
% 275.55/275.74
% 275.84/276.01
% 275.84/276.01
% 275.84/276.01 Changing weight limit from 11 to 10.
% 275.84/276.01
% 275.84/276.01 Resetting weight limit to 10 after 6690 givens.
% 275.84/276.01
% 276.01/276.17
% 276.01/276.17
% 276.01/276.17 Changing weight limit from 10 to 11.
% 276.01/276.17
% 276.01/276.17 Resetting weight limit to 11 after 6695 givens.
% 276.01/276.17
% 276.21/276.36
% 276.21/276.36
% 276.21/276.36 Changing weight limit from 11 to 10.
% 276.21/276.36
% 276.21/276.36 Resetting weight limit to 10 after 6700 givens.
% 276.21/276.36
% 276.41/276.58
% 276.41/276.58
% 276.41/276.58 Changing weight limit from 10 to 11.
% 276.41/276.58
% 276.41/276.58 Resetting weight limit to 11 after 6705 givens.
% 276.41/276.58
% 276.73/276.87
% 276.73/276.87
% 276.73/276.87 Changing weight limit from 11 to 10.
% 276.73/276.87
% 276.73/276.87 Resetting weight limit to 10 after 6710 givens.
% 276.73/276.87
% 277.20/277.39
% 277.20/277.39
% 277.20/277.39 Changing weight limit from 10 to 11.
% 277.20/277.39
% 277.20/277.39 Resetting weight limit to 11 after 6725 givens.
% 277.20/277.39
% 278.07/278.21
% 278.07/278.21
% 278.07/278.21 Changing weight limit from 11 to 10.
% 278.07/278.21
% 278.07/278.21 Resetting weight limit to 10 after 6740 givens.
% 278.07/278.21
% 278.33/278.48
% 278.33/278.48
% 278.33/278.48 Changing weight limit from 10 to 11.
% 278.33/278.48
% 278.33/278.48 Resetting weight limit to 11 after 6750 givens.
% 278.33/278.48
% 278.40/278.63
% 278.40/278.63
% 278.40/278.63 Changing weight limit from 11 to 12.
% 278.40/278.63
% 278.40/278.63 Resetting weight limit to 12 after 6755 givens.
% 278.40/278.63
% 278.66/278.82
% 278.66/278.82
% 278.66/278.82 Changing weight limit from 12 to 11.
% 278.66/278.82
% 278.66/278.82 Resetting weight limit to 11 after 6760 givens.
% 278.66/278.82
% 278.79/278.96
% 278.79/278.96
% 278.79/278.96 Changing weight limit from 11 to 10.
% 278.79/278.96
% 278.79/278.96 Resetting weight limit to 10 after 6765 givens.
% 278.79/278.96
% 279.13/279.28
% 279.13/279.28
% 279.13/279.28 Changing weight limit from 10 to 11.
% 279.13/279.28
% 279.13/279.28 Resetting weight limit to 11 after 6775 givens.
% 279.13/279.28
% 279.20/279.35
% 279.20/279.35
% 279.20/279.35 Changing weight limit from 11 to 12.
% 279.20/279.35
% 279.20/279.35 Resetting weight limit to 12 after 6780 givens.
% 279.20/279.35
% 279.43/279.59
% 279.43/279.59
% 279.43/279.59 Changing weight limit from 12 to 11.
% 279.43/279.59
% 279.43/279.59 Resetting weight limit to 11 after 6785 givens.
% 279.43/279.59
% 279.83/280.01
% 279.83/280.01
% 279.83/280.01 Changing weight limit from 11 to 10.
% 279.83/280.01
% 279.83/280.01 Resetting weight limit to 10 after 6795 givens.
% 279.83/280.01
% 279.91/280.10
% 279.91/280.10
% 279.91/280.10 Changing weight limit from 10 to 11.
% 279.91/280.10
% 279.91/280.10 Resetting weight limit to 11 after 6800 givens.
% 279.91/280.10
% 280.03/280.19
% 280.03/280.19
% 280.03/280.19 Changing weight limit from 11 to 12.
% 280.03/280.19
% 280.03/280.19 Resetting weight limit to 12 after 6805 givens.
% 280.03/280.19
% 280.41/280.59
% 280.41/280.59
% 280.41/280.59 Changing weight limit from 12 to 11.
% 280.41/280.59
% 280.41/280.59 Resetting weight limit to 11 after 6810 givens.
% 280.41/280.59
% 295.52/295.70
% 295.52/295.70
% 295.52/295.70 Changing weight limit from 11 to 12.
% 295.52/295.70
% 295.52/295.70 Resetting weight limit to 12 after 7040 givens.
% 295.52/295.70
% 295.62/295.81
% 295.62/295.81
% 295.62/295.81 Changing weight limit from 12 to 11.
% 295.62/295.81
% 295.62/295.81 Resetting weight limit to 11 after 7045 givens.
% 295.62/295.81
% 295.93/296.11
% 295.93/296.11
% 295.93/296.11 Changing weight limit from 11 to 12.
% 295.93/296.11
% 295.93/296.11 Resetting weight limit to 12 after 7065 givens.
% 295.93/296.11
% 296.29/296.44
% 296.29/296.44
% 296.29/296.44 Changing weight limit from 12 to 11.
% 296.29/296.44
% 296.29/296.44 Resetting weight limit to 11 after 7070 givens.
% 296.29/296.44
% 300.02/300.17 Wow, sos-wrapper got a signal XCPU
%------------------------------------------------------------------------------