This morning the first known AP25 has been discovered:
6171054912832631 + 366384*23#*n, for n=0 to 24
(Raanan Chermoni & Jaroslaw Wroblewski, May 17 2008)
My contribution was the search program, while Raanan provided the
computer power.
Jarek