## pro16129

restore [locate_data_file CSRESULT-ORISHAPE.brep] a
restore [locate_data_file CTO909_CSRESULT-PRISM.brep] c

#pkv f
btolx a
#pkv t

bop a c
bopsection result

set length 1582.83
