For rung 2038, deciding rung income,
so that the per-rung average income is maintained as we add this new rung:
  given:
    (a) annual income requirement: on average $60,000
    (b) rungs already created: 0
    (c) income in rungs already created: $0.00
  result: $60,000.00, i.e. (a * (b + 1)) - c

For rung 2038, which has no TIPS maturing, choosing other maturity year:
  given:
    choice criterion: NearestYear
  result: 2040

For rung 2038, choosing bond in 2040 to fund it:
  given:
    choice criterion: Earliest
  result: 912810QF8

For rung 2038, deciding how much income for this year is required
from this rung's bond holding, after accounting for interest from
later-maturing bonds, and any pre-ladder interest:
  given:
    (a) rung income required: $60,000.00
    (b) interest this year from bonds maturing after 2038: $0.00
    (c) pre-ladder interest assigned to 2038: $0.00
  result: $60,000.00, i.e. a - b - c

For rung 2038, choosing bond count:
  given:
    bond: 912810QF8
    (a) income required from this year's bond: $60,000.00
    (b) bond's interest earned in 2038: $15.28
    (c) bond's inflation-adjusted principal: $1438.46
  result: 42, i.e. a / (b + c) rounded up to whole number

For rung 2037, deciding rung income,
so that the per-rung average income is maintained as we add this new rung:
  given:
    (a) annual income requirement: on average $60,000
    (b) rungs already created: 1
    (c) income in rungs already created: $61,057.30
  result: $58,942.70, i.e. (a * (b + 1)) - c

For rung 2037, which has no TIPS maturing, choosing other maturity year:
  given:
    choice criterion: NearestYear
  result: 2034

For rung 2037, choosing bond in 2034 to fund it:
  given:
    choice criterion: Earliest
  result: 91282CJY8

For rung 2037, deciding how much income for this year is required
from this rung's bond holding, after accounting for interest from
later-maturing bonds, and any pre-ladder interest:
  given:
    (a) rung income required: $58,942.70
    (b) interest this year from bonds maturing after 2037: $1,283.83
    (c) pre-ladder interest assigned to 2037: $0.00
  result: $57,658.87, i.e. a - b - c

For rung 2037, choosing bond count:
  given:
    bond: 91282CJY8
    (a) income required from this year's bond: $57,658.87
    (b) bond's interest earned in 2037: $0.00
    (c) bond's inflation-adjusted principal: $1011.44
  result: 58, i.e. a / (b + c) rounded up to whole number

For rung 2036, deciding rung income,
so that the per-rung average income is maintained as we add this new rung:
  given:
    (a) annual income requirement: on average $60,000
    (b) rungs already created: 2
    (c) income in rungs already created: $121,004.81
  result: $58,995.19, i.e. (a * (b + 1)) - c

For rung 2036, which has no TIPS maturing, choosing other maturity year:
  given:
    choice criterion: NearestYear
  result: 2034

For rung 2036, choosing bond in 2034 to fund it:
  given:
    choice criterion: Earliest
  result: 91282CJY8

For rung 2036, deciding how much income for this year is required
from this rung's bond holding, after accounting for interest from
later-maturing bonds, and any pre-ladder interest:
  given:
    (a) rung income required: $58,995.19
    (b) interest this year from bonds maturing after 2036: $1,283.83
    (c) pre-ladder interest assigned to 2036: $0.00
  result: $57,711.36, i.e. a - b - c

For rung 2036, choosing bond count:
  given:
    bond: 91282CJY8
    (a) income required from this year's bond: $57,711.36
    (b) bond's interest earned in 2036: $0.00
    (c) bond's inflation-adjusted principal: $1011.44
  result: 58, i.e. a / (b + c) rounded up to whole number

For rung 2035, deciding rung income,
so that the per-rung average income is maintained as we add this new rung:
  given:
    (a) annual income requirement: on average $60,000
    (b) rungs already created: 3
    (c) income in rungs already created: $180,952.31
  result: $59,047.69, i.e. (a * (b + 1)) - c

For rung 2035, which has no TIPS maturing, choosing other maturity year:
  given:
    choice criterion: NearestYear
  result: 2034

For rung 2035, choosing bond in 2034 to fund it:
  given:
    choice criterion: Earliest
  result: 91282CJY8

For rung 2035, deciding how much income for this year is required
from this rung's bond holding, after accounting for interest from
later-maturing bonds, and any pre-ladder interest:
  given:
    (a) rung income required: $59,047.69
    (b) interest this year from bonds maturing after 2035: $1,283.83
    (c) pre-ladder interest assigned to 2035: $0.00
  result: $57,763.86, i.e. a - b - c

For rung 2035, choosing bond count:
  given:
    bond: 91282CJY8
    (a) income required from this year's bond: $57,763.86
    (b) bond's interest earned in 2035: $0.00
    (c) bond's inflation-adjusted principal: $1011.44
  result: 58, i.e. a / (b + c) rounded up to whole number

For rung 2034, deciding rung income,
so that the per-rung average income is maintained as we add this new rung:
  given:
    (a) annual income requirement: on average $60,000
    (b) rungs already created: 4
    (c) income in rungs already created: $240,899.82
  result: $59,100.18, i.e. (a * (b + 1)) - c

For rung 2034, choosing bond in 2034 to fund it:
  given:
    choice criterion: Earliest
  result: 91282CJY8

For rung 2034, deciding how much income for this year is required
from this rung's bond holding, after accounting for interest from
later-maturing bonds, and any pre-ladder interest:
  given:
    (a) rung income required: $59,100.18
    (b) interest this year from bonds maturing after 2034: $1,283.83
    (c) pre-ladder interest assigned to 2034: $0.00
  result: $57,816.35, i.e. a - b - c

For rung 2034, choosing bond count:
  given:
    bond: 91282CJY8
    (a) income required from this year's bond: $57,816.35
    (b) bond's interest earned in 2034: $8.85
    (c) bond's inflation-adjusted principal: $1011.44
  result: 57, i.e. a / (b + c) rounded up to whole number

For rung 2033, deciding rung income,
so that the per-rung average income is maintained as we add this new rung:
  given:
    (a) annual income requirement: on average $60,000
    (b) rungs already created: 5
    (c) income in rungs already created: $301,880.26
  result: $58,119.74, i.e. (a * (b + 1)) - c

For rung 2033, choosing bond in 2033 to fund it:
  given:
    choice criterion: Earliest
  result: 91282CGK1

For rung 2033, deciding how much income for this year is required
from this rung's bond holding, after accounting for interest from
later-maturing bonds, and any pre-ladder interest:
  given:
    (a) rung income required: $58,119.74
    (b) interest this year from bonds maturing after 2033: $5,372.58
    (c) pre-ladder interest assigned to 2033: $0.00
  result: $52,747.16, i.e. a - b - c

For rung 2033, choosing bond count:
  given:
    bond: 91282CGK1
    (a) income required from this year's bond: $52,747.16
    (b) bond's interest earned in 2033: $5.87
    (c) bond's inflation-adjusted principal: $1043.75
  result: 51, i.e. a / (b + c) rounded up to whole number

For rung 2032, deciding rung income,
so that the per-rung average income is maintained as we add this new rung:
  given:
    (a) annual income requirement: on average $60,000
    (b) rungs already created: 6
    (c) income in rungs already created: $360,783.56
  result: $59,216.44, i.e. (a * (b + 1)) - c

For rung 2032, choosing bond in 2032 to fund it:
  given:
    choice criterion: Earliest
  result: 91282CDX6

For rung 2032, deciding how much income for this year is required
from this rung's bond holding, after accounting for interest from
later-maturing bonds, and any pre-ladder interest:
  given:
    (a) rung income required: $59,216.44
    (b) interest this year from bonds maturing after 2032: $5,971.44
    (c) pre-ladder interest assigned to 2032: $0.00
  result: $53,245.00, i.e. a - b - c

For rung 2032, choosing bond count:
  given:
    bond: 91282CDX6
    (a) income required from this year's bond: $53,245.00
    (b) bond's interest earned in 2032: $0.70
    (c) bond's inflation-adjusted principal: $1121.59
  result: 48, i.e. a / (b + c) rounded up to whole number

For rung 2031, deciding rung income,
so that the per-rung average income is maintained as we add this new rung:
  given:
    (a) annual income requirement: on average $60,000
    (b) rungs already created: 7
    (c) income in rungs already created: $420,625.07
  result: $59,374.93, i.e. (a * (b + 1)) - c

For rung 2031, choosing bond in 2031 to fund it:
  given:
    choice criterion: Earliest
  result: 91282CBF7

For rung 2031, deciding how much income for this year is required
from this rung's bond holding, after accounting for interest from
later-maturing bonds, and any pre-ladder interest:
  given:
    (a) rung income required: $59,374.93
    (b) interest this year from bonds maturing after 2031: $6,038.73
    (c) pre-ladder interest assigned to 2031: $0.00
  result: $53,336.20, i.e. a - b - c

For rung 2031, choosing bond count:
  given:
    bond: 91282CBF7
    (a) income required from this year's bond: $53,336.20
    (b) bond's interest earned in 2031: $0.75
    (c) bond's inflation-adjusted principal: $1194.35
  result: 45, i.e. a / (b + c) rounded up to whole number

For rung 2030, deciding rung income,
so that the per-rung average income is maintained as we add this new rung:
  given:
    (a) annual income requirement: on average $60,000
    (b) rungs already created: 8
    (c) income in rungs already created: $480,443.09
  result: $59,556.91, i.e. (a * (b + 1)) - c

For rung 2030, choosing bond in 2030 to fund it:
  given:
    choice criterion: Earliest
  result: 912828Z37

For rung 2030, deciding how much income for this year is required
from this rung's bond holding, after accounting for interest from
later-maturing bonds, and any pre-ladder interest:
  given:
    (a) rung income required: $59,556.91
    (b) interest this year from bonds maturing after 2030: $6,105.91
    (c) pre-ladder interest assigned to 2030: $33,582.53
  result: $19,868.46, i.e. a - b - c

For rung 2030, choosing bond count:
  given:
    bond: 912828Z37
    (a) income required from this year's bond: $19,868.46
    (b) bond's interest earned in 2030: $0.76
    (c) bond's inflation-adjusted principal: $1208.43
  result: 17, i.e. a / (b + c) rounded up to whole number