• chunkSizeBytes : CVC3
• clause_mem_base : MiniSat
• l_False : MiniSat
• l_True : MiniSat
• l_Undef : MiniSat
• num_primes : Hash
• parserTemp : CVC3
• prime_list : Hash
• var_Undef : MiniSat