Hi Enomoto-san,
I ploted the free-run frequency noise of the PROMETHEUS laser considering the effect of the anti-whitening.
The blue line is the frequency noise measured last Thuersday and the orange line is the frequency noise considering the anti-whetening. This plot looks like 1/f shape. Also, the green line is the free-run frequency noise of the PROMETHEUS laser measured on Oct. 11th with Enomoto-san.