performance tuning - calculating needs slightly fewer recursions
reduced recursions for path calculation by using the bdd cache
extensively, program now needs lots of more heap space when no bdd files
are precomputed
updated version with bdds for size 3 and 4