eq 0 0 true eq 0 s x false eq s x 0 false eq s x s y eq x y le 0 y true le s x 0 false le s x s y le x y app nil y y app add n x y add n app x y min nil 0 min add n x minIter add n x add n x 0 minIter nil add n y m minIter add n y add n y s m minIter add n x y m if_min le n m x y m if_min true x y m m if_min false x y m minIter x y m head add n x n tail add n x x tail nil nil null nil true null add n x false rm n nil nil rm n add m x if_rm eq n m n add m x if_rm true n add m x rm n x if_rm false n add m x add m rm n x minsort nil nil nil minsort add n x y if_minsort eq n min add n x add n x y if_minsort true add n x y add n minsort app rm n x y nil if_minsort false add n x y minsort x add n y 2.2 minIter add n x y m le n m if_rm true n add m x rm n x if_minsort true add n x y app rm n x y if_minsort false add n x y minsort x add n y rm n add m x eq n m if_minsort true add n x y minsort app rm n x y nil if_minsort true add n x y rm n x minIter nil add n y m minIter add n y add n y s m rm n add m x if_rm eq n m n add m x if_rm false n add m x rm n x minsort add n x y min add n x eq s x s y eq x y minsort add n x y eq n min add n x app add n x y app x y minIter add n x y m if_min le n m x y m le s x s y le x y minsort add n x y if_minsort eq n min add n x add n x y min add n x minIter add n x add n x 0 if_min false x y m minIter x y m true minsort add n x y if_minsort eq n min add n x add n x y if_minsort true add n x y minsort app rm n x y nil if_minsort false add n x y minsort x add n y true le 2 2 0 if_rm 3 3 42910 s 1 1 le 2 0 if_rm 3 0 minIter 3 1 3 0 if_min 4 0 eq 2 1 1 false 0 3 min 1 0 head 1 0 true 0 3 eq 2 0 tail 1 0 0 0 1 null 1 0 nil 0 1 tail 1 0 minIter 3 0 app 2 0 if_minsort 3 2 3 0 min 1 0 null 1 0 head 1 0 minsort 2 1 2 0 add 2 1 2 79580 if_min 4 3 79581 if_minsort 3 0 minsort 2 0 rm 2 2 42910 rm 2 0 app 2 1 2 36668 if_minsort false add n x y minsort x add n y minsort add n x y if_minsort eq n min add n x add n x y app nil y y rm n nil nil rm n add m x if_rm eq n m n add m x if_rm true n add m x rm n x if_rm false n add m x add m rm n x app add n x y add n app x y minsort add n x y if_minsort eq n min add n x add n x y if_minsort false add n x y minsort x add n y true le 2 2 0 if_rm 3 3 1 s 1 1 le 2 0 if_rm 3 0 minIter 3 1 3 0 if_min 4 0 eq 2 1 1 false 0 4 min 1 0 head 1 0 true 0 4 eq 2 0 tail 1 0 0 0 2 null 1 0 nil 0 1 tail 1 0 minIter 3 0 app 2 0 if_minsort 3 2 0 min 1 1 null 1 0 head 1 0 minsort 2 1 1 add 2 1 2 79580 if_min 4 3 79581 if_minsort 3 0 minsort 2 0 rm 2 2 1 rm 2 0 app 2 1 2 9508 app nil y y rm n nil nil rm n add m x if_rm eq n m n add m x if_rm true n add m x rm n x if_rm false n add m x add m rm n x app add n x y add n app x y if_minsort true add n x y rm n x false minsort add n x y eq n min add n x false if_minsort true add n x y app rm n x y false app add n x y app x y true le 2 2 0 if_rm 3 3 36261 s 1 1 le 2 0 if_rm 3 0 minIter 3 1 3 0 if_min 4 0 eq 2 1 1 false 0 3 min 1 0 head 1 0 true 0 4 eq 2 0 tail 1 0 0 0 1 null 1 0 nil 0 1 tail 1 0 minIter 3 0 app 2 1 0 if_minsort 3 0 min 1 0 null 1 0 head 1 0 minsort 2 1 1 add 2 1 2 1 if_min 4 3 2 if_minsort 3 0 minsort 2 0 rm 2 2 36261 rm 2 0 app 2 1 2 29936 app nil y y rm n nil nil rm n add m x if_rm eq n m n add m x if_rm true n add m x rm n x if_rm false n add m x add m rm n x app add n x y add n app x y minsort add n x y min add n x false min add n x minIter add n x add n x 0 false if_rm true n add m x rm n x if_rm false n add m x rm n x rm n add m x if_rm eq n m n add m x true le 2 2 0 if_rm 3 3 1 s 1 1 le 2 0 if_rm 3 2 3 0 minIter 3 1 3 0 if_min 4 0 eq 2 1 1 false 0 3 min 1 0 head 1 0 true 0 4 eq 2 0 tail 1 0 0 0 1 null 1 0 nil 0 2 tail 1 0 minIter 3 0 app 2 0 if_minsort 3 0 min 1 0 null 1 0 head 1 0 minsort 2 1 1 add 2 1 2 2 if_min 4 3 3 if_minsort 3 0 minsort 2 0 rm 2 2 1 rm 2 1 2 1 app 2 1 2 29936 app nil y y rm n nil nil rm n add m x if_rm eq n m n add m x if_rm true n add m x rm n x if_rm false n add m x add m rm n x app add n x y add n app x y rm n add m x eq n m false eq s x s y eq x y true le 2 2 0 if_rm 3 3 23744 s 1 1 1 le 2 0 if_rm 3 0 minIter 3 1 3 0 if_min 4 0 eq 2 1 1 false 0 3 min 1 0 head 1 0 true 0 4 eq 2 2 0 tail 1 0 0 0 1 null 1 0 nil 0 2 tail 1 0 minIter 3 0 app 2 0 if_minsort 3 0 min 1 0 null 1 0 head 1 0 minsort 2 1 1 add 2 1 2 2 if_min 4 3 3 if_minsort 3 0 minsort 2 0 rm 2 2 23744 rm 2 1 app 2 1 2 29936 app nil y y rm n nil nil rm n add m x if_rm eq n m n add m x if_rm true n add m x rm n x if_rm false n add m x add m rm n x app add n x y add n app x y if_min false x y m minIter x y m minIter add n x y m if_min le n m x y m minIter nil add n y m minIter add n y add n y s m true Failed! NaTT certifiable-1.6