Retirement tax questions

@gerardo47 - it will work out as you intend.  CO begins its calculations with Federal Taxable Income (line 15) which already will exclude the contribution to the 401k.