當觀色無常,如是觀者,則為正觀。正觀者,則生厭離;厭離者,喜、貪盡;喜、貪盡者,說心解脫。
如是觀受、想、行、識無常,如是觀者,則為正觀。正觀者,則生厭離;厭離者,喜、貪盡;喜、貪盡者,說心解脫。
如是,比丘!心解脫者,若欲自證,則能自證:「我生已盡,梵行已立,所作已作,自知不受後有。」
如觀無常,苦、空、非我亦復如是。
這是兩層的 for loop:
Loop unrolling:五蘊 = {色, 受, 想, 行, 識} 本質 = {無常, 苦, 空, 非我} for each property in 本質: for each element in 五蘊: 當觀 element : property,如是觀者,則為正觀。正觀者,則生厭離;厭離者,喜、貪盡;喜、貪盡者,說心解脫。 if 心解脫: break 如是,比丘!心解脫者,若欲自證,則能自證:「我生已盡,梵行已立,所作已作,自知不受後有。」
當觀色無常,如是觀者,則為正觀。正觀者,則生厭離;厭離者,喜、貪盡;喜、貪盡者,說心解脫。 當觀受無常,如是觀者,則為正觀。正觀者,則生厭離;厭離者,喜、貪盡;喜、貪盡者,說心解脫。 當觀想無常,如是觀者,則為正觀。正觀者,則生厭離;厭離者,喜、貪盡;喜、貪盡者,說心解脫。 當觀行無常,如是觀者,則為正觀。正觀者,則生厭離;厭離者,喜、貪盡;喜、貪盡者,說心解脫。 當觀識無常,如是觀者,則為正觀。正觀者,則生厭離;厭離者,喜、貪盡;喜、貪盡者,說心解脫。 當觀色苦,如是觀者,則為正觀。正觀者,則生厭離;厭離者,喜、貪盡;喜、貪盡者,說心解脫。 當觀受苦,如是觀者,則為正觀。正觀者,則生厭離;厭離者,喜、貪盡;喜、貪盡者,說心解脫。 當觀想苦,如是觀者,則為正觀。正觀者,則生厭離;厭離者,喜、貪盡;喜、貪盡者,說心解脫。 當觀行苦,如是觀者,則為正觀。正觀者,則生厭離;厭離者,喜、貪盡;喜、貪盡者,說心解脫。 當觀識苦,如是觀者,則為正觀。正觀者,則生厭離;厭離者,喜、貪盡;喜、貪盡者,說心解脫。 當觀色空,如是觀者,則為正觀。正觀者,則生厭離;厭離者,喜、貪盡;喜、貪盡者,說心解脫。 當觀受空,如是觀者,則為正觀。正觀者,則生厭離;厭離者,喜、貪盡;喜、貪盡者,說心解脫。 當觀想空,如是觀者,則為正觀。正觀者,則生厭離;厭離者,喜、貪盡;喜、貪盡者,說心解脫。 當觀行空,如是觀者,則為正觀。正觀者,則生厭離;厭離者,喜、貪盡;喜、貪盡者,說心解脫。 當觀識空,如是觀者,則為正觀。正觀者,則生厭離;厭離者,喜、貪盡;喜、貪盡者,說心解脫。 當觀色非我,如是觀者,則為正觀。正觀者,則生厭離;厭離者,喜、貪盡;喜、貪盡者,說心解脫。 當觀受非我,如是觀者,則為正觀。正觀者,則生厭離;厭離者,喜、貪盡;喜、貪盡者,說心解脫。 當觀想非我,如是觀者,則為正觀。正觀者,則生厭離;厭離者,喜、貪盡;喜、貪盡者,說心解脫。 當觀行非我,如是觀者,則為正觀。正觀者,則生厭離;厭離者,喜、貪盡;喜、貪盡者,說心解脫。 當觀識非我,如是觀者,則為正觀。正觀者,則生厭離;厭離者,喜、貪盡;喜、貪盡者,說心解脫。 如是,比丘!心解脫者,若欲自證,則能自證:「我生已盡,梵行已立,所作已作,自知不受後有。」