puts "========"
puts "OCC25465"
puts "========"
puts ""
################################################
# Excess vertex in the result of CUT operation
################################################

restore [locate_data_file OCC25465_Gorivo.brep] b1
restore [locate_data_file OCC25465_Translation_1.brep] b2

explode b1 f
explode b2 f
set bug_info [bopcurves b1_3 b2_4]
bop b1 b2
bopcut result

# It is strictly forbidden to change reference values of vertexes and edges (see OCC25465)
checknbshapes result -vertex 11 -edge 17 -wire 8 -face 8 -shell 1 -solid 1 -compsolid 0 -compound 1 -shape 47
if {[lindex $bug_info 2] != 3} {
  puts "ERROR: OCC25465 is reproduced."
}