incr(fifth_n(f,4)).
incr(fifth_pat(c,5)).
incr(fifth_pat(d,4)).
incr(first_n(d,4)).
incr(first_n(e,2)).
incr(first_pat(a,1)).
incr(first_pat(b,2)).
incr(first_pat(c,5)).
incr(fourth_n(e,2)).
incr(fourth_n(f,4)).
incr(fourth_pat(b,2)).
incr(fourth_pat(c,5)).
incr(fourth_pat(d,4)).
incr(second_n(d,4)).
incr(second_n(e,2)).
incr(second_n(f,4)).
incr(second_pat(a,1)).
incr(second_pat(b,2)).
incr(second_pat(c,5)).
incr(second_pat(d,4)).
incr(seventh_n(f,4)).
incr(seventh_n(g,2)).
incr(seventh_pat(c,5)).
incr(seventh_pat(d,4)).
incr(seventh_pat(e,2)).
incr(sixth_n(f,4)).
incr(sixth_pat(c,5)).
incr(sixth_pat(d,4)).
incr(third_n(e,2)).
incr(third_n(f,4)).
incr(third_pat(b,2)).
incr(third_pat(c,5)).
incr(third_pat(d,4)).
