BOOST_9_LOTUS_72