restore a154 a
restore b154 b

bop a b
boptuc result

set square 10602.8