Molecules
Lext(p,n~345~346~347~348~349~350~351~352~353~354~355)
Pit(s~p~e,l1,l2,l3,l4,l5,l6,l7,l8,l9,l10)
Lint(n~345~346~347~348~349~350~351~352~353~354~355)
Species
Pit(s~p,l1,l2,l3,l4,l5,l6,l7,l8,l9,l10)()
Observables
Pit(s~p)
Pit(s~e)
Lint()
Reaction Rules
Lext(p,n) + Lext(p!1,n).Pit(s~p,l1!1,l2,l3,l4,l5,l6,l7,l8,l9,l10) -> Lext(p!2,n).Lext(p!1,n).Pit(s~p,l1!1,l2!2,l3,l4,l5,l6,l7,l8,l9,l10)
Lext(p,n) + Lext(p!2,n).Lext(p!1,n).Pit(s~p,l1!1,l2!2,l3,l4,l5,l6,l7,l8,l9,l10) -> Lext(p!3,n).Lext(p!2,n).Lext(p!1,n).Pit(s~p,l1!1,l2!2,l3!3,l4,l5,l6,l7,l8,l9,l10)
Lext(p,n) + Lext(p!3,n).Lext(p!2,n).Lext(p!1,n).Pit(s~p,l1!1,l2!2,l3!3,l4,l5,l6,l7,l8,l9,l10) -> Lext(p!4,n).Lext(p!3,n).Lext(p!2,n).Lext(p!1,n).Pit(s~p,l1!1,l2!2,l3!3,l4!4,l5,l6,l7,l8,l9,l10)
Lext(p,n) + Lext(p!4,n).Lext(p!3,n).Lext(p!2,n).Lext(p!1,n).Pit(s~p,l1!1,l2!2,l3!3,l4!4,l5,l6,l7,l8,l9,l10) -> Lext(p!5,n).Lext(p!4,n).Lext(p!3,n).Lext(p!2,n).Lext(p!1,n).Pit(s~p,l1!1,l2!2,l3!3,l4!4,l5!5,l6,l7,l8,l9,l10)
Lext(p,n) + Lext(p!5,n).Lext(p!4,n).Lext(p!3,n).Lext(p!2,n).Lext(p!1,n).Pit(s~p,l1!1,l2!2,l3!3,l4!4,l5!5,l6,l7,l8,l9,l10) -> Lext(p!6,n).Lext(p!5,n).Lext(p!4,n).Lext(p!3,n).Lext(p!2,n).Lext(p!1,n).Pit(s~p,l1!1,l2!2,l3!3,l4!4,l5!5,l6!6,l7,l8,l9,l10)
Lext(p,n) + Lext(p!6,n).Lext(p!5,n).Lext(p!4,n).Lext(p!3,n).Lext(p!2,n).Lext(p!1,n).Pit(s~p,l1!1,l2!2,l3!3,l4!4,l5!5,l6!6,l7,l8,l9,l10) -> Lext(p!7,n).Lext(p!6,n).Lext(p!5,n).Lext(p!4,n).Lext(p!3,n).Lext(p!2,n).Lext(p!1,n).Pit(s~p,l1!1,l2!2,l3!3,l4!4,l5!5,l6!6,l7!7,l8,l9,l10)
Lext(p!1,n).Pit(s~p,l1!1,l2,l3,l4,l5,l6,l7,l8,l9,l10) -> Lext(p!1,n).Pit(s~e,l1!1,l2,l3,l4,l5,l6,l7,l8,l9,l10)
Lext(p!2,n).Lext(p!1,n).Pit(s~p,l1!1,l2!2,l3,l4,l5,l6,l7,l8,l9,l10) -> Lext(p!2,n).Lext(p!1,n).Pit(s~e,l1!1,l2!2,l3,l4,l5,l6,l7,l8,l9,l10)
Lext(p!3,n).Lext(p!2,n).Lext(p!1,n).Pit(s~p,l1!1,l2!2,l3!3,l4,l5,l6,l7,l8,l9,l10) -> Lext(p!3,n).Lext(p!2,n).Lext(p!1,n).Pit(s~e,l1!1,l2!2,l3!3,l4,l5,l6,l7,l8,l9,l10)
Lext(p!4,n).Lext(p!3,n).Lext(p!2,n).Lext(p!1,n).Pit(s~p,l1!1,l2!2,l3!3,l4!4,l5,l6,l7,l8,l9,l10) -> Lext(p!4,n).Lext(p!3,n).Lext(p!2,n).Lext(p!1,n).Pit(s~e,l1!1,l2!2,l3!3,l4!4,l5,l6,l7,l8,l9,l10)
Lext(p!5,n).Lext(p!4,n).Lext(p!3,n).Lext(p!2,n).Lext(p!1,n).Pit(s~p,l1!1,l2!2,l3!3,l4!4,l5!5,l6,l7,l8,l9,l10) -> Lext(p!5,n).Lext(p!4,n).Lext(p!3,n).Lext(p!2,n).Lext(p!1,n).Pit(s~e,l1!1,l2!2,l3!3,l4!4,l5!5,l6,l7,l8,l9,l10)