# command line: # KaDE n_phos_sites_5.ka -print-efficiency -ode-backend DOTNET -dotnet-output network_n_phos_sites_5_wo_sym.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 ku6 235298 5 kp5 9375 6 n_k5 5 7 ku5 33614 8 kp4 1875 9 n_k4 4 10 ku4 4802 11 kp3 375 12 n_k3 3 13 ku3 686 14 kp2 75 15 n_k2 2 16 ku2 98 17 kp1 15 18 n_k1 1 19 ku1 14 20 kp0 3 21 n_k0 0 end parameters begin species 1 A(s1~u,s2~u,s3~u,s4~u,s5~u) 100 2 A(s1~u,s2~u,s3~u,s4~u,s5~p) 0 3 A(s1~u,s2~u,s3~u,s4~p,s5~u) 0 4 A(s1~u,s2~u,s3~p,s4~u,s5~u) 0 5 A(s1~u,s2~p,s3~u,s4~u,s5~u) 0 6 A(s1~p,s2~u,s3~u,s4~u,s5~u) 0 7 A(s1~p,s2~u,s3~u,s4~u,s5~p) 0 8 A(s1~p,s2~u,s3~u,s4~p,s5~u) 0 9 A(s1~p,s2~u,s3~p,s4~u,s5~u) 0 10 A(s1~p,s2~p,s3~u,s4~u,s5~u) 0 11 A(s1~p,s2~p,s3~u,s4~u,s5~p) 0 12 A(s1~p,s2~p,s3~u,s4~p,s5~u) 0 13 A(s1~p,s2~p,s3~p,s4~u,s5~u) 0 14 A(s1~p,s2~p,s3~p,s4~u,s5~p) 0 15 A(s1~p,s2~p,s3~p,s4~p,s5~u) 0 16 A(s1~u,s2~p,s3~p,s4~u,s5~u) 0 17 A(s1~u,s2~p,s3~p,s4~u,s5~p) 0 18 A(s1~u,s2~p,s3~p,s4~p,s5~u) 0 19 A(s1~u,s2~p,s3~p,s4~p,s5~p) 0 20 A(s1~u,s2~p,s3~u,s4~p,s5~u) 0 21 A(s1~u,s2~u,s3~p,s4~p,s5~u) 0 22 A(s1~u,s2~u,s3~p,s4~p,s5~p) 0 23 A(s1~p,s2~u,s3~p,s4~p,s5~u) 0 24 A(s1~p,s2~u,s3~p,s4~p,s5~p) 0 25 A(s1~p,s2~u,s3~p,s4~u,s5~p) 0 26 A(s1~p,s2~u,s3~u,s4~p,s5~p) 0 27 A(s1~p,s2~p,s3~p,s4~p,s5~p) 0 28 A(s1~p,s2~p,s3~u,s4~p,s5~p) 0 29 A(s1~u,s2~p,s3~u,s4~p,s5~p) 0 30 A(s1~u,s2~p,s3~u,s4~u,s5~p) 0 31 A(s1~u,s2~u,s3~u,s4~p,s5~p) 0 32 A(s1~u,s2~u,s3~p,s4~u,s5~p) 0 end species begin reactions # rule : A(s1~u,s2~u,s3~u,s4~u,s5~p) -> A(s1~p,s2~u,s3~u,s4~u,s5~p) # A(s1~u, s2~u, s3~u, s4~u, s5~p) -> A(s1~p, s2~u, s3~u, s4~u, s5~p) 1 2 7 kp1 # rule : A(s1~u,s2~u,s3~u,s4~u,s5~p) -> A(s1~u,s2~p,s3~u,s4~u,s5~p) # A(s1~u, s2~u, s3~u, s4~u, s5~p) -> A(s1~u, s2~p, s3~u, s4~u, s5~p) 2 2 30 kp1 # rule : A(s1~u,s2~u,s3~u,s4~u,s5~p) -> A(s1~u,s2~u,s3~p,s4~u,s5~p) # A(s1~u, s2~u, s3~u, s4~u, s5~p) -> A(s1~u, s2~u, s3~p, s4~u, s5~p) 3 2 32 kp1 # rule : A(s1~u,s2~u,s3~u,s4~u,s5~p) -> A(s1~u,s2~u,s3~u,s4~p,s5~p) # A(s1~u, s2~u, s3~u, s4~u, s5~p) -> A(s1~u, s2~u, s3~u, s4~p, s5~p) 4 2 31 kp1 # rule : A(s1~u,s2~u,s3~u,s4~u,s5~p) -> A(s1~u,s2~u,s3~u,s4~u,s5~u) # A(s1~u, s2~u, s3~u, s4~u, s5~p) -> A(s1~u, s2~u, s3~u, s4~u, s5~u) 5 2 1 ku1 # rule : A(s1~u,s2~u,s3~u,s4~p,s5~u) -> A(s1~p,s2~u,s3~u,s4~p,s5~u) # A(s1~u, s2~u, s3~u, s4~p, s5~u) -> A(s1~p, s2~u, s3~u, s4~p, s5~u) 6 3 8 kp1 # rule : A(s1~u,s2~u,s3~u,s4~p,s5~u) -> A(s1~u,s2~p,s3~u,s4~p,s5~u) # A(s1~u, s2~u, s3~u, s4~p, s5~u) -> A(s1~u, s2~p, s3~u, s4~p, s5~u) 7 3 20 kp1 # rule : A(s1~u,s2~u,s3~u,s4~p,s5~u) -> A(s1~u,s2~u,s3~p,s4~p,s5~u) # A(s1~u, s2~u, s3~u, s4~p, s5~u) -> A(s1~u, s2~u, s3~p, s4~p, s5~u) 8 3 21 kp1 # rule : A(s1~u,s2~u,s3~u,s4~p,s5~u) -> A(s1~u,s2~u,s3~u,s4~u,s5~u) # A(s1~u, s2~u, s3~u, s4~p, s5~u) -> A(s1~u, s2~u, s3~u, s4~u, s5~u) 9 3 1 ku1 # rule : A(s1~u,s2~u,s3~u,s4~p,s5~u) -> A(s1~u,s2~u,s3~u,s4~p,s5~p) # A(s1~u, s2~u, s3~u, s4~p, s5~u) -> A(s1~u, s2~u, s3~u, s4~p, s5~p) 10 3 31 kp1 # rule : A(s1~u,s2~u,s3~p,s4~u,s5~u) -> A(s1~p,s2~u,s3~p,s4~u,s5~u) # A(s1~u, s2~u, s3~p, s4~u, s5~u) -> A(s1~p, s2~u, s3~p, s4~u, s5~u) 11 4 9 kp1 # rule : A(s1~u,s2~u,s3~p,s4~u,s5~u) -> A(s1~u,s2~p,s3~p,s4~u,s5~u) # A(s1~u, s2~u, s3~p, s4~u, s5~u) -> A(s1~u, s2~p, s3~p, s4~u, s5~u) 12 4 16 kp1 # rule : A(s1~u,s2~u,s3~p,s4~u,s5~u) -> A(s1~u,s2~u,s3~u,s4~u,s5~u) # A(s1~u, s2~u, s3~p, s4~u, s5~u) -> A(s1~u, s2~u, s3~u, s4~u, s5~u) 13 4 1 ku1 # rule : A(s1~u,s2~u,s3~p,s4~u,s5~u) -> A(s1~u,s2~u,s3~p,s4~p,s5~u) # A(s1~u, s2~u, s3~p, s4~u, s5~u) -> A(s1~u, s2~u, s3~p, s4~p, s5~u) 14 4 21 kp1 # rule : A(s1~u,s2~u,s3~p,s4~u,s5~u) -> A(s1~u,s2~u,s3~p,s4~u,s5~p) # A(s1~u, s2~u, s3~p, s4~u, s5~u) -> A(s1~u, s2~u, s3~p, s4~u, s5~p) 15 4 32 kp1 # rule : A(s1~u,s2~p,s3~u,s4~u,s5~u) -> A(s1~p,s2~p,s3~u,s4~u,s5~u) # A(s1~u, s2~p, s3~u, s4~u, s5~u) -> A(s1~p, s2~p, s3~u, s4~u, s5~u) 16 5 10 kp1 # rule : A(s1~u,s2~p,s3~u,s4~u,s5~u) -> A(s1~u,s2~u,s3~u,s4~u,s5~u) # A(s1~u, s2~p, s3~u, s4~u, s5~u) -> A(s1~u, s2~u, s3~u, s4~u, s5~u) 17 5 1 ku1 # rule : A(s1~u,s2~p,s3~u,s4~u,s5~u) -> A(s1~u,s2~p,s3~p,s4~u,s5~u) # A(s1~u, s2~p, s3~u, s4~u, s5~u) -> A(s1~u, s2~p, s3~p, s4~u, s5~u) 18 5 16 kp1 # rule : A(s1~u,s2~p,s3~u,s4~u,s5~u) -> A(s1~u,s2~p,s3~u,s4~p,s5~u) # A(s1~u, s2~p, s3~u, s4~u, s5~u) -> A(s1~u, s2~p, s3~u, s4~p, s5~u) 19 5 20 kp1 # rule : A(s1~u,s2~p,s3~u,s4~u,s5~u) -> A(s1~u,s2~p,s3~u,s4~u,s5~p) # A(s1~u, s2~p, s3~u, s4~u, s5~u) -> A(s1~u, s2~p, s3~u, s4~u, s5~p) 20 5 30 kp1 # rule : A(s1~p,s2~u,s3~u,s4~u,s5~p) -> A(s1~u,s2~u,s3~u,s4~u,s5~p) # A(s1~p, s2~u, s3~u, s4~u, s5~p) -> A(s1~u, s2~u, s3~u, s4~u, s5~p) 21 7 2 ku2 # rule : A(s1~p,s2~u,s3~u,s4~u,s5~p) -> A(s1~p,s2~p,s3~u,s4~u,s5~p) # A(s1~p, s2~u, s3~u, s4~u, s5~p) -> A(s1~p, s2~p, s3~u, s4~u, s5~p) 22 7 11 kp2 # rule : A(s1~p,s2~u,s3~u,s4~u,s5~p) -> A(s1~p,s2~u,s3~p,s4~u,s5~p) # A(s1~p, s2~u, s3~u, s4~u, s5~p) -> A(s1~p, s2~u, s3~p, s4~u, s5~p) 23 7 25 kp2 # rule : A(s1~p,s2~u,s3~u,s4~u,s5~p) -> A(s1~p,s2~u,s3~u,s4~p,s5~p) # A(s1~p, s2~u, s3~u, s4~u, s5~p) -> A(s1~p, s2~u, s3~u, s4~p, s5~p) 24 7 26 kp2 # rule : A(s1~p,s2~u,s3~u,s4~u,s5~p) -> A(s1~p,s2~u,s3~u,s4~u,s5~u) # A(s1~p, s2~u, s3~u, s4~u, s5~p) -> A(s1~p, s2~u, s3~u, s4~u, s5~u) 25 7 6 ku2 # rule : A(s1~p,s2~u,s3~u,s4~p,s5~u) -> A(s1~u,s2~u,s3~u,s4~p,s5~u) # A(s1~p, s2~u, s3~u, s4~p, s5~u) -> A(s1~u, s2~u, s3~u, s4~p, s5~u) 26 8 3 ku2 # rule : A(s1~p,s2~u,s3~u,s4~p,s5~u) -> A(s1~p,s2~p,s3~u,s4~p,s5~u) # A(s1~p, s2~u, s3~u, s4~p, s5~u) -> A(s1~p, s2~p, s3~u, s4~p, s5~u) 27 8 12 kp2 # rule : A(s1~p,s2~u,s3~u,s4~p,s5~u) -> A(s1~p,s2~u,s3~p,s4~p,s5~u) # A(s1~p, s2~u, s3~u, s4~p, s5~u) -> A(s1~p, s2~u, s3~p, s4~p, s5~u) 28 8 23 kp2 # rule : A(s1~p,s2~u,s3~u,s4~p,s5~u) -> A(s1~p,s2~u,s3~u,s4~u,s5~u) # A(s1~p, s2~u, s3~u, s4~p, s5~u) -> A(s1~p, s2~u, s3~u, s4~u, s5~u) 29 8 6 ku2 # rule : A(s1~p,s2~u,s3~u,s4~p,s5~u) -> A(s1~p,s2~u,s3~u,s4~p,s5~p) # A(s1~p, s2~u, s3~u, s4~p, s5~u) -> A(s1~p, s2~u, s3~u, s4~p, s5~p) 30 8 26 kp2 # rule : A(s1~p,s2~u,s3~p,s4~u,s5~u) -> A(s1~u,s2~u,s3~p,s4~u,s5~u) # A(s1~p, s2~u, s3~p, s4~u, s5~u) -> A(s1~u, s2~u, s3~p, s4~u, s5~u) 31 9 4 ku2 # rule : A(s1~p,s2~u,s3~p,s4~u,s5~u) -> A(s1~p,s2~p,s3~p,s4~u,s5~u) # A(s1~p, s2~u, s3~p, s4~u, s5~u) -> A(s1~p, s2~p, s3~p, s4~u, s5~u) 32 9 13 kp2 # rule : A(s1~p,s2~u,s3~p,s4~u,s5~u) -> A(s1~p,s2~u,s3~u,s4~u,s5~u) # A(s1~p, s2~u, s3~p, s4~u, s5~u) -> A(s1~p, s2~u, s3~u, s4~u, s5~u) 33 9 6 ku2 # rule : A(s1~p,s2~u,s3~p,s4~u,s5~u) -> A(s1~p,s2~u,s3~p,s4~p,s5~u) # A(s1~p, s2~u, s3~p, s4~u, s5~u) -> A(s1~p, s2~u, s3~p, s4~p, s5~u) 34 9 23 kp2 # rule : A(s1~p,s2~u,s3~p,s4~u,s5~u) -> A(s1~p,s2~u,s3~p,s4~u,s5~p) # A(s1~p, s2~u, s3~p, s4~u, s5~u) -> A(s1~p, s2~u, s3~p, s4~u, s5~p) 35 9 25 kp2 # rule : A(s1~p,s2~p,s3~u,s4~u,s5~p) -> A(s1~u,s2~p,s3~u,s4~u,s5~p) # A(s1~p, s2~p, s3~u, s4~u, s5~p) -> A(s1~u, s2~p, s3~u, s4~u, s5~p) 36 11 30 ku3 # rule : A(s1~p,s2~p,s3~u,s4~u,s5~p) -> A(s1~p,s2~u,s3~u,s4~u,s5~p) # A(s1~p, s2~p, s3~u, s4~u, s5~p) -> A(s1~p, s2~u, s3~u, s4~u, s5~p) 37 11 7 ku3 # rule : A(s1~p,s2~p,s3~u,s4~u,s5~p) -> A(s1~p,s2~p,s3~p,s4~u,s5~p) # A(s1~p, s2~p, s3~u, s4~u, s5~p) -> A(s1~p, s2~p, s3~p, s4~u, s5~p) 38 11 14 kp3 # rule : A(s1~p,s2~p,s3~u,s4~u,s5~p) -> A(s1~p,s2~p,s3~u,s4~p,s5~p) # A(s1~p, s2~p, s3~u, s4~u, s5~p) -> A(s1~p, s2~p, s3~u, s4~p, s5~p) 39 11 28 kp3 # rule : A(s1~p,s2~p,s3~u,s4~u,s5~p) -> A(s1~p,s2~p,s3~u,s4~u,s5~u) # A(s1~p, s2~p, s3~u, s4~u, s5~p) -> A(s1~p, s2~p, s3~u, s4~u, s5~u) 40 11 10 ku3 # rule : A(s1~p,s2~p,s3~u,s4~p,s5~u) -> A(s1~u,s2~p,s3~u,s4~p,s5~u) # A(s1~p, s2~p, s3~u, s4~p, s5~u) -> A(s1~u, s2~p, s3~u, s4~p, s5~u) 41 12 20 ku3 # rule : A(s1~p,s2~p,s3~u,s4~p,s5~u) -> A(s1~p,s2~u,s3~u,s4~p,s5~u) # A(s1~p, s2~p, s3~u, s4~p, s5~u) -> A(s1~p, s2~u, s3~u, s4~p, s5~u) 42 12 8 ku3 # rule : A(s1~p,s2~p,s3~u,s4~p,s5~u) -> A(s1~p,s2~p,s3~p,s4~p,s5~u) # A(s1~p, s2~p, s3~u, s4~p, s5~u) -> A(s1~p, s2~p, s3~p, s4~p, s5~u) 43 12 15 kp3 # rule : A(s1~p,s2~p,s3~u,s4~p,s5~u) -> A(s1~p,s2~p,s3~u,s4~u,s5~u) # A(s1~p, s2~p, s3~u, s4~p, s5~u) -> A(s1~p, s2~p, s3~u, s4~u, s5~u) 44 12 10 ku3 # rule : A(s1~p,s2~p,s3~u,s4~p,s5~u) -> A(s1~p,s2~p,s3~u,s4~p,s5~p) # A(s1~p, s2~p, s3~u, s4~p, s5~u) -> A(s1~p, s2~p, s3~u, s4~p, s5~p) 45 12 28 kp3 # rule : A(s1~p,s2~p,s3~p,s4~u,s5~p) -> A(s1~u,s2~p,s3~p,s4~u,s5~p) # A(s1~p, s2~p, s3~p, s4~u, s5~p) -> A(s1~u, s2~p, s3~p, s4~u, s5~p) 46 14 17 ku4 # rule : A(s1~p,s2~p,s3~p,s4~u,s5~p) -> A(s1~p,s2~u,s3~p,s4~u,s5~p) # A(s1~p, s2~p, s3~p, s4~u, s5~p) -> A(s1~p, s2~u, s3~p, s4~u, s5~p) 47 14 25 ku4 # rule : A(s1~p,s2~p,s3~p,s4~u,s5~p) -> A(s1~p,s2~p,s3~u,s4~u,s5~p) # A(s1~p, s2~p, s3~p, s4~u, s5~p) -> A(s1~p, s2~p, s3~u, s4~u, s5~p) 48 14 11 ku4 # rule : A(s1~p,s2~p,s3~p,s4~u,s5~p) -> A(s1~p,s2~p,s3~p,s4~p,s5~p) # A(s1~p, s2~p, s3~p, s4~u, s5~p) -> A(s1~p, s2~p, s3~p, s4~p, s5~p) 49 14 27 kp4 # rule : A(s1~p,s2~p,s3~p,s4~u,s5~p) -> A(s1~p,s2~p,s3~p,s4~u,s5~u) # A(s1~p, s2~p, s3~p, s4~u, s5~p) -> A(s1~p, s2~p, s3~p, s4~u, s5~u) 50 14 13 ku4 # rule : A(s1~p,s2~p,s3~p,s4~p,s5~u) -> A(s1~u,s2~p,s3~p,s4~p,s5~u) # A(s1~p, s2~p, s3~p, s4~p, s5~u) -> A(s1~u, s2~p, s3~p, s4~p, s5~u) 51 15 18 ku4 # rule : A(s1~p,s2~p,s3~p,s4~p,s5~u) -> A(s1~p,s2~u,s3~p,s4~p,s5~u) # A(s1~p, s2~p, s3~p, s4~p, s5~u) -> A(s1~p, s2~u, s3~p, s4~p, s5~u) 52 15 23 ku4 # rule : A(s1~p,s2~p,s3~p,s4~p,s5~u) -> A(s1~p,s2~p,s3~u,s4~p,s5~u) # A(s1~p, s2~p, s3~p, s4~p, s5~u) -> A(s1~p, s2~p, s3~u, s4~p, s5~u) 53 15 12 ku4 # rule : A(s1~p,s2~p,s3~p,s4~p,s5~u) -> A(s1~p,s2~p,s3~p,s4~u,s5~u) # A(s1~p, s2~p, s3~p, s4~p, s5~u) -> A(s1~p, s2~p, s3~p, s4~u, s5~u) 54 15 13 ku4 # rule : A(s1~p,s2~p,s3~p,s4~p,s5~u) -> A(s1~p,s2~p,s3~p,s4~p,s5~p) # A(s1~p, s2~p, s3~p, s4~p, s5~u) -> A(s1~p, s2~p, s3~p, s4~p, s5~p) 55 15 27 kp4 # rule : A(s1~u,s2~p,s3~p,s4~u,s5~p) -> A(s1~p,s2~p,s3~p,s4~u,s5~p) # A(s1~u, s2~p, s3~p, s4~u, s5~p) -> A(s1~p, s2~p, s3~p, s4~u, s5~p) 56 17 14 kp3 # rule : A(s1~u,s2~p,s3~p,s4~u,s5~p) -> A(s1~u,s2~u,s3~p,s4~u,s5~p) # A(s1~u, s2~p, s3~p, s4~u, s5~p) -> A(s1~u, s2~u, s3~p, s4~u, s5~p) 57 17 32 ku3 # rule : A(s1~u,s2~p,s3~p,s4~u,s5~p) -> A(s1~u,s2~p,s3~u,s4~u,s5~p) # A(s1~u, s2~p, s3~p, s4~u, s5~p) -> A(s1~u, s2~p, s3~u, s4~u, s5~p) 58 17 30 ku3 # rule : A(s1~u,s2~p,s3~p,s4~u,s5~p) -> A(s1~u,s2~p,s3~p,s4~p,s5~p) # A(s1~u, s2~p, s3~p, s4~u, s5~p) -> A(s1~u, s2~p, s3~p, s4~p, s5~p) 59 17 19 kp3 # rule : A(s1~u,s2~p,s3~p,s4~u,s5~p) -> A(s1~u,s2~p,s3~p,s4~u,s5~u) # A(s1~u, s2~p, s3~p, s4~u, s5~p) -> A(s1~u, s2~p, s3~p, s4~u, s5~u) 60 17 16 ku3 # rule : A(s1~u,s2~p,s3~p,s4~p,s5~p) -> A(s1~p,s2~p,s3~p,s4~p,s5~p) # A(s1~u, s2~p, s3~p, s4~p, s5~p) -> A(s1~p, s2~p, s3~p, s4~p, s5~p) 61 19 27 kp4 # rule : A(s1~u,s2~p,s3~p,s4~p,s5~p) -> A(s1~u,s2~u,s3~p,s4~p,s5~p) # A(s1~u, s2~p, s3~p, s4~p, s5~p) -> A(s1~u, s2~u, s3~p, s4~p, s5~p) 62 19 22 ku4 # rule : A(s1~u,s2~p,s3~p,s4~p,s5~p) -> A(s1~u,s2~p,s3~u,s4~p,s5~p) # A(s1~u, s2~p, s3~p, s4~p, s5~p) -> A(s1~u, s2~p, s3~u, s4~p, s5~p) 63 19 29 ku4 # rule : A(s1~u,s2~p,s3~p,s4~p,s5~p) -> A(s1~u,s2~p,s3~p,s4~u,s5~p) # A(s1~u, s2~p, s3~p, s4~p, s5~p) -> A(s1~u, s2~p, s3~p, s4~u, s5~p) 64 19 17 ku4 # rule : A(s1~u,s2~p,s3~p,s4~p,s5~p) -> A(s1~u,s2~p,s3~p,s4~p,s5~u) # A(s1~u, s2~p, s3~p, s4~p, s5~p) -> A(s1~u, s2~p, s3~p, s4~p, s5~u) 65 19 18 ku4 # rule : A(s1~u,s2~p,s3~u,s4~p,s5~u) -> A(s1~p,s2~p,s3~u,s4~p,s5~u) # A(s1~u, s2~p, s3~u, s4~p, s5~u) -> A(s1~p, s2~p, s3~u, s4~p, s5~u) 66 20 12 kp2 # rule : A(s1~u,s2~p,s3~u,s4~p,s5~u) -> A(s1~u,s2~u,s3~u,s4~p,s5~u) # A(s1~u, s2~p, s3~u, s4~p, s5~u) -> A(s1~u, s2~u, s3~u, s4~p, s5~u) 67 20 3 ku2 # rule : A(s1~u,s2~p,s3~u,s4~p,s5~u) -> A(s1~u,s2~p,s3~p,s4~p,s5~u) # A(s1~u, s2~p, s3~u, s4~p, s5~u) -> A(s1~u, s2~p, s3~p, s4~p, s5~u) 68 20 18 kp2 # rule : A(s1~u,s2~p,s3~u,s4~p,s5~u) -> A(s1~u,s2~p,s3~u,s4~u,s5~u) # A(s1~u, s2~p, s3~u, s4~p, s5~u) -> A(s1~u, s2~p, s3~u, s4~u, s5~u) 69 20 5 ku2 # rule : A(s1~u,s2~p,s3~u,s4~p,s5~u) -> A(s1~u,s2~p,s3~u,s4~p,s5~p) # A(s1~u, s2~p, s3~u, s4~p, s5~u) -> A(s1~u, s2~p, s3~u, s4~p, s5~p) 70 20 29 kp2 # rule : A(s1~u,s2~u,s3~p,s4~p,s5~p) -> A(s1~p,s2~u,s3~p,s4~p,s5~p) # A(s1~u, s2~u, s3~p, s4~p, s5~p) -> A(s1~p, s2~u, s3~p, s4~p, s5~p) 71 22 24 kp3 # rule : A(s1~u,s2~u,s3~p,s4~p,s5~p) -> A(s1~u,s2~p,s3~p,s4~p,s5~p) # A(s1~u, s2~u, s3~p, s4~p, s5~p) -> A(s1~u, s2~p, s3~p, s4~p, s5~p) 72 22 19 kp3 # rule : A(s1~u,s2~u,s3~p,s4~p,s5~p) -> A(s1~u,s2~u,s3~u,s4~p,s5~p) # A(s1~u, s2~u, s3~p, s4~p, s5~p) -> A(s1~u, s2~u, s3~u, s4~p, s5~p) 73 22 31 ku3 # rule : A(s1~u,s2~u,s3~p,s4~p,s5~p) -> A(s1~u,s2~u,s3~p,s4~u,s5~p) # A(s1~u, s2~u, s3~p, s4~p, s5~p) -> A(s1~u, s2~u, s3~p, s4~u, s5~p) 74 22 32 ku3 # rule : A(s1~u,s2~u,s3~p,s4~p,s5~p) -> A(s1~u,s2~u,s3~p,s4~p,s5~u) # A(s1~u, s2~u, s3~p, s4~p, s5~p) -> A(s1~u, s2~u, s3~p, s4~p, s5~u) 75 22 21 ku3 # rule : A(s1~u,s2~u,s3~p,s4~u,s5~p) -> A(s1~p,s2~u,s3~p,s4~u,s5~p) # A(s1~u, s2~u, s3~p, s4~u, s5~p) -> A(s1~p, s2~u, s3~p, s4~u, s5~p) 76 32 25 kp2 # rule : A(s1~u,s2~u,s3~p,s4~u,s5~p) -> A(s1~u,s2~p,s3~p,s4~u,s5~p) # A(s1~u, s2~u, s3~p, s4~u, s5~p) -> A(s1~u, s2~p, s3~p, s4~u, s5~p) 77 32 17 kp2 # rule : A(s1~u,s2~u,s3~p,s4~u,s5~p) -> A(s1~u,s2~u,s3~u,s4~u,s5~p) # A(s1~u, s2~u, s3~p, s4~u, s5~p) -> A(s1~u, s2~u, s3~u, s4~u, s5~p) 78 32 2 ku2 # rule : A(s1~u,s2~u,s3~p,s4~u,s5~p) -> A(s1~u,s2~u,s3~p,s4~p,s5~p) # A(s1~u, s2~u, s3~p, s4~u, s5~p) -> A(s1~u, s2~u, s3~p, s4~p, s5~p) 79 32 22 kp2 # rule : A(s1~u,s2~u,s3~p,s4~u,s5~p) -> A(s1~u,s2~u,s3~p,s4~u,s5~u) # A(s1~u, s2~u, s3~p, s4~u, s5~p) -> A(s1~u, s2~u, s3~p, s4~u, s5~u) 80 32 4 ku2 # rule : A(s1~p,s2~u,s3~p,s4~u,s5~p) -> A(s1~u,s2~u,s3~p,s4~u,s5~p) # A(s1~p, s2~u, s3~p, s4~u, s5~p) -> A(s1~u, s2~u, s3~p, s4~u, s5~p) 81 25 32 ku3 # rule : A(s1~p,s2~u,s3~p,s4~u,s5~p) -> A(s1~p,s2~p,s3~p,s4~u,s5~p) # A(s1~p, s2~u, s3~p, s4~u, s5~p) -> A(s1~p, s2~p, s3~p, s4~u, s5~p) 82 25 14 kp3 # rule : A(s1~p,s2~u,s3~p,s4~u,s5~p) -> A(s1~p,s2~u,s3~u,s4~u,s5~p) # A(s1~p, s2~u, s3~p, s4~u, s5~p) -> A(s1~p, s2~u, s3~u, s4~u, s5~p) 83 25 7 ku3 # rule : A(s1~p,s2~u,s3~p,s4~u,s5~p) -> A(s1~p,s2~u,s3~p,s4~p,s5~p) # A(s1~p, s2~u, s3~p, s4~u, s5~p) -> A(s1~p, s2~u, s3~p, s4~p, s5~p) 84 25 24 kp3 # rule : A(s1~p,s2~u,s3~p,s4~u,s5~p) -> A(s1~p,s2~u,s3~p,s4~u,s5~u) # A(s1~p, s2~u, s3~p, s4~u, s5~p) -> A(s1~p, s2~u, s3~p, s4~u, s5~u) 85 25 9 ku3 # rule : A(s1~p,s2~u,s3~u,s4~p,s5~p) -> A(s1~u,s2~u,s3~u,s4~p,s5~p) # A(s1~p, s2~u, s3~u, s4~p, s5~p) -> A(s1~u, s2~u, s3~u, s4~p, s5~p) 86 26 31 ku3 # rule : A(s1~p,s2~u,s3~u,s4~p,s5~p) -> A(s1~p,s2~p,s3~u,s4~p,s5~p) # A(s1~p, s2~u, s3~u, s4~p, s5~p) -> A(s1~p, s2~p, s3~u, s4~p, s5~p) 87 26 28 kp3 # rule : A(s1~p,s2~u,s3~u,s4~p,s5~p) -> A(s1~p,s2~u,s3~p,s4~p,s5~p) # A(s1~p, s2~u, s3~u, s4~p, s5~p) -> A(s1~p, s2~u, s3~p, s4~p, s5~p) 88 26 24 kp3 # rule : A(s1~p,s2~u,s3~u,s4~p,s5~p) -> A(s1~p,s2~u,s3~u,s4~u,s5~p) # A(s1~p, s2~u, s3~u, s4~p, s5~p) -> A(s1~p, s2~u, s3~u, s4~u, s5~p) 89 26 7 ku3 # rule : A(s1~p,s2~u,s3~u,s4~p,s5~p) -> A(s1~p,s2~u,s3~u,s4~p,s5~u) # A(s1~p, s2~u, s3~u, s4~p, s5~p) -> A(s1~p, s2~u, s3~u, s4~p, s5~u) 90 26 8 ku3 # rule : A(s1~u,s2~p,s3~u,s4~u,s5~p) -> A(s1~p,s2~p,s3~u,s4~u,s5~p) # A(s1~u, s2~p, s3~u, s4~u, s5~p) -> A(s1~p, s2~p, s3~u, s4~u, s5~p) 91 30 11 kp2 # rule : A(s1~u,s2~p,s3~u,s4~u,s5~p) -> A(s1~u,s2~u,s3~u,s4~u,s5~p) # A(s1~u, s2~p, s3~u, s4~u, s5~p) -> A(s1~u, s2~u, s3~u, s4~u, s5~p) 92 30 2 ku2 # rule : A(s1~u,s2~p,s3~u,s4~u,s5~p) -> A(s1~u,s2~p,s3~p,s4~u,s5~p) # A(s1~u, s2~p, s3~u, s4~u, s5~p) -> A(s1~u, s2~p, s3~p, s4~u, s5~p) 93 30 17 kp2 # rule : A(s1~u,s2~p,s3~u,s4~u,s5~p) -> A(s1~u,s2~p,s3~u,s4~p,s5~p) # A(s1~u, s2~p, s3~u, s4~u, s5~p) -> A(s1~u, s2~p, s3~u, s4~p, s5~p) 94 30 29 kp2 # rule : A(s1~u,s2~p,s3~u,s4~u,s5~p) -> A(s1~u,s2~p,s3~u,s4~u,s5~u) # A(s1~u, s2~p, s3~u, s4~u, s5~p) -> A(s1~u, s2~p, s3~u, s4~u, s5~u) 95 30 5 ku2 # rule : A(s1~u,s2~u,s3~u,s4~p,s5~p) -> A(s1~p,s2~u,s3~u,s4~p,s5~p) # A(s1~u, s2~u, s3~u, s4~p, s5~p) -> A(s1~p, s2~u, s3~u, s4~p, s5~p) 96 31 26 kp2 # rule : A(s1~u,s2~u,s3~u,s4~p,s5~p) -> A(s1~u,s2~p,s3~u,s4~p,s5~p) # A(s1~u, s2~u, s3~u, s4~p, s5~p) -> A(s1~u, s2~p, s3~u, s4~p, s5~p) 97 31 29 kp2 # rule : A(s1~u,s2~u,s3~u,s4~p,s5~p) -> A(s1~u,s2~u,s3~p,s4~p,s5~p) # A(s1~u, s2~u, s3~u, s4~p, s5~p) -> A(s1~u, s2~u, s3~p, s4~p, s5~p) 98 31 22 kp2 # rule : A(s1~u,s2~u,s3~u,s4~p,s5~p) -> A(s1~u,s2~u,s3~u,s4~u,s5~p) # A(s1~u, s2~u, s3~u, s4~p, s5~p) -> A(s1~u, s2~u, s3~u, s4~u, s5~p) 99 31 2 ku2 # rule : A(s1~u,s2~u,s3~u,s4~p,s5~p) -> A(s1~u,s2~u,s3~u,s4~p,s5~u) # A(s1~u, s2~u, s3~u, s4~p, s5~p) -> A(s1~u, s2~u, s3~u, s4~p, s5~u) 100 31 3 ku2 # rule : A(s1~u,s2~p,s3~u,s4~p,s5~p) -> A(s1~p,s2~p,s3~u,s4~p,s5~p) # A(s1~u, s2~p, s3~u, s4~p, s5~p) -> A(s1~p, s2~p, s3~u, s4~p, s5~p) 101 29 28 kp3 # rule : A(s1~u,s2~p,s3~u,s4~p,s5~p) -> A(s1~u,s2~u,s3~u,s4~p,s5~p) # A(s1~u, s2~p, s3~u, s4~p, s5~p) -> A(s1~u, s2~u, s3~u, s4~p, s5~p) 102 29 31 ku3 # rule : A(s1~u,s2~p,s3~u,s4~p,s5~p) -> A(s1~u,s2~p,s3~p,s4~p,s5~p) # A(s1~u, s2~p, s3~u, s4~p, s5~p) -> A(s1~u, s2~p, s3~p, s4~p, s5~p) 103 29 19 kp3 # rule : A(s1~u,s2~p,s3~u,s4~p,s5~p) -> A(s1~u,s2~p,s3~u,s4~u,s5~p) # A(s1~u, s2~p, s3~u, s4~p, s5~p) -> A(s1~u, s2~p, s3~u, s4~u, s5~p) 104 29 30 ku3 # rule : A(s1~u,s2~p,s3~u,s4~p,s5~p) -> A(s1~u,s2~p,s3~u,s4~p,s5~u) # A(s1~u, s2~p, s3~u, s4~p, s5~p) -> A(s1~u, s2~p, s3~u, s4~p, s5~u) 105 29 20 ku3 # rule : A(s1~p,s2~p,s3~u,s4~p,s5~p) -> A(s1~u,s2~p,s3~u,s4~p,s5~p) # A(s1~p, s2~p, s3~u, s4~p, s5~p) -> A(s1~u, s2~p, s3~u, s4~p, s5~p) 106 28 29 ku4 # rule : A(s1~p,s2~p,s3~u,s4~p,s5~p) -> A(s1~p,s2~u,s3~u,s4~p,s5~p) # A(s1~p, s2~p, s3~u, s4~p, s5~p) -> A(s1~p, s2~u, s3~u, s4~p, s5~p) 107 28 26 ku4 # rule : A(s1~p,s2~p,s3~u,s4~p,s5~p) -> A(s1~p,s2~p,s3~p,s4~p,s5~p) # A(s1~p, s2~p, s3~u, s4~p, s5~p) -> A(s1~p, s2~p, s3~p, s4~p, s5~p) 108 28 27 kp4 # rule : A(s1~p,s2~p,s3~u,s4~p,s5~p) -> A(s1~p,s2~p,s3~u,s4~u,s5~p) # A(s1~p, s2~p, s3~u, s4~p, s5~p) -> A(s1~p, s2~p, s3~u, s4~u, s5~p) 109 28 11 ku4 # rule : A(s1~p,s2~p,s3~u,s4~p,s5~p) -> A(s1~p,s2~p,s3~u,s4~p,s5~u) # A(s1~p, s2~p, s3~u, s4~p, s5~p) -> A(s1~p, s2~p, s3~u, s4~p, s5~u) 110 28 12 ku4 # rule : A(s1~p,s2~p,s3~p,s4~p,s5~p) -> A(s1~u,s2~p,s3~p,s4~p,s5~p) # A(s1~p, s2~p, s3~p, s4~p, s5~p) -> A(s1~u, s2~p, s3~p, s4~p, s5~p) 111 27 19 ku5 # rule : A(s1~p,s2~p,s3~p,s4~p,s5~p) -> A(s1~p,s2~u,s3~p,s4~p,s5~p) # A(s1~p, s2~p, s3~p, s4~p, s5~p) -> A(s1~p, s2~u, s3~p, s4~p, s5~p) 112 27 24 ku5 # rule : A(s1~p,s2~p,s3~p,s4~p,s5~p) -> A(s1~p,s2~p,s3~u,s4~p,s5~p) # A(s1~p, s2~p, s3~p, s4~p, s5~p) -> A(s1~p, s2~p, s3~u, s4~p, s5~p) 113 27 28 ku5 # rule : A(s1~p,s2~p,s3~p,s4~p,s5~p) -> A(s1~p,s2~p,s3~p,s4~u,s5~p) # A(s1~p, s2~p, s3~p, s4~p, s5~p) -> A(s1~p, s2~p, s3~p, s4~u, s5~p) 114 27 14 ku5 # rule : A(s1~p,s2~p,s3~p,s4~p,s5~p) -> A(s1~p,s2~p,s3~p,s4~p,s5~u) # A(s1~p, s2~p, s3~p, s4~p, s5~p) -> A(s1~p, s2~p, s3~p, s4~p, s5~u) 115 27 15 ku5 # rule : A(s1~p,s2~u,s3~p,s4~p,s5~p) -> A(s1~u,s2~u,s3~p,s4~p,s5~p) # A(s1~p, s2~u, s3~p, s4~p, s5~p) -> A(s1~u, s2~u, s3~p, s4~p, s5~p) 116 24 22 ku4 # rule : A(s1~p,s2~u,s3~p,s4~p,s5~p) -> A(s1~p,s2~p,s3~p,s4~p,s5~p) # A(s1~p, s2~u, s3~p, s4~p, s5~p) -> A(s1~p, s2~p, s3~p, s4~p, s5~p) 117 24 27 kp4 # rule : A(s1~p,s2~u,s3~p,s4~p,s5~p) -> A(s1~p,s2~u,s3~u,s4~p,s5~p) # A(s1~p, s2~u, s3~p, s4~p, s5~p) -> A(s1~p, s2~u, s3~u, s4~p, s5~p) 118 24 26 ku4 # rule : A(s1~p,s2~u,s3~p,s4~p,s5~p) -> A(s1~p,s2~u,s3~p,s4~u,s5~p) # A(s1~p, s2~u, s3~p, s4~p, s5~p) -> A(s1~p, s2~u, s3~p, s4~u, s5~p) 119 24 25 ku4 # rule : A(s1~p,s2~u,s3~p,s4~p,s5~p) -> A(s1~p,s2~u,s3~p,s4~p,s5~u) # A(s1~p, s2~u, s3~p, s4~p, s5~p) -> A(s1~p, s2~u, s3~p, s4~p, s5~u) 120 24 23 ku4 # rule : A(s1~p,s2~u,s3~p,s4~p,s5~u) -> A(s1~u,s2~u,s3~p,s4~p,s5~u) # A(s1~p, s2~u, s3~p, s4~p, s5~u) -> A(s1~u, s2~u, s3~p, s4~p, s5~u) 121 23 21 ku3 # rule : A(s1~p,s2~u,s3~p,s4~p,s5~u) -> A(s1~p,s2~p,s3~p,s4~p,s5~u) # A(s1~p, s2~u, s3~p, s4~p, s5~u) -> A(s1~p, s2~p, s3~p, s4~p, s5~u) 122 23 15 kp3 # rule : A(s1~p,s2~u,s3~p,s4~p,s5~u) -> A(s1~p,s2~u,s3~u,s4~p,s5~u) # A(s1~p, s2~u, s3~p, s4~p, s5~u) -> A(s1~p, s2~u, s3~u, s4~p, s5~u) 123 23 8 ku3 # rule : A(s1~p,s2~u,s3~p,s4~p,s5~u) -> A(s1~p,s2~u,s3~p,s4~u,s5~u) # A(s1~p, s2~u, s3~p, s4~p, s5~u) -> A(s1~p, s2~u, s3~p, s4~u, s5~u) 124 23 9 ku3 # rule : A(s1~p,s2~u,s3~p,s4~p,s5~u) -> A(s1~p,s2~u,s3~p,s4~p,s5~p) # A(s1~p, s2~u, s3~p, s4~p, s5~u) -> A(s1~p, s2~u, s3~p, s4~p, s5~p) 125 23 24 kp3 # rule : A(s1~u,s2~u,s3~p,s4~p,s5~u) -> A(s1~p,s2~u,s3~p,s4~p,s5~u) # A(s1~u, s2~u, s3~p, s4~p, s5~u) -> A(s1~p, s2~u, s3~p, s4~p, s5~u) 126 21 23 kp2 # rule : A(s1~u,s2~u,s3~p,s4~p,s5~u) -> A(s1~u,s2~p,s3~p,s4~p,s5~u) # A(s1~u, s2~u, s3~p, s4~p, s5~u) -> A(s1~u, s2~p, s3~p, s4~p, s5~u) 127 21 18 kp2 # rule : A(s1~u,s2~u,s3~p,s4~p,s5~u) -> A(s1~u,s2~u,s3~u,s4~p,s5~u) # A(s1~u, s2~u, s3~p, s4~p, s5~u) -> A(s1~u, s2~u, s3~u, s4~p, s5~u) 128 21 3 ku2 # rule : A(s1~u,s2~u,s3~p,s4~p,s5~u) -> A(s1~u,s2~u,s3~p,s4~u,s5~u) # A(s1~u, s2~u, s3~p, s4~p, s5~u) -> A(s1~u, s2~u, s3~p, s4~u, s5~u) 129 21 4 ku2 # rule : A(s1~u,s2~u,s3~p,s4~p,s5~u) -> A(s1~u,s2~u,s3~p,s4~p,s5~p) # A(s1~u, s2~u, s3~p, s4~p, s5~u) -> A(s1~u, s2~u, s3~p, s4~p, s5~p) 130 21 22 kp2 # rule : A(s1~u,s2~p,s3~p,s4~p,s5~u) -> A(s1~p,s2~p,s3~p,s4~p,s5~u) # A(s1~u, s2~p, s3~p, s4~p, s5~u) -> A(s1~p, s2~p, s3~p, s4~p, s5~u) 131 18 15 kp3 # rule : A(s1~u,s2~p,s3~p,s4~p,s5~u) -> A(s1~u,s2~u,s3~p,s4~p,s5~u) # A(s1~u, s2~p, s3~p, s4~p, s5~u) -> A(s1~u, s2~u, s3~p, s4~p, s5~u) 132 18 21 ku3 # rule : A(s1~u,s2~p,s3~p,s4~p,s5~u) -> A(s1~u,s2~p,s3~u,s4~p,s5~u) # A(s1~u, s2~p, s3~p, s4~p, s5~u) -> A(s1~u, s2~p, s3~u, s4~p, s5~u) 133 18 20 ku3 # rule : A(s1~u,s2~p,s3~p,s4~p,s5~u) -> A(s1~u,s2~p,s3~p,s4~u,s5~u) # A(s1~u, s2~p, s3~p, s4~p, s5~u) -> A(s1~u, s2~p, s3~p, s4~u, s5~u) 134 18 16 ku3 # rule : A(s1~u,s2~p,s3~p,s4~p,s5~u) -> A(s1~u,s2~p,s3~p,s4~p,s5~p) # A(s1~u, s2~p, s3~p, s4~p, s5~u) -> A(s1~u, s2~p, s3~p, s4~p, s5~p) 135 18 19 kp3 # rule : A(s1~u,s2~p,s3~p,s4~u,s5~u) -> A(s1~p,s2~p,s3~p,s4~u,s5~u) # A(s1~u, s2~p, s3~p, s4~u, s5~u) -> A(s1~p, s2~p, s3~p, s4~u, s5~u) 136 16 13 kp2 # rule : A(s1~u,s2~p,s3~p,s4~u,s5~u) -> A(s1~u,s2~u,s3~p,s4~u,s5~u) # A(s1~u, s2~p, s3~p, s4~u, s5~u) -> A(s1~u, s2~u, s3~p, s4~u, s5~u) 137 16 4 ku2 # rule : A(s1~u,s2~p,s3~p,s4~u,s5~u) -> A(s1~u,s2~p,s3~u,s4~u,s5~u) # A(s1~u, s2~p, s3~p, s4~u, s5~u) -> A(s1~u, s2~p, s3~u, s4~u, s5~u) 138 16 5 ku2 # rule : A(s1~u,s2~p,s3~p,s4~u,s5~u) -> A(s1~u,s2~p,s3~p,s4~p,s5~u) # A(s1~u, s2~p, s3~p, s4~u, s5~u) -> A(s1~u, s2~p, s3~p, s4~p, s5~u) 139 16 18 kp2 # rule : A(s1~u,s2~p,s3~p,s4~u,s5~u) -> A(s1~u,s2~p,s3~p,s4~u,s5~p) # A(s1~u, s2~p, s3~p, s4~u, s5~u) -> A(s1~u, s2~p, s3~p, s4~u, s5~p) 140 16 17 kp2 # rule : A(s1~p,s2~p,s3~p,s4~u,s5~u) -> A(s1~u,s2~p,s3~p,s4~u,s5~u) # A(s1~p, s2~p, s3~p, s4~u, s5~u) -> A(s1~u, s2~p, s3~p, s4~u, s5~u) 141 13 16 ku3 # rule : A(s1~p,s2~p,s3~p,s4~u,s5~u) -> A(s1~p,s2~u,s3~p,s4~u,s5~u) # A(s1~p, s2~p, s3~p, s4~u, s5~u) -> A(s1~p, s2~u, s3~p, s4~u, s5~u) 142 13 9 ku3 # rule : A(s1~p,s2~p,s3~p,s4~u,s5~u) -> A(s1~p,s2~p,s3~u,s4~u,s5~u) # A(s1~p, s2~p, s3~p, s4~u, s5~u) -> A(s1~p, s2~p, s3~u, s4~u, s5~u) 143 13 10 ku3 # rule : A(s1~p,s2~p,s3~p,s4~u,s5~u) -> A(s1~p,s2~p,s3~p,s4~p,s5~u) # A(s1~p, s2~p, s3~p, s4~u, s5~u) -> A(s1~p, s2~p, s3~p, s4~p, s5~u) 144 13 15 kp3 # rule : A(s1~p,s2~p,s3~p,s4~u,s5~u) -> A(s1~p,s2~p,s3~p,s4~u,s5~p) # A(s1~p, s2~p, s3~p, s4~u, s5~u) -> A(s1~p, s2~p, s3~p, s4~u, s5~p) 145 13 14 kp3 # rule : A(s1~p,s2~p,s3~u,s4~u,s5~u) -> A(s1~u,s2~p,s3~u,s4~u,s5~u) # A(s1~p, s2~p, s3~u, s4~u, s5~u) -> A(s1~u, s2~p, s3~u, s4~u, s5~u) 146 10 5 ku2 # rule : A(s1~p,s2~p,s3~u,s4~u,s5~u) -> A(s1~p,s2~u,s3~u,s4~u,s5~u) # A(s1~p, s2~p, s3~u, s4~u, s5~u) -> A(s1~p, s2~u, s3~u, s4~u, s5~u) 147 10 6 ku2 # rule : A(s1~p,s2~p,s3~u,s4~u,s5~u) -> A(s1~p,s2~p,s3~p,s4~u,s5~u) # A(s1~p, s2~p, s3~u, s4~u, s5~u) -> A(s1~p, s2~p, s3~p, s4~u, s5~u) 148 10 13 kp2 # rule : A(s1~p,s2~p,s3~u,s4~u,s5~u) -> A(s1~p,s2~p,s3~u,s4~p,s5~u) # A(s1~p, s2~p, s3~u, s4~u, s5~u) -> A(s1~p, s2~p, s3~u, s4~p, s5~u) 149 10 12 kp2 # rule : A(s1~p,s2~p,s3~u,s4~u,s5~u) -> A(s1~p,s2~p,s3~u,s4~u,s5~p) # A(s1~p, s2~p, s3~u, s4~u, s5~u) -> A(s1~p, s2~p, s3~u, s4~u, s5~p) 150 10 11 kp2 # rule : A(s1~p,s2~u,s3~u,s4~u,s5~u) -> A(s1~u,s2~u,s3~u,s4~u,s5~u) # A(s1~p, s2~u, s3~u, s4~u, s5~u) -> A(s1~u, s2~u, s3~u, s4~u, s5~u) 151 6 1 ku1 # rule : A(s1~p,s2~u,s3~u,s4~u,s5~u) -> A(s1~p,s2~p,s3~u,s4~u,s5~u) # A(s1~p, s2~u, s3~u, s4~u, s5~u) -> A(s1~p, s2~p, s3~u, s4~u, s5~u) 152 6 10 kp1 # rule : A(s1~p,s2~u,s3~u,s4~u,s5~u) -> A(s1~p,s2~u,s3~p,s4~u,s5~u) # A(s1~p, s2~u, s3~u, s4~u, s5~u) -> A(s1~p, s2~u, s3~p, s4~u, s5~u) 153 6 9 kp1 # rule : A(s1~p,s2~u,s3~u,s4~u,s5~u) -> A(s1~p,s2~u,s3~u,s4~p,s5~u) # A(s1~p, s2~u, s3~u, s4~u, s5~u) -> A(s1~p, s2~u, s3~u, s4~p, s5~u) 154 6 8 kp1 # rule : A(s1~p,s2~u,s3~u,s4~u,s5~u) -> A(s1~p,s2~u,s3~u,s4~u,s5~p) # A(s1~p, s2~u, s3~u, s4~u, s5~u) -> A(s1~p, s2~u, s3~u, s4~u, s5~p) 155 6 7 kp1 # rule : A(s1~u,s2~u,s3~u,s4~u,s5~u) -> A(s1~p,s2~u,s3~u,s4~u,s5~u) # A(s1~u, s2~u, s3~u, s4~u, s5~u) -> A(s1~p, s2~u, s3~u, s4~u, s5~u) 156 1 6 kp0 # rule : A(s1~u,s2~u,s3~u,s4~u,s5~u) -> A(s1~u,s2~p,s3~u,s4~u,s5~u) # A(s1~u, s2~u, s3~u, s4~u, s5~u) -> A(s1~u, s2~p, s3~u, s4~u, s5~u) 157 1 5 kp0 # rule : A(s1~u,s2~u,s3~u,s4~u,s5~u) -> A(s1~u,s2~u,s3~p,s4~u,s5~u) # A(s1~u, s2~u, s3~u, s4~u, s5~u) -> A(s1~u, s2~u, s3~p, s4~u, s5~u) 158 1 4 kp0 # rule : A(s1~u,s2~u,s3~u,s4~u,s5~u) -> A(s1~u,s2~u,s3~u,s4~p,s5~u) # A(s1~u, s2~u, s3~u, s4~u, s5~u) -> A(s1~u, s2~u, s3~u, s4~p, s5~u) 159 1 3 kp0 # rule : A(s1~u,s2~u,s3~u,s4~u,s5~u) -> A(s1~u,s2~u,s3~u,s4~u,s5~p) # A(s1~u, s2~u, s3~u, s4~u, s5~u) -> A(s1~u, s2~u, s3~u, s4~u, s5~p) 160 1 2 kp0 end reactions