restore [locate_data_file a7] a
restore [locate_data_file b7] b
bsection result a b

checkprops result -l 1.75
checksection result