(= a 0 b 1 c 0)(n-of 35(= d(+(* a c)1)a b b c c d))pr.c