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.0210 4.2200% U.S. 5 Year Treasury Note-0.0410 4.2970% U.S. 7 Year Treasury Note-0.7590 4.4290% ...