5 restore [locate_data_file buc60532a.brep] p
8 restore [locate_data_file buc60532b.brep] t1
11 restore [locate_data_file buc60532c.brep] t2
16 halfspace h1 t1 20 20 0
17 halfspace h2 t2 20 20 0
29 puts [checkshape res1]
30 puts [computetolerance res1]
35 puts [checkshape res2]
46 puts [computetolerance res2]