randXXrandsXrandXbool0falsebools0truefilterFnilnilfilterFconsHTconsifFHHfilterFTconsiftrueHTconsHTconsiffalseHTTXnatFnatbooleanHnatTlistrandnatnatsnatnatboolnatbooleanfalsebooleantruebooleanfilternatbooleanlistlistnillist0natconsnatlistlistconsifbooleannatlistlistFULL.