This is the last dewar jacket to be pumped.
- it's been started on 7/5; 11:26, pressure: 22 microns
- last measurement: 7/6; 09:52, pressure: 9 microns

The pumping will stop on Friday afternoon.
The possibility to pump the dewar jackets during run times was already justified with some simple experiments, see it here: https://alog.ligo-wa.caltech.edu/aLOG/index.php?callRep=70178