xi3, ~{O2~} 8 8888888888888 8 88888888888 888888888 8 8 888888888 8 8 8 888888888888888 888888888 8 8 8 8 888888888 8 8