restore a140 a
restore b140 b

bop a b
boptuc result

set square 4454.93