# command line: # KaDE n_phos_sites_7.ka -print-efficiency -ode-backend DOTNET -with-symmetries Backward -dotnet-output network_n_phos_sites_7_with_bsym.net # THINGS THAT ARE KNOWN FROM KAPPA FILE AND KaSim OPTIONS: # # init - the initial abundances of each species and token # tinit - the initial simulation time (likely 0) # tend - the final simulation time # initialstep - initial time step at the beginning of numerical integration # maxstep - maximal time step for numerical integration # reltol - relative error tolerance; # abstol - absolute error tolerance; # period - the time period between points to return # # variables (init(i),y(i)) denote numbers of embeddings # rule rates are corrected by the number of automorphisms in the lhs of rules begin parameters 1 tinit 0 2 tend 1 3 period 0.01 4 ku8 11529602 5 kp7 234375 6 n_k7 7 7 ku7 1647086 8 kp6 46875 9 n_k6 6 10 ku6 235298 11 kp5 9375 12 n_k5 5 13 ku5 33614 14 kp4 1875 15 n_k4 4 16 ku4 4802 17 kp3 375 18 n_k3 3 19 ku3 686 20 kp2 75 21 n_k2 2 22 ku2 98 23 kp1 15 24 n_k1 1 25 ku1 14 26 kp0 3 27 n_k0 0 end parameters begin species 1 A(s1~u,s2~u,s3~u,s4~u,s5~u,s6~u,s7~u) 100 2 A(s1~u,s2~u,s3~u,s4~u,s5~u,s6~u,s7~p) 0 3 A(s1~u,s2~u,s3~u,s4~u,s5~u,s6~p,s7~p) 0 4 A(s1~u,s2~u,s3~u,s4~u,s5~p,s6~p,s7~p) 0 5 A(s1~u,s2~u,s3~u,s4~p,s5~p,s6~p,s7~p) 0 6 A(s1~u,s2~u,s3~p,s4~p,s5~p,s6~p,s7~p) 0 7 A(s1~u,s2~p,s3~p,s4~p,s5~p,s6~p,s7~p) 0 8 A(s1~p,s2~p,s3~p,s4~p,s5~p,s6~p,s7~p) 0 end species begin reactions # rule : A(s1~p,s2~p,s3~p,s4~p,s5~p,s6~p,s7~p) -> A(s1~u,s2~p,s3~p,s4~p,s5~p,s6~p,s7~p) # A(s1~p, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p) -> A(s1~u, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p) 1 8 7 ku7 # rule : A(s1~p,s2~p,s3~p,s4~p,s5~p,s6~p,s7~p) -> A(s1~p,s2~u,s3~p,s4~p,s5~p,s6~p,s7~p) # A(s1~p, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p) -> A(s1~u, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p) 2 8 7 ku7 # rule : A(s1~p,s2~p,s3~p,s4~p,s5~p,s6~p,s7~p) -> A(s1~p,s2~p,s3~u,s4~p,s5~p,s6~p,s7~p) # A(s1~p, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p) -> A(s1~u, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p) 3 8 7 ku7 # rule : A(s1~p,s2~p,s3~p,s4~p,s5~p,s6~p,s7~p) -> A(s1~p,s2~p,s3~p,s4~u,s5~p,s6~p,s7~p) # A(s1~p, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p) -> A(s1~u, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p) 4 8 7 ku7 # rule : A(s1~p,s2~p,s3~p,s4~p,s5~p,s6~p,s7~p) -> A(s1~p,s2~p,s3~p,s4~p,s5~u,s6~p,s7~p) # A(s1~p, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p) -> A(s1~u, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p) 5 8 7 ku7 # rule : A(s1~p,s2~p,s3~p,s4~p,s5~p,s6~p,s7~p) -> A(s1~p,s2~p,s3~p,s4~p,s5~p,s6~u,s7~p) # A(s1~p, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p) -> A(s1~u, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p) 6 8 7 ku7 # rule : A(s1~p,s2~p,s3~p,s4~p,s5~p,s6~p,s7~p) -> A(s1~p,s2~p,s3~p,s4~p,s5~p,s6~p,s7~u) # A(s1~p, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p) -> A(s1~u, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p) 7 8 7 ku7 # rule : A(s1~u,s2~p,s3~p,s4~p,s5~p,s6~p,s7~p) -> A(s1~p,s2~p,s3~p,s4~p,s5~p,s6~p,s7~p) # A(s1~u, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p) -> A(s1~p, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p) 8 7 8 kp6 # rule : A(s1~u,s2~p,s3~p,s4~p,s5~p,s6~p,s7~p) -> A(s1~u,s2~u,s3~p,s4~p,s5~p,s6~p,s7~p) # A(s1~u, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p) -> A(s1~u, s2~u, s3~p, s4~p, s5~p, s6~p, s7~p) 9 7 6 ku6 # rule : A(s1~u,s2~p,s3~p,s4~p,s5~p,s6~p,s7~p) -> A(s1~u,s2~p,s3~u,s4~p,s5~p,s6~p,s7~p) # A(s1~u, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p) -> A(s1~u, s2~u, s3~p, s4~p, s5~p, s6~p, s7~p) 10 7 6 ku6 # rule : A(s1~u,s2~p,s3~p,s4~p,s5~p,s6~p,s7~p) -> A(s1~u,s2~p,s3~p,s4~u,s5~p,s6~p,s7~p) # A(s1~u, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p) -> A(s1~u, s2~u, s3~p, s4~p, s5~p, s6~p, s7~p) 11 7 6 ku6 # rule : A(s1~u,s2~p,s3~p,s4~p,s5~p,s6~p,s7~p) -> A(s1~u,s2~p,s3~p,s4~p,s5~u,s6~p,s7~p) # A(s1~u, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p) -> A(s1~u, s2~u, s3~p, s4~p, s5~p, s6~p, s7~p) 12 7 6 ku6 # rule : A(s1~u,s2~p,s3~p,s4~p,s5~p,s6~p,s7~p) -> A(s1~u,s2~p,s3~p,s4~p,s5~p,s6~u,s7~p) # A(s1~u, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p) -> A(s1~u, s2~u, s3~p, s4~p, s5~p, s6~p, s7~p) 13 7 6 ku6 # rule : A(s1~u,s2~p,s3~p,s4~p,s5~p,s6~p,s7~p) -> A(s1~u,s2~p,s3~p,s4~p,s5~p,s6~p,s7~u) # A(s1~u, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p) -> A(s1~u, s2~u, s3~p, s4~p, s5~p, s6~p, s7~p) 14 7 6 ku6 # rule : A(s1~u,s2~u,s3~p,s4~p,s5~p,s6~p,s7~p) -> A(s1~p,s2~u,s3~p,s4~p,s5~p,s6~p,s7~p) # A(s1~u, s2~u, s3~p, s4~p, s5~p, s6~p, s7~p) -> A(s1~u, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p) 15 6 7 kp5 # rule : A(s1~u,s2~u,s3~p,s4~p,s5~p,s6~p,s7~p) -> A(s1~u,s2~p,s3~p,s4~p,s5~p,s6~p,s7~p) # A(s1~u, s2~u, s3~p, s4~p, s5~p, s6~p, s7~p) -> A(s1~u, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p) 16 6 7 kp5 # rule : A(s1~u,s2~u,s3~p,s4~p,s5~p,s6~p,s7~p) -> A(s1~u,s2~u,s3~u,s4~p,s5~p,s6~p,s7~p) # A(s1~u, s2~u, s3~p, s4~p, s5~p, s6~p, s7~p) -> A(s1~u, s2~u, s3~u, s4~p, s5~p, s6~p, s7~p) 17 6 5 ku5 # rule : A(s1~u,s2~u,s3~p,s4~p,s5~p,s6~p,s7~p) -> A(s1~u,s2~u,s3~p,s4~u,s5~p,s6~p,s7~p) # A(s1~u, s2~u, s3~p, s4~p, s5~p, s6~p, s7~p) -> A(s1~u, s2~u, s3~u, s4~p, s5~p, s6~p, s7~p) 18 6 5 ku5 # rule : A(s1~u,s2~u,s3~p,s4~p,s5~p,s6~p,s7~p) -> A(s1~u,s2~u,s3~p,s4~p,s5~u,s6~p,s7~p) # A(s1~u, s2~u, s3~p, s4~p, s5~p, s6~p, s7~p) -> A(s1~u, s2~u, s3~u, s4~p, s5~p, s6~p, s7~p) 19 6 5 ku5 # rule : A(s1~u,s2~u,s3~p,s4~p,s5~p,s6~p,s7~p) -> A(s1~u,s2~u,s3~p,s4~p,s5~p,s6~u,s7~p) # A(s1~u, s2~u, s3~p, s4~p, s5~p, s6~p, s7~p) -> A(s1~u, s2~u, s3~u, s4~p, s5~p, s6~p, s7~p) 20 6 5 ku5 # rule : A(s1~u,s2~u,s3~p,s4~p,s5~p,s6~p,s7~p) -> A(s1~u,s2~u,s3~p,s4~p,s5~p,s6~p,s7~u) # A(s1~u, s2~u, s3~p, s4~p, s5~p, s6~p, s7~p) -> A(s1~u, s2~u, s3~u, s4~p, s5~p, s6~p, s7~p) 21 6 5 ku5 # rule : A(s1~u,s2~u,s3~u,s4~p,s5~p,s6~p,s7~p) -> A(s1~p,s2~u,s3~u,s4~p,s5~p,s6~p,s7~p) # A(s1~u, s2~u, s3~u, s4~p, s5~p, s6~p, s7~p) -> A(s1~u, s2~u, s3~p, s4~p, s5~p, s6~p, s7~p) 22 5 6 kp4 # rule : A(s1~u,s2~u,s3~u,s4~p,s5~p,s6~p,s7~p) -> A(s1~u,s2~p,s3~u,s4~p,s5~p,s6~p,s7~p) # A(s1~u, s2~u, s3~u, s4~p, s5~p, s6~p, s7~p) -> A(s1~u, s2~u, s3~p, s4~p, s5~p, s6~p, s7~p) 23 5 6 kp4 # rule : A(s1~u,s2~u,s3~u,s4~p,s5~p,s6~p,s7~p) -> A(s1~u,s2~u,s3~p,s4~p,s5~p,s6~p,s7~p) # A(s1~u, s2~u, s3~u, s4~p, s5~p, s6~p, s7~p) -> A(s1~u, s2~u, s3~p, s4~p, s5~p, s6~p, s7~p) 24 5 6 kp4 # rule : A(s1~u,s2~u,s3~u,s4~p,s5~p,s6~p,s7~p) -> A(s1~u,s2~u,s3~u,s4~u,s5~p,s6~p,s7~p) # A(s1~u, s2~u, s3~u, s4~p, s5~p, s6~p, s7~p) -> A(s1~u, s2~u, s3~u, s4~u, s5~p, s6~p, s7~p) 25 5 4 ku4 # rule : A(s1~u,s2~u,s3~u,s4~p,s5~p,s6~p,s7~p) -> A(s1~u,s2~u,s3~u,s4~p,s5~u,s6~p,s7~p) # A(s1~u, s2~u, s3~u, s4~p, s5~p, s6~p, s7~p) -> A(s1~u, s2~u, s3~u, s4~u, s5~p, s6~p, s7~p) 26 5 4 ku4 # rule : A(s1~u,s2~u,s3~u,s4~p,s5~p,s6~p,s7~p) -> A(s1~u,s2~u,s3~u,s4~p,s5~p,s6~u,s7~p) # A(s1~u, s2~u, s3~u, s4~p, s5~p, s6~p, s7~p) -> A(s1~u, s2~u, s3~u, s4~u, s5~p, s6~p, s7~p) 27 5 4 ku4 # rule : A(s1~u,s2~u,s3~u,s4~p,s5~p,s6~p,s7~p) -> A(s1~u,s2~u,s3~u,s4~p,s5~p,s6~p,s7~u) # A(s1~u, s2~u, s3~u, s4~p, s5~p, s6~p, s7~p) -> A(s1~u, s2~u, s3~u, s4~u, s5~p, s6~p, s7~p) 28 5 4 ku4 # rule : A(s1~u,s2~u,s3~u,s4~u,s5~p,s6~p,s7~p) -> A(s1~p,s2~u,s3~u,s4~u,s5~p,s6~p,s7~p) # A(s1~u, s2~u, s3~u, s4~u, s5~p, s6~p, s7~p) -> A(s1~u, s2~u, s3~u, s4~p, s5~p, s6~p, s7~p) 29 4 5 kp3 # rule : A(s1~u,s2~u,s3~u,s4~u,s5~p,s6~p,s7~p) -> A(s1~u,s2~p,s3~u,s4~u,s5~p,s6~p,s7~p) # A(s1~u, s2~u, s3~u, s4~u, s5~p, s6~p, s7~p) -> A(s1~u, s2~u, s3~u, s4~p, s5~p, s6~p, s7~p) 30 4 5 kp3 # rule : A(s1~u,s2~u,s3~u,s4~u,s5~p,s6~p,s7~p) -> A(s1~u,s2~u,s3~p,s4~u,s5~p,s6~p,s7~p) # A(s1~u, s2~u, s3~u, s4~u, s5~p, s6~p, s7~p) -> A(s1~u, s2~u, s3~u, s4~p, s5~p, s6~p, s7~p) 31 4 5 kp3 # rule : A(s1~u,s2~u,s3~u,s4~u,s5~p,s6~p,s7~p) -> A(s1~u,s2~u,s3~u,s4~p,s5~p,s6~p,s7~p) # A(s1~u, s2~u, s3~u, s4~u, s5~p, s6~p, s7~p) -> A(s1~u, s2~u, s3~u, s4~p, s5~p, s6~p, s7~p) 32 4 5 kp3 # rule : A(s1~u,s2~u,s3~u,s4~u,s5~p,s6~p,s7~p) -> A(s1~u,s2~u,s3~u,s4~u,s5~u,s6~p,s7~p) # A(s1~u, s2~u, s3~u, s4~u, s5~p, s6~p, s7~p) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~p, s7~p) 33 4 3 ku3 # rule : A(s1~u,s2~u,s3~u,s4~u,s5~p,s6~p,s7~p) -> A(s1~u,s2~u,s3~u,s4~u,s5~p,s6~u,s7~p) # A(s1~u, s2~u, s3~u, s4~u, s5~p, s6~p, s7~p) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~p, s7~p) 34 4 3 ku3 # rule : A(s1~u,s2~u,s3~u,s4~u,s5~p,s6~p,s7~p) -> A(s1~u,s2~u,s3~u,s4~u,s5~p,s6~p,s7~u) # A(s1~u, s2~u, s3~u, s4~u, s5~p, s6~p, s7~p) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~p, s7~p) 35 4 3 ku3 # rule : A(s1~u,s2~u,s3~u,s4~u,s5~u,s6~p,s7~p) -> A(s1~p,s2~u,s3~u,s4~u,s5~u,s6~p,s7~p) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~p, s7~p) -> A(s1~u, s2~u, s3~u, s4~u, s5~p, s6~p, s7~p) 36 3 4 kp2 # rule : A(s1~u,s2~u,s3~u,s4~u,s5~u,s6~p,s7~p) -> A(s1~u,s2~p,s3~u,s4~u,s5~u,s6~p,s7~p) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~p, s7~p) -> A(s1~u, s2~u, s3~u, s4~u, s5~p, s6~p, s7~p) 37 3 4 kp2 # rule : A(s1~u,s2~u,s3~u,s4~u,s5~u,s6~p,s7~p) -> A(s1~u,s2~u,s3~p,s4~u,s5~u,s6~p,s7~p) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~p, s7~p) -> A(s1~u, s2~u, s3~u, s4~u, s5~p, s6~p, s7~p) 38 3 4 kp2 # rule : A(s1~u,s2~u,s3~u,s4~u,s5~u,s6~p,s7~p) -> A(s1~u,s2~u,s3~u,s4~p,s5~u,s6~p,s7~p) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~p, s7~p) -> A(s1~u, s2~u, s3~u, s4~u, s5~p, s6~p, s7~p) 39 3 4 kp2 # rule : A(s1~u,s2~u,s3~u,s4~u,s5~u,s6~p,s7~p) -> A(s1~u,s2~u,s3~u,s4~u,s5~p,s6~p,s7~p) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~p, s7~p) -> A(s1~u, s2~u, s3~u, s4~u, s5~p, s6~p, s7~p) 40 3 4 kp2 # rule : A(s1~u,s2~u,s3~u,s4~u,s5~u,s6~p,s7~p) -> A(s1~u,s2~u,s3~u,s4~u,s5~u,s6~u,s7~p) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~p, s7~p) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~p) 41 3 2 ku2 # rule : A(s1~u,s2~u,s3~u,s4~u,s5~u,s6~p,s7~p) -> A(s1~u,s2~u,s3~u,s4~u,s5~u,s6~p,s7~u) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~p, s7~p) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~p) 42 3 2 ku2 # rule : A(s1~u,s2~u,s3~u,s4~u,s5~u,s6~u,s7~p) -> A(s1~p,s2~u,s3~u,s4~u,s5~u,s6~u,s7~p) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~p) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~p, s7~p) 43 2 3 kp1 # rule : A(s1~u,s2~u,s3~u,s4~u,s5~u,s6~u,s7~p) -> A(s1~u,s2~p,s3~u,s4~u,s5~u,s6~u,s7~p) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~p) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~p, s7~p) 44 2 3 kp1 # rule : A(s1~u,s2~u,s3~u,s4~u,s5~u,s6~u,s7~p) -> A(s1~u,s2~u,s3~p,s4~u,s5~u,s6~u,s7~p) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~p) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~p, s7~p) 45 2 3 kp1 # rule : A(s1~u,s2~u,s3~u,s4~u,s5~u,s6~u,s7~p) -> A(s1~u,s2~u,s3~u,s4~p,s5~u,s6~u,s7~p) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~p) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~p, s7~p) 46 2 3 kp1 # rule : A(s1~u,s2~u,s3~u,s4~u,s5~u,s6~u,s7~p) -> A(s1~u,s2~u,s3~u,s4~u,s5~p,s6~u,s7~p) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~p) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~p, s7~p) 47 2 3 kp1 # rule : A(s1~u,s2~u,s3~u,s4~u,s5~u,s6~u,s7~p) -> A(s1~u,s2~u,s3~u,s4~u,s5~u,s6~p,s7~p) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~p) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~p, s7~p) 48 2 3 kp1 # rule : A(s1~u,s2~u,s3~u,s4~u,s5~u,s6~u,s7~p) -> A(s1~u,s2~u,s3~u,s4~u,s5~u,s6~u,s7~u) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~p) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u) 49 2 1 ku1 # rule : A(s1~u,s2~u,s3~u,s4~u,s5~u,s6~u,s7~u) -> A(s1~p,s2~u,s3~u,s4~u,s5~u,s6~u,s7~u) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~p) 50 1 2 kp0 # rule : A(s1~u,s2~u,s3~u,s4~u,s5~u,s6~u,s7~u) -> A(s1~u,s2~p,s3~u,s4~u,s5~u,s6~u,s7~u) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~p) 51 1 2 kp0 # rule : A(s1~u,s2~u,s3~u,s4~u,s5~u,s6~u,s7~u) -> A(s1~u,s2~u,s3~p,s4~u,s5~u,s6~u,s7~u) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~p) 52 1 2 kp0 # rule : A(s1~u,s2~u,s3~u,s4~u,s5~u,s6~u,s7~u) -> A(s1~u,s2~u,s3~u,s4~p,s5~u,s6~u,s7~u) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~p) 53 1 2 kp0 # rule : A(s1~u,s2~u,s3~u,s4~u,s5~u,s6~u,s7~u) -> A(s1~u,s2~u,s3~u,s4~u,s5~p,s6~u,s7~u) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~p) 54 1 2 kp0 # rule : A(s1~u,s2~u,s3~u,s4~u,s5~u,s6~u,s7~u) -> A(s1~u,s2~u,s3~u,s4~u,s5~u,s6~p,s7~u) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~p) 55 1 2 kp0 # rule : A(s1~u,s2~u,s3~u,s4~u,s5~u,s6~u,s7~u) -> A(s1~u,s2~u,s3~u,s4~u,s5~u,s6~u,s7~p) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~p) 56 1 2 kp0 end reactions