L ooking up, they saw that the stone had been rolled away, although it was extremely large.
And when they looked up, they saw that the stone was already rolled back, for it was very large.