restore [locate_data_file sh2] b1
restore [locate_data_file sh3] b2

bop b1 b2
boptuc result


set square 400