0	0	253*2^1722623-1	is	prime