cpulimit 3600
restore [locate_data_file BUC60937.brep] sh
explode sh

bop sh_2 sh_1
boptuc result

set square 786002