FirstPrecomputationProgram now creates the tables too