boolean_cell_cycle/original/boolean_cell_cycle.lp
boolean_cell_cycle/original/attractors.lp with obs_vlabel(p1,e2f,1).
