obdd.rb  finished