Reachability for infinite time Turing machines with long tapes (Logical Methods in Computer Science, 2020)