Add nazo_table, binary_search