idx4:
[vega-9 bad state]
idx4:
[vega-9 bad state]
idx4:
[vega-9 bad state]
idx4:
[vega-9 bad state]