a____ __ X Y Z a____ mark X a____ mark Y mark Z a____ X nil mark X a____ nil X mark X a__U11 tt a__U12 tt a__U12 tt tt a__isNePal __ I __ P I a__U11 tt mark __ X1 X2 a____ mark X1 mark X2 mark U11 X a__U11 mark X mark U12 X a__U12 mark X mark isNePal X a__isNePal mark X mark nil nil mark tt tt a____ X1 X2 __ X1 X2 a__U11 X U11 X a__U12 X U12 X a__isNePal X isNePal X 2.2 a__isNePal __ I __ P I a__U11 tt mark __ X1 X2 mark X1 a____ __ X Y Z a____ mark Y mark Z mark isNePal X mark X a____ __ X Y Z a____ mark X a____ mark Y mark Z a____ __ X Y Z mark X a____ __ X Y Z mark Y mark __ X1 X2 mark X2 a____ nil X mark X mark __ X1 X2 a____ mark X1 mark X2 mark U11 X mark X mark U11 X a__U11 mark X mark U12 X a__U12 mark X a____ X nil mark X mark isNePal X a__isNePal mark X a____ __ X Y Z mark Z mark U12 X mark X a__U11 tt a__U12 tt true mark U12 X mark X a____ __ X Y Z mark Y a____ __ X Y Z mark Z a____ __ X Y Z mark X a____ X nil mark X a____ __ X Y Z a____ mark X a____ mark Y mark Z mark isNePal X mark X a____ __ X Y Z a____ mark Y mark Z mark U11 X mark X mark __ X1 X2 mark X1 mark __ X1 X2 a____ mark X1 mark X2 a____ nil X mark X mark __ X1 X2 mark X2 true a__isNePal 1 0 U11 1 1 9709 isNePal 1 1 10451 a__U11 1 0 a____ 2 1 2 0 U12 1 1 9709 a____ 2 1 2 1 a__U12 1 0 mark 1 1 0 nil 0 5854 mark 1 1 0 a__isNePal 1 1 10451 a__U11 1 1 9709 a__U12 1 1 9709 tt 0 399 __ 2 1 2 1 a____ __ X Y Z a____ mark X a____ mark Y mark Z a__U11 tt a__U12 tt a__U12 X U12 X mark U11 X a__U11 mark X a____ __ X Y Z a____ mark X a____ mark Y mark Z a____ nil X mark X a__isNePal X isNePal X a__U12 tt tt mark isNePal X a__isNePal mark X mark __ X1 X2 a____ mark X1 mark X2 a__U11 X U11 X mark tt tt mark nil nil mark U12 X a__U12 mark X a____ X1 X2 __ X1 X2 a__isNePal __ I __ P I a__U11 tt a____ X nil mark X a____ __ X Y Z a____ mark X a____ mark Y mark Z true a__isNePal 1 0 U11 1 1 9709 isNePal 1 1 29372 a__U11 1 0 a____ 2 1 0 U12 1 1 9709 a____ 2 1 2 10225 a__U12 1 0 mark 1 0 nil 0 1 mark 1 1 0 a__isNePal 1 1 29372 a__U11 1 1 9709 a__U12 1 1 9709 tt 0 40113 __ 2 1 2 10225 a__U11 tt a__U12 tt a__U12 X U12 X mark U11 X a__U11 mark X a____ __ X Y Z a____ mark X a____ mark Y mark Z a____ nil X mark X a__isNePal X isNePal X a__U12 tt tt mark isNePal X a__isNePal mark X mark __ X1 X2 a____ mark X1 mark X2 a__U11 X U11 X mark tt tt mark nil nil mark U12 X a__U12 mark X a____ X1 X2 __ X1 X2 a__isNePal __ I __ P I a__U11 tt a____ X nil mark X mark U12 X a__U12 mark X false mark isNePal X a__isNePal mark X false mark U11 X a__U11 mark X false a__isNePal __ I __ P I a__U11 tt false a__U11 tt a__U12 tt false NaTT certifiable-1.6