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