MAXIMIZE +HS_expenses SUBJECT TO HS_TX_BK_sum: +HS_TX_BK_sum(0) +HS_TX_BK_sum(1) +HS_TX_BK_sum(2) +HS_TX_BK_sum(3) +HS_TX_BK_sum(4) +HS_TX_BK_sum(5) +HS_TX_BK_sum(6) +HS_TX_BK_sum(7) -HS_TX_ordinary = 0 HS_TX_BK_tax: +0.1 HS_TX_BK_sum(1) +0.15 HS_TX_BK_sum(2) +0.25 HS_TX_BK_sum(3) +0.28 HS_TX_BK_sum(4) +0.33 HS_TX_BK_sum(5) +0.35 HS_TX_BK_sum(6) +0.396 HS_TX_BK_sum(7) -HS_TX_ordinaryTax = 0 HS_TX_CG_noRoom(0): -HS_TX_CG_brackets(0) -100000000 HS_TX_CG_y(0) +HS_TX_CG_adjusted(0) +HS_TX_ordinary <= 0 HS_TX_CG_noRoom(1): -HS_TX_CG_brackets(0) -HS_TX_CG_brackets(1) -100000000 HS_TX_CG_y(1) +HS_TX_CG_adjusted(1) +HS_TX_ordinary <= 0 HS_TX_CG_noRoom(2): -HS_TX_CG_brackets(1) -HS_TX_CG_brackets(2) -100000000 HS_TX_CG_y(2) +HS_TX_CG_adjusted(2) +HS_TX_ordinary <= 0 HS_TX_CG_gotRoom(0): +100000000 HS_TX_CG_y(0) -HS_TX_CG_mm(0) +HS_TX_CG_adjusted(0) <= 0 HS_TX_CG_gotRoom(1): +100000000 HS_TX_CG_y(1) -HS_TX_CG_mm(1) +HS_TX_CG_adjusted(1) <= 0 HS_TX_CG_gotRoom(2): +100000000 HS_TX_CG_y(2) -HS_TX_CG_mm(2) +HS_TX_CG_adjusted(2) <= 0 HS_TX_CG_buckets(0): +HS_TX_CG_adjusted(0) -HS_TX_CG_buckets(0) >= 0 HS_TX_CG_buckets(1): +HS_TX_CG_adjusted(1) -HS_TX_CG_buckets(1) >= 0 HS_TX_CG_buckets(2): +HS_TX_CG_adjusted(2) -HS_TX_CG_buckets(2) >= 0 HS_TX_CG_sum: +HS_TX_CG_buckets(0) +HS_TX_CG_buckets(1) +HS_TX_CG_buckets(2) -HS_TX_special = 0 HS_TX_CG_tax: +0.15 HS_TX_CG_buckets(1) +0.2 HS_TX_CG_buckets(2) -HS_TX_cgTax = 0 HS_TX_RS_AC_TA_TP_units: +HS_TX_RS_AC_TA_TP_initialUnits -HS_TX_RS_AC_TA_TP_units +HS_TX_RS_AC_TA_TP_drawnUnits = 0 HS_TX_RS_AC_TA_TP_splitUnits: -HS_TX_RS_AC_TA_TP_drawnUnits +HS_TX_RS_AC_TA_TP_drawnUnitsIn +HS_TX_RS_AC_TA_TP_drawnUnitsOut = 0 HS_TX_RS_AC_TA_TP_drawnUnitsIn: +HS_TX_RS_AC_TA_TP_drawnUnitsIn -0.0099009900990099011 HS_TX_RS_AC_TA_TP_drawnDollarsIn = 0 HS_TX_RS_AC_TA_TP_drawnUnitsOut: +HS_TX_RS_AC_TA_TP_drawnUnitsOut -0.010101010101010102 HS_TX_RS_AC_TA_TP_drawnDollarsOut = 0 HS_TX_RS_AC_TA_TP_splitDollars: -HS_TX_RS_AC_TA_TP_draw +HS_TX_RS_AC_TA_TP_drawnDollarsIn +HS_TX_RS_AC_TA_TP_drawnDollarsOut = 0 HS_TX_RS_AC_TA_TP_saleShortGain: = 0 HS_TX_RS_AC_TA_TP_saleLongGain: = 0 HS_TX_RS_AC_TA_TP_taxable: -3 HS_TX_RS_AC_TA_TP_units +HS_TX_RS_AC_TA_TP_taxable = 0 HS_TX_RS_AC_TA_TP_dividend: +HS_TX_RS_AC_TA_TP_dividend = 0 HS_TX_RS_AC_TA_TP_longGain: +HS_TX_RS_AC_TA_TP_units +HS_TX_RS_AC_TA_TP_longGain = 0 HS_TX_RS_AC_TA_TP_mature: -100 HS_TX_RS_AC_TA_TP_units +HS_TX_RS_AC_TA_TP_mature = 0 HS_TX_RS_AC_TA_TP_coupon: -3 HS_TX_RS_AC_TA_TP_units +HS_TX_RS_AC_TA_TP_coupon = 0 HS_TX_RS_AC_TA_TP_payments: +HS_TX_RS_AC_TA_TP_payments +HS_TX_RS_AC_TA_TP_mature +HS_TX_RS_AC_TA_TP_coupon = 0 HS_TX_RS_AC_TA_draw: -HS_TX_RS_AC_TA_TP_draw +HS_TX_RS_AC_TA_draw = 0 HS_TX_RS_AC_TA_saleShortGain: +HS_TX_RS_AC_TA_saleShortGain = 0 HS_TX_RS_AC_TA_saleLongGain: +HS_TX_RS_AC_TA_saleLongGain = 0 HS_TX_RS_AC_TA_taxable: -HS_TX_RS_AC_TA_TP_taxable +HS_TX_RS_AC_TA_taxable = 0 HS_TX_RS_AC_TA_dividend: -HS_TX_RS_AC_TA_TP_dividend +HS_TX_RS_AC_TA_dividend = 0 HS_TX_RS_AC_TA_longGain: -HS_TX_RS_AC_TA_TP_longGain +HS_TX_RS_AC_TA_longGain = 0 HS_TX_RS_AC_TA_safe: -HS_TX_RS_AC_TA_TP_payments +HS_TX_RS_AC_TA_safe = 0 HS_TX_RS_AC_TA_risky: +HS_TX_RS_AC_TA_risky = 0 HS_TX_RS_AC_CA_units: +HS_TX_RS_AC_CA_initialUnits -HS_TX_RS_AC_CA_units +HS_TX_RS_AC_CA_drawnUnits = 0 HS_TX_RS_AC_CA_splitUnits: -HS_TX_RS_AC_CA_drawnUnits +HS_TX_RS_AC_CA_drawnUnitsIn +HS_TX_RS_AC_CA_drawnUnitsOut = 0 HS_TX_RS_AC_CA_drawnUnitsIn: +HS_TX_RS_AC_CA_drawnUnitsIn -HS_TX_RS_AC_CA_drawnDollarsIn = 0 HS_TX_RS_AC_CA_drawnUnitsOut: +HS_TX_RS_AC_CA_drawnUnitsOut -HS_TX_RS_AC_CA_drawnDollarsOut = 0 HS_TX_RS_AC_CA_splitDollars: -HS_TX_RS_AC_CA_draw +HS_TX_RS_AC_CA_drawnDollarsIn +HS_TX_RS_AC_CA_drawnDollarsOut = 0 HS_TX_RS_AC_CA_saleShortGain: = 0 HS_TX_RS_AC_CA_saleLongGain: = 0 HS_TX_RS_AC_CA_taxable: +HS_TX_RS_AC_CA_taxable = 0 HS_TX_RS_AC_CA_dividend: +HS_TX_RS_AC_CA_dividend = 0 HS_TX_RS_AC_CA_longGain: +HS_TX_RS_AC_CA_longGain = 0 HS_TX_RS_AC_CA_balance: -HS_TX_RS_AC_CA_units -HS_TX_RS_AC_CA_payments +HS_TX_RS_AC_CA_balance = 0 HS_TX_RS_AC_SP_units: +HS_TX_RS_AC_SP_initialUnits -HS_TX_RS_AC_SP_units +HS_TX_RS_AC_SP_drawnUnits = 0 HS_TX_RS_AC_SP_splitUnits: -HS_TX_RS_AC_SP_drawnUnits +HS_TX_RS_AC_SP_drawnUnitsIn +HS_TX_RS_AC_SP_drawnUnitsOut = 0 HS_TX_RS_AC_SP_drawnUnitsIn: +HS_TX_RS_AC_SP_drawnUnitsIn -0.0004 HS_TX_RS_AC_SP_drawnDollarsIn = 0 HS_TX_RS_AC_SP_drawnUnitsOut: +HS_TX_RS_AC_SP_drawnUnitsOut -0.0004 HS_TX_RS_AC_SP_drawnDollarsOut = 0 HS_TX_RS_AC_SP_splitDollars: -HS_TX_RS_AC_SP_draw +HS_TX_RS_AC_SP_drawnDollarsIn +HS_TX_RS_AC_SP_drawnDollarsOut = 0 HS_TX_RS_AC_SP_saleShortGain: = 0 HS_TX_RS_AC_SP_saleLongGain: = 0 HS_TX_RS_AC_SP_taxable: +HS_TX_RS_AC_SP_taxable = 0 HS_TX_RS_AC_SP_dividend: +HS_TX_RS_AC_SP_dividend -2400 HS_TX_RS_AC_SP_divP = 0 HS_TX_RS_AC_SP_longGain: +HS_TX_RS_AC_SP_longGain -HS_TX_RS_AC_SP_cg = 0 HS_TX_RS_AC_SP_sumUnits: +HS_TX_RS_AC_SP_units -HS_TX_RS_AC_SP_bought = 0 HS_TX_RS_AC_SP_bought: -HS_TX_RS_AC_SP_bought +0.99009900990099009 HS_TX_RS_AC_SP_balance = 0 HS_TX_RS_AC_SP_cg: +100 HS_TX_RS_AC_SP_bought +HS_TX_RS_AC_SP_cg = 0 HS_TX_RS_AC_SP_payments: +HS_TX_RS_AC_SP_payments +2400 HS_TX_RS_AC_SP_balance = 0 HS_TX_RS_AC_SP_divP: -0.010000000000000009 HS_TX_RS_AC_SP_bought +HS_TX_RS_AC_SP_divP = 0 HS_TX_RS_AC_SP_running: -1.01 HS_TX_RS_AC_SP_bought +HS_TX_RS_AC_SP_running = 0 HS_TX_RS_AC_draw: -HS_TX_RS_AC_TA_draw -HS_TX_RS_AC_CA_draw -HS_TX_RS_AC_SP_draw +HS_TX_RS_AC_draw = 0 HS_TX_RS_AC_saleShortGain: -HS_TX_RS_AC_TA_saleShortGain +HS_TX_RS_AC_saleShortGain = 0 HS_TX_RS_AC_saleLongGain: -HS_TX_RS_AC_TA_saleLongGain +HS_TX_RS_AC_saleLongGain = 0 HS_TX_RS_AC_taxable: -HS_TX_RS_AC_TA_taxable -HS_TX_RS_AC_CA_taxable -HS_TX_RS_AC_SP_taxable +HS_TX_RS_AC_taxable = 0 HS_TX_RS_AC_dividend: -HS_TX_RS_AC_TA_dividend -HS_TX_RS_AC_CA_dividend -HS_TX_RS_AC_SP_dividend +HS_TX_RS_AC_dividend = 0 HS_TX_RS_AC_longGain: -HS_TX_RS_AC_TA_longGain -HS_TX_RS_AC_CA_longGain -HS_TX_RS_AC_SP_longGain +HS_TX_RS_AC_longGain = 0 HS_TX_RS_AC_safe: -HS_TX_RS_AC_TA_safe -HS_TX_RS_AC_CA_payments +HS_TX_RS_AC_safe = 0 HS_TX_RS_AC_risky: -HS_TX_RS_AC_TA_risky -HS_TX_RS_AC_SP_payments +HS_TX_RS_AC_risky = 0 HS_TX_RS_@draw: = 0 HS_TX_RS_draw: -HS_TX_RS_AC_draw = 0 HS_TX_RS_safe: -HS_TX_RS_AC_safe +HS_TX_RS_safe = 0 HS_TX_RS_risky: -HS_TX_RS_AC_risky +HS_TX_RS_risky = 0 HS_TX_RS_portion: +0.4 HS_TX_RS_safe -0.6 HS_TX_RS_risky = 0 HS_TX_RS_net: -HS_TX_RS_safe -HS_TX_RS_risky +HS_TX_RS_net = 0 HS_TX_RS_saleShortGain: -HS_TX_RS_AC_saleShortGain +HS_TX_RS_saleShortGain = 0 HS_TX_RS_saleLongGain: -HS_TX_RS_AC_saleLongGain +HS_TX_RS_saleLongGain = 0 HS_TX_RS_taxable: -HS_TX_RS_AC_taxable +HS_TX_RS_taxable = 0 HS_TX_RS_dividend: -HS_TX_RS_AC_dividend +HS_TX_RS_dividend = 0 HS_TX_RS_longGain: -HS_TX_RS_AC_longGain +HS_TX_RS_longGain = 0 HS_TX_net: -HS_TX_RS_net +HS_TX_net = 0 HS_TX_@saleShortGain: = 0 HS_TX_saleShortGain: -HS_TX_RS_saleShortGain = 0 HS_TX_@saleLongGain: = 0 HS_TX_saleLongGain: -HS_TX_RS_saleLongGain = 0 HS_TX_taxable: -HS_TX_RS_taxable +HS_TX_taxable = 0 HS_TX_dividend: -HS_TX_RS_dividend +HS_TX_dividend = 0 HS_TX_longGain: -HS_TX_RS_longGain +HS_TX_longGain = 0 HS_TX_@line13: = 0 HS_TX_line13: -HS_TX_longGain +HS_TX_line13 >= 0 HS_TX_agi: -HS_TX_taxable -HS_TX_dividend -HS_TX_line13 +HS_TX_agi = 0 HS_TX_underCut: +0.066122448979591839 HS_TX_agi +1000000 HS_TX_exemptionY -HS_TX_p -HS_TX_bigM +HS_TX_exemption <= 0 HS_TX_overCut: -1000000 HS_TX_exemptionY +HS_TX_exemption <= 0 HS_TX_taxableIncome: -HS_TX_agi +HS_TX_exemption +HS_TX_standardDeduction -HS_TX_slackIncome +HS_TX_taxableIncome = 0 HS_TX_gainPos: -HS_TX_line13 +HS_TX_gain -1000000 HS_TX_gainY <= 0 HS_TX_gainZero: -HS_TX_bigM +HS_TX_gain +1000000 HS_TX_gainY <= 0 HS_TX_ordinary: +HS_TX_dividend -HS_TX_taxableIncome +HS_TX_gain +HS_TX_ordinary >= 0 HS_TX_special: -HS_TX_dividend -HS_TX_gain +HS_TX_special = 0 HS_TX_tax: +HS_TX_tax -HS_TX_ordinaryTax -HS_TX_cgTax = 0 HS_TX_expenses: +HS_TX_net +HS_TX_tax +HS_TX_expenses = 0 HS_expenses: -HS_TX_expenses +HS_expenses = 0 BOUNDS -inf <= HS_TX_BK_sum(0) <= 0 HS_TX_BK_sum(1) <= 18550 HS_TX_BK_sum(2) <= 56750 HS_TX_BK_sum(3) <= 76600 HS_TX_BK_sum(4) <= 79550 HS_TX_BK_sum(5) <= 181900 HS_TX_BK_sum(6) <= 53600 HS_TX_CG_brackets(0) = 75300 HS_TX_CG_brackets(1) = 466950 HS_TX_CG_brackets(2) = 0 HS_TX_CG_mm(0) = 100000000 HS_TX_CG_mm(1) = 100000000 HS_TX_CG_mm(2) = 100000000 HS_TX_CG_adjusted(0) <= 75300 HS_TX_CG_adjusted(1) <= 391650 HS_TX_RS_AC_TA_TP_initialUnits = 0 HS_TX_RS_AC_TA_TP_drawnUnits free -inf <= HS_TX_RS_AC_TA_TP_drawnUnitsOut <= 0 HS_TX_RS_AC_TA_TP_draw free HS_TX_RS_AC_TA_TP_drawnDollarsOut = 0 HS_TX_RS_AC_TA_TP_payments free HS_TX_RS_AC_TA_TP_taxable free HS_TX_RS_AC_TA_TP_dividend free HS_TX_RS_AC_TA_TP_longGain free HS_TX_RS_AC_TA_draw free HS_TX_RS_AC_TA_saleShortGain free HS_TX_RS_AC_TA_saleLongGain free HS_TX_RS_AC_TA_taxable free HS_TX_RS_AC_TA_dividend free HS_TX_RS_AC_TA_longGain free HS_TX_RS_AC_TA_safe free HS_TX_RS_AC_TA_risky free HS_TX_RS_AC_CA_initialUnits = 10000 HS_TX_RS_AC_CA_drawnUnits free -inf <= HS_TX_RS_AC_CA_drawnUnitsOut <= 0 HS_TX_RS_AC_CA_draw free -inf <= HS_TX_RS_AC_CA_drawnDollarsOut <= 0 HS_TX_RS_AC_CA_payments free HS_TX_RS_AC_CA_taxable free HS_TX_RS_AC_CA_dividend free HS_TX_RS_AC_CA_longGain free HS_TX_RS_AC_SP_initialUnits = 0 HS_TX_RS_AC_SP_drawnUnits free -inf <= HS_TX_RS_AC_SP_drawnUnitsOut <= 0 HS_TX_RS_AC_SP_draw free HS_TX_RS_AC_SP_drawnDollarsOut = 0 -inf <= HS_TX_RS_AC_SP_payments <= 0 HS_TX_RS_AC_SP_taxable free HS_TX_RS_AC_SP_dividend free HS_TX_RS_AC_SP_longGain free HS_TX_RS_AC_SP_cg free HS_TX_RS_AC_draw free HS_TX_RS_AC_saleShortGain free HS_TX_RS_AC_saleLongGain free HS_TX_RS_AC_taxable free HS_TX_RS_AC_dividend free HS_TX_RS_AC_longGain free HS_TX_RS_AC_safe free HS_TX_RS_AC_risky free -inf <= HS_TX_RS_safe <= 0 -inf <= HS_TX_RS_risky <= 0 -inf <= HS_TX_RS_net <= 0 HS_TX_RS_saleShortGain free HS_TX_RS_saleLongGain free HS_TX_RS_taxable free HS_TX_RS_dividend free HS_TX_RS_longGain free -inf <= HS_TX_net <= 0 HS_TX_taxable free HS_TX_longGain free -3000 <= HS_TX_line13 HS_TX_agi free HS_TX_p = 28683.9183673469 HS_TX_bigM = 1000000 HS_TX_exemption <= 8100 HS_TX_standardDeduction = 15100 HS_expenses free BINARY HS_TX_CG_y(0) HS_TX_CG_y(1) HS_TX_CG_y(2) HS_TX_exemptionY HS_TX_gainY END