PruningTables now being correctly created in CreatorActivity and read in by the main app.
creation of PruningTables.
progress with PruningTable.
New PruningTable data structure for solvers.