Hey Chris, if you're around, just in case you're wondering, we're making progress. In (e,1) and (-f,1), a[t]%c==0 when x=c-d (c*BigN) and x=c+d+1 (c(c-BigN+1)).