Under Rule 42 a registered person has to reverse the portion of the input tax credit availed attributable to its exempt supplies. A formula therein has been prescribed for such reversal