védirvaí devalokó 'tha vā́ eṣá bahirvedí citó bhavati taṃ yádihā̀hŕ̥tyopadádhāti tádenaṃ védau devaloke prátiṣṭhāpayati