Verify the result

the computation seems credible
except for turns, need investigation, discussion