boolean_cell_cycle/original/boolean_cell_cycle.lp
boolean_cell_cycle/original/attractors.lp with obs_vlabel(p1,cycb,0).
