modify bugs in 2bit traversal and add conjecture tex