computer readable program code that causes the computer to arrange the bottom search vertices in an order ascending from one to V, where V is an integer equal to the number of bottom search vertices, computer readable program code that causes the computer to arrange the prefixes in the bottom search vertices so that values of the prefixes in any one bottom search vertex are greater than values of