cram_reasoning package instances