ir_rt_t5_loc_122626_proof