Dear all :
There's a bug about counter-example report in the reference program.
(Found by Fan-Kuan, counter-examples with BV values reversely printed.)
Please re-download latest program if needed.