number_of_vars = 26; // number of bdd actual variables + occ_bitsize
model  = 1;          // set teh model to set or bag model. 0 is for set, 1 is for bag
occ_bitsize = 3;     // bit size to represent the occurances of variable when using a bag model. The expected number is 20, max
//model = 0          // this is the model we are reading.

