read `HIT2.txt`:

Story1(n->IsDP(n,4),0,10^(-7),1000,4,20);

quit: