read `HIT2.txt`:

print(`A non-rigorous but absolutely certain approximation (for that number of digits) is`):

lu:=EstED(6,0,isprime,10^(-100),10000):

lprint(lu):

print(``):
print(`----------------------------------`):
print(``):
print(`This took`, time(), `seconds .`):
print(``):
quit: