read `HIT2.txt`:

Story1(n->IsDP(n,2),0,10^(-7),400,4,40);

quit: