read `PRIMESk.txt`: Story4(n->evalb(IsDP(n,2)),0,200,4,6,30); quit: