# command line: # KaDE n_phos_sites_with_counter_9.ka -print-efficiency -ode-backend DOTNET -with-symmetries Forward -dotnet-output network_n_phos_sites_with_counter_9_with_fsym.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 ku9 80707214 5 kp8 1171875 6 ku8 11529602 7 kp7 234375 8 ku7 1647086 9 kp6 46875 10 ku6 235298 11 kp5 9375 12 ku5 33614 13 kp4 1875 14 ku4 4802 15 kp3 375 16 ku3 686 17 kp2 75 18 ku2 98 19 kp1 15 20 ku1 14 21 kp0 3 end parameters begin species 1 A(s1~u,s2~u,s3~u,s4~u,s5~u,s6~u,s7~u,s8~u,s9~u,p!1).P(l!1,r) 100 2 A(s1~u,s2~u,s3~u,s4~u,s5~u,s6~u,s7~u,s8~u,s9~p,p!1).P(l!1,r!2).P(l!2,r) 0 3 A(s1~u,s2~u,s3~u,s4~u,s5~u,s6~u,s7~u,s8~p,s9~p,p!1).P(l!1,r!2).P(l!2,r!3).P(l!3,r) 0 4 A(s1~u,s2~u,s3~u,s4~u,s5~u,s6~u,s7~p,s8~p,s9~p,p!1).P(l!1,r!2).P(l!2,r!3).P(l!3,r!4).P(l!4,r) 0 5 A(s1~u,s2~u,s3~u,s4~u,s5~u,s6~p,s7~p,s8~p,s9~p,p!1).P(l!1,r!2).P(l!2,r!3).P(l!3,r!4).P(l!4,r!5).P(l!5,r) 0 6 A(s1~u,s2~u,s3~u,s4~u,s5~p,s6~p,s7~p,s8~p,s9~p,p!1).P(l!1,r!2).P(l!2,r!3).P(l!3,r!4).P(l!4,r!5).P(l!5,r!6).P(l!6,r) 0 7 A(s1~u,s2~u,s3~u,s4~p,s5~p,s6~p,s7~p,s8~p,s9~p,p!1).P(l!1,r!2).P(l!2,r!3).P(l!3,r!4).P(l!4,r!5).P(l!5,r!6).P(l!6,r!7).P(l!7,r) 0 8 A(s1~u,s2~u,s3~p,s4~p,s5~p,s6~p,s7~p,s8~p,s9~p,p!1).P(l!1,r!2).P(l!2,r!3).P(l!3,r!4).P(l!4,r!5).P(l!5,r!6).P(l!6,r!7).P(l!7,r!8).P(l!8,r) 0 9 A(s1~u,s2~p,s3~p,s4~p,s5~p,s6~p,s7~p,s8~p,s9~p,p!1).P(l!1,r!2).P(l!2,r!3).P(l!3,r!4).P(l!4,r!5).P(l!5,r!6).P(l!6,r!7).P(l!7,r!8).P(l!8,r!9).P(l!9,r) 0 10 A(s1~p,s2~p,s3~p,s4~p,s5~p,s6~p,s7~p,s8~p,s9~p,p!1).P(l!2,r).P(l!3,r!2).P(l!4,r!3).P(l!5,r!4).P(l!6,r!5).P(l!7,r!6).P(l!8,r!7).P(l!9,r!8).P(l!10,r!9).P(l!1,r!10) 0 end species begin reactions # rule : A(s9~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r!9), P(l!9,r!10), P(l!10,r), P(l!1,r!2) -> A(s9~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r!9), P(l!9,r!10), P(l!10,r) # A(s1~p, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!2, r), P(l!3, r!2), P(l!4, r!3), P(l!5, r!4), P(l!6, r!5), P(l!7, r!6), P(l!8, r!7), P(l!9, r!8), P(l!10, r!9), P(l!1, r!10) -> A(s1~u, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r!8), P(l!8, r!9), P(l!9, r) 1 10 9 ku9 # rule : A(s8~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r!9), P(l!9,r!10), P(l!10,r), P(l!1,r!2) -> A(s8~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r!9), P(l!9,r!10), P(l!10,r) # A(s1~p, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!2, r), P(l!3, r!2), P(l!4, r!3), P(l!5, r!4), P(l!6, r!5), P(l!7, r!6), P(l!8, r!7), P(l!9, r!8), P(l!10, r!9), P(l!1, r!10) -> A(s1~u, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r!8), P(l!8, r!9), P(l!9, r) 2 10 9 ku9 # rule : A(s7~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r!9), P(l!9,r!10), P(l!10,r), P(l!1,r!2) -> A(s7~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r!9), P(l!9,r!10), P(l!10,r) # A(s1~p, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!2, r), P(l!3, r!2), P(l!4, r!3), P(l!5, r!4), P(l!6, r!5), P(l!7, r!6), P(l!8, r!7), P(l!9, r!8), P(l!10, r!9), P(l!1, r!10) -> A(s1~u, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r!8), P(l!8, r!9), P(l!9, r) 3 10 9 ku9 # rule : A(s6~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r!9), P(l!9,r!10), P(l!10,r), P(l!1,r!2) -> A(s6~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r!9), P(l!9,r!10), P(l!10,r) # A(s1~p, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!2, r), P(l!3, r!2), P(l!4, r!3), P(l!5, r!4), P(l!6, r!5), P(l!7, r!6), P(l!8, r!7), P(l!9, r!8), P(l!10, r!9), P(l!1, r!10) -> A(s1~u, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r!8), P(l!8, r!9), P(l!9, r) 4 10 9 ku9 # rule : A(s5~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r!9), P(l!9,r!10), P(l!10,r), P(l!1,r!2) -> A(s5~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r!9), P(l!9,r!10), P(l!10,r) # A(s1~p, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!2, r), P(l!3, r!2), P(l!4, r!3), P(l!5, r!4), P(l!6, r!5), P(l!7, r!6), P(l!8, r!7), P(l!9, r!8), P(l!10, r!9), P(l!1, r!10) -> A(s1~u, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r!8), P(l!8, r!9), P(l!9, r) 5 10 9 ku9 # rule : A(s4~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r!9), P(l!9,r!10), P(l!10,r), P(l!1,r!2) -> A(s4~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r!9), P(l!9,r!10), P(l!10,r) # A(s1~p, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!2, r), P(l!3, r!2), P(l!4, r!3), P(l!5, r!4), P(l!6, r!5), P(l!7, r!6), P(l!8, r!7), P(l!9, r!8), P(l!10, r!9), P(l!1, r!10) -> A(s1~u, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r!8), P(l!8, r!9), P(l!9, r) 6 10 9 ku9 # rule : A(s3~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r!9), P(l!9,r!10), P(l!10,r), P(l!1,r!2) -> A(s3~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r!9), P(l!9,r!10), P(l!10,r) # A(s1~p, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!2, r), P(l!3, r!2), P(l!4, r!3), P(l!5, r!4), P(l!6, r!5), P(l!7, r!6), P(l!8, r!7), P(l!9, r!8), P(l!10, r!9), P(l!1, r!10) -> A(s1~u, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r!8), P(l!8, r!9), P(l!9, r) 7 10 9 ku9 # rule : A(s2~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r!9), P(l!9,r!10), P(l!10,r), P(l!1,r!2) -> A(s2~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r!9), P(l!9,r!10), P(l!10,r) # A(s1~p, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!2, r), P(l!3, r!2), P(l!4, r!3), P(l!5, r!4), P(l!6, r!5), P(l!7, r!6), P(l!8, r!7), P(l!9, r!8), P(l!10, r!9), P(l!1, r!10) -> A(s1~u, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r!8), P(l!8, r!9), P(l!9, r) 8 10 9 ku9 # rule : A(s1~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r!9), P(l!9,r!10), P(l!10,r), P(l!1,r!2) -> A(s1~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r!9), P(l!9,r!10), P(l!10,r) # A(s1~p, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!2, r), P(l!3, r!2), P(l!4, r!3), P(l!5, r!4), P(l!6, r!5), P(l!7, r!6), P(l!8, r!7), P(l!9, r!8), P(l!10, r!9), P(l!1, r!10) -> A(s1~u, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r!8), P(l!8, r!9), P(l!9, r) 9 10 9 ku9 # rule : A(s9~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r!9), P(l!9,r), P(l!1,r!2) -> A(s9~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r!9), P(l!9,r) # A(s1~u, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r!8), P(l!8, r!9), P(l!9, r) -> A(s1~u, s2~u, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r!8), P(l!8, r) 10 9 8 ku8 # rule : A(s8~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r!9), P(l!9,r), P(l!1,r!2) -> A(s8~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r!9), P(l!9,r) # A(s1~u, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r!8), P(l!8, r!9), P(l!9, r) -> A(s1~u, s2~u, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r!8), P(l!8, r) 11 9 8 ku8 # rule : A(s7~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r!9), P(l!9,r), P(l!1,r!2) -> A(s7~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r!9), P(l!9,r) # A(s1~u, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r!8), P(l!8, r!9), P(l!9, r) -> A(s1~u, s2~u, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r!8), P(l!8, r) 12 9 8 ku8 # rule : A(s6~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r!9), P(l!9,r), P(l!1,r!2) -> A(s6~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r!9), P(l!9,r) # A(s1~u, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r!8), P(l!8, r!9), P(l!9, r) -> A(s1~u, s2~u, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r!8), P(l!8, r) 13 9 8 ku8 # rule : A(s5~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r!9), P(l!9,r), P(l!1,r!2) -> A(s5~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r!9), P(l!9,r) # A(s1~u, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r!8), P(l!8, r!9), P(l!9, r) -> A(s1~u, s2~u, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r!8), P(l!8, r) 14 9 8 ku8 # rule : A(s4~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r!9), P(l!9,r), P(l!1,r!2) -> A(s4~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r!9), P(l!9,r) # A(s1~u, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r!8), P(l!8, r!9), P(l!9, r) -> A(s1~u, s2~u, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r!8), P(l!8, r) 15 9 8 ku8 # rule : A(s3~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r!9), P(l!9,r), P(l!1,r!2) -> A(s3~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r!9), P(l!9,r) # A(s1~u, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r!8), P(l!8, r!9), P(l!9, r) -> A(s1~u, s2~u, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r!8), P(l!8, r) 16 9 8 ku8 # rule : A(s2~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r!9), P(l!9,r), P(l!1,r!2) -> A(s2~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r!9), P(l!9,r) # A(s1~u, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r!8), P(l!8, r!9), P(l!9, r) -> A(s1~u, s2~u, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r!8), P(l!8, r) 17 9 8 ku8 # rule : A(s1~u,p!1), P(l!1,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r!9), P(l!9,r) -> A(s1~p,p!1), P(l!2,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r!9), P(l!9,r), P(l!1,r!2) # A(s1~u, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r!8), P(l!8, r!9), P(l!9, r) -> A(s1~p, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!2, r), P(l!3, r!2), P(l!4, r!3), P(l!5, r!4), P(l!6, r!5), P(l!7, r!6), P(l!8, r!7), P(l!9, r!8), P(l!10, r!9), P(l!1, r!10) 18 9 10 kp8 # rule : A(s9~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r), P(l!1,r!2) -> A(s9~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r) # A(s1~u, s2~u, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r!8), P(l!8, r) -> A(s1~u, s2~u, s3~u, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r) 19 8 7 ku7 # rule : A(s8~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r), P(l!1,r!2) -> A(s8~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r) # A(s1~u, s2~u, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r!8), P(l!8, r) -> A(s1~u, s2~u, s3~u, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r) 20 8 7 ku7 # rule : A(s7~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r), P(l!1,r!2) -> A(s7~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r) # A(s1~u, s2~u, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r!8), P(l!8, r) -> A(s1~u, s2~u, s3~u, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r) 21 8 7 ku7 # rule : A(s6~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r), P(l!1,r!2) -> A(s6~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r) # A(s1~u, s2~u, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r!8), P(l!8, r) -> A(s1~u, s2~u, s3~u, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r) 22 8 7 ku7 # rule : A(s5~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r), P(l!1,r!2) -> A(s5~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r) # A(s1~u, s2~u, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r!8), P(l!8, r) -> A(s1~u, s2~u, s3~u, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r) 23 8 7 ku7 # rule : A(s4~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r), P(l!1,r!2) -> A(s4~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r) # A(s1~u, s2~u, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r!8), P(l!8, r) -> A(s1~u, s2~u, s3~u, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r) 24 8 7 ku7 # rule : A(s3~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r), P(l!1,r!2) -> A(s3~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r) # A(s1~u, s2~u, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r!8), P(l!8, r) -> A(s1~u, s2~u, s3~u, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r) 25 8 7 ku7 # rule : A(s2~u,p!1), P(l!1,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r) -> A(s2~p,p!1), P(l!2,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r), P(l!1,r!2) # A(s1~u, s2~u, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r!8), P(l!8, r) -> A(s1~u, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r!8), P(l!8, r!9), P(l!9, r) 26 8 9 kp7 # rule : A(s1~u,p!1), P(l!1,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r) -> A(s1~p,p!1), P(l!2,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r!8), P(l!8,r), P(l!1,r!2) # A(s1~u, s2~u, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r!8), P(l!8, r) -> A(s1~u, s2~p, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r!8), P(l!8, r!9), P(l!9, r) 27 8 9 kp7 # rule : A(s9~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r), P(l!1,r!2) -> A(s9~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r) # A(s1~u, s2~u, s3~u, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r) 28 7 6 ku6 # rule : A(s8~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r), P(l!1,r!2) -> A(s8~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r) # A(s1~u, s2~u, s3~u, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r) 29 7 6 ku6 # rule : A(s7~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r), P(l!1,r!2) -> A(s7~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r) # A(s1~u, s2~u, s3~u, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r) 30 7 6 ku6 # rule : A(s6~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r), P(l!1,r!2) -> A(s6~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r) # A(s1~u, s2~u, s3~u, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r) 31 7 6 ku6 # rule : A(s5~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r), P(l!1,r!2) -> A(s5~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r) # A(s1~u, s2~u, s3~u, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r) 32 7 6 ku6 # rule : A(s4~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r), P(l!1,r!2) -> A(s4~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r) # A(s1~u, s2~u, s3~u, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r) 33 7 6 ku6 # rule : A(s3~u,p!1), P(l!1,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r) -> A(s3~p,p!1), P(l!2,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r) -> A(s1~u, s2~u, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r!8), P(l!8, r) 34 7 8 kp6 # rule : A(s2~u,p!1), P(l!1,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r) -> A(s2~p,p!1), P(l!2,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r) -> A(s1~u, s2~u, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r!8), P(l!8, r) 35 7 8 kp6 # rule : A(s1~u,p!1), P(l!1,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r) -> A(s1~p,p!1), P(l!2,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r!7), P(l!7,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r) -> A(s1~u, s2~u, s3~p, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r!8), P(l!8, r) 36 7 8 kp6 # rule : A(s9~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r), P(l!1,r!2) -> A(s9~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r) # A(s1~u, s2~u, s3~u, s4~u, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r) 37 6 5 ku5 # rule : A(s8~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r), P(l!1,r!2) -> A(s8~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r) # A(s1~u, s2~u, s3~u, s4~u, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r) 38 6 5 ku5 # rule : A(s7~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r), P(l!1,r!2) -> A(s7~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r) # A(s1~u, s2~u, s3~u, s4~u, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r) 39 6 5 ku5 # rule : A(s6~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r), P(l!1,r!2) -> A(s6~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r) # A(s1~u, s2~u, s3~u, s4~u, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r) 40 6 5 ku5 # rule : A(s5~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r), P(l!1,r!2) -> A(s5~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r) # A(s1~u, s2~u, s3~u, s4~u, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r) 41 6 5 ku5 # rule : A(s4~u,p!1), P(l!1,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r) -> A(s4~p,p!1), P(l!2,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~u, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r) -> A(s1~u, s2~u, s3~u, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r) 42 6 7 kp5 # rule : A(s3~u,p!1), P(l!1,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r) -> A(s3~p,p!1), P(l!2,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~u, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r) -> A(s1~u, s2~u, s3~u, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r) 43 6 7 kp5 # rule : A(s2~u,p!1), P(l!1,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r) -> A(s2~p,p!1), P(l!2,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~u, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r) -> A(s1~u, s2~u, s3~u, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r) 44 6 7 kp5 # rule : A(s1~u,p!1), P(l!1,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r) -> A(s1~p,p!1), P(l!2,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r!6), P(l!6,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~u, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r) -> A(s1~u, s2~u, s3~u, s4~p, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r!7), P(l!7, r) 45 6 7 kp5 # rule : A(s9~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r), P(l!1,r!2) -> A(s9~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r) 46 5 4 ku4 # rule : A(s8~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r), P(l!1,r!2) -> A(s8~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r) 47 5 4 ku4 # rule : A(s7~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r), P(l!1,r!2) -> A(s7~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r) 48 5 4 ku4 # rule : A(s6~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r), P(l!1,r!2) -> A(s6~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r) 49 5 4 ku4 # rule : A(s5~u,p!1), P(l!1,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r) -> A(s5~p,p!1), P(l!2,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r) 50 5 6 kp4 # rule : A(s4~u,p!1), P(l!1,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r) -> A(s4~p,p!1), P(l!2,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r) 51 5 6 kp4 # rule : A(s3~u,p!1), P(l!1,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r) -> A(s3~p,p!1), P(l!2,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r) 52 5 6 kp4 # rule : A(s2~u,p!1), P(l!1,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r) -> A(s2~p,p!1), P(l!2,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r) 53 5 6 kp4 # rule : A(s1~u,p!1), P(l!1,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r) -> A(s1~p,p!1), P(l!2,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r!5), P(l!5,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~p, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r!6), P(l!6, r) 54 5 6 kp4 # rule : A(s9~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r), P(l!1,r!2) -> A(s9~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r) 55 4 3 ku3 # rule : A(s8~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r), P(l!1,r!2) -> A(s8~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r) 56 4 3 ku3 # rule : A(s7~p,p!1), P(l!2,r!3), P(l!3,r!4), P(l!4,r), P(l!1,r!2) -> A(s7~u,p!1), P(l!1,r!3), P(l!3,r!4), P(l!4,r) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r) 57 4 3 ku3 # rule : A(s6~u,p!1), P(l!1,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r) -> A(s6~p,p!1), P(l!2,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r) 58 4 5 kp3 # rule : A(s5~u,p!1), P(l!1,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r) -> A(s5~p,p!1), P(l!2,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r) 59 4 5 kp3 # rule : A(s4~u,p!1), P(l!1,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r) -> A(s4~p,p!1), P(l!2,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r) 60 4 5 kp3 # rule : A(s3~u,p!1), P(l!1,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r) -> A(s3~p,p!1), P(l!2,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r) 61 4 5 kp3 # rule : A(s2~u,p!1), P(l!1,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r) -> A(s2~p,p!1), P(l!2,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r) 62 4 5 kp3 # rule : A(s1~u,p!1), P(l!1,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r) -> A(s1~p,p!1), P(l!2,r!2), P(l!2,r!3), P(l!3,r!4), P(l!4,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~p, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r!5), P(l!5, r) 63 4 5 kp3 # rule : A(s9~p,p!1), P(l!2,r!3), P(l!3,r), P(l!1,r!2) -> A(s9~u,p!1), P(l!1,r!3), P(l!3,r) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~u, s9~p, p!1), P(l!1, r!2), P(l!2, r) 64 3 2 ku2 # rule : A(s8~p,p!1), P(l!2,r!3), P(l!3,r), P(l!1,r!2) -> A(s8~u,p!1), P(l!1,r!3), P(l!3,r) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~u, s9~p, p!1), P(l!1, r!2), P(l!2, r) 65 3 2 ku2 # rule : A(s7~u,p!1), P(l!1,r!2), P(l!2,r!3), P(l!3,r) -> A(s7~p,p!1), P(l!2,r!2), P(l!2,r!3), P(l!3,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r) 66 3 4 kp2 # rule : A(s6~u,p!1), P(l!1,r!2), P(l!2,r!3), P(l!3,r) -> A(s6~p,p!1), P(l!2,r!2), P(l!2,r!3), P(l!3,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r) 67 3 4 kp2 # rule : A(s5~u,p!1), P(l!1,r!2), P(l!2,r!3), P(l!3,r) -> A(s5~p,p!1), P(l!2,r!2), P(l!2,r!3), P(l!3,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r) 68 3 4 kp2 # rule : A(s4~u,p!1), P(l!1,r!2), P(l!2,r!3), P(l!3,r) -> A(s4~p,p!1), P(l!2,r!2), P(l!2,r!3), P(l!3,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r) 69 3 4 kp2 # rule : A(s3~u,p!1), P(l!1,r!2), P(l!2,r!3), P(l!3,r) -> A(s3~p,p!1), P(l!2,r!2), P(l!2,r!3), P(l!3,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r) 70 3 4 kp2 # rule : A(s2~u,p!1), P(l!1,r!2), P(l!2,r!3), P(l!3,r) -> A(s2~p,p!1), P(l!2,r!2), P(l!2,r!3), P(l!3,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r) 71 3 4 kp2 # rule : A(s1~u,p!1), P(l!1,r!2), P(l!2,r!3), P(l!3,r) -> A(s1~p,p!1), P(l!2,r!2), P(l!2,r!3), P(l!3,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~p, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r!4), P(l!4, r) 72 3 4 kp2 # rule : A(s9~p,p!1), P(l!2,r), P(l!1,r!2) -> A(s9~u,p!1), P(l!1,r) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~u, s9~p, p!1), P(l!1, r!2), P(l!2, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~u, s9~u, p!1), P(l!1, r) 73 2 1 ku1 # rule : A(s8~u,p!1), P(l!1,r!2), P(l!2,r) -> A(s8~p,p!1), P(l!2,r!2), P(l!2,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~u, s9~p, p!1), P(l!1, r!2), P(l!2, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r) 74 2 3 kp1 # rule : A(s7~u,p!1), P(l!1,r!2), P(l!2,r) -> A(s7~p,p!1), P(l!2,r!2), P(l!2,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~u, s9~p, p!1), P(l!1, r!2), P(l!2, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r) 75 2 3 kp1 # rule : A(s6~u,p!1), P(l!1,r!2), P(l!2,r) -> A(s6~p,p!1), P(l!2,r!2), P(l!2,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~u, s9~p, p!1), P(l!1, r!2), P(l!2, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r) 76 2 3 kp1 # rule : A(s5~u,p!1), P(l!1,r!2), P(l!2,r) -> A(s5~p,p!1), P(l!2,r!2), P(l!2,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~u, s9~p, p!1), P(l!1, r!2), P(l!2, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r) 77 2 3 kp1 # rule : A(s4~u,p!1), P(l!1,r!2), P(l!2,r) -> A(s4~p,p!1), P(l!2,r!2), P(l!2,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~u, s9~p, p!1), P(l!1, r!2), P(l!2, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r) 78 2 3 kp1 # rule : A(s3~u,p!1), P(l!1,r!2), P(l!2,r) -> A(s3~p,p!1), P(l!2,r!2), P(l!2,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~u, s9~p, p!1), P(l!1, r!2), P(l!2, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r) 79 2 3 kp1 # rule : A(s2~u,p!1), P(l!1,r!2), P(l!2,r) -> A(s2~p,p!1), P(l!2,r!2), P(l!2,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~u, s9~p, p!1), P(l!1, r!2), P(l!2, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r) 80 2 3 kp1 # rule : A(s1~u,p!1), P(l!1,r!2), P(l!2,r) -> A(s1~p,p!1), P(l!2,r!2), P(l!2,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~u, s9~p, p!1), P(l!1, r!2), P(l!2, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~p, s9~p, p!1), P(l!1, r!2), P(l!2, r!3), P(l!3, r) 81 2 3 kp1 # rule : A(s9~u,p!1), P(l!1,r) -> A(s9~p,p!1), P(l!2,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~u, s9~u, p!1), P(l!1, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~u, s9~p, p!1), P(l!1, r!2), P(l!2, r) 82 1 2 kp0 # rule : A(s8~u,p!1), P(l!1,r) -> A(s8~p,p!1), P(l!2,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~u, s9~u, p!1), P(l!1, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~u, s9~p, p!1), P(l!1, r!2), P(l!2, r) 83 1 2 kp0 # rule : A(s7~u,p!1), P(l!1,r) -> A(s7~p,p!1), P(l!2,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~u, s9~u, p!1), P(l!1, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~u, s9~p, p!1), P(l!1, r!2), P(l!2, r) 84 1 2 kp0 # rule : A(s6~u,p!1), P(l!1,r) -> A(s6~p,p!1), P(l!2,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~u, s9~u, p!1), P(l!1, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~u, s9~p, p!1), P(l!1, r!2), P(l!2, r) 85 1 2 kp0 # rule : A(s5~u,p!1), P(l!1,r) -> A(s5~p,p!1), P(l!2,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~u, s9~u, p!1), P(l!1, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~u, s9~p, p!1), P(l!1, r!2), P(l!2, r) 86 1 2 kp0 # rule : A(s4~u,p!1), P(l!1,r) -> A(s4~p,p!1), P(l!2,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~u, s9~u, p!1), P(l!1, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~u, s9~p, p!1), P(l!1, r!2), P(l!2, r) 87 1 2 kp0 # rule : A(s3~u,p!1), P(l!1,r) -> A(s3~p,p!1), P(l!2,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~u, s9~u, p!1), P(l!1, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~u, s9~p, p!1), P(l!1, r!2), P(l!2, r) 88 1 2 kp0 # rule : A(s2~u,p!1), P(l!1,r) -> A(s2~p,p!1), P(l!2,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~u, s9~u, p!1), P(l!1, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~u, s9~p, p!1), P(l!1, r!2), P(l!2, r) 89 1 2 kp0 # rule : A(s1~u,p!1), P(l!1,r) -> A(s1~p,p!1), P(l!2,r), P(l!1,r!2) # A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~u, s9~u, p!1), P(l!1, r) -> A(s1~u, s2~u, s3~u, s4~u, s5~u, s6~u, s7~u, s8~u, s9~p, p!1), P(l!1, r!2), P(l!2, r) 90 1 2 kp0 end reactions