With automated proof-checkers, a problem can be broken up into small chunks, solved bit-by-bit, then reassembled with ...
U.S. 3 Year Treasury Note-0.0020 4.2260% U.S. 5 Year Treasury Note-0.0080 4.3020% U.S. 7 Year Treasury Note-0.0100 4.4340% ...