let
explore state =
reload_list_of_ids state
>>=
fun
()
->
exploration_loop state []