Use less memory in conjecturing