a____ __ X Y Z a____ mark X a____ mark Y mark Z a____ X nil mark X a____ nil X mark X a__and tt X mark X a__isNePal __ I __ P I tt mark __ X1 X2 a____ mark X1 mark X2 mark and X1 X2 a__and mark X1 X2 mark isNePal X a__isNePal mark X mark nil nil mark tt tt a____ X1 X2 __ X1 X2 a__and X1 X2 and X1 X2 a__isNePal X isNePal X 2.2 mark __ X1 X2 a____ mark X1 mark X2 mark and X1 X2 mark X1 mark isNePal X a__isNePal mark X a____ __ X Y Z mark X a____ __ X Y Z mark Y a____ __ X Y Z mark Z mark isNePal X mark X a____ nil X mark X a____ __ X Y Z a____ mark Y mark Z mark and X1 X2 a__and mark X1 X2 mark __ X1 X2 mark X1 a____ X nil mark X a____ __ X Y Z a____ mark X a____ mark Y mark Z a__and tt X mark X mark __ X1 X2 mark X2 true mark __ X1 X2 mark X2 mark isNePal X mark X a__and tt X mark X a____ __ X Y Z mark Z a____ __ X Y Z a____ mark X a____ mark Y mark Z a____ X nil mark X mark __ X1 X2 mark X1 a____ __ X Y Z mark Y a____ __ X Y Z mark X mark and X1 X2 mark X1 mark and X1 X2 a__and mark X1 X2 a____ __ X Y Z a____ mark Y mark Z a____ nil X mark X mark __ X1 X2 a____ mark X1 mark X2 true a__isNePal 1 0 and 2 1 2 1 isNePal 1 1 2438 a____ 2 1 2 0 a____ 2 1 2 1 mark 1 1 0 a__and 2 1 2 0 nil 0 8856 mark 1 1 0 a__isNePal 1 1 2438 tt 0 1 a__and 2 1 2 1 __ 2 1 2 1 a____ __ X Y Z a____ mark X a____ mark Y mark Z a__and tt X mark X mark isNePal X a__isNePal mark X a____ __ X Y Z a____ mark X a____ mark Y mark Z a____ nil X mark X a__isNePal __ I __ P I tt mark tt tt mark and X1 X2 a__and mark X1 X2 a__and X1 X2 and X1 X2 a____ X1 X2 __ X1 X2 mark nil nil a__isNePal X isNePal X mark __ X1 X2 a____ mark X1 mark X2 a____ X nil mark X a____ __ X Y Z a____ mark X a____ mark Y mark Z true a__isNePal 1 0 and 2 1 2 1 isNePal 1 1 2438 a____ 2 1 0 a____ 2 1 2 1 mark 1 0 a__and 2 0 nil 0 50349 mark 1 1 0 a__isNePal 1 1 2438 tt 0 1507 a__and 2 1 2 1 __ 2 1 2 1 a__and tt X mark X mark isNePal X a__isNePal mark X a____ __ X Y Z a____ mark X a____ mark Y mark Z a____ nil X mark X a__isNePal __ I __ P I tt mark tt tt mark and X1 X2 a__and mark X1 X2 a__and X1 X2 and X1 X2 a____ X1 X2 __ X1 X2 mark nil nil a__isNePal X isNePal X mark __ X1 X2 a____ mark X1 mark X2 a____ X nil mark X mark isNePal X a__isNePal mark X false NaTT certifiable-1.6