情數畢竟不生法及入無餘涅槃，最後剎那情數畢竟不生法及入無餘涅槃，最後剎那心等；二、有所不得法，通彼法心等；二、有所不得法，通彼法前法後非得，謂餘隨應有情數法；三、有所前法後非得，謂餘隨應有情數法；
三、有所不得法，無法前後，而有非得。謂擇滅、不得法，無法前後，而有非得。謂擇滅、非擇滅法必無非得可與法俱，以法現非擇滅法必無非得可與法俱，以法現前，是所得者必有得故，非所得者無得前，是所得者必有得故，非所得者無得非得，亦無唯有法後非得，非無始來恒成非得，亦無唯有法後非得，非無始來恒成就彼未捨必起彼類盡故。」解云：第一、未來就彼未捨必起彼類盡故。」
解云：第一、未來情數畢竟不生法者，謂是三類智邊所修情數畢竟不生法者，謂是三類智邊所修俗智也。此世俗智不通過、現，故言未來。不俗智也。此世俗智不通過、現，故言未來。
不是非情，名為情數。得非擇滅，名畢竟不生。是非情，名為情數。得非擇滅，名畢竟不生。
見道已前，此世俗智常有非得，名法前見道已前，此世俗智常有非得，名法前非得。三類智後常有得起，更無非得也。非得。三類智後常有得起，更無非得也。
及入無餘最後心者，謂未來有一類異熟及入無餘最後心者，謂未來有一類異熟威儀心，作入涅槃心。此心未起，常有非得。威儀心，作入涅槃心。此心未起，常有非得。
非得此心，名法前非得。此心起已，必入涅非得此心，名法前非得。此心起已，必入涅槃，便同非情故，無法後非得，無所依故。槃，便同非情故，無法後非得，無所依故。
又無生智未起已前常有非得，名法前非又無生智未起已前常有非得，名法前非得，此智起已必定不退故，無法後非得也。得，此智起已必定不退故，無法後非得也。非無始來恒成就，彼未捨必起彼類盡非無始來恒成就，彼未捨必起彼類盡故者，此十六字為遮非想見惑難故。謂唐故者，此十六字為遮非想見惑難故。
謂唐三藏譯《婆沙》了，有人以非想見惑難三藏三藏譯《婆沙》了，有人以非想見惑難三藏言：「合唯有法後非得。」其難意者，非想見言：「合唯有法後非得。」其難意者，非想見惑無始來成，無法前非得，見道斷已，畢竟不惑無始來成，無法前非得，見道斷已，畢竟不退，於過去見惑，理應合有唯法後非得，何退，於過去見惑，理應合有唯法後非得，何故無耶？故三藏於《婆沙》加一十六字，為故無耶？
故三藏於《婆沙》加一十六字，為通此難。其十六字意者，謂非想見惑未斷通此難。其十六字意者，謂非想見惑未斷已前，名為未捨。於未捨位，必無有人起未已前，名為未捨。
於未捨位，必無有人起未來非想見惑入過去盡，以未來見惑種類來非想見惑入過去盡，以未來見惑種類
下页续读