 [[ [[ i [[ [[ int7_]] ]]:nt&_t'!*nt8_t(1) ]]int1&_[ int7_t(1) ]] ]]:nt1&_t'!*nt9_t(1) ]]int1&_t'!*