incr(first_pi(a,1)).
incr(first_pi(b,3)).
incr(first_pi(c,5)).
incr(first_po(a,1)).
incr(first_po(b,3)).
incr(first_po(c,5)).
incr(fourth_pi(a,1)).
incr(fourth_pi(b,3)).
incr(fourth_pi(c,5)).
incr(fourth_pi(e,4)).
incr(second_pi(a,1)).
incr(second_pi(b,3)).
incr(second_pi(c,5)).
incr(second_pi(e,4)).
incr(second_po(a,1)).
incr(second_po(b,3)).
incr(second_po(c,5)).
incr(second_po(f,4)).
incr(third_pi(a,1)).
incr(third_pi(b,3)).
incr(third_pi(c,5)).
incr(third_pi(e,4)).
incr(third_po(a,1)).
incr(third_po(b,3)).
incr(third_po(c,5)).
incr(third_po(e,4)).
incr(third_po(f,4)).
