Started working on galaxy IC5257 at Fri Jun  5 03:48:25 2020
No CCDs touching this brick; nothing to do.
Finished galaxy IC5257 in 0.003 minutes.
Started working on galaxy IC5257 at Sat Jul 18 22:56:27 2020
No CCDs touching this brick; nothing to do.
Finished galaxy IC5257 in 0.004 minutes.