amount.0 <= sacrifice_info.lim.0:12000, 90000 balance.0 >= amount.0, 23154, 12000 current_record_level == pre_record_level + 1, 10, 9