Solution for Basic.triple_get_and_free
Click on the 'Next' button to reveal the proof step by step.