Simulation of C1 fluxes in cyanobacteria: comparison between the carboxysome hypothesis and the equilibrium proposal