incr(fifth_p(c,5)).
incr(fifth_p(d,4)).
incr(first_n(d,4)).
incr(first_n(e,2)).
incr(first_p(a,1)).
incr(first_p(b,3)).
incr(first_p(c,5)).
incr(fourth_p(b,3)).
incr(fourth_p(c,5)).
incr(fourth_p(d,4)).
incr(second_n(d,4)).
incr(second_n(e,2)).
incr(second_n(f,4)).
incr(second_p(a,1)).
incr(second_p(b,3)).
incr(second_p(c,5)).
incr(second_p(d,4)).
incr(seventh_p(c,5)).
incr(seventh_p(d,4)).
incr(seventh_p(e,2)).
incr(sixth_p(c,5)).
incr(sixth_p(d,4)).
incr(third_p(b,3)).
incr(third_p(c,5)).
incr(third_p(d,4)).
